Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb |
MD5SUM | a6997171dcc57638d93d44e87488aa8f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 26.086 |
Number of variables | 18069 |
Total number of constraints | 52475 |
Number of constraints which are clauses | 51555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 920 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 06:23:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20715 boxname=wulflinc9 idbench=305 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a6997171dcc57638d93d44e87488aa8f /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.rf10.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.rf10.ucl.opb IDLAUNCH: 20715 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 538408 kB Buffers: 27088 kB Cached: 447580 kB SwapCached: 584 kB Active: 40604 kB Inactive: 436168 kB HighTotal: 131008 kB HighFree: 3416 kB LowTotal: 903652 kB LowFree: 534992 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5416 kB Slab: 13964 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:44:45 (client local time) WITH STATUS 143 IN 1302.73 SECONDS stats: 20715 7 1302.73 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/wulflinc9/normalized-ooo.rf10.ucl.opb c reading problem ... done. Time 110.026 ms. c #vars 18069 c #constraints 52475 c starts : 8 c conflicts : 4400 c decisions : 18561 c propagations : 6620490 c inspects : 22066247 c learned literals : 7 c learned binary clauses : 120 c learned ternary clauses : 91 c learned clauses : 4392 c root simplifications : 15 s UNKNOWN c Total CPU time (ms) : 1289.117 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.99 0.99 2/54 17577 Raw data (stat): 17577 (runsolver) R 17576 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778466369 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0016 s] Raw data (loadavg): 0.93 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 765 39 0 0 24 0 10 0 778466369 854589440 20899 4294967295 134512640 134569956 3221224384 3221214688 1131239425 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208640 20899 13086 16 0 208624 0 vsize: 834560 [startup+20.0028 s] Raw data (loadavg): 0.94 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 1611 39 0 0 25 0 10 0 778466369 854425600 22074 4294967295 134512640 134569956 3221224384 3221214448 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208600 22074 13086 16 0 208584 0 vsize: 834400 [startup+30.0031 s] Raw data (loadavg): 0.95 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 2453 40 0 0 24 0 10 0 778466369 854425600 22850 4294967295 134512640 134569956 3221224384 3221214328 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208600 22850 13086 16 0 208584 0 vsize: 834400 [startup+40.0033 s] Raw data (loadavg): 0.96 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 3310 40 0 0 25 0 10 0 778466369 854425600 23428 4294967295 134512640 134569956 3221224384 3221214444 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208600 23428 13086 16 0 208584 0 vsize: 834400 [startup+50.0053 s] Raw data (loadavg): 0.96 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 4136 41 0 0 25 0 10 0 778466369 854425600 24010 4294967295 134512640 134569956 3221224384 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 24010 13086 16 0 208584 0 vsize: 834400 [startup+60.006 s] Raw data (loadavg): 0.97 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 4962 41 0 0 24 0 10 0 778466369 854425600 24662 4294967295 134512640 134569956 3221224384 3221214752 1131351928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 24662 13086 16 0 208584 0 vsize: 834400 [startup+70.0089 s] Raw data (loadavg): 0.97 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18033 0 1 0 5809 41 0 0 25 0 10 0 778466369 854425600 25134 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 25134 13086 16 0 208584 0 vsize: 834400 [startup+80.0126 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 6641 42 0 0 25 0 10 0 778466369 854425600 25571 4294967295 134512640 134569956 3221224384 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 25571 13086 16 0 208584 0 vsize: 834400 [startup+90.0166 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18033 0 1 0 7476 42 0 0 25 0 10 0 778466369 854425600 25978 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 25978 13086 16 0 208584 0 vsize: 834400 [startup+100.017 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 8313 42 0 0 25 0 10 0 778466369 854425600 26379 4294967295 134512640 134569956 3221224384 3221214824 1131179796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 26379 13086 16 0 208584 0 vsize: 834400 [startup+110.019 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 17586 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 9159 42 0 0 25 0 10 0 778466369 854425600 26814 4294967295 134512640 134569956 3221224384 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208600 26814 13086 16 0 208584 0 vsize: 834400 [startup+120.022 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18086 0 1 0 10008 43 0 0 25 0 11 0 778466369 859648000 28929 4294967295 134512640 134569956 3221224384 3221213344 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209875 28929 13086 16 0 209859 0 vsize: 839500 [startup+130.022 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18087 0 1 0 10902 43 0 0 25 0 11 0 778466369 860549120 29831 4294967295 134512640 134569956 3221224384 3221214528 1131279124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 29831 13086 16 0 210079 0 vsize: 840380 [startup+140.023 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 11824 44 0 0 25 0 11 0 778466369 860549120 29869 4294967295 134512640 134569956 3221224384 3221214800 1131539525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 29869 13086 16 0 210079 0 vsize: 840380 [startup+150.024 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 12749 44 0 0 25 0 11 0 778466369 860549120 29869 4294967295 134512640 134569956 3221224384 3221214736 1131376166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 29869 13086 16 0 210079 0 vsize: 840380 [startup+160.024 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 13657 44 0 0 25 0 11 0 778466369 860549120 29894 4294967295 134512640 134569956 3221224384 3221214664 1131278355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 29894 13086 16 0 210079 0 vsize: 840380 [startup+170.024 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 14585 45 0 0 25 0 11 0 778466369 860549120 29918 4294967295 134512640 134569956 3221224384 3221214624 1131517832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 29918 13086 16 0 210079 0 vsize: 840380 [startup+180.025 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 15493 45 0 0 25 0 11 0 778466369 860549120 29929 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 29929 13086 16 0 210079 0 vsize: 840380 [startup+190.028 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 16438 45 0 0 25 0 11 0 778466369 860549120 29998 4294967295 134512640 134569956 3221224384 3221214756 1131376652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 29998 13086 16 0 210079 0 vsize: 840380 [startup+200.029 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 17365 45 0 0 25 0 11 0 778466369 860549120 30051 4294967295 134512640 134569956 3221224384 3221214696 1131213343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30051 13086 16 0 210079 0 vsize: 840380 [startup+210.029 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 18314 46 0 0 25 0 11 0 778466369 860549120 30143 4294967295 134512640 134569956 3221224384 3221214528 1131278196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30143 13086 16 0 210079 0 vsize: 840380 [startup+220.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 19278 46 0 0 25 0 11 0 778466369 860549120 30219 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30219 13086 16 0 210079 0 vsize: 840380 [startup+230.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 20213 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214728 1131376673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30537 13086 16 0 210079 0 vsize: 840380 [startup+240.034 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 21169 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214584 1131457054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30537 13086 16 0 210079 0 vsize: 840380 [startup+250.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 22138 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214528 1131278371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 30537 13086 16 0 210079 0 vsize: 840380 [startup+260.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 23060 47 0 0 25 0 11 0 778466369 860549120 30872 4294967295 134512640 134569956 3221224384 3221214736 1131193276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30872 13086 16 0 210079 0 vsize: 840380 [startup+270.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 23992 47 0 0 25 0 11 0 778466369 860549120 30931 4294967295 134512640 134569956 3221224384 3221214528 1131278192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 30931 13086 16 0 210079 0 vsize: 840380 [startup+280.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 24941 47 0 0 25 0 11 0 778466369 860549120 31003 4294967295 134512640 134569956 3221224384 3221214528 1131278405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31003 13086 16 0 210079 0 vsize: 840380 [startup+290.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 25889 47 0 0 25 0 11 0 778466369 860549120 31047 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31047 13086 16 0 210079 0 vsize: 840380 [startup+300.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 26837 48 0 0 25 0 11 0 778466369 860549120 31166 4294967295 134512640 134569956 3221224384 3221214760 1131400890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 31166 13086 16 0 210079 0 vsize: 840380 [startup+310.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 27787 48 0 0 25 0 11 0 778466369 860549120 31387 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31387 13086 16 0 210079 0 vsize: 840380 [startup+320.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 28741 48 0 0 25 0 11 0 778466369 860549120 31387 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31387 13086 16 0 210079 0 vsize: 840380 [startup+330.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 29692 49 0 0 25 0 11 0 778466369 860549120 31421 4294967295 134512640 134569956 3221224384 3221214580 1130885204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31421 13086 16 0 210079 0 vsize: 840380 [startup+340.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 30644 49 0 0 25 0 11 0 778466369 860549120 31467 4294967295 134512640 134569956 3221224384 3221214664 1131278126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31467 13086 16 0 210079 0 vsize: 840380 [startup+350.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 31596 49 0 0 25 0 11 0 778466369 860549120 31508 4294967295 134512640 134569956 3221224384 3221214692 1130885169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31508 13086 16 0 210079 0 vsize: 840380 [startup+360.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 32547 49 0 0 24 0 11 0 778466369 860549120 31571 4294967295 134512640 134569956 3221224384 3221214696 1131213337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 31571 13086 16 0 210079 0 vsize: 840380 [startup+370.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 33500 49 0 0 24 0 11 0 778466369 860549120 31696 4294967295 134512640 134569956 3221224384 3221214692 1130885150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31696 13086 16 0 210079 0 vsize: 840380 [startup+380.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 34454 50 0 0 25 0 11 0 778466369 860549120 31696 4294967295 134512640 134569956 3221224384 3221214760 1131372515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31696 13086 16 0 210079 0 vsize: 840380 [startup+390.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 35407 50 0 0 25 0 11 0 778466369 860549120 31760 4294967295 134512640 134569956 3221224384 3221214692 1130885243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31760 13086 16 0 210079 0 vsize: 840380 [startup+400.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 36368 51 0 0 25 0 11 0 778466369 860549120 31801 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31801 13086 16 0 210079 0 vsize: 840380 [startup+410.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 37329 51 0 0 25 0 11 0 778466369 860549120 31876 4294967295 134512640 134569956 3221224384 3221214760 1131372500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 31876 13086 16 0 210079 0 vsize: 840380 [startup+420.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 38283 51 0 0 25 0 11 0 778466369 860549120 32000 4294967295 134512640 134569956 3221224384 3221214624 1131513473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32000 13086 16 0 210079 0 vsize: 840380 [startup+430.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 39238 52 0 0 25 0 11 0 778466369 860549120 32055 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32055 13086 16 0 210079 0 vsize: 840380 [startup+440.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 40196 52 0 0 25 0 11 0 778466369 860549120 32113 4294967295 134512640 134569956 3221224384 3221214692 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32113 13086 16 0 210079 0 vsize: 840380 [startup+450.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 41150 52 0 0 25 0 11 0 778466369 860549120 32155 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32155 13086 16 0 210079 0 vsize: 840380 [startup+460.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 42056 53 0 0 25 0 11 0 778466369 860549120 32541 4294967295 134512640 134569956 3221224384 3221214528 1131278298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32541 13086 16 0 210079 0 vsize: 840380 [startup+470.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 43001 53 0 0 25 0 11 0 778466369 860549120 32617 4294967295 134512640 134569956 3221224384 3221214760 1131401065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32617 13086 16 0 210079 0 vsize: 840380 [startup+480.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 43947 53 0 0 25 0 11 0 778466369 860549120 32718 4294967295 134512640 134569956 3221224384 3221214584 1131456237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32718 13086 16 0 210079 0 vsize: 840380 [startup+490.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 44894 54 0 0 25 0 11 0 778466369 860549120 32851 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32851 13086 16 0 210079 0 vsize: 840380 [startup+500.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 45842 55 0 0 25 0 11 0 778466369 860549120 32866 4294967295 134512640 134569956 3221224384 3221214760 1131400890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32866 13086 16 0 210079 0 vsize: 840380 [startup+510.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 46791 55 0 0 25 0 11 0 778466369 860549120 32955 4294967295 134512640 134569956 3221224384 3221214664 1131278448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 32955 13086 16 0 210079 0 vsize: 840380 [startup+520.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 47740 55 0 0 25 0 11 0 778466369 860549120 33043 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33043 13086 16 0 210079 0 vsize: 840380 [startup+530.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 48689 56 0 0 25 0 11 0 778466369 860549120 33099 4294967295 134512640 134569956 3221224384 3221214756 1131193184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33099 13086 16 0 210079 0 vsize: 840380 [startup+540.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 49638 56 0 0 25 0 11 0 778466369 860549120 33193 4294967295 134512640 134569956 3221224384 3221214624 1131516849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33193 13086 16 0 210079 0 vsize: 840380 [startup+550.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 50567 57 0 0 25 0 11 0 778466369 860549120 33305 4294967295 134512640 134569956 3221224384 3221214728 1131264060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33305 13086 16 0 210079 0 vsize: 840380 [startup+560.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 51514 57 0 0 25 0 11 0 778466369 860549120 33355 4294967295 134512640 134569956 3221224384 3221214528 1131278113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33355 13086 16 0 210079 0 vsize: 840380 [startup+570.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 52443 57 0 0 24 0 11 0 778466369 860549120 33390 4294967295 134512640 134569956 3221224384 3221214744 1131375673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33390 13086 16 0 210079 0 vsize: 840380 [startup+580.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 53388 58 0 0 25 0 11 0 778466369 860549120 33452 4294967295 134512640 134569956 3221224384 3221214760 1131372112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33452 13086 16 0 210079 0 vsize: 840380 [startup+590.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 54335 58 0 0 25 0 11 0 778466369 860549120 33520 4294967295 134512640 134569956 3221224384 3221214696 1131213355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33520 13086 16 0 210079 0 vsize: 840380 [startup+600.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 55294 58 0 0 25 0 11 0 778466369 860549120 33554 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33554 13086 16 0 210079 0 vsize: 840380 [startup+610.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 56247 58 0 0 25 0 11 0 778466369 860549120 33597 4294967295 134512640 134569956 3221224384 3221214692 1130885132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33597 13086 16 0 210079 0 vsize: 840380 [startup+620.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 57168 59 0 0 25 0 11 0 778466369 860549120 33625 4294967295 134512640 134569956 3221224384 3221214664 1131278587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33625 13086 16 0 210079 0 vsize: 840380 [startup+630.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 58105 59 0 0 25 0 11 0 778466369 860549120 33650 4294967295 134512640 134569956 3221224384 3221214624 1131513417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33650 13086 16 0 210079 0 vsize: 840380 [startup+640.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 59010 60 0 0 24 0 11 0 778466369 860549120 33761 4294967295 134512640 134569956 3221224384 3221214624 1131546323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33761 13086 16 0 210079 0 vsize: 840380 [startup+650.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 59958 60 0 0 25 0 11 0 778466369 860549120 33824 4294967295 134512640 134569956 3221224384 3221214716 1131127964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33824 13086 16 0 210079 0 vsize: 840380 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 60888 60 0 0 25 0 11 0 778466369 860549120 33832 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33832 13086 16 0 210079 0 vsize: 840380 [startup+670.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 61831 61 0 0 25 0 11 0 778466369 860549120 33900 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33900 13086 16 0 210079 0 vsize: 840380 [startup+680.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 62757 61 0 0 25 0 11 0 778466369 860549120 33941 4294967295 134512640 134569956 3221224384 3221214728 1131376766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33941 13086 16 0 210079 0 vsize: 840380 [startup+690.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 63701 61 0 0 25 0 11 0 778466369 860549120 33984 4294967295 134512640 134569956 3221224384 3221214728 1131376803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 33984 13086 16 0 210079 0 vsize: 840380 [startup+700.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 64629 62 0 0 25 0 11 0 778466369 860549120 34077 4294967295 134512640 134569956 3221224384 3221214528 1131278554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34077 13086 16 0 210079 0 vsize: 840380 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 65578 62 0 0 25 0 11 0 778466369 860549120 34077 4294967295 134512640 134569956 3221224384 3221214624 1131519086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34077 13086 16 0 210079 0 vsize: 840380 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 66490 62 0 0 25 0 11 0 778466369 860549120 34111 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34111 13086 16 0 210079 0 vsize: 840380 [startup+730.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 67432 63 0 0 25 0 11 0 778466369 860549120 34133 4294967295 134512640 134569956 3221224384 3221214760 1131372644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34133 13086 16 0 210079 0 vsize: 840380 [startup+740.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 68395 63 0 0 25 0 11 0 778466369 860549120 34146 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34146 13086 16 0 210079 0 vsize: 840380 [startup+750.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 69341 64 0 0 25 0 11 0 778466369 860549120 34177 4294967295 134512640 134569956 3221224384 3221214756 1131370508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34177 13086 16 0 210079 0 vsize: 840380 [startup+760.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 70271 64 0 0 25 0 11 0 778466369 860549120 34217 4294967295 134512640 134569956 3221224384 3221214728 1131376808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34217 13086 16 0 210079 0 vsize: 840380 [startup+770.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 71216 64 0 0 25 0 11 0 778466369 860549120 34247 4294967295 134512640 134569956 3221224384 3221214736 1131193303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34247 13086 16 0 210079 0 vsize: 840380 [startup+780.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 72142 64 0 0 25 0 11 0 778466369 860549120 34298 4294967295 134512640 134569956 3221224384 3221214760 1131372563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34298 13086 16 0 210079 0 vsize: 840380 [startup+790.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 73090 65 0 0 25 0 11 0 778466369 860549120 34356 4294967295 134512640 134569956 3221224384 3221214728 1131376736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34356 13086 16 0 210079 0 vsize: 840380 [startup+800.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 74036 65 0 0 25 0 11 0 778466369 860549120 34387 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34387 13086 16 0 210079 0 vsize: 840380 [startup+810.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 74965 65 0 0 25 0 11 0 778466369 860549120 34428 4294967295 134512640 134569956 3221224384 3221214624 1131516912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34428 13086 16 0 210079 0 vsize: 840380 [startup+820.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 75911 65 0 0 25 0 11 0 778466369 860549120 34451 4294967295 134512640 134569956 3221224384 3221214728 1131376785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34451 13086 16 0 210079 0 vsize: 840380 [startup+830.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 76858 65 0 0 25 0 11 0 778466369 860549120 34475 4294967295 134512640 134569956 3221224384 3221214760 1131372573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34475 13086 16 0 210079 0 vsize: 840380 [startup+840.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 77803 66 0 0 25 0 11 0 778466369 860549120 34508 4294967295 134512640 134569956 3221224384 3221214728 1131376808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34508 13086 16 0 210079 0 vsize: 840380 [startup+850.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 78748 66 0 0 25 0 11 0 778466369 860549120 34639 4294967295 134512640 134569956 3221224384 3221214736 1131193234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34639 13086 16 0 210079 0 vsize: 840380 [startup+860.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 79693 67 0 0 25 0 11 0 778466369 860549120 34673 4294967295 134512640 134569956 3221224384 3221214620 1131278092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34673 13086 16 0 210079 0 vsize: 840380 [startup+870.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 80640 67 0 0 25 0 11 0 778466369 860549120 34752 4294967295 134512640 134569956 3221224384 3221214728 1131376764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34752 13086 16 0 210079 0 vsize: 840380 [startup+880.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 81586 67 0 0 25 0 11 0 778466369 860549120 34764 4294967295 134512640 134569956 3221224384 3221214728 1131376748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34764 13086 16 0 210079 0 vsize: 840380 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 82531 68 0 0 25 0 11 0 778466369 860549120 34842 4294967295 134512640 134569956 3221224384 3221214528 1131278132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34842 13086 16 0 210079 0 vsize: 840380 [startup+900.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 83477 68 0 0 25 0 11 0 778466369 860549120 34918 4294967295 134512640 134569956 3221224384 3221214736 1131376169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 34918 13086 16 0 210079 0 vsize: 840380 [startup+910.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 84459 68 0 0 25 0 11 0 778466369 860549120 35019 4294967295 134512640 134569956 3221224384 3221214736 1131193308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 35019 13086 16 0 210079 0 vsize: 840380 [startup+920.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 85424 69 0 0 25 0 11 0 778466369 860549120 35134 4294967295 134512640 134569956 3221224384 3221214728 1131376793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 35134 13086 16 0 210079 0 vsize: 840380 [startup+930.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 86388 69 0 0 25 0 11 0 778466369 860549120 35313 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 35313 13086 16 0 210079 0 vsize: 840380 [startup+940.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 87357 69 0 0 25 0 11 0 778466369 860549120 35585 4294967295 134512640 134569956 3221224384 3221214724 1131365984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 35585 13086 16 0 210079 0 vsize: 840380 [startup+950.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 88329 69 0 0 25 0 11 0 778466369 860549120 35661 4294967295 134512640 134569956 3221224384 3221214584 1131455966 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 35661 13086 16 0 210079 0 vsize: 840380 [startup+960.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 89265 70 0 0 25 0 11 0 778466369 860549120 36139 4294967295 134512640 134569956 3221224384 3221214528 1131278517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36139 13086 16 0 210079 0 vsize: 840380 [startup+970.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 90208 70 0 0 25 0 11 0 778466369 860549120 36364 4294967295 134512640 134569956 3221224384 3221214744 1131346377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 36364 13086 16 0 210079 0 vsize: 840380 [startup+980.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 91153 70 0 0 25 0 11 0 778466369 860549120 36440 4294967295 134512640 134569956 3221224384 3221214624 1131545851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36440 13086 16 0 210079 0 vsize: 840380 [startup+990.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 92098 70 0 0 25 0 11 0 778466369 860549120 36440 4294967295 134512640 134569956 3221224384 3221214664 1131228179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36440 13086 16 0 210079 0 vsize: 840380 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 93043 71 0 0 25 0 11 0 778466369 860549120 36472 4294967295 134512640 134569956 3221224384 3221214664 1131278517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36472 13086 16 0 210079 0 vsize: 840380 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 93969 71 0 0 25 0 11 0 778466369 860549120 36680 4294967295 134512640 134569956 3221224384 3221214760 1131400805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36680 13086 16 0 210079 0 vsize: 840380 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 94895 71 0 0 25 0 11 0 778466369 860549120 36680 4294967295 134512640 134569956 3221224384 3221214580 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36680 13086 16 0 210079 0 vsize: 840380 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 95839 71 0 0 25 0 11 0 778466369 860549120 36706 4294967295 134512640 134569956 3221224384 3221214692 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 36706 13086 16 0 210079 0 vsize: 840380 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 96783 72 0 0 25 0 11 0 778466369 860549120 36750 4294967295 134512640 134569956 3221224384 3221214692 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36750 13086 16 0 210079 0 vsize: 840380 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 97711 72 0 0 25 0 11 0 778466369 860549120 36791 4294967295 134512640 134569956 3221224384 3221214580 1130885132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36791 13086 16 0 210079 0 vsize: 840380 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 98651 73 0 0 25 0 11 0 778466369 860549120 36835 4294967295 134512640 134569956 3221224384 3221213128 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 36835 13086 16 0 210079 0 vsize: 840380 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 99599 73 0 0 25 0 11 0 778466369 860549120 36987 4294967295 134512640 134569956 3221224384 3221214620 1131278092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 36987 13086 16 0 210079 0 vsize: 840380 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 100544 73 0 0 25 0 11 0 778466369 860549120 37018 4294967295 134512640 134569956 3221224384 3221214528 1131211243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37018 13086 16 0 210079 0 vsize: 840380 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 101506 74 0 0 25 0 11 0 778466369 860549120 37065 4294967295 134512640 134569956 3221224384 3221214760 1131372232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37065 13086 16 0 210079 0 vsize: 840380 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 102450 74 0 0 25 0 11 0 778466369 860549120 37147 4294967295 134512640 134569956 3221224384 3221214728 1131376793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37147 13086 16 0 210079 0 vsize: 840380 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 103376 74 0 0 25 0 11 0 778466369 860549120 37279 4294967295 134512640 134569956 3221224384 3221214732 1131238752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37279 13086 16 0 210079 0 vsize: 840380 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 104321 75 0 0 25 0 11 0 778466369 860549120 37279 4294967295 134512640 134569956 3221224384 3221214664 1131247397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37279 13086 16 0 210079 0 vsize: 840380 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 105264 75 0 0 25 0 11 0 778466369 860549120 37354 4294967295 134512640 134569956 3221224384 3221214728 1131376748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 37354 13086 16 0 210079 0 vsize: 840380 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 106210 75 0 0 25 0 11 0 778466369 860549120 37441 4294967295 134512640 134569956 3221224384 3221214624 1131444799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37441 13086 16 0 210079 0 vsize: 840380 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 107157 76 0 0 25 0 11 0 778466369 860549120 37550 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 37550 13086 16 0 210079 0 vsize: 840380 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 108100 76 0 0 25 0 11 0 778466369 860549120 37568 4294967295 134512640 134569956 3221224384 3221214716 1131213307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 37568 13086 16 0 210079 0 vsize: 840380 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 109043 76 0 0 25 0 11 0 778466369 860549120 37635 4294967295 134512640 134569956 3221224384 3221214644 1131127988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37635 13086 16 0 210079 0 vsize: 840380 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 109988 77 0 0 25 0 11 0 778466369 860549120 37750 4294967295 134512640 134569956 3221224384 3221214528 1131278469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37750 13086 16 0 210079 0 vsize: 840380 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 110952 77 0 0 25 0 11 0 778466369 860549120 37766 4294967295 134512640 134569956 3221224384 3221214528 1131278517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37766 13086 16 0 210079 0 vsize: 840380 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 111897 77 0 0 25 0 11 0 778466369 860549120 37835 4294967295 134512640 134569956 3221224384 3221214664 1131247530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 37835 13086 16 0 210079 0 vsize: 840380 [startup+1210.08 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 112841 77 0 0 25 0 11 0 778466369 860549120 37886 4294967295 134512640 134569956 3221224384 3221214736 1131193303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 37886 13086 16 0 210079 0 vsize: 840380 [startup+1220.08 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 113787 77 0 0 25 0 11 0 778466369 860549120 37939 4294967295 134512640 134569956 3221224384 3221214736 1131193360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37939 13086 16 0 210079 0 vsize: 840380 [startup+1230.08 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 114732 77 0 0 25 0 11 0 778466369 860549120 37983 4294967295 134512640 134569956 3221224384 3221214672 1131247397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 37983 13086 16 0 210079 0 vsize: 840380 [startup+1240.08 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 115676 78 0 0 25 0 11 0 778466369 860549120 38017 4294967295 134512640 134569956 3221224384 3221214720 1131238843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 38017 13086 16 0 210079 0 vsize: 840380 [startup+1250.08 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 116638 78 0 0 25 0 11 0 778466369 860549120 38094 4294967295 134512640 134569956 3221224384 3221214608 1131238765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 38094 13086 16 0 210079 0 vsize: 840380 [startup+1260.08 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 117602 78 0 0 25 0 11 0 778466369 860549120 38128 4294967295 134512640 134569956 3221224384 3221214696 1131213337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 38128 13086 16 0 210079 0 vsize: 840380 [startup+1270.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 118565 79 0 0 25 0 11 0 778466369 860549120 38201 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 38201 13086 16 0 210079 0 vsize: 840380 [startup+1280.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 119497 79 0 0 25 0 11 0 778466369 860549120 38349 4294967295 134512640 134569956 3221224384 3221214664 1131278355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210095 38349 13086 16 0 210079 0 vsize: 840380 [startup+1290.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 17587 Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 120443 79 0 0 25 0 11 0 778466369 860549120 38420 4294967295 134512640 134569956 3221224384 3221214760 1131372314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210095 38420 13086 16 0 210079 0 vsize: 840380 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1290.19 s] Raw data (loadavg): 1.02 1.01 1.00 1/54 17589 Raw data (stat): 17577 (java) Z 17576 3944 3943 0 -1 1036 18089 27171 1 0 120447 86 9671 66 25 0 1 0 778466369 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): 1290.19 CPU time (s): 1302.73 CPU user time (s): 1301.19 CPU system time (s): 1.53277 CPU usage (%): 100.971 Max. virtual memory (Kb): 840380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####