Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb |
MD5SUM | 1d9168a9335e29df835d07b0bdf2adea |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10447498 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 289 |
Biggest coefficient in the objective function | 80000000 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 686518451 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 80000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 686518451 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.335948 |
Number of variables | 291 |
Total number of constraints | 543 |
Number of constraints which are clauses | 189 |
Number of constraints which are cardinality constraints (but not clauses) | 295 |
Number of constraints which are nor clauses,nor cardinality constraints | 59 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 53 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 08:46:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20947 boxname=wulflinc2 idbench=935 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 1d9168a9335e29df835d07b0bdf2adea /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0291.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0291.opb IDLAUNCH: 20947 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 535272 kB Buffers: 28712 kB Cached: 450672 kB SwapCached: 696 kB Active: 46184 kB Inactive: 435604 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 535020 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5620 kB Slab: 11964 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 09:07:24 (client local time) WITH STATUS 143 IN 1238.52 SECONDS stats: 20947 0 1238.52 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/wulflinc2/normalized-mps-v2-20-10-p0291.opb c reading problem ... done. Time 1.096 ms. c #vars 291 c #constraints 205 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 172690207 Current CPU time: 1.23 ms c CURRENT OPTIMUM= 172412282 Current CPU time: 1.85 ms c CURRENT OPTIMUM= 17871168 Current CPU time: 1.92 ms c CURRENT OPTIMUM= 15584050 Current CPU time: 2.70 ms c CURRENT OPTIMUM= 15520008 Current CPU time: 3.85 ms c CURRENT OPTIMUM= 15490398 Current CPU time: 4.77 ms c CURRENT OPTIMUM= 15484040 Current CPU time: 5.26 ms c CURRENT OPTIMUM= 15454430 Current CPU time: 5.42 ms c CURRENT OPTIMUM= 15032090 Current CPU time: 5.83 ms c CURRENT OPTIMUM= 15002480 Current CPU time: 6.02 ms c CURRENT OPTIMUM= 14858065 Current CPU time: 6.83 ms c CURRENT OPTIMUM= 14828455 Current CPU time: 7.06 ms c CURRENT OPTIMUM= 14442083 Current CPU time: 7.68 ms c CURRENT OPTIMUM= 14412473 Current CPU time: 8.43 ms c CURRENT OPTIMUM= 14404395 Current CPU time: 9.91 ms c CURRENT OPTIMUM= 14354165 Current CPU time: 11.04 ms c CURRENT OPTIMUM= 14324555 Current CPU time: 12.03 ms c CURRENT OPTIMUM= 13938183 Current CPU time: 13.04 ms c CURRENT OPTIMUM= 13764158 Current CPU time: 15.22 ms c CURRENT OPTIMUM= 13640620 Current CPU time: 16.65 ms c CURRENT OPTIMUM= 13611010 Current CPU time: 17.10 ms c CURRENT OPTIMUM= 12721770 Current CPU time: 502.38 ms c CURRENT OPTIMUM= 12696015 Current CPU time: 531.37 ms c CURRENT OPTIMUM= 12142023 Current CPU time: 552.25 ms c CURRENT OPTIMUM= 12033823 Current CPU time: 883.52 ms c CURRENT OPTIMUM= 11355898 Current CPU time: 905.83 ms c CURRENT OPTIMUM= 11274091 Current CPU time: 936.68 ms c CURRENT OPTIMUM= 11219115 Current CPU time: 975.16 ms c CURRENT OPTIMUM= 11140720 Current CPU time: 1164.89 ms c CURRENT OPTIMUM= 10621523 Current CPU time: 1181.81 ms c starts : 35 c conflicts : 915 c decisions : 9599 c propagations : 21388 c inspects : 1374568 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 915 c root simplifications : 470 s SATISFIABLE v -X0101_bit0 -X0102_bit0 -X0103_bit0 -X0104_bit0 -X0201_bit0 -X0202_bit0 -X0203_bit0 -X0204_bit0 -X0301_bit0 -X0302_bit0 -X0303_bit0 X0304_bit0 -X0401_bit0 -X0402_bit0 -X0403_bit0 -X0404_bit0 -X0501_bit0 -X0502_bit0 -X0503_bit0 -X0504_bit0 -X0601_bit0 -X0602_bit0 -X0603_bit0 -X0604_bit0 -X0701_bit0 -X0702_bit0 -X0703_bit0 -X0704_bit0 -X0801_bit0 -X0802_bit0 -X0803_bit0 -X0804_bit0 -X0901_bit0 -X0902_bit0 -X0903_bit0 -X0904_bit0 -X1001_bit0 -X1002_bit0 -X1003_bit0 -X1004_bit0 -X1101_bit0 -X1102_bit0 -X1103_bit0 -X1104_bit0 -X1201_bit0 -X1202_bit0 -X1203_bit0 -X1204_bit0 -X1301_bit0 -X1302_bit0 -X1303_bit0 -X1304_bit0 -X1401_bit0 -X1402_bit0 -X1403_bit0 -X1404_bit0 -X1501_bit0 -X1502_bit0 -X1503_bit0 -X1504_bit0 -X1601_bit0 -X1602_bit0 -X1603_bit0 -X1604_bit0 -X1701_bit0 -X1702_bit0 -X1703_bit0 -X1704_bit0 -X1801_bit0 -X1802_bit0 -X1803_bit0 -X1804_bit0 -X1901_bit0 -X1902_bit0 -X1903_bit0 -X1904_bit0 -X2001_bit0 -X2002_bit0 -X2003_bit0 -X2004_bit0 -X2101_bit0 -X2102_bit0 -X2103_bit0 -X2104_bit0 -X2105_bit0 -X2201_bit0 -X2202_bit0 -X2203_bit0 -X2204_bit0 -X2205_bit0 -X2301_bit0 X2302_bit0 -X2303_bit0 -X2304_bit0 -X2305_bit0 -X2401_bit0 -X2402_bit0 -X2403_bit0 -X2404_bit0 -X2405_bit0 -X2501_bit0 -X2502_bit0 -X2503_bit0 -X2504_bit0 -X2601_bit0 -X2603_bit0 -X2604_bit0 -X2701_bit0 -X2702_bit0 -X2703_bit0 -X2704_bit0 -X2801_bit0 -X2802_bit0 -X2803_bit0 -X2804_bit0 -X2901_bit0 -X2902_bit0 -X2903_bit0 -X2904_bit0 -X3001_bit0 -X3002_bit0 -X3003_bit0 -X3004_bit0 -X3101_bit0 -X3102_bit0 -X3103_bit0 -X3104_bit0 -X3201_bit0 -X3202_bit0 -X3203_bit0 -X3204_bit0 -X3301_bit0 -X3302_bit0 -X3303_bit0 -X3304_bit0 -X3401_bit0 -X3402_bit0 -X3403_bit0 -X3404_bit0 -X3501_bit0 -X3502_bit0 -X3503_bit0 -X3504_bit0 -X3601_bit0 -X3602_bit0 -X3603_bit0 -X3604_bit0 -X3701_bit0 -X3702_bit0 -X3703_bit0 -X3704_bit0 -X3801_bit0 -X3802_bit0 -X3803_bit0 -X3804_bit0 -X3901_bit0 -X3902_bit0 -X3903_bit0 -X3904_bit0 -X4001_bit0 -X4002_bit0 -X4003_bit0 -X4004_bit0 -X4101_bit0 -X4102_bit0 -X4103_bit0 -X4104_bit0 -X4201_bit0 -X4202_bit0 -X4203_bit0 -X4204_bit0 -X4301_bit0 -X4302_bit0 -X4303_bit0 -X4304_bit0 -X4401_bit0 -X4402_bit0 -X4403_bit0 -X4404_bit0 -X4501_bit0 -X4502_bit0 -X4503_bit0 -X4504_bit0 -X4505_bit0 -X4601_bit0 -X4602_bit0 -X4603_bit0 -X4604_bit0 -X4605_bit0 -X4701_bit0 -X4702_bit0 -X4703_bit0 -X4704_bit0 -X4705_bit0 -X4801_bit0 -X4802_bit0 -X4803_bit0 -X4804_bit0 -X4805_bit0 -X4901_bit0 -X4902_bit0 -X4903_bit0 X4904_bit0 X4905_bit0 -X5001_bit0 -X5002_bit0 -X5003_bit0 -X5004_bit0 -X5005_bit0 -X5101_bit0 X5102_bit0 -X5103_bit0 X5104_bit0 X5105_bit0 -X5201_bit0 -X5202_bit0 -X5203_bit0 -X5204_bit0 -X5205_bit0 -X0001AN_bit0 -X0102AN_bit0 -X0202AN_bit0 -X0302AN_bit0 -X0003AN_bit0 -X0005AN_bit0 -X0006AN_bit0 X0007AN_bit0 -X0010AN_bit0 -X0111AN_bit0 -X0211AN_bit0 -X0311AN_bit0 -X0012AN_bit0 -X0113AN_bit0 X0213AN_bit0 -X0114AN_bit0 -X0214AN_bit0 -X0115AN_bit0 -X0215AN_bit0 -X0315AN_bit0 -X0016AN_bit0 -X0117AN_bit0 -X0217AN_bit0 -X0317AN_bit0 -X0019AN_bit0 -X0020AN_bit0 -X0121AN_bit0 -X0221AN_bit0 X0321AN_bit0 -X0122AN_bit0 -X0222AN_bit0 -X0322AN_bit0 -X0023AN_bit0 X0024AN_bit0 -X0025AN_bit0 X0026AN_bit0 -X0028AN_bit0 -X0029AN_bit0 -Y0001S_bit0 -Y0102S_bit0 -Y0202S_bit0 Y0302S_bit0 -Y0003S_bit0 Y0004S_bit0 Y0005S_bit0 -Y0001AN_bit0 -Y0102AN_bit0 -Y0202AN_bit0 -Y0302AN_bit0 -Y0003AN_bit0 -Y0005AN_bit0 Y0007AN_bit0 -Y0111AN_bit0 -Y0211AN_bit0 -Y0311AN_bit0 -Y0012AN_bit0 -Y0115AN_bit0 -Y0215AN_bit0 -Y0315AN_bit0 -Y0016AN_bit0 -Y0117AN_bit0 -Y0217AN_bit0 -Y0317AN_bit0 -Y0018AN_bit0 -Y0019AN_bit0 -Y0122AN_bit0 -Y0222AN_bit0 -Y0322AN_bit0 -Y0023AN_bit0 Y0024AN_bit0 -X2602_bit0 -X0018AN_bit0 c objectif function=10621523 c Total CPU time (ms) : 1229.126 #### 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.98 0.99 2/54 11969 Raw data (stat): 11969 (runsolver) R 11968 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779332727 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 11993 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18129 3 1 0 725 38 0 0 25 0 11 0 779332727 862232576 20914 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210506 20914 13086 16 0 210490 0 vsize: 842024 [startup+20.0015 s] Raw data (loadavg): 1.13 1.03 1.01 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18131 3 1 0 1654 39 1 0 25 0 11 0 779332727 858898432 20317 4294967295 134512640 134569956 3221224368 3221214712 1131262628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 20317 13086 16 0 209676 0 vsize: 838768 [startup+30.0017 s] Raw data (loadavg): 1.11 1.03 1.01 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 2600 39 1 0 24 0 11 0 779332727 858898432 20615 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 20615 13086 16 0 209676 0 vsize: 838768 [startup+40.0019 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 3548 39 1 0 25 0 11 0 779332727 858898432 20933 4294967295 134512640 134569956 3221224368 3221214680 1131314886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 20933 13086 16 0 209676 0 vsize: 838768 [startup+50.0026 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 4511 39 1 0 25 0 11 0 779332727 858898432 21046 4294967295 134512640 134569956 3221224368 3221214680 1131309529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21046 13086 16 0 209676 0 vsize: 838768 [startup+60.0028 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 5476 39 1 0 25 0 11 0 779332727 858898432 21193 4294967295 134512640 134569956 3221224368 3221214632 1131219526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21193 13086 16 0 209676 0 vsize: 838768 [startup+70.004 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 6443 39 1 0 25 0 11 0 779332727 858898432 21292 4294967295 134512640 134569956 3221224368 3221214680 1131314783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21292 13086 16 0 209676 0 vsize: 838768 [startup+80.0047 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 7415 40 1 0 25 0 11 0 779332727 858898432 21365 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21365 13086 16 0 209676 0 vsize: 838768 [startup+90.0049 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 8392 40 1 0 25 0 11 0 779332727 858898432 21481 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21481 13086 16 0 209676 0 vsize: 838768 [startup+100.005 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 9370 40 1 0 25 0 11 0 779332727 858898432 21542 4294967295 134512640 134569956 3221224368 3221214680 1131309611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21542 13086 16 0 209676 0 vsize: 838768 [startup+110.006 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 10351 40 1 0 25 0 11 0 779332727 858898432 21592 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21592 13086 16 0 209676 0 vsize: 838768 [startup+120.006 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 11332 40 1 0 25 0 11 0 779332727 858898432 21647 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21647 13086 16 0 209676 0 vsize: 838768 [startup+130.007 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 12315 40 1 0 25 0 11 0 779332727 858898432 21690 4294967295 134512640 134569956 3221224368 3221214680 1131313971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21690 13086 16 0 209676 0 vsize: 838768 [startup+140.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 13297 40 1 0 25 0 11 0 779332727 858898432 21734 4294967295 134512640 134569956 3221224368 3221214584 1131210395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21734 13086 16 0 209676 0 vsize: 838768 [startup+150.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 14281 40 1 0 25 0 11 0 779332727 858898432 21778 4294967295 134512640 134569956 3221224368 3221214584 1131210267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21778 13086 16 0 209676 0 vsize: 838768 [startup+160.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 15263 41 1 0 25 0 11 0 779332727 858898432 21820 4294967295 134512640 134569956 3221224368 3221214680 1131310285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21820 13086 16 0 209676 0 vsize: 838768 [startup+170.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 16249 41 1 0 25 0 11 0 779332727 858898432 21857 4294967295 134512640 134569956 3221224368 3221214584 1131210271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21857 13086 16 0 209676 0 vsize: 838768 [startup+180.009 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 17228 41 1 0 25 0 11 0 779332727 858898432 21896 4294967295 134512640 134569956 3221224368 3221214680 1131310728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21896 13086 16 0 209676 0 vsize: 838768 [startup+190.01 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 18204 41 1 0 25 0 11 0 779332727 858898432 21929 4294967295 134512640 134569956 3221224368 3221214584 1131210463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21929 13086 16 0 209676 0 vsize: 838768 [startup+200.01 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 19177 41 1 0 24 0 11 0 779332727 858898432 21962 4294967295 134512640 134569956 3221224368 3221214680 1131310353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 21962 13086 16 0 209676 0 vsize: 838768 [startup+210.01 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 20158 41 1 0 25 0 11 0 779332727 858898432 22102 4294967295 134512640 134569956 3221224368 3221214584 1131210398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22102 13086 16 0 209676 0 vsize: 838768 [startup+220.012 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 21143 41 1 0 24 0 11 0 779332727 858898432 22138 4294967295 134512640 134569956 3221224368 3221214584 1131210169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22138 13086 16 0 209676 0 vsize: 838768 [startup+230.012 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 22129 41 1 0 25 0 11 0 779332727 858898432 22165 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22165 13086 16 0 209676 0 vsize: 838768 [startup+240.012 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 23114 41 1 0 24 0 11 0 779332727 858898432 22201 4294967295 134512640 134569956 3221224368 3221214176 1131458189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22201 13086 16 0 209676 0 vsize: 838768 [startup+250.014 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 24101 42 1 0 25 0 11 0 779332727 858898432 22229 4294967295 134512640 134569956 3221224368 3221214584 1131210129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22229 13086 16 0 209676 0 vsize: 838768 [startup+260.014 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 25087 42 1 0 24 0 11 0 779332727 858898432 22261 4294967295 134512640 134569956 3221224368 3221214680 1131309684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22261 13086 16 0 209676 0 vsize: 838768 [startup+270.015 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 26074 42 1 0 25 0 11 0 779332727 858898432 22284 4294967295 134512640 134569956 3221224368 3221214680 1131310690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22284 13086 16 0 209676 0 vsize: 838768 [startup+280.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 27060 42 1 0 24 0 11 0 779332727 858898432 22318 4294967295 134512640 134569956 3221224368 3221214680 1131315040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22318 13086 16 0 209676 0 vsize: 838768 [startup+290.016 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 28047 42 1 0 25 0 11 0 779332727 858898432 22340 4294967295 134512640 134569956 3221224368 3221214680 1131309601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22340 13086 16 0 209676 0 vsize: 838768 [startup+300.016 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 29032 43 1 0 24 0 11 0 779332727 858898432 22367 4294967295 134512640 134569956 3221224368 3221214680 1131312555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22367 13086 16 0 209676 0 vsize: 838768 [startup+310.016 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 30019 43 1 0 25 0 11 0 779332727 858898432 22394 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22394 13086 16 0 209676 0 vsize: 838768 [startup+320.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 31005 43 1 0 24 0 11 0 779332727 858898432 22421 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22421 13086 16 0 209676 0 vsize: 838768 [startup+330.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 31993 43 1 0 25 0 11 0 779332727 858898432 22443 4294967295 134512640 134569956 3221224368 3221214680 1131314020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22443 13086 16 0 209676 0 vsize: 838768 [startup+340.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 32979 43 1 0 24 0 11 0 779332727 858898432 22470 4294967295 134512640 134569956 3221224368 3221214680 1131308535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22470 13086 16 0 209676 0 vsize: 838768 [startup+350.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 33967 43 1 0 25 0 11 0 779332727 858898432 22492 4294967295 134512640 134569956 3221224368 3221214584 1131210299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22492 13086 16 0 209676 0 vsize: 838768 [startup+360.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 34954 43 1 0 25 0 11 0 779332727 858898432 22519 4294967295 134512640 134569956 3221224368 3221214680 1131308255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22519 13086 16 0 209676 0 vsize: 838768 [startup+370.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 35942 44 1 0 25 0 11 0 779332727 858898432 22540 4294967295 134512640 134569956 3221224368 3221214624 1131215619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22540 13086 16 0 209676 0 vsize: 838768 [startup+380.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 36928 44 1 0 25 0 11 0 779332727 858898432 22562 4294967295 134512640 134569956 3221224368 3221214680 1131308443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22562 13086 16 0 209676 0 vsize: 838768 [startup+390.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 37916 44 1 0 25 0 11 0 779332727 858898432 22584 4294967295 134512640 134569956 3221224368 3221214680 1131314020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22584 13086 16 0 209676 0 vsize: 838768 [startup+400.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 38903 44 1 0 25 0 11 0 779332727 858898432 22611 4294967295 134512640 134569956 3221224368 3221214584 1131210169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22611 13086 16 0 209676 0 vsize: 838768 [startup+410.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 39891 44 1 0 25 0 11 0 779332727 858898432 22627 4294967295 134512640 134569956 3221224368 3221214680 1131313929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22627 13086 16 0 209676 0 vsize: 838768 [startup+420.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 40878 44 1 0 25 0 11 0 779332727 858898432 22649 4294967295 134512640 134569956 3221224368 3221214584 1131210127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22649 13086 16 0 209676 0 vsize: 838768 [startup+430.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 41866 44 1 0 25 0 11 0 779332727 858898432 22670 4294967295 134512640 134569956 3221224368 3221214680 1131315150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22670 13086 16 0 209676 0 vsize: 838768 [startup+440.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 42852 45 1 0 25 0 11 0 779332727 858898432 22692 4294967295 134512640 134569956 3221224368 3221214496 1131459499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22692 13086 16 0 209676 0 vsize: 838768 [startup+450.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 43841 45 1 0 25 0 11 0 779332727 858898432 22714 4294967295 134512640 134569956 3221224368 3221214680 1131310690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22714 13086 16 0 209676 0 vsize: 838768 [startup+460.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 44828 45 1 0 25 0 11 0 779332727 858898432 22736 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22736 13086 16 0 209676 0 vsize: 838768 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 45816 45 1 0 25 0 11 0 779332727 858898432 22752 4294967295 134512640 134569956 3221224368 3221214680 1131309760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22752 13086 16 0 209676 0 vsize: 838768 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 46803 45 1 0 25 0 11 0 779332727 858898432 22773 4294967295 134512640 134569956 3221224368 3221214680 1131308535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22773 13086 16 0 209676 0 vsize: 838768 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) S 11968 31399 31398 0 -1 0 18132 3 1 0 47791 45 1 0 25 0 11 0 779332727 858898432 22795 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22795 13086 16 0 209676 0 vsize: 838768 [startup+500.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12000 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 48778 45 1 0 25 0 11 0 779332727 858898432 22818 4294967295 134512640 134569956 3221224368 3221214680 1131311712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22818 13086 16 0 209676 0 vsize: 838768 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12001 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18132 3 1 0 49766 45 1 0 25 0 11 0 779332727 858898432 22834 4294967295 134512640 134569956 3221224368 3221214680 1131314683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22834 13086 16 0 209676 0 vsize: 838768 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12001 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 50751 45 1 0 25 0 11 0 779332727 858898432 22861 4294967295 134512640 134569956 3221224368 3221214680 1131310468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22861 13086 16 0 209676 0 vsize: 838768 [startup+530.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12001 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 51738 45 1 0 25 0 11 0 779332727 858898432 22878 4294967295 134512640 134569956 3221224368 3221214584 1131210127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22878 13086 16 0 209676 0 vsize: 838768 [startup+540.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12002 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 52725 46 1 0 25 0 11 0 779332727 858898432 22895 4294967295 134512640 134569956 3221224368 3221214436 1131492448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22895 13086 16 0 209676 0 vsize: 838768 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12002 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 53712 46 1 0 25 0 11 0 779332727 858898432 22910 4294967295 134512640 134569956 3221224368 3221214856 1131371476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22910 13086 16 0 209676 0 vsize: 838768 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 54702 46 1 0 25 0 11 0 779332727 858898432 22924 4294967295 134512640 134569956 3221224368 3221214680 1131313971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22924 13086 16 0 209676 0 vsize: 838768 [startup+570.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 55690 46 1 0 25 0 11 0 779332727 858898432 22941 4294967295 134512640 134569956 3221224368 3221214680 1131310690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22941 13086 16 0 209676 0 vsize: 838768 [startup+580.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 56679 46 1 0 25 0 11 0 779332727 858898432 22951 4294967295 134512640 134569956 3221224368 3221214584 1131210271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22951 13086 16 0 209676 0 vsize: 838768 [startup+590.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 57668 47 1 0 25 0 11 0 779332727 858898432 22962 4294967295 134512640 134569956 3221224368 3221214800 1131416621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22962 13086 16 0 209676 0 vsize: 838768 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 58656 47 1 0 25 0 11 0 779332727 858898432 22974 4294967295 134512640 134569956 3221224368 3221214680 1131308631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22974 13086 16 0 209676 0 vsize: 838768 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 59646 47 1 0 25 0 11 0 779332727 858898432 22985 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22985 13086 16 0 209676 0 vsize: 838768 [startup+620.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 60634 47 1 0 25 0 11 0 779332727 858898432 22996 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 22996 13086 16 0 209676 0 vsize: 838768 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 61622 47 1 0 25 0 11 0 779332727 858898432 23007 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23007 13086 16 0 209676 0 vsize: 838768 [startup+640.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 62612 47 1 0 25 0 11 0 779332727 858898432 23013 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23013 13086 16 0 209676 0 vsize: 838768 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 63601 47 1 0 25 0 11 0 779332727 858898432 23024 4294967295 134512640 134569956 3221224368 3221214680 1131313687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23024 13086 16 0 209676 0 vsize: 838768 [startup+660.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 64589 47 1 0 24 0 11 0 779332727 858898432 23035 4294967295 134512640 134569956 3221224368 3221214584 1131210104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23035 13086 16 0 209676 0 vsize: 838768 [startup+670.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 65578 47 1 0 25 0 11 0 779332727 858898432 23045 4294967295 134512640 134569956 3221224368 3221214680 1131312591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23045 13086 16 0 209676 0 vsize: 838768 [startup+680.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 66567 47 1 0 25 0 11 0 779332727 858898432 23056 4294967295 134512640 134569956 3221224368 3221214680 1131310664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23056 13086 16 0 209676 0 vsize: 838768 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 67555 47 1 0 24 0 11 0 779332727 858898432 23067 4294967295 134512640 134569956 3221224368 3221214680 1131313780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23067 13086 16 0 209676 0 vsize: 838768 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 68544 47 1 0 25 0 11 0 779332727 858898432 23074 4294967295 134512640 134569956 3221224368 3221214680 1131313687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23074 13086 16 0 209676 0 vsize: 838768 [startup+710.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 69533 48 1 0 25 0 11 0 779332727 858898432 23085 4294967295 134512640 134569956 3221224368 3221214584 1131211034 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23085 13086 16 0 209676 0 vsize: 838768 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) S 11968 31399 31398 0 -1 0 18133 3 1 0 70522 48 1 0 25 0 11 0 779332727 858898432 23096 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23096 13086 16 0 209676 0 vsize: 838768 [startup+730.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 71511 48 1 0 25 0 11 0 779332727 858898432 23107 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23107 13086 16 0 209676 0 vsize: 838768 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 72500 48 1 0 25 0 11 0 779332727 858898432 23118 4294967295 134512640 134569956 3221224368 3221214584 1131210091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23118 13086 16 0 209676 0 vsize: 838768 [startup+750.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 73489 48 1 0 25 0 11 0 779332727 858898432 23124 4294967295 134512640 134569956 3221224368 3221214584 1131210101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23124 13086 16 0 209676 0 vsize: 838768 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 74472 48 1 0 25 0 11 0 779332727 858898432 23135 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23135 13086 16 0 209676 0 vsize: 838768 [startup+770.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) S 11968 31399 31398 0 -1 0 18133 3 1 0 75447 48 1 0 25 0 11 0 779332727 858898432 23151 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23151 13086 16 0 209676 0 vsize: 838768 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 76419 49 1 0 25 0 11 0 779332727 858898432 23157 4294967295 134512640 134569956 3221224368 3221214584 1131210121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23157 13086 16 0 209676 0 vsize: 838768 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12003 Raw data (stat): 11969 (java) S 11968 31399 31398 0 -1 0 18133 3 1 0 77394 49 1 0 25 0 11 0 779332727 858898432 23246 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23246 13086 16 0 209676 0 vsize: 838768 [startup+800.05 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 78365 58 1 0 25 0 11 0 779332727 858898432 23352 4294967295 134512640 134569956 3221224368 3221214584 1131210169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23352 13086 16 0 209676 0 vsize: 838768 [startup+810.051 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 79350 59 1 0 25 0 11 0 779332727 858898432 23374 4294967295 134512640 134569956 3221224368 3221214632 1131219501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23374 13086 16 0 209676 0 vsize: 838768 [startup+820.052 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 80337 59 1 0 25 0 11 0 779332727 858898432 23390 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23390 13086 16 0 209676 0 vsize: 838768 [startup+830.052 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 81322 59 1 0 25 0 11 0 779332727 858898432 23410 4294967295 134512640 134569956 3221224368 3221214680 1131308535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23410 13086 16 0 209676 0 vsize: 838768 [startup+840.053 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 82309 59 1 0 25 0 11 0 779332727 858898432 23430 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23430 13086 16 0 209676 0 vsize: 838768 [startup+850.053 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12056 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 83296 60 1 0 24 0 11 0 779332727 858898432 23437 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23437 13086 16 0 209676 0 vsize: 838768 [startup+860.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12058 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 84283 61 1 0 25 0 11 0 779332727 858898432 23448 4294967295 134512640 134569956 3221224368 3221214632 1131219512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23448 13086 16 0 209676 0 vsize: 838768 [startup+870.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12058 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 85270 61 1 0 25 0 11 0 779332727 858898432 23455 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23455 13086 16 0 209676 0 vsize: 838768 [startup+880.055 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12058 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 86256 61 1 0 25 0 11 0 779332727 858898432 23468 4294967295 134512640 134569956 3221224368 3221214680 1131310390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23468 13086 16 0 209676 0 vsize: 838768 [startup+890.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12059 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 87243 62 1 0 24 0 11 0 779332727 858898432 23479 4294967295 134512640 134569956 3221224368 3221214680 1131313971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23479 13086 16 0 209676 0 vsize: 838768 [startup+900.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12059 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 88228 62 1 0 25 0 11 0 779332727 858898432 23486 4294967295 134512640 134569956 3221224368 3221214680 1131309721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23486 13086 16 0 209676 0 vsize: 838768 [startup+910.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12060 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 89215 63 1 0 24 0 11 0 779332727 858898432 23506 4294967295 134512640 134569956 3221224368 3221214584 1131210346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23506 13086 16 0 209676 0 vsize: 838768 [startup+920.056 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12060 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 90201 63 1 0 25 0 11 0 779332727 858898432 23523 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23523 13086 16 0 209676 0 vsize: 838768 [startup+930.058 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12060 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 91186 63 1 0 25 0 11 0 779332727 858898432 23540 4294967295 134512640 134569956 3221224368 3221214728 1131262527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23540 13086 16 0 209676 0 vsize: 838768 [startup+940.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12061 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 92172 64 1 0 25 0 11 0 779332727 858898432 23552 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23552 13086 16 0 209676 0 vsize: 838768 [startup+950.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12061 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 93157 64 1 0 25 0 11 0 779332727 858898432 23567 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23567 13086 16 0 209676 0 vsize: 838768 [startup+960.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12061 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 94143 65 1 0 25 0 11 0 779332727 858898432 23576 4294967295 134512640 134569956 3221224368 3221214504 1131458068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23576 13086 16 0 209676 0 vsize: 838768 [startup+970.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12061 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 95129 65 1 0 25 0 11 0 779332727 858898432 23599 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23599 13086 16 0 209676 0 vsize: 838768 [startup+980.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 96116 65 1 0 25 0 11 0 779332727 858898432 23613 4294967295 134512640 134569956 3221224368 3221214680 1131315051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23613 13086 16 0 209676 0 vsize: 838768 [startup+990.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 97103 66 1 0 25 0 11 0 779332727 858898432 23624 4294967295 134512640 134569956 3221224368 3221214388 1131458128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23624 13086 16 0 209676 0 vsize: 838768 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 98088 66 1 0 25 0 11 0 779332727 858898432 23638 4294967295 134512640 134569956 3221224368 3221214632 1131219545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23638 13086 16 0 209676 0 vsize: 838768 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 99073 67 1 0 25 0 11 0 779332727 858898432 23650 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23650 13086 16 0 209676 0 vsize: 838768 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 100060 67 1 0 25 0 11 0 779332727 858898432 23672 4294967295 134512640 134569956 3221224368 3221214680 1131315786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23672 13086 16 0 209676 0 vsize: 838768 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 101046 68 1 0 25 0 11 0 779332727 858898432 23690 4294967295 134512640 134569956 3221224368 3221214680 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23690 13086 16 0 209676 0 vsize: 838768 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 102033 68 1 0 25 0 11 0 779332727 858898432 23714 4294967295 134512640 134569956 3221224368 3221214632 1131220491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23714 13086 16 0 209676 0 vsize: 838768 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 103021 68 1 0 25 0 11 0 779332727 858898432 23726 4294967295 134512640 134569956 3221224368 3221214680 1131308490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23726 13086 16 0 209676 0 vsize: 838768 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 104007 69 1 0 24 0 11 0 779332727 858898432 23737 4294967295 134512640 134569956 3221224368 3221214680 1131311335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23737 13086 16 0 209676 0 vsize: 838768 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 104993 70 1 0 25 0 11 0 779332727 858898432 23743 4294967295 134512640 134569956 3221224368 3221214584 1131211691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23743 13086 16 0 209676 0 vsize: 838768 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 105980 70 1 0 25 0 11 0 779332727 858898432 23759 4294967295 134512640 134569956 3221224368 3221214624 1131215862 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23759 13086 16 0 209676 0 vsize: 838768 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 106966 71 1 0 25 0 11 0 779332727 858898432 23766 4294967295 134512640 134569956 3221224368 3221214680 1131313986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23766 13086 16 0 209676 0 vsize: 838768 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12062 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 107951 71 1 0 25 0 11 0 779332727 858898432 23785 4294967295 134512640 134569956 3221224368 3221214584 1131210169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23785 13086 16 0 209676 0 vsize: 838768 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 108937 72 1 0 25 0 11 0 779332727 858898432 23800 4294967295 134512640 134569956 3221224368 3221214584 1131210209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23800 13086 16 0 209676 0 vsize: 838768 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 109924 72 1 0 25 0 11 0 779332727 858898432 23814 4294967295 134512640 134569956 3221224368 3221214680 1131313971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23814 13086 16 0 209676 0 vsize: 838768 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) S 11968 31399 31398 0 -1 0 18133 3 1 0 110910 73 1 0 25 0 11 0 779332727 858898432 23825 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23825 13086 16 0 209676 0 vsize: 838768 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 111896 73 1 0 24 0 11 0 779332727 858898432 23838 4294967295 134512640 134569956 3221224368 3221214584 1131211044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23838 13086 16 0 209676 0 vsize: 838768 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 112882 73 1 0 25 0 11 0 779332727 858898432 23850 4294967295 134512640 134569956 3221224368 3221214680 1131309618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23850 13086 16 0 209676 0 vsize: 838768 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12064 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 113869 73 1 0 25 0 11 0 779332727 858898432 23859 4294967295 134512640 134569956 3221224368 3221214680 1131311437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23859 13086 16 0 209676 0 vsize: 838768 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12065 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 114854 74 1 0 25 0 11 0 779332727 858898432 23876 4294967295 134512640 134569956 3221224368 3221214680 1131310393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23876 13086 16 0 209676 0 vsize: 838768 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12065 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 115838 74 1 0 25 0 11 0 779332727 858898432 23891 4294967295 134512640 134569956 3221224368 3221214680 1131314793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23891 13086 16 0 209676 0 vsize: 838768 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12066 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 116825 74 1 0 25 0 11 0 779332727 858898432 23906 4294967295 134512640 134569956 3221224368 3221214648 1131314095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23906 13086 16 0 209676 0 vsize: 838768 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12066 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 117808 75 1 0 25 0 11 0 779332727 858898432 23916 4294967295 134512640 134569956 3221224368 3221214648 1131308535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209692 23916 13086 16 0 209676 0 vsize: 838768 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12066 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 118792 75 1 0 25 0 11 0 779332727 858898432 23934 4294967295 134512640 134569956 3221224368 3221214552 1131210493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23934 13086 16 0 209676 0 vsize: 838768 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12066 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 119775 75 1 0 24 0 11 0 779332727 858898432 23947 4294967295 134512640 134569956 3221224368 3221214552 1131210169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23947 13086 16 0 209676 0 vsize: 838768 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12066 Raw data (stat): 11969 (java) R 11968 31399 31398 0 -1 0 18133 3 1 0 120760 76 1 0 25 0 11 0 779332727 858898432 23966 4294967295 134512640 134569956 3221224368 3221214648 1131314736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209692 23966 13086 16 0 209676 0 vsize: 838768 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 12068 Raw data (stat): 11969 (java) Z 11968 31399 31398 0 -1 1036 18133 8527 1 0 120765 81 2972 32 25 0 1 0 779332727 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): 1230.18 CPU time (s): 1238.52 CPU user time (s): 1237.38 CPU system time (s): 1.13883 CPU usage (%): 100.678 Max. virtual memory (Kb): 842024 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 10621523 #### END VERIFIER DATA ####