Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | 9c5126d785c8d5465220e290c5fc25a6 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.04 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 13:29:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21389 boxname=wulflinc2 idbench=1377 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 9c5126d785c8d5465220e290c5fc25a6 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pk1.opb IDLAUNCH: 21389 /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: 489448 kB Buffers: 32224 kB Cached: 492924 kB SwapCached: 696 kB Active: 59460 kB Inactive: 468072 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 489196 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5620 kB Slab: 12008 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:49:59 (client local time) WITH STATUS 143 IN 1255.33 SECONDS stats: 21389 7 1255.33 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-13-7-pk1.opb c reading problem ... done. Time 1.827 ms. c #vars 675 c #constraints 60 c starts : 10 c conflicts : 8793 c decisions : 10416 c propagations : 48557 c inspects : 4712670 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8793 c root simplifications : 10 s UNKNOWN c Total CPU time (ms) : 1249.12 #### 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.98 1.03 1.01 2/54 14072 Raw data (stat): 14072 (runsolver) R 14071 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781026471 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+9.99984 s] Raw data (loadavg): 1.29 1.09 1.03 4/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18082 0 1 0 635 39 0 0 25 0 11 0 781026471 871747584 23098 4294967295 134512640 134569956 3221224384 3221214348 1130904611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212829 23098 13086 16 0 212813 0 vsize: 851316 [startup+19.9996 s] Raw data (loadavg): 1.33 1.10 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 1568 40 0 0 25 0 11 0 781026471 867913728 22815 4294967295 134512640 134569956 3221224384 3221214648 1131340023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 22815 13086 16 0 211877 0 vsize: 847572 [startup+30.0008 s] Raw data (loadavg): 1.28 1.10 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 2531 40 0 0 25 0 11 0 781026471 867913728 23193 4294967295 134512640 134569956 3221224384 3221214640 1131287412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 23193 13086 16 0 211877 0 vsize: 847572 [startup+40.0008 s] Raw data (loadavg): 1.23 1.10 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 3488 40 0 0 25 0 11 0 781026471 867913728 23550 4294967295 134512640 134569956 3221224384 3221214696 1131239309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 23550 13086 16 0 211877 0 vsize: 847572 [startup+50.0017 s] Raw data (loadavg): 1.20 1.09 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 4444 40 0 0 25 0 11 0 781026471 867913728 23816 4294967295 134512640 134569956 3221224384 3221214552 1131279853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 23816 13086 16 0 211877 0 vsize: 847572 [startup+60.0017 s] Raw data (loadavg): 1.24 1.11 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 5400 40 0 0 25 0 11 0 781026471 867913728 23981 4294967295 134512640 134569956 3221224384 3221214552 1131279591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 23981 13086 16 0 211877 0 vsize: 847572 [startup+70.0019 s] Raw data (loadavg): 1.20 1.10 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 6347 40 0 0 25 0 11 0 781026471 867913728 24137 4294967295 134512640 134569956 3221224384 3221214312 1078829699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 24137 13086 16 0 211877 0 vsize: 847572 [startup+80.0028 s] Raw data (loadavg): 1.17 1.10 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 7277 40 0 0 25 0 11 0 781026471 867913728 24305 4294967295 134512640 134569956 3221224384 3221214744 1131146816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 24305 13086 16 0 211877 0 vsize: 847572 [startup+90.0029 s] Raw data (loadavg): 1.14 1.09 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18084 0 1 0 8213 41 0 0 25 0 11 0 781026471 867913728 24579 4294967295 134512640 134569956 3221224384 3221214696 1131238912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 24579 13086 16 0 211877 0 vsize: 847572 [startup+100.003 s] Raw data (loadavg): 1.12 1.09 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 9162 41 0 0 19 0 11 0 781026471 867913728 24829 4294967295 134512640 134569956 3221224384 3221214552 1131279510 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 24829 13086 16 0 211877 0 vsize: 847572 [startup+110.004 s] Raw data (loadavg): 1.10 1.09 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 10107 42 0 0 24 0 11 0 781026471 867913728 25024 4294967295 134512640 134569956 3221224384 3221214608 1131180564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 25024 13086 16 0 211877 0 vsize: 847572 [startup+120.004 s] Raw data (loadavg): 1.09 1.08 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 11057 42 0 0 25 0 11 0 781026471 867913728 25157 4294967295 134512640 134569956 3221224384 3221214796 1131237801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 25157 13086 16 0 211877 0 vsize: 847572 [startup+130.004 s] Raw data (loadavg): 1.07 1.08 1.03 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 11995 42 0 0 25 0 11 0 781026471 867913728 25539 4294967295 134512640 134569956 3221224384 3221214696 1131238851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 25539 13086 16 0 211877 0 vsize: 847572 [startup+140.004 s] Raw data (loadavg): 1.06 1.08 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 12937 42 0 0 25 0 11 0 781026471 867913728 25738 4294967295 134512640 134569956 3221224384 3221214604 1130885120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 25738 13086 16 0 211877 0 vsize: 847572 [startup+150.009 s] Raw data (loadavg): 1.05 1.07 1.02 2/64 14082 Raw data (stat): 14072 (java) S 14071 31399 31398 0 -1 0 18085 0 1 0 13874 42 0 0 25 0 11 0 781026471 867913728 25943 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 25943 13086 16 0 211877 0 vsize: 847572 [startup+160.009 s] Raw data (loadavg): 1.04 1.07 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 14812 42 0 0 25 0 11 0 781026471 867913728 26170 4294967295 134512640 134569956 3221224384 3221214696 1131238437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 26170 13086 16 0 211877 0 vsize: 847572 [startup+170.009 s] Raw data (loadavg): 1.04 1.07 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18085 0 1 0 15753 43 0 0 25 0 11 0 781026471 867913728 26389 4294967295 134512640 134569956 3221224384 3221214696 1131238889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 26389 13086 16 0 211877 0 vsize: 847572 [startup+180.011 s] Raw data (loadavg): 1.03 1.07 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 16702 43 0 0 25 0 11 0 781026471 867913728 26602 4294967295 134512640 134569956 3221224384 3221214608 1131238645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 26602 13086 16 0 211877 0 vsize: 847572 [startup+190.014 s] Raw data (loadavg): 1.02 1.06 1.02 2/64 14082 Raw data (stat): 14072 (java) S 14071 31399 31398 0 -1 0 18086 0 1 0 17647 43 0 0 25 0 11 0 781026471 867913728 26771 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 26771 13086 16 0 211877 0 vsize: 847572 [startup+200.014 s] Raw data (loadavg): 1.02 1.06 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 18589 43 0 0 25 0 11 0 781026471 867913728 27014 4294967295 134512640 134569956 3221224384 3221214696 1131239370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 27014 13086 16 0 211877 0 vsize: 847572 [startup+210.014 s] Raw data (loadavg): 1.02 1.06 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 19529 43 0 0 25 0 11 0 781026471 867913728 27223 4294967295 134512640 134569956 3221224384 3221214744 1131146833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 27223 13086 16 0 211877 0 vsize: 847572 [startup+220.014 s] Raw data (loadavg): 1.01 1.06 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 20479 43 0 0 25 0 11 0 781026471 867913728 27426 4294967295 134512640 134569956 3221224384 3221214696 1131239013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 27426 13086 16 0 211877 0 vsize: 847572 [startup+230.014 s] Raw data (loadavg): 1.01 1.05 1.02 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 21421 43 0 0 25 0 11 0 781026471 867913728 27649 4294967295 134512640 134569956 3221224384 3221214744 1131146833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 27649 13086 16 0 211877 0 vsize: 847572 [startup+240.017 s] Raw data (loadavg): 1.01 1.05 1.01 2/64 14082 Raw data (stat): 14072 (java) S 14071 31399 31398 0 -1 0 18086 0 1 0 22369 44 0 0 25 0 11 0 781026471 867913728 27786 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 27786 13086 16 0 211877 0 vsize: 847572 [startup+250.018 s] Raw data (loadavg): 1.01 1.05 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 23320 44 0 0 25 0 11 0 781026471 867913728 28001 4294967295 134512640 134569956 3221224384 3221214448 1131607410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 28001 13086 16 0 211877 0 vsize: 847572 [startup+260.018 s] Raw data (loadavg): 1.01 1.05 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 24275 44 0 0 25 0 11 0 781026471 867913728 28246 4294967295 134512640 134569956 3221224384 3221214052 1131572752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 28246 13086 16 0 211877 0 vsize: 847572 [startup+270.018 s] Raw data (loadavg): 1.00 1.05 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 25213 44 0 0 25 0 11 0 781026471 867913728 28430 4294967295 134512640 134569956 3221224384 3221214696 1131238929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 28430 13086 16 0 211877 0 vsize: 847572 [startup+280.019 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 26160 44 0 0 25 0 11 0 781026471 867913728 28657 4294967295 134512640 134569956 3221224384 3221214568 1131279682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 28657 13086 16 0 211877 0 vsize: 847572 [startup+290.019 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 27108 44 0 0 25 0 11 0 781026471 867913728 29009 4294967295 134512640 134569956 3221224384 3221214696 1131238599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 29009 13086 16 0 211877 0 vsize: 847572 [startup+300.03 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 28068 44 0 0 25 0 11 0 781026471 867913728 29268 4294967295 134512640 134569956 3221224384 3221214800 1131262296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 29268 13086 16 0 211877 0 vsize: 847572 [startup+310.031 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 29030 44 0 0 25 0 11 0 781026471 867913728 29502 4294967295 134512640 134569956 3221224384 3221214744 1131146841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 29502 13086 16 0 211877 0 vsize: 847572 [startup+320.03 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 29983 44 0 0 25 0 11 0 781026471 867913728 29804 4294967295 134512640 134569956 3221224384 3221214744 1131146841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 29804 13086 16 0 211877 0 vsize: 847572 [startup+330.032 s] Raw data (loadavg): 1.00 1.03 1.01 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 30938 44 0 0 25 0 11 0 781026471 867913728 30095 4294967295 134512640 134569956 3221224384 3221214776 1131237830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 30095 13086 16 0 211877 0 vsize: 847572 [startup+340.032 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 31901 45 0 0 25 0 11 0 781026471 867913728 30289 4294967295 134512640 134569956 3221224384 3221214404 1131572747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 30289 13086 16 0 211877 0 vsize: 847572 [startup+350.033 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 32857 45 0 0 25 0 11 0 781026471 867913728 30561 4294967295 134512640 134569956 3221224384 3221214696 1131239035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 30561 13086 16 0 211877 0 vsize: 847572 [startup+360.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 33813 45 0 0 25 0 11 0 781026471 867913728 30754 4294967295 134512640 134569956 3221224384 3221214232 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 30754 13086 16 0 211877 0 vsize: 847572 [startup+370.034 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 34767 45 0 0 25 0 11 0 781026471 867913728 30993 4294967295 134512640 134569956 3221224384 3221214744 1131146894 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 30993 13086 16 0 211877 0 vsize: 847572 [startup+380.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 35722 45 0 0 25 0 11 0 781026471 867913728 31248 4294967295 134512640 134569956 3221224384 3221214248 1131608065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 31248 13086 16 0 211877 0 vsize: 847572 [startup+390.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 36678 45 0 0 25 0 11 0 781026471 867913728 31427 4294967295 134512640 134569956 3221224384 3221214696 1131238521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 31427 13086 16 0 211877 0 vsize: 847572 [startup+400.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 37647 45 0 0 25 0 11 0 781026471 867913728 31497 4294967295 134512640 134569956 3221224384 3221214196 1131572752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 31497 13086 16 0 211877 0 vsize: 847572 [startup+410.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 38606 45 0 0 25 0 11 0 781026471 867913728 31705 4294967295 134512640 134569956 3221224384 3221214040 1131606330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 31705 13086 16 0 211877 0 vsize: 847572 [startup+420.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) S 14071 31399 31398 0 -1 0 18086 0 1 0 39557 46 0 0 25 0 11 0 781026471 867913728 31845 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 31845 13086 16 0 211877 0 vsize: 847572 [startup+430.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 40513 46 0 0 25 0 11 0 781026471 867913728 32054 4294967295 134512640 134569956 3221224384 3221214424 1085679502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 32054 13086 16 0 211877 0 vsize: 847572 [startup+440.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 41468 46 0 0 25 0 11 0 781026471 867913728 32216 4294967295 134512640 134569956 3221224384 3221214776 1131237843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 32216 13086 16 0 211877 0 vsize: 847572 [startup+450.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 42423 46 0 0 25 0 11 0 781026471 867913728 32454 4294967295 134512640 134569956 3221224384 3221214696 1131238442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 32454 13086 16 0 211877 0 vsize: 847572 [startup+460.044 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 43388 46 0 0 25 0 11 0 781026471 867913728 32659 4294967295 134512640 134569956 3221224384 3221214104 1131571164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 32659 13086 16 0 211877 0 vsize: 847572 [startup+470.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 44352 46 0 0 25 0 11 0 781026471 867913728 32891 4294967295 134512640 134569956 3221224384 3221214776 1131168615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 32891 13086 16 0 211877 0 vsize: 847572 [startup+480.044 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 45317 47 0 0 25 0 11 0 781026471 867913728 33141 4294967295 134512640 134569956 3221224384 3221214800 1131262825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 33141 13086 16 0 211877 0 vsize: 847572 [startup+490.043 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 46283 47 0 0 25 0 11 0 781026471 867913728 33327 4294967295 134512640 134569956 3221224384 3221214576 1131331657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 33327 13086 16 0 211877 0 vsize: 847572 [startup+500.044 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 47241 47 0 0 25 0 11 0 781026471 867913728 33528 4294967295 134512640 134569956 3221224384 3221213888 1131572728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 33528 13086 16 0 211877 0 vsize: 847572 [startup+510.044 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 48198 47 0 0 25 0 11 0 781026471 867913728 33747 4294967295 134512640 134569956 3221224384 3221214744 1131146816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 33747 13086 16 0 211877 0 vsize: 847572 [startup+520.044 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 49166 47 0 0 25 0 11 0 781026471 867913728 33959 4294967295 134512640 134569956 3221224384 3221214408 1131572753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 33959 13086 16 0 211877 0 vsize: 847572 [startup+530.044 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 50131 47 0 0 25 0 11 0 781026471 867913728 34185 4294967295 134512640 134569956 3221224384 3221214744 1131146833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 34185 13086 16 0 211877 0 vsize: 847572 [startup+540.045 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 51105 47 0 0 25 0 11 0 781026471 867913728 34371 4294967295 134512640 134569956 3221224384 3221214696 1131238939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 34371 13086 16 0 211877 0 vsize: 847572 [startup+550.045 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 52070 47 0 0 25 0 11 0 781026471 867913728 34652 4294967295 134512640 134569956 3221224384 3221213932 1131311283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 34652 13086 16 0 211877 0 vsize: 847572 [startup+560.045 s] Raw data (loadavg): 1.02 1.02 1.00 3/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 53036 47 0 0 25 0 11 0 781026471 867913728 34935 4294967295 134512640 134569956 3221224384 3221214696 1131238889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 34935 13086 16 0 211877 0 vsize: 847572 [startup+570.045 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 54004 47 0 0 25 0 11 0 781026471 867913728 35196 4294967295 134512640 134569956 3221224384 3221214696 1131239316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 35196 13086 16 0 211877 0 vsize: 847572 [startup+580.046 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 54974 47 0 0 25 0 11 0 781026471 867913728 35379 4294967295 134512640 134569956 3221224384 3221214488 1131542329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 35379 13086 16 0 211877 0 vsize: 847572 [startup+590.048 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) S 14071 31399 31398 0 -1 0 18086 0 1 0 55947 47 0 0 25 0 11 0 781026471 867913728 35571 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 35571 13086 16 0 211877 0 vsize: 847572 [startup+600.052 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 56918 47 0 0 25 0 11 0 781026471 867913728 35844 4294967295 134512640 134569956 3221224384 3221214408 1131572728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 35844 13086 16 0 211877 0 vsize: 847572 [startup+610.055 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 57886 48 0 0 25 0 11 0 781026471 867913728 36140 4294967295 134512640 134569956 3221224384 3221214800 1131262614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 36140 13086 16 0 211877 0 vsize: 847572 [startup+620.054 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 58878 48 0 0 25 0 11 0 781026471 867913728 36197 4294967295 134512640 134569956 3221224384 3221214216 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 36197 13086 16 0 211877 0 vsize: 847572 [startup+630.055 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 59852 48 0 0 25 0 11 0 781026471 867913728 36482 4294967295 134512640 134569956 3221224384 3221213936 1131607396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 36482 13086 16 0 211877 0 vsize: 847572 [startup+640.054 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 60826 48 0 0 25 0 11 0 781026471 867913728 36765 4294967295 134512640 134569956 3221224384 3221214568 1131346067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 36765 13086 16 0 211877 0 vsize: 847572 [startup+650.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 61800 48 0 0 25 0 11 0 781026471 867913728 36996 4294967295 134512640 134569956 3221224384 3221213864 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 36996 13086 16 0 211877 0 vsize: 847572 [startup+660.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 62773 48 0 0 25 0 11 0 781026471 867913728 37242 4294967295 134512640 134569956 3221224384 3221213992 1131571202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 37242 13086 16 0 211877 0 vsize: 847572 [startup+670.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 63739 48 0 0 25 0 11 0 781026471 867913728 37521 4294967295 134512640 134569956 3221224384 3221213896 1131571175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 37521 13086 16 0 211877 0 vsize: 847572 [startup+680.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 64714 48 0 0 25 0 11 0 781026471 867913728 37665 4294967295 134512640 134569956 3221224384 3221214696 1131239053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 37665 13086 16 0 211877 0 vsize: 847572 [startup+690.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 65689 48 0 0 25 0 11 0 781026471 867913728 37838 4294967295 134512640 134569956 3221224384 3221214560 1131611596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 37838 13086 16 0 211877 0 vsize: 847572 [startup+700.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 66656 48 0 0 25 0 11 0 781026471 867913728 38065 4294967295 134512640 134569956 3221224384 3221214696 1131239019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 38065 13086 16 0 211877 0 vsize: 847572 [startup+710.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 67623 48 0 0 25 0 11 0 781026471 867913728 38247 4294967295 134512640 134569956 3221224384 3221214136 1131607410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 38247 13086 16 0 211877 0 vsize: 847572 [startup+720.074 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 68599 48 0 0 25 0 11 0 781026471 867913728 38445 4294967295 134512640 134569956 3221224384 3221214576 1131330983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 38445 13086 16 0 211877 0 vsize: 847572 [startup+730.074 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 69575 48 0 0 25 0 11 0 781026471 867913728 38600 4294967295 134512640 134569956 3221224384 3221214556 1131578304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 38600 13086 16 0 211877 0 vsize: 847572 [startup+740.074 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 70549 48 0 0 25 0 11 0 781026471 867913728 38846 4294967295 134512640 134569956 3221224384 3221214592 1131535983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 38846 13086 16 0 211877 0 vsize: 847572 [startup+750.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 71525 48 0 0 25 0 11 0 781026471 867913728 39070 4294967295 134512640 134569956 3221224384 3221214572 1131594739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 39070 13086 16 0 211877 0 vsize: 847572 [startup+760.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 72500 48 0 0 25 0 11 0 781026471 867913728 39298 4294967295 134512640 134569956 3221224384 3221214696 1131238989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 39298 13086 16 0 211877 0 vsize: 847572 [startup+770.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 73468 48 0 0 25 0 11 0 781026471 867913728 39542 4294967295 134512640 134569956 3221224384 3221213656 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 39542 13086 16 0 211877 0 vsize: 847572 [startup+780.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 74443 49 0 0 25 0 11 0 781026471 867913728 39786 4294967295 134512640 134569956 3221224384 3221214448 1131578327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 39786 13086 16 0 211877 0 vsize: 847572 [startup+790.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 75420 49 0 0 25 0 11 0 781026471 867913728 39927 4294967295 134512640 134569956 3221224384 3221214696 1131239408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 39927 13086 16 0 211877 0 vsize: 847572 [startup+800.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 76387 49 0 0 25 0 11 0 781026471 867913728 40149 4294967295 134512640 134569956 3221224384 3221214800 1131262363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40149 13086 16 0 211877 0 vsize: 847572 [startup+810.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 77363 50 0 0 25 0 11 0 781026471 867913728 40293 4294967295 134512640 134569956 3221224384 3221214568 1131279804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40293 13086 16 0 211877 0 vsize: 847572 [startup+820.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 78329 50 0 0 25 0 11 0 781026471 867913728 40538 4294967295 134512640 134569956 3221224384 3221214304 1131572728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40538 13086 16 0 211877 0 vsize: 847572 [startup+830.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 79304 50 0 0 25 0 11 0 781026471 867913728 40720 4294967295 134512640 134569956 3221224384 3221214696 1131238952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40720 13086 16 0 211877 0 vsize: 847572 [startup+840.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 80280 50 0 0 25 0 11 0 781026471 867913728 40854 4294967295 134512640 134569956 3221224384 3221214404 1131572752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40854 13086 16 0 211877 0 vsize: 847572 [startup+850.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 81262 51 0 0 25 0 11 0 781026471 867913728 40975 4294967295 134512640 134569956 3221224384 3221214456 1131607198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 40975 13086 16 0 211877 0 vsize: 847572 [startup+860.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 82234 52 0 0 25 0 11 0 781026471 867913728 41276 4294967295 134512640 134569956 3221224384 3221213904 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 41276 13086 16 0 211877 0 vsize: 847572 [startup+870.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 83207 52 0 0 25 0 11 0 781026471 867913728 41485 4294967295 134512640 134569956 3221224384 3221214512 1131572704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 41485 13086 16 0 211877 0 vsize: 847572 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 84181 53 0 0 25 0 11 0 781026471 867913728 41680 4294967295 134512640 134569956 3221224384 3221214072 1131346211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 41680 13086 16 0 211877 0 vsize: 847572 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 85162 53 0 0 25 0 11 0 781026471 867913728 41828 4294967295 134512640 134569956 3221224384 3221214696 1131238437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 41828 13086 16 0 211877 0 vsize: 847572 [startup+900.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 86136 53 0 0 25 0 11 0 781026471 867913728 42091 4294967295 134512640 134569956 3221224384 3221213884 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 42091 13086 16 0 211877 0 vsize: 847572 [startup+910.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 87112 54 0 0 25 0 11 0 781026471 867913728 42244 4294967295 134512640 134569956 3221224384 3221214440 1131496359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 42244 13086 16 0 211877 0 vsize: 847572 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 88079 54 0 0 25 0 11 0 781026471 867913728 42583 4294967295 134512640 134569956 3221224384 3221214696 1131239013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 42583 13086 16 0 211877 0 vsize: 847572 [startup+930.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 89054 54 0 0 25 0 11 0 781026471 867913728 42763 4294967295 134512640 134569956 3221224384 3221214696 1131238551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 42763 13086 16 0 211877 0 vsize: 847572 [startup+940.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 90024 55 0 0 25 0 11 0 781026471 867913728 42966 4294967295 134512640 134569956 3221224384 3221214584 1131238805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 42966 13086 16 0 211877 0 vsize: 847572 [startup+950.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 91001 55 0 0 25 0 11 0 781026471 867913728 43093 4294967295 134512640 134569956 3221224384 3221214216 1085632281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43093 13086 16 0 211877 0 vsize: 847572 [startup+960.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 91969 55 0 0 25 0 11 0 781026471 867913728 43236 4294967295 134512640 134569956 3221224384 3221213792 1131572815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43236 13086 16 0 211877 0 vsize: 847572 [startup+970.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 92952 56 0 0 25 0 11 0 781026471 867913728 43399 4294967295 134512640 134569956 3221224384 3221213684 1131572752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43399 13086 16 0 211877 0 vsize: 847572 [startup+980.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 93926 56 0 0 25 0 11 0 781026471 867913728 43587 4294967295 134512640 134569956 3221224384 3221214368 1085679290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43587 13086 16 0 211877 0 vsize: 847572 [startup+990.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 94908 56 0 0 25 0 11 0 781026471 867913728 43749 4294967295 134512640 134569956 3221224384 3221214440 1131376002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43749 13086 16 0 211877 0 vsize: 847572 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 95882 56 0 0 25 0 11 0 781026471 867913728 43972 4294967295 134512640 134569956 3221224384 3221214496 1131578325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 43972 13086 16 0 211877 0 vsize: 847572 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 96848 57 0 0 25 0 11 0 781026471 867913728 44291 4294967295 134512640 134569956 3221224384 3221214400 1131607583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 44291 13086 16 0 211877 0 vsize: 847572 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 97832 57 0 0 25 0 11 0 781026471 867913728 44446 4294967295 134512640 134569956 3221224384 3221214784 1131592683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 44446 13086 16 0 211877 0 vsize: 847572 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 98823 57 0 0 25 0 11 0 781026471 867913728 44471 4294967295 134512640 134569956 3221224384 3221214800 1131582797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 44471 13086 16 0 211877 0 vsize: 847572 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 99804 58 0 0 25 0 11 0 781026471 867913728 44731 4294967295 134512640 134569956 3221224384 3221213664 1131571202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 44731 13086 16 0 211877 0 vsize: 847572 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 100786 58 0 0 24 0 11 0 781026471 867913728 44919 4294967295 134512640 134569956 3221224384 3221214544 1131608932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 44919 13086 16 0 211877 0 vsize: 847572 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 101767 58 0 0 25 0 11 0 781026471 867913728 45106 4294967295 134512640 134569956 3221224384 3221214624 1131239035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 45106 13086 16 0 211877 0 vsize: 847572 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 102748 58 0 0 25 0 11 0 781026471 867913728 45249 4294967295 134512640 134569956 3221224384 3221214652 1131330675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 45249 13086 16 0 211877 0 vsize: 847572 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 103719 58 0 0 25 0 11 0 781026471 867913728 45435 4294967295 134512640 134569956 3221224384 3221214672 1131146982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 45435 13086 16 0 211877 0 vsize: 847572 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 104701 59 0 0 25 0 11 0 781026471 867913728 45556 4294967295 134512640 134569956 3221224384 3221214496 1131572746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 45556 13086 16 0 211877 0 vsize: 847572 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 105674 59 0 0 25 0 11 0 781026471 867913728 45759 4294967295 134512640 134569956 3221224384 3221214544 1131612744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 45759 13086 16 0 211877 0 vsize: 847572 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 106648 59 0 0 24 0 11 0 781026471 867913728 45957 4294967295 134512640 134569956 3221224384 3221214496 1131572791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 45957 13086 16 0 211877 0 vsize: 847572 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 107630 59 0 0 25 0 11 0 781026471 867913728 46099 4294967295 134512640 134569956 3221224384 3221213880 1131571168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46099 13086 16 0 211877 0 vsize: 847572 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 108605 60 0 0 24 0 11 0 781026471 867913728 46231 4294967295 134512640 134569956 3221224384 3221214624 1131238889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46231 13086 16 0 211877 0 vsize: 847572 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 109587 60 0 0 25 0 11 0 781026471 867913728 46348 4294967295 134512640 134569956 3221224384 3221214536 1131607416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46348 13086 16 0 211877 0 vsize: 847572 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 110553 60 0 0 25 0 11 0 781026471 867913728 46546 4294967295 134512640 134569956 3221224384 3221214624 1131239071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46546 13086 16 0 211877 0 vsize: 847572 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 111536 60 0 0 25 0 11 0 781026471 867913728 46660 4294967295 134512640 134569956 3221224384 3221214336 1131610932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46660 13086 16 0 211877 0 vsize: 847572 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 112518 61 0 0 25 0 11 0 781026471 867913728 46776 4294967295 134512640 134569956 3221224384 3221214512 1131279446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211893 46776 13086 16 0 211877 0 vsize: 847572 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 113499 61 0 0 25 0 11 0 781026471 867913728 46981 4294967295 134512640 134569956 3221224384 3221214284 1131572752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 46981 13086 16 0 211877 0 vsize: 847572 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 114489 62 0 0 25 0 11 0 781026471 867913728 47033 4294967295 134512640 134569956 3221224384 3221214336 1131612744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47033 13086 16 0 211877 0 vsize: 847572 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 115470 62 0 0 25 0 11 0 781026471 867913728 47259 4294967295 134512640 134569956 3221224384 3221214232 1131610776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47259 13086 16 0 211877 0 vsize: 847572 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 116451 62 0 0 25 0 11 0 781026471 867913728 47405 4294967295 134512640 134569956 3221224384 3221214040 1131572631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47405 13086 16 0 211877 0 vsize: 847572 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 117431 63 0 0 25 0 11 0 781026471 867913728 47567 4294967295 134512640 134569956 3221224384 3221214108 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47567 13086 16 0 211877 0 vsize: 847572 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 118412 63 0 0 25 0 11 0 781026471 867913728 47729 4294967295 134512640 134569956 3221224384 3221214492 1131572696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47729 13086 16 0 211877 0 vsize: 847572 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 119391 63 0 0 25 0 11 0 781026471 867913728 47908 4294967295 134512640 134569956 3221224384 3221214672 1131147003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 47908 13086 16 0 211877 0 vsize: 847572 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14082 Raw data (stat): 14072 (java) R 14071 31399 31398 0 -1 0 18086 0 1 0 120373 63 0 0 25 0 11 0 781026471 867913728 48095 4294967295 134512640 134569956 3221224384 3221213816 1131607404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211893 48095 13086 16 0 211877 0 vsize: 847572 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 14084 Raw data (stat): 14072 (java) Z 14071 31399 31398 0 -1 1036 18086 32356 1 0 120376 63 5025 67 25 0 1 0 781026471 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): 1250.22 CPU time (s): 1255.33 CPU user time (s): 1254.02 CPU system time (s): 1.3148 CPU usage (%): 100.409 Max. virtual memory (Kb): 851316 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####