Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
MD5SUM | 62b75258091a8b1382fa8b1c633d9511 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 694 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 99 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 4087 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 4087 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.168973 |
Number of variables | 99 |
Total number of constraints | 185 |
Number of constraints which are clauses | 185 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-05-25 06:06:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20662 boxname=wulflinc27 idbench=252 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 62b75258091a8b1382fa8b1c633d9511 /oldhome/oroussel/tmp/wulflinc27/normalized-cm42a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-cm42a.opb IDLAUNCH: 20662 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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: 514212 kB Buffers: 32076 kB Cached: 467152 kB SwapCached: 640 kB Active: 73704 kB Inactive: 427940 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 513960 kB SwapTotal: 2097892 kB SwapFree: 2096760 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5648 kB Slab: 13240 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 06:27:08 (client local time) WITH STATUS 143 IN 1222.84 SECONDS stats: 20662 0 1222.84 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/wulflinc27/normalized-cm42a.opb c reading problem ... done. Time 0.348 ms. c #vars 99 c #constraints 185 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 700 Current CPU time: 0.50 ms c CURRENT OPTIMUM= 694 Current CPU time: 402.25 ms c starts : 7 c conflicts : 964 c decisions : 3353 c propagations : 13601 c inspects : 538049 c learned literals : 4 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 959 c root simplifications : 11 s SATISFIABLE v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 c objectif function=694 c Total CPU time (ms) : 1219.104 #### 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.91 2/54 15461 Raw data (stat): 15461 (runsolver) R 15460 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836584698 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.0006 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18116 3 1 0 630 39 0 0 25 0 11 0 836584698 868483072 21973 4294967295 134512640 134569956 3221224384 3221214644 1131161376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212032 21973 13086 16 0 212016 0 vsize: 848128 [startup+20.0018 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 1587 39 0 0 25 0 11 0 836584698 868483072 22874 4294967295 134512640 134569956 3221224384 3221214696 1131176741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212032 22874 13086 16 0 212016 0 vsize: 848128 [startup+30.0023 s] Raw data (loadavg): 1.09 1.02 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 2543 39 0 0 25 0 11 0 836584698 867434496 23098 4294967295 134512640 134569956 3221224384 3221214696 1131176539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 23098 13086 16 0 211760 0 vsize: 847104 [startup+40.002 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 3500 40 0 0 25 0 11 0 836584698 867434496 23533 4294967295 134512640 134569956 3221224384 3221214660 1131348563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 23533 13086 16 0 211760 0 vsize: 847104 [startup+50.0032 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 4470 40 0 0 25 0 11 0 836584698 867434496 23535 4294967295 134512640 134569956 3221224384 3221214696 1131176900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 23535 13086 16 0 211760 0 vsize: 847104 [startup+60.0027 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 5432 40 0 0 25 0 11 0 836584698 867434496 23707 4294967295 134512640 134569956 3221224384 3221214696 1131176647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 23707 13086 16 0 211760 0 vsize: 847104 [startup+70.0035 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 6380 40 0 0 25 0 11 0 836584698 867434496 23919 4294967295 134512640 134569956 3221224384 3221214672 1131245123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 23919 13086 16 0 211760 0 vsize: 847104 [startup+80.0047 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 7352 40 0 0 25 0 11 0 836584698 867434496 24011 4294967295 134512640 134569956 3221224384 3221214448 1131356069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24011 13086 16 0 211760 0 vsize: 847104 [startup+90.0041 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 8313 40 0 0 25 0 11 0 836584698 867434496 24223 4294967295 134512640 134569956 3221224384 3221214536 1131184190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24223 13086 16 0 211760 0 vsize: 847104 [startup+100.004 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 9302 40 0 0 25 0 11 0 836584698 867434496 24300 4294967295 134512640 134569956 3221224384 3221214616 1131245031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 24300 13086 16 0 211760 0 vsize: 847104 [startup+110.005 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 10280 40 0 0 25 0 11 0 836584698 867434496 24429 4294967295 134512640 134569956 3221224384 3221214752 1131148864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24429 13086 16 0 211760 0 vsize: 847104 [startup+120.005 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 11252 40 0 0 25 0 11 0 836584698 867434496 24628 4294967295 134512640 134569956 3221224384 3221214536 1131184349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24628 13086 16 0 211760 0 vsize: 847104 [startup+130.005 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 12243 40 0 0 25 0 11 0 836584698 867434496 24675 4294967295 134512640 134569956 3221224384 3221214496 1131410844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24675 13086 16 0 211760 0 vsize: 847104 [startup+140.006 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 13229 40 0 0 25 0 11 0 836584698 867434496 24738 4294967295 134512640 134569956 3221224384 3221214608 1131244734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24738 13086 16 0 211760 0 vsize: 847104 [startup+150.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 14213 40 0 0 25 0 11 0 836584698 867434496 24835 4294967295 134512640 134569956 3221224384 3221214696 1131176496 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24835 13086 16 0 211760 0 vsize: 847104 [startup+160.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 15193 40 0 0 25 0 11 0 836584698 867434496 24963 4294967295 134512640 134569956 3221224384 3221214496 1131415087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24963 13086 16 0 211760 0 vsize: 847104 [startup+170.009 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 16185 41 0 0 25 0 11 0 836584698 867434496 24988 4294967295 134512640 134569956 3221224384 3221214496 1131415534 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 24988 13086 16 0 211760 0 vsize: 847104 [startup+180.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 17177 41 0 0 25 0 11 0 836584698 867434496 25015 4294967295 134512640 134569956 3221224384 3221214696 1131176266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25015 13086 16 0 211760 0 vsize: 847104 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 18169 41 0 0 25 0 11 0 836584698 867434496 25042 4294967295 134512640 134569956 3221224384 3221214496 1131414584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25042 13086 16 0 211760 0 vsize: 847104 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 19165 41 0 0 25 0 11 0 836584698 867434496 25074 4294967295 134512640 134569956 3221224384 3221214696 1131176217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25074 13086 16 0 211760 0 vsize: 847104 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 20152 41 0 0 25 0 11 0 836584698 867434496 25142 4294967295 134512640 134569956 3221224384 3221214696 1131176922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 25142 13086 16 0 211760 0 vsize: 847104 [startup+220.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 21136 41 0 0 25 0 11 0 836584698 867434496 25211 4294967295 134512640 134569956 3221224384 3221214448 1131356071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25211 13086 16 0 211760 0 vsize: 847104 [startup+230.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 22120 41 0 0 25 0 11 0 836584698 867434496 25323 4294967295 134512640 134569956 3221224384 3221214696 1131176647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25323 13086 16 0 211760 0 vsize: 847104 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 23117 41 0 0 25 0 11 0 836584698 867434496 25342 4294967295 134512640 134569956 3221224384 3221214448 1131355895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25342 13086 16 0 211760 0 vsize: 847104 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 24109 41 0 0 25 0 11 0 836584698 867434496 25375 4294967295 134512640 134569956 3221224384 3221214616 1131245129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25375 13086 16 0 211760 0 vsize: 847104 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 25095 41 0 0 25 0 11 0 836584698 867434496 25455 4294967295 134512640 134569956 3221224384 3221214448 1131355929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25455 13086 16 0 211760 0 vsize: 847104 [startup+270.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 26084 41 0 0 25 0 11 0 836584698 867434496 25559 4294967295 134512640 134569956 3221224384 3221214496 1131411698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25559 13086 16 0 211760 0 vsize: 847104 [startup+280.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 27078 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214448 1131355528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25584 13086 16 0 211760 0 vsize: 847104 [startup+290.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 28079 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214496 1131415168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25584 13086 16 0 211760 0 vsize: 847104 [startup+300.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 29078 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214616 1131245112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25584 13086 16 0 211760 0 vsize: 847104 [startup+310.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 30075 42 0 0 25 0 11 0 836584698 867434496 25600 4294967295 134512640 134569956 3221224384 3221214448 1131356006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25600 13086 16 0 211760 0 vsize: 847104 [startup+320.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 31065 42 0 0 25 0 11 0 836584698 867434496 25655 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25655 13086 16 0 211760 0 vsize: 847104 [startup+330.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 32059 42 0 0 25 0 11 0 836584698 867434496 25761 4294967295 134512640 134569956 3221224384 3221214496 1131415168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25761 13086 16 0 211760 0 vsize: 847104 [startup+340.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 33055 42 0 0 25 0 11 0 836584698 867434496 25833 4294967295 134512640 134569956 3221224384 3221214496 1131415291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25833 13086 16 0 211760 0 vsize: 847104 [startup+350.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 34051 42 0 0 25 0 11 0 836584698 867434496 25858 4294967295 134512640 134569956 3221224384 3221214496 1131415079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 25858 13086 16 0 211760 0 vsize: 847104 [startup+360.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 35051 42 0 0 25 0 11 0 836584698 867434496 25858 4294967295 134512640 134569956 3221224384 3221214448 1131355514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25858 13086 16 0 211760 0 vsize: 847104 [startup+370.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 36048 42 0 0 25 0 11 0 836584698 867434496 25876 4294967295 134512640 134569956 3221224384 3221214496 1131415297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25876 13086 16 0 211760 0 vsize: 847104 [startup+380.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 37048 42 0 0 25 0 11 0 836584698 867434496 25876 4294967295 134512640 134569956 3221224384 3221214608 1131245031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25876 13086 16 0 211760 0 vsize: 847104 [startup+390.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 38045 42 0 0 25 0 11 0 836584698 867434496 25890 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25890 13086 16 0 211760 0 vsize: 847104 [startup+400.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15472 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 39045 42 0 0 25 0 11 0 836584698 867434496 25890 4294967295 134512640 134569956 3221224384 3221214448 1131355514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 25890 13086 16 0 211760 0 vsize: 847104 [startup+410.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 40030 42 0 0 25 0 11 0 836584698 867434496 26011 4294967295 134512640 134569956 3221224384 3221214496 1131410569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26011 13086 16 0 211760 0 vsize: 847104 [startup+420.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 41028 42 0 0 25 0 11 0 836584698 867434496 26021 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26021 13086 16 0 211760 0 vsize: 847104 [startup+430.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 42025 42 0 0 25 0 11 0 836584698 867434496 26039 4294967295 134512640 134569956 3221224384 3221214496 1131415283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26039 13086 16 0 211760 0 vsize: 847104 [startup+440.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 43019 42 0 0 25 0 11 0 836584698 867434496 26073 4294967295 134512640 134569956 3221224384 3221214448 1131355489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26073 13086 16 0 211760 0 vsize: 847104 [startup+450.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 44019 42 0 0 25 0 11 0 836584698 867434496 26073 4294967295 134512640 134569956 3221224384 3221214496 1131410930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 26073 13086 16 0 211760 0 vsize: 847104 [startup+460.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 45012 43 0 0 25 0 11 0 836584698 867434496 26095 4294967295 134512640 134569956 3221224384 3221214752 1131148864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26095 13086 16 0 211760 0 vsize: 847104 [startup+470.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 45999 43 0 0 24 0 11 0 836584698 867434496 26187 4294967295 134512640 134569956 3221224384 3221214696 1131176876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26187 13086 16 0 211760 0 vsize: 847104 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 46988 43 0 0 25 0 11 0 836584698 867434496 26236 4294967295 134512640 134569956 3221224384 3221214416 1131355895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26236 13086 16 0 211760 0 vsize: 847104 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 47977 43 0 0 25 0 11 0 836584698 867434496 26275 4294967295 134512640 134569956 3221224384 3221214496 1131415280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26275 13086 16 0 211760 0 vsize: 847104 [startup+500.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 48973 43 0 0 25 0 11 0 836584698 867434496 26305 4294967295 134512640 134569956 3221224384 3221214616 1131245153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26305 13086 16 0 211760 0 vsize: 847104 [startup+510.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 49973 43 0 0 25 0 11 0 836584698 867434496 26305 4294967295 134512640 134569956 3221224384 3221214616 1131245178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26305 13086 16 0 211760 0 vsize: 847104 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 50957 43 0 0 25 0 11 0 836584698 867434496 26367 4294967295 134512640 134569956 3221224384 3221214496 1131411474 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 26367 13086 16 0 211760 0 vsize: 847104 [startup+530.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 51952 43 0 0 25 0 11 0 836584698 867434496 26395 4294967295 134512640 134569956 3221224384 3221214496 1131411075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26395 13086 16 0 211760 0 vsize: 847104 [startup+540.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 52940 43 0 0 25 0 11 0 836584698 867434496 26460 4294967295 134512640 134569956 3221224384 3221214616 1131245092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26460 13086 16 0 211760 0 vsize: 847104 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 53936 43 0 0 25 0 11 0 836584698 867434496 26460 4294967295 134512640 134569956 3221224384 3221214696 1131176900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26460 13086 16 0 211760 0 vsize: 847104 [startup+560.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 54917 43 0 0 25 0 11 0 836584698 867434496 26674 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26674 13086 16 0 211760 0 vsize: 847104 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 55913 43 0 0 25 0 11 0 836584698 867434496 26674 4294967295 134512640 134569956 3221224384 3221214672 1131245049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26674 13086 16 0 211760 0 vsize: 847104 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) S 15460 3394 3393 0 -1 0 18120 3 1 0 56904 43 0 0 25 0 11 0 836584698 867434496 26729 4294967295 134512640 134569956 3221224384 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26729 13086 16 0 211760 0 vsize: 847104 [startup+590.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 57884 43 0 0 25 0 11 0 836584698 867434496 26807 4294967295 134512640 134569956 3221224384 3221214496 1131410981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26807 13086 16 0 211760 0 vsize: 847104 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 58876 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214496 1131411075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26875 13086 16 0 211760 0 vsize: 847104 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 59876 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214496 1131411091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26875 13086 16 0 211760 0 vsize: 847104 [startup+620.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 60872 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214448 1131355776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26875 13086 16 0 211760 0 vsize: 847104 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 61864 43 0 0 25 0 11 0 836584698 867434496 26930 4294967295 134512640 134569956 3221224384 3221214496 1131415263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26930 13086 16 0 211760 0 vsize: 847104 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 62860 43 0 0 25 0 11 0 836584698 867434496 26999 4294967295 134512640 134569956 3221224384 3221214672 1131245139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 26999 13086 16 0 211760 0 vsize: 847104 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 63853 43 0 0 25 0 11 0 836584698 867434496 27094 4294967295 134512640 134569956 3221224384 3221214448 1131355645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27094 13086 16 0 211760 0 vsize: 847104 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 64849 43 0 0 25 0 11 0 836584698 867434496 27101 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27101 13086 16 0 211760 0 vsize: 847104 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 65845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214616 1131244996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27142 13086 16 0 211760 0 vsize: 847104 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 66845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27142 13086 16 0 211760 0 vsize: 847104 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 67845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214672 1131245160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27142 13086 16 0 211760 0 vsize: 847104 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 68838 44 0 0 25 0 11 0 836584698 867434496 27188 4294967295 134512640 134569956 3221224384 3221214496 1131414973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27188 13086 16 0 211760 0 vsize: 847104 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 69830 44 0 0 25 0 11 0 836584698 867434496 27226 4294967295 134512640 134569956 3221224384 3221214416 1131356069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27226 13086 16 0 211760 0 vsize: 847104 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 70827 44 0 0 25 0 11 0 836584698 867434496 27226 4294967295 134512640 134569956 3221224384 3221214416 1131355606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27226 13086 16 0 211760 0 vsize: 847104 [startup+730.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 71824 44 0 0 25 0 11 0 836584698 867434496 27274 4294967295 134512640 134569956 3221224384 3221214416 1131355589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27274 13086 16 0 211760 0 vsize: 847104 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 72814 44 0 0 25 0 11 0 836584698 867434496 27367 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 27367 13086 16 0 211760 0 vsize: 847104 [startup+750.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 73810 44 0 0 25 0 11 0 836584698 867434496 27449 4294967295 134512640 134569956 3221224384 3221214696 1131176924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27449 13086 16 0 211760 0 vsize: 847104 [startup+760.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 74804 44 0 0 25 0 11 0 836584698 867434496 27498 4294967295 134512640 134569956 3221224384 3221214608 1131245191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27498 13086 16 0 211760 0 vsize: 847104 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 75799 44 0 0 25 0 11 0 836584698 867434496 27532 4294967295 134512640 134569956 3221224384 3221214496 1131415186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27532 13086 16 0 211760 0 vsize: 847104 [startup+780.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 76795 44 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214496 1131410920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27555 13086 16 0 211760 0 vsize: 847104 [startup+790.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 77795 44 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214416 1131355672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27555 13086 16 0 211760 0 vsize: 847104 [startup+800.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 78795 45 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214416 1131355802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 27555 13086 16 0 211760 0 vsize: 847104 [startup+810.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 79786 45 0 0 25 0 11 0 836584698 867434496 27630 4294967295 134512640 134569956 3221224384 3221214448 1131356092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27630 13086 16 0 211760 0 vsize: 847104 [startup+820.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 80783 45 0 0 25 0 11 0 836584698 867434496 27630 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 27630 13086 16 0 211760 0 vsize: 847104 [startup+830.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 81776 45 0 0 25 0 11 0 836584698 867434496 27655 4294967295 134512640 134569956 3221224384 3221214536 1131184397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27655 13086 16 0 211760 0 vsize: 847104 [startup+840.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 82773 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214616 1131244996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27714 13086 16 0 211760 0 vsize: 847104 [startup+850.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 83772 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214496 1131415063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27714 13086 16 0 211760 0 vsize: 847104 [startup+860.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 84765 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214496 1131415160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 27714 13086 16 0 211760 0 vsize: 847104 [startup+870.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 85762 46 0 0 25 0 11 0 836584698 867434496 27756 4294967295 134512640 134569956 3221224384 3221214300 1080217334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 27756 13086 16 0 211760 0 vsize: 847104 [startup+880.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 86758 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131415040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27794 13086 16 0 211760 0 vsize: 847104 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 87757 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131410536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27794 13086 16 0 211760 0 vsize: 847104 [startup+900.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 88757 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131415313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27794 13086 16 0 211760 0 vsize: 847104 [startup+910.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 89746 46 0 0 25 0 11 0 836584698 867434496 27846 4294967295 134512640 134569956 3221224384 3221214496 1131415046 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27846 13086 16 0 211760 0 vsize: 847104 [startup+920.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 90739 46 0 0 25 0 11 0 836584698 867434496 27898 4294967295 134512640 134569956 3221224384 3221214696 1131177272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27898 13086 16 0 211760 0 vsize: 847104 [startup+930.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 91728 46 0 0 25 0 11 0 836584698 867434496 27994 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27994 13086 16 0 211760 0 vsize: 847104 [startup+940.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 92724 46 0 0 25 0 11 0 836584698 867434496 27994 4294967295 134512640 134569956 3221224384 3221214696 1131176914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 27994 13086 16 0 211760 0 vsize: 847104 [startup+950.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 93720 46 0 0 25 0 11 0 836584698 867434496 28000 4294967295 134512640 134569956 3221224384 3221214448 1131355582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28000 13086 16 0 211760 0 vsize: 847104 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 94716 47 0 0 25 0 11 0 836584698 867434496 28075 4294967295 134512640 134569956 3221224384 3221214448 1131355867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28075 13086 16 0 211760 0 vsize: 847104 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 95716 47 0 0 25 0 11 0 836584698 867434496 28075 4294967295 134512640 134569956 3221224384 3221214496 1131415186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28075 13086 16 0 211760 0 vsize: 847104 [startup+980.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 96704 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214448 1131355746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28193 13086 16 0 211760 0 vsize: 847104 [startup+990.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 97705 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214496 1131415210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28193 13086 16 0 211760 0 vsize: 847104 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 98705 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214448 1131355524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28193 13086 16 0 211760 0 vsize: 847104 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 99701 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214496 1131411049 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 28257 13086 16 0 211760 0 vsize: 847104 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 100700 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 28257 13086 16 0 211760 0 vsize: 847104 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 101700 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214416 1131355754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28257 13086 16 0 211760 0 vsize: 847104 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 102684 47 0 0 25 0 11 0 836584698 867434496 28398 4294967295 134512640 134569956 3221224384 3221214496 1131416211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28398 13086 16 0 211760 0 vsize: 847104 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 103684 47 0 0 25 0 11 0 836584698 867434496 28398 4294967295 134512640 134569956 3221224384 3221214616 1131245129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28398 13086 16 0 211760 0 vsize: 847104 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 104680 47 0 0 25 0 11 0 836584698 867434496 28505 4294967295 134512640 134569956 3221224384 3221214496 1131410974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28505 13086 16 0 211760 0 vsize: 847104 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 105672 47 0 0 25 0 11 0 836584698 867434496 28574 4294967295 134512640 134569956 3221224384 3221214496 1131415278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28574 13086 16 0 211760 0 vsize: 847104 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 106668 47 0 0 25 0 11 0 836584698 867434496 28582 4294967295 134512640 134569956 3221224384 3221214496 1131415221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28582 13086 16 0 211760 0 vsize: 847104 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 107664 47 0 0 25 0 11 0 836584698 867434496 28650 4294967295 134512640 134569956 3221224384 3221214536 1131184155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28650 13086 16 0 211760 0 vsize: 847104 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 108659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214496 1131415138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28732 13086 16 0 211760 0 vsize: 847104 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 109659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214496 1131415227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28732 13086 16 0 211760 0 vsize: 847104 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 110659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214608 1131245088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28732 13086 16 0 211760 0 vsize: 847104 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 111647 47 0 0 25 0 11 0 836584698 867434496 28848 4294967295 134512640 134569956 3221224384 3221214496 1131415052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211776 28848 13086 16 0 211760 0 vsize: 847104 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 112643 47 0 0 25 0 11 0 836584698 867434496 28848 4294967295 134512640 134569956 3221224384 3221214448 1131355996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 28848 13086 16 0 211760 0 vsize: 847104 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 113627 47 0 0 25 0 11 0 836584698 867434496 29040 4294967295 134512640 134569956 3221224384 3221214144 1080217202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29040 13086 16 0 211760 0 vsize: 847104 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 114611 47 0 0 25 0 11 0 836584698 867434496 29090 4294967295 134512640 134569956 3221224384 3221214616 1131245139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29090 13086 16 0 211760 0 vsize: 847104 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 115611 47 0 0 25 0 11 0 836584698 867434496 29090 4294967295 134512640 134569956 3221224384 3221214608 1131176856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29090 13086 16 0 211760 0 vsize: 847104 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 116603 47 0 0 25 0 11 0 836584698 867434496 29240 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29240 13086 16 0 211760 0 vsize: 847104 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 117591 47 0 0 25 0 11 0 836584698 867434496 29271 4294967295 134512640 134569956 3221224384 3221214696 1131176795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29271 13086 16 0 211760 0 vsize: 847104 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 118579 47 0 0 25 0 11 0 836584698 867434496 29381 4294967295 134512640 134569956 3221224384 3221214696 1131176809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29381 13086 16 0 211760 0 vsize: 847104 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 119566 47 0 0 25 0 11 0 836584698 867434496 29442 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29442 13086 16 0 211760 0 vsize: 847104 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 15473 Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 120558 47 0 0 25 0 11 0 836584698 867434496 29578 4294967295 134512640 134569956 3221224384 3221214496 1131416379 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211776 29578 13086 16 0 211760 0 vsize: 847104 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 15475 Raw data (stat): 15461 (java) Z 15460 3394 3393 0 -1 1036 18120 12758 1 0 120561 47 1646 27 25 0 1 0 836584698 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.16 CPU time (s): 1222.84 CPU user time (s): 1222.08 CPU system time (s): 0.755885 CPU usage (%): 100.219 Max. virtual memory (Kb): 848128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 694 #### END VERIFIER DATA ####