Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb |
MD5SUM | bdef34115ac72b2f3e13f56b51cc3420 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 206346968982065664 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 22661639986845859840 |
Number of bits of the biggest sum of numbers | 65 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.35379 |
Number of variables | 34058 |
Total number of constraints | 932 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 112 |
Number of constraints which are nor clauses,nor cardinality constraints | 820 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 8981 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 12:44:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21320 boxname=wulflinc2 idbench=1308 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: bdef34115ac72b2f3e13f56b51cc3420 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-misc06.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-misc06.opb IDLAUNCH: 21320 /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: 492920 kB Buffers: 31080 kB Cached: 490056 kB SwapCached: 696 kB Active: 60984 kB Inactive: 462536 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 492668 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5620 kB Slab: 12544 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:05:50 (client local time) WITH STATUS 143 IN 1263.06 SECONDS stats: 21320 7 1263.06 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-misc06.opb c reading problem ... done. Time 328.937 ms. c #vars 34058 c #constraints 1070 c starts : 2 c conflicts : 166 c decisions : 19552 c propagations : 51347 c inspects : 206783 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 166 c root simplifications : 13 s UNKNOWN c Total CPU time (ms) : 1249.151 #### 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): 1.07 1.04 1.01 2/54 13703 Raw data (stat): 13703 (runsolver) R 13702 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780761470 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.0035 s] Raw data (loadavg): 1.06 1.04 1.01 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18066 0 1 0 840 41 0 0 25 0 10 0 780761470 857018368 20070 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 20070 13086 16 0 209217 0 vsize: 836932 [startup+20.0048 s] Raw data (loadavg): 1.05 1.03 1.01 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18066 0 1 0 1742 41 0 0 25 0 10 0 780761470 857018368 20621 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 20621 13086 16 0 209217 0 vsize: 836932 [startup+30.0048 s] Raw data (loadavg): 1.04 1.03 1.01 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 2621 41 0 0 25 0 10 0 780761470 857018368 21181 4294967295 134512640 134569956 3221224368 3221214656 1131195853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 21181 13086 16 0 209217 0 vsize: 836932 [startup+40.0045 s] Raw data (loadavg): 1.04 1.03 1.01 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 3530 41 0 0 24 0 10 0 780761470 857018368 21493 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 21493 13086 16 0 209217 0 vsize: 836932 [startup+50.0056 s] Raw data (loadavg): 1.03 1.03 1.01 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 4454 42 0 0 25 0 10 0 780761470 857018368 21675 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 21675 13086 16 0 209217 0 vsize: 836932 [startup+60.0064 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 5362 42 0 0 25 0 10 0 780761470 857018368 21820 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 21820 13086 16 0 209217 0 vsize: 836932 [startup+70.0076 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 6280 42 0 0 25 0 10 0 780761470 857018368 22077 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22077 13086 16 0 209217 0 vsize: 836932 [startup+80.0088 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 7212 43 0 0 25 0 10 0 780761470 857018368 22191 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22191 13086 16 0 209217 0 vsize: 836932 [startup+90.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 8137 43 0 0 25 0 10 0 780761470 857018368 22303 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22303 13086 16 0 209217 0 vsize: 836932 [startup+100.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18066 0 1 0 9064 43 0 0 25 0 10 0 780761470 857018368 22465 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22465 13086 16 0 209217 0 vsize: 836932 [startup+110.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 9998 43 0 0 25 0 10 0 780761470 857018368 22571 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22571 13086 16 0 209217 0 vsize: 836932 [startup+120.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18066 0 1 0 10934 43 0 0 25 0 10 0 780761470 857018368 22665 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22665 13086 16 0 209217 0 vsize: 836932 [startup+130.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 11868 43 0 0 25 0 10 0 780761470 857018368 22761 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22761 13086 16 0 209217 0 vsize: 836932 [startup+140.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 12805 44 0 0 25 0 10 0 780761470 857018368 22852 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22852 13086 16 0 209217 0 vsize: 836932 [startup+150.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 13734 44 0 0 25 0 10 0 780761470 857018368 22949 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 22949 13086 16 0 209217 0 vsize: 836932 [startup+160.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 14659 44 0 0 25 0 10 0 780761470 857018368 23035 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 23035 13086 16 0 209217 0 vsize: 836932 [startup+170.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 15580 44 0 0 25 0 10 0 780761470 857018368 23164 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23164 13086 16 0 209217 0 vsize: 836932 [startup+180.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 16487 45 0 0 25 0 10 0 780761470 857018368 23261 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23261 13086 16 0 209217 0 vsize: 836932 [startup+190.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18066 0 1 0 17393 45 0 0 25 0 10 0 780761470 857018368 23406 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23406 13086 16 0 209217 0 vsize: 836932 [startup+200.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 18321 45 0 0 25 0 10 0 780761470 857018368 23660 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23660 13086 16 0 209217 0 vsize: 836932 [startup+210.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18067 0 1 0 19252 46 0 0 25 0 10 0 780761470 857018368 23737 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23737 13086 16 0 209217 0 vsize: 836932 [startup+220.022 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 20182 46 0 0 25 0 10 0 780761470 857018368 23813 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23813 13086 16 0 209217 0 vsize: 836932 [startup+230.023 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 21114 46 0 0 25 0 10 0 780761470 857018368 23884 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23884 13086 16 0 209217 0 vsize: 836932 [startup+240.023 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 22046 47 0 0 25 0 10 0 780761470 857018368 23955 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 23955 13086 16 0 209217 0 vsize: 836932 [startup+250.024 s] Raw data (loadavg): 1.05 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 22978 47 0 0 25 0 10 0 780761470 857018368 24021 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24021 13086 16 0 209217 0 vsize: 836932 [startup+260.024 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 23905 48 0 0 24 0 10 0 780761470 857018368 24092 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24092 13086 16 0 209217 0 vsize: 836932 [startup+270.025 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18067 0 1 0 24837 48 0 0 25 0 10 0 780761470 857018368 24157 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24157 13086 16 0 209217 0 vsize: 836932 [startup+280.026 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18069 0 1 0 25765 49 0 0 25 0 10 0 780761470 857018368 24223 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24223 13086 16 0 209217 0 vsize: 836932 [startup+290.025 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 13712 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18069 0 1 0 26685 49 0 0 25 0 10 0 780761470 857018368 24282 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24282 13086 16 0 209217 0 vsize: 836932 [startup+300.025 s] Raw data (loadavg): 1.09 1.04 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18069 0 1 0 27602 50 0 0 25 0 10 0 780761470 857018368 24393 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24393 13086 16 0 209217 0 vsize: 836932 [startup+310.025 s] Raw data (loadavg): 1.08 1.04 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18069 0 1 0 28516 51 0 0 25 0 10 0 780761470 857018368 24490 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 24490 13086 16 0 209217 0 vsize: 836932 [startup+320.025 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18069 0 1 0 29434 51 0 0 25 0 10 0 780761470 857018368 24578 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209233 24578 13086 16 0 209217 0 vsize: 836932 [startup+330.028 s] Raw data (loadavg): 1.06 1.03 1.00 3/63 13712 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18088 0 1 0 30354 52 0 0 25 0 10 0 780761470 857018368 25082 4294967295 134512640 134569956 3221224368 3221214864 1130895490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209233 25082 13086 16 0 209217 0 vsize: 836932 [startup+340.028 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18108 0 1 0 31281 52 0 0 25 0 11 0 780761470 858005504 27512 4294967295 134512640 134569956 3221224368 3221214720 1130883254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209474 27512 13086 16 0 209458 0 vsize: 837896 [startup+350.028 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18117 0 1 0 32234 52 0 0 25 0 11 0 780761470 860266496 28090 4294967295 134512640 134569956 3221224368 3221214560 1131478141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28090 13086 16 0 210010 0 vsize: 840104 [startup+360.028 s] Raw data (loadavg): 1.09 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18118 0 1 0 33214 53 0 0 25 0 11 0 780761470 860266496 28095 4294967295 134512640 134569956 3221224368 3221214560 1131478173 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28095 13086 16 0 210010 0 vsize: 840104 [startup+370.029 s] Raw data (loadavg): 1.08 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18118 0 1 0 34187 53 0 0 25 0 11 0 780761470 860266496 28095 4294967295 134512640 134569956 3221224368 3221214672 1131407645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28095 13086 16 0 210010 0 vsize: 840104 [startup+380.029 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18118 0 1 0 35155 53 0 0 25 0 11 0 780761470 860266496 28101 4294967295 134512640 134569956 3221224368 3221214584 1131341353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28101 13086 16 0 210010 0 vsize: 840104 [startup+390.029 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 36118 53 0 0 24 0 11 0 780761470 860266496 28182 4294967295 134512640 134569956 3221224368 3221214672 1131401675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 28182 13086 16 0 210010 0 vsize: 840104 [startup+400.029 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 37085 53 0 0 25 0 11 0 780761470 860266496 28282 4294967295 134512640 134569956 3221224368 3221214672 1131407636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28282 13086 16 0 210010 0 vsize: 840104 [startup+410.029 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 38057 53 0 0 25 0 11 0 780761470 860266496 28282 4294967295 134512640 134569956 3221224368 3221214672 1131401675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28282 13086 16 0 210010 0 vsize: 840104 [startup+420.031 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 39021 54 0 0 25 0 11 0 780761470 860266496 28337 4294967295 134512640 134569956 3221224368 3221214600 1131212453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28337 13086 16 0 210010 0 vsize: 840104 [startup+430.031 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 39986 54 0 0 25 0 11 0 780761470 860266496 28476 4294967295 134512640 134569956 3221224368 3221214672 1131403872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28476 13086 16 0 210010 0 vsize: 840104 [startup+440.03 s] Raw data (loadavg): 1.18 1.06 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 40955 54 0 0 25 0 11 0 780761470 860266496 28487 4294967295 134512640 134569956 3221224368 3221214524 1131428188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28487 13086 16 0 210010 0 vsize: 840104 [startup+450.031 s] Raw data (loadavg): 1.15 1.06 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 41929 54 0 0 25 0 11 0 780761470 860266496 28582 4294967295 134512640 134569956 3221224368 3221214584 1131341303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28582 13086 16 0 210010 0 vsize: 840104 [startup+460.031 s] Raw data (loadavg): 1.13 1.06 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 42896 54 0 0 25 0 11 0 780761470 860266496 28716 4294967295 134512640 134569956 3221224368 3221214584 1131341353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28716 13086 16 0 210010 0 vsize: 840104 [startup+470.031 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 43879 55 0 0 25 0 11 0 780761470 860266496 28824 4294967295 134512640 134569956 3221224368 3221214672 1131407192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28824 13086 16 0 210010 0 vsize: 840104 [startup+480.031 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 44864 55 0 0 25 0 11 0 780761470 860266496 28844 4294967295 134512640 134569956 3221224368 3221214584 1131341427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 28844 13086 16 0 210010 0 vsize: 840104 [startup+490.032 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 45847 56 0 0 17 0 11 0 780761470 860266496 28896 4294967295 134512640 134569956 3221224368 3221214568 1131339783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28896 13086 16 0 210010 0 vsize: 840104 [startup+500.032 s] Raw data (loadavg): 1.07 1.05 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 46824 56 0 0 25 0 11 0 780761470 860266496 28903 4294967295 134512640 134569956 3221224368 3221214584 1131341290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28903 13086 16 0 210010 0 vsize: 840104 [startup+510.031 s] Raw data (loadavg): 1.06 1.05 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 47796 57 0 0 25 0 11 0 780761470 860266496 28961 4294967295 134512640 134569956 3221224368 3221214560 1131443986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28961 13086 16 0 210010 0 vsize: 840104 [startup+520.032 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 48768 57 0 0 24 0 11 0 780761470 860266496 28962 4294967295 134512640 134569956 3221224368 3221214752 1131281151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 28962 13086 16 0 210010 0 vsize: 840104 [startup+530.032 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 49735 58 0 0 25 0 11 0 780761470 860266496 29030 4294967295 134512640 134569956 3221224368 3221214672 1131407636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29030 13086 16 0 210010 0 vsize: 840104 [startup+540.032 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 50699 58 0 0 25 0 11 0 780761470 860266496 29157 4294967295 134512640 134569956 3221224368 3221214472 1131457216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29157 13086 16 0 210010 0 vsize: 840104 [startup+550.032 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 51664 58 0 0 25 0 11 0 780761470 860266496 29216 4294967295 134512640 134569956 3221224368 3221214672 1131407019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29216 13086 16 0 210010 0 vsize: 840104 [startup+560.033 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 52608 59 0 0 25 0 11 0 780761470 860266496 29287 4294967295 134512640 134569956 3221224368 3221214144 1079668490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29287 13086 16 0 210010 0 vsize: 840104 [startup+570.034 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 53561 59 0 0 25 0 11 0 780761470 860266496 29436 4294967295 134512640 134569956 3221224368 3221214672 1131405142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29436 13086 16 0 210010 0 vsize: 840104 [startup+580.033 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 54515 60 0 0 25 0 11 0 780761470 860266496 29663 4294967295 134512640 134569956 3221224368 3221214584 1131341557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29663 13086 16 0 210010 0 vsize: 840104 [startup+590.033 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 55482 60 0 0 25 0 11 0 780761470 860266496 29815 4294967295 134512640 134569956 3221224368 3221214560 1131444246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29815 13086 16 0 210010 0 vsize: 840104 [startup+600.034 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 56455 61 0 0 25 0 11 0 780761470 860266496 29816 4294967295 134512640 134569956 3221224368 3221214328 1131304813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29816 13086 16 0 210010 0 vsize: 840104 [startup+610.034 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 57413 61 0 0 25 0 11 0 780761470 860266496 29899 4294967295 134512640 134569956 3221224368 3221214396 1130885132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29899 13086 16 0 210010 0 vsize: 840104 [startup+620.035 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 58379 62 0 0 25 0 11 0 780761470 860266496 29997 4294967295 134512640 134569956 3221224368 3221214104 1131450633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 29997 13086 16 0 210010 0 vsize: 840104 [startup+630.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 59348 62 0 0 25 0 11 0 780761470 860266496 30056 4294967295 134512640 134569956 3221224368 3221214584 1131404311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30056 13086 16 0 210010 0 vsize: 840104 [startup+640.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 60324 63 0 0 25 0 11 0 780761470 860266496 30262 4294967295 134512640 134569956 3221224368 3221214584 1131407268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30262 13086 16 0 210010 0 vsize: 840104 [startup+650.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 61309 63 0 0 25 0 11 0 780761470 860266496 30314 4294967295 134512640 134569956 3221224368 3221214496 1131341336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30314 13086 16 0 210010 0 vsize: 840104 [startup+660.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 62295 64 0 0 25 0 11 0 780761470 860266496 30314 4294967295 134512640 134569956 3221224368 3221214584 1131401675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30314 13086 16 0 210010 0 vsize: 840104 [startup+670.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 63283 64 0 0 25 0 11 0 780761470 860266496 30378 4294967295 134512640 134569956 3221224368 3221214488 1131212405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30378 13086 16 0 210010 0 vsize: 840104 [startup+680.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 64272 64 0 0 25 0 11 0 780761470 860266496 30388 4294967295 134512640 134569956 3221224368 3221214584 1131403752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30388 13086 16 0 210010 0 vsize: 840104 [startup+690.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 65261 65 0 0 25 0 11 0 780761470 860266496 30395 4294967295 134512640 134569956 3221224368 3221214584 1131401620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30395 13086 16 0 210010 0 vsize: 840104 [startup+700.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 66246 65 0 0 25 0 11 0 780761470 860266496 30399 4294967295 134512640 134569956 3221224368 3221214496 1131341353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30399 13086 16 0 210010 0 vsize: 840104 [startup+710.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 67232 65 0 0 25 0 11 0 780761470 860266496 30465 4294967295 134512640 134569956 3221224368 3221214520 1131390893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30465 13086 16 0 210010 0 vsize: 840104 [startup+720.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 68221 66 0 0 25 0 11 0 780761470 860266496 30466 4294967295 134512640 134569956 3221224368 3221214256 1078033516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30466 13086 16 0 210010 0 vsize: 840104 [startup+730.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 69201 66 0 0 25 0 11 0 780761470 860266496 30477 4294967295 134512640 134569956 3221224368 3221214496 1131342023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30477 13086 16 0 210010 0 vsize: 840104 [startup+740.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 70178 67 0 0 25 0 11 0 780761470 860266496 30481 4294967295 134512640 134569956 3221224368 3221214496 1131341204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30481 13086 16 0 210010 0 vsize: 840104 [startup+750.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 71145 67 0 0 24 0 11 0 780761470 860266496 30554 4294967295 134512640 134569956 3221224368 3221214584 1131407098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30554 13086 16 0 210010 0 vsize: 840104 [startup+760.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 72119 67 0 0 24 0 11 0 780761470 860266496 30660 4294967295 134512640 134569956 3221224368 3221214584 1131401395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30660 13086 16 0 210010 0 vsize: 840104 [startup+770.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) S 13702 31399 31398 0 -1 0 18120 0 1 0 73100 68 0 0 25 0 11 0 780761470 860266496 30682 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30682 13086 16 0 210010 0 vsize: 840104 [startup+780.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 74083 68 0 0 24 0 11 0 780761470 860266496 30784 4294967295 134512640 134569956 3221224368 3221214488 1131212461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30784 13086 16 0 210010 0 vsize: 840104 [startup+790.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 75066 68 0 0 25 0 11 0 780761470 860266496 30818 4294967295 134512640 134569956 3221224368 3221214480 1131339764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30818 13086 16 0 210010 0 vsize: 840104 [startup+800.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 76052 68 0 0 25 0 11 0 780761470 860266496 30818 4294967295 134512640 134569956 3221224368 3221214496 1131341215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30818 13086 16 0 210010 0 vsize: 840104 [startup+810.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 77037 69 0 0 25 0 11 0 780761470 860266496 30840 4294967295 134512640 134569956 3221224368 3221214584 1131404161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30840 13086 16 0 210010 0 vsize: 840104 [startup+820.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 78030 69 0 0 25 0 11 0 780761470 860266496 30899 4294967295 134512640 134569956 3221224368 3221214496 1131341423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30899 13086 16 0 210010 0 vsize: 840104 [startup+830.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 79022 70 0 0 25 0 11 0 780761470 860266496 30907 4294967295 134512640 134569956 3221224368 3221214368 1131213481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30907 13086 16 0 210010 0 vsize: 840104 [startup+840.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 80010 71 0 0 25 0 11 0 780761470 860266496 30918 4294967295 134512640 134569956 3221224368 3221214496 1131341472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30918 13086 16 0 210010 0 vsize: 840104 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 80998 71 0 0 25 0 11 0 780761470 860266496 30919 4294967295 134512640 134569956 3221224368 3221214584 1131403068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30919 13086 16 0 210010 0 vsize: 840104 [startup+860.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 81981 71 0 0 25 0 11 0 780761470 860266496 30920 4294967295 134512640 134569956 3221224368 3221214496 1131342786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30920 13086 16 0 210010 0 vsize: 840104 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 82962 72 0 0 25 0 11 0 780761470 860266496 30976 4294967295 134512640 134569956 3221224368 3221214584 1131404191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 30976 13086 16 0 210010 0 vsize: 840104 [startup+880.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 83945 72 0 0 25 0 11 0 780761470 860266496 31000 4294967295 134512640 134569956 3221224368 3221214584 1131405104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31000 13086 16 0 210010 0 vsize: 840104 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 84932 73 0 0 25 0 11 0 780761470 860266496 31067 4294967295 134512640 134569956 3221224368 3221214496 1131341215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31067 13086 16 0 210010 0 vsize: 840104 [startup+900.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13713 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 85922 73 0 0 25 0 11 0 780761470 860266496 31088 4294967295 134512640 134569956 3221224368 3221214480 1131339767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31088 13086 16 0 210010 0 vsize: 840104 [startup+910.046 s] Raw data (loadavg): 1.08 1.02 1.01 3/68 13759 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 86906 78 0 0 25 0 11 0 780761470 860266496 31088 4294967295 134512640 134569956 3221224368 3221214584 1131403056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 31088 13086 16 0 210010 0 vsize: 840104 [startup+920.046 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 87896 78 0 0 25 0 11 0 780761470 860266496 31103 4294967295 134512640 134569956 3221224368 3221214336 1131454877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31103 13086 16 0 210010 0 vsize: 840104 [startup+930.047 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 88885 78 0 0 25 0 11 0 780761470 860266496 31106 4294967295 134512640 134569956 3221224368 3221214376 1131304813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31106 13086 16 0 210010 0 vsize: 840104 [startup+940.046 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 89878 78 0 0 25 0 11 0 780761470 860266496 31127 4294967295 134512640 134569956 3221224368 3221214208 1131342210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31127 13086 16 0 210010 0 vsize: 840104 [startup+950.047 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 90866 78 0 0 25 0 11 0 780761470 860266496 31127 4294967295 134512640 134569956 3221224368 3221214508 1131477152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31127 13086 16 0 210010 0 vsize: 840104 [startup+960.047 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 91830 80 0 0 25 0 11 0 780761470 860266496 31127 4294967295 134512640 134569956 3221224368 3221214580 1131185388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31127 13086 16 0 210010 0 vsize: 840104 [startup+970.048 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13766 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 92794 80 0 0 25 0 11 0 780761470 860266496 31180 4294967295 134512640 134569956 3221224368 3221214376 1131305190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31180 13086 16 0 210010 0 vsize: 840104 [startup+980.048 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 93763 80 0 0 25 0 11 0 780761470 860266496 31234 4294967295 134512640 134569956 3221224368 3221214472 1131608679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31234 13086 16 0 210010 0 vsize: 840104 [startup+990.048 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 94744 81 0 0 25 0 11 0 780761470 860266496 31418 4294967295 134512640 134569956 3221224368 3221214488 1131213497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31418 13086 16 0 210010 0 vsize: 840104 [startup+1000.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 95731 81 0 0 25 0 11 0 780761470 860266496 31471 4294967295 134512640 134569956 3221224368 3221214584 1131403805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31471 13086 16 0 210010 0 vsize: 840104 [startup+1010.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 96715 81 0 0 25 0 11 0 780761470 860266496 31489 4294967295 134512640 134569956 3221224368 3221214584 1131405104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31489 13086 16 0 210010 0 vsize: 840104 [startup+1020.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 97699 81 0 0 25 0 11 0 780761470 860266496 31489 4294967295 134512640 134569956 3221224368 3221214496 1131341330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31489 13086 16 0 210010 0 vsize: 840104 [startup+1030.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 98687 82 0 0 25 0 11 0 780761470 860266496 31564 4294967295 134512640 134569956 3221224368 3221214496 1131341353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31564 13086 16 0 210010 0 vsize: 840104 [startup+1040.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 99682 82 0 0 25 0 11 0 780761470 860266496 31567 4294967295 134512640 134569956 3221224368 3221214584 1131405104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31567 13086 16 0 210010 0 vsize: 840104 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 100677 82 0 0 25 0 11 0 780761470 860266496 31570 4294967295 134512640 134569956 3221224368 3221214584 1131404251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31570 13086 16 0 210010 0 vsize: 840104 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 101672 83 0 0 25 0 11 0 780761470 860266496 31572 4294967295 134512640 134569956 3221224368 3221214584 1131404191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31572 13086 16 0 210010 0 vsize: 840104 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 102666 83 0 0 25 0 11 0 780761470 860266496 31575 4294967295 134512640 134569956 3221224368 3221214584 1131403078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31575 13086 16 0 210010 0 vsize: 840104 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 103661 84 0 0 25 0 11 0 780761470 860266496 31576 4294967295 134512640 134569956 3221224368 3221214480 1131340489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31576 13086 16 0 210010 0 vsize: 840104 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 104657 84 0 0 25 0 11 0 780761470 860266496 31578 4294967295 134512640 134569956 3221224368 3221214496 1131341957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31578 13086 16 0 210010 0 vsize: 840104 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 105653 84 0 0 25 0 11 0 780761470 860266496 31586 4294967295 134512640 134569956 3221224368 3221214496 1131341798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31586 13086 16 0 210010 0 vsize: 840104 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 106649 85 0 0 25 0 11 0 780761470 860266496 31586 4294967295 134512640 134569956 3221224368 3221214584 1131404161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31586 13086 16 0 210010 0 vsize: 840104 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 107646 85 0 0 25 0 11 0 780761470 860266496 31586 4294967295 134512640 134569956 3221224368 3221214584 1131403439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31586 13086 16 0 210010 0 vsize: 840104 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 108642 86 0 0 25 0 11 0 780761470 860266496 31586 4294967295 134512640 134569956 3221224368 3221214496 1131341539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31586 13086 16 0 210010 0 vsize: 840104 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 109632 86 0 0 25 0 11 0 780761470 860266496 31586 4294967295 134512640 134569956 3221224368 3221214328 1131304921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31586 13086 16 0 210010 0 vsize: 840104 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 110612 86 0 0 25 0 11 0 780761470 860266496 31587 4294967295 134512640 134569956 3221224368 3221214496 1131341539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31587 13086 16 0 210010 0 vsize: 840104 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 111591 87 0 0 25 0 11 0 780761470 860266496 31589 4294967295 134512640 134569956 3221224368 3221214496 1131342161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31589 13086 16 0 210010 0 vsize: 840104 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 112573 87 0 0 25 0 11 0 780761470 860266496 31590 4294967295 134512640 134569956 3221224368 3221214496 1131341771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31590 13086 16 0 210010 0 vsize: 840104 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 113554 87 0 0 25 0 11 0 780761470 860266496 31701 4294967295 134512640 134569956 3221224368 3221214584 1131403945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31701 13086 16 0 210010 0 vsize: 840104 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 114540 88 0 0 25 0 11 0 780761470 860266496 31755 4294967295 134512640 134569956 3221224368 3221214472 1131608794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31755 13086 16 0 210010 0 vsize: 840104 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 115527 89 0 0 25 0 11 0 780761470 860266496 31759 4294967295 134512640 134569956 3221224368 3221214496 1131341259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31759 13086 16 0 210010 0 vsize: 840104 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13768 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 116516 89 0 0 25 0 11 0 780761470 860266496 31816 4294967295 134512640 134569956 3221224368 3221214584 1131409309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31816 13086 16 0 210010 0 vsize: 840104 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13770 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 117509 90 0 0 25 0 11 0 780761470 860266496 31818 4294967295 134512640 134569956 3221224368 3221214496 1131341353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31818 13086 16 0 210010 0 vsize: 840104 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13770 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 118502 90 0 0 25 0 11 0 780761470 860266496 31831 4294967295 134512640 134569956 3221224368 3221214584 1131405030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31831 13086 16 0 210010 0 vsize: 840104 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13770 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 119497 90 0 0 25 0 11 0 780761470 860266496 31834 4294967295 134512640 134569956 3221224368 3221214496 1131341935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31834 13086 16 0 210010 0 vsize: 840104 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13770 Raw data (stat): 13703 (java) R 13702 31399 31398 0 -1 0 18120 0 1 0 120493 91 0 0 25 0 11 0 780761470 860266496 31837 4294967295 134512640 134569956 3221224368 3221214496 1131341539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 31837 13086 16 0 210010 0 vsize: 840104 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13772 Raw data (stat): 13703 (java) Z 13702 31399 31398 0 -1 1036 18120 17547 1 0 120494 97 5658 56 25 0 1 0 780761470 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.13 CPU time (s): 1263.06 CPU user time (s): 1261.53 CPU system time (s): 1.53577 CPU usage (%): 101.034 Max. virtual memory (Kb): 840104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####