Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb |
MD5SUM | f13ba9c997276002b5bd6db1f679a6f5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 467 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 467 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 467 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04584 |
Number of variables | 466 |
Total number of constraints | 694 |
Number of constraints which are clauses | 694 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 78 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-13 16:04:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=585 boxname=wulflinc26 idbench=65 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f13ba9c997276002b5bd6db1f679a6f5 /oldhome/oroussel/tmp/wulflinc26/normalized-count.b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-count.b.opb IDLAUNCH: 585 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 868460 kB Buffers: 32192 kB Cached: 93716 kB SwapCached: 2476 kB Active: 40632 kB Inactive: 90588 kB HighTotal: 131008 kB HighFree: 33740 kB LowTotal: 903652 kB LowFree: 834720 kB SwapTotal: 2097892 kB SwapFree: 2095416 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6944 kB Slab: 29312 kB Committed_AS: 63652 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:25:59 (client local time) WITH STATUS 143 IN SECONDS stats: 585 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc26/normalized-count.b.opb c reading problem c [nbvar=467] c [nbconstr=694] c time 3.099 c #vars 467 c #clauses 694 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=31 c Current CPU time (ms) : 4.98 c starts : 1 c conflicts : 2 c decisions : 274 c propagations : 526 c inspects : 1922 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 1 c c CURRENT OPTIMUM=30 c Current CPU time (ms) : 560.589 c starts : 6 c conflicts : 879 c decisions : 11653 c propagations : 33121 c inspects : 276465 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 879 c root simplifications : 6 c c CURRENT OPTIMUM=29 c Current CPU time (ms) : 926.339 c starts : 10 c conflicts : 1406 c decisions : 18368 c propagations : 49147 c inspects : 656002 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1406 c root simplifications : 10 c c CURRENT OPTIMUM=28 c Current CPU time (ms) : 989.559 c starts : 11 c conflicts : 1502 c decisions : 19775 c propagations : 53833 c inspects : 739817 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1502 c root simplifications : 11 #### 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.93 0.91 0.56 2/54 22813 Raw data (stat): 22813 (runsolver) R 22812 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477255539 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.99991 s] Raw data (loadavg): 1.09 0.95 0.57 2/64 22824 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18072 3 1 0 619 44 0 0 25 0 11 0 477255539 865648640 21688 4294967295 134512640 134569956 3221224416 3221214680 1131384063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211340 21688 13073 16 0 211324 0 vsize: 845360 [startup+20.0002 s] Raw data (loadavg): 1.08 0.95 0.58 3/64 22824 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18074 3 1 0 1546 45 0 0 25 0 11 0 477255539 868532224 22898 4294967295 134512640 134569956 3221224416 3221214776 1131425160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212044 22898 13073 16 0 212028 0 vsize: 848176 [startup+30.0011 s] Raw data (loadavg): 1.06 0.95 0.58 2/64 22824 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 2476 45 0 0 25 0 11 0 477255539 867483648 23216 4294967295 134512640 134569956 3221224416 3221214596 1130894840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 23216 13073 16 0 211772 0 vsize: 847152 [startup+40.0018 s] Raw data (loadavg): 1.05 0.95 0.58 2/64 22824 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 3399 45 0 0 25 0 11 0 477255539 867483648 23535 4294967295 134512640 134569956 3221224416 3221214680 1131678124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 23535 13073 16 0 211772 0 vsize: 847152 [startup+50.0022 s] Raw data (loadavg): 1.05 0.95 0.59 2/64 22824 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 4317 45 0 0 25 0 11 0 477255539 867483648 23812 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 23812 13073 16 0 211772 0 vsize: 847152 [startup+60.0023 s] Raw data (loadavg): 1.04 0.95 0.59 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 5240 46 0 0 25 0 11 0 477255539 867483648 24111 4294967295 134512640 134569956 3221224416 3221214680 1131678127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 24111 13073 16 0 211772 0 vsize: 847152 [startup+70.0029 s] Raw data (loadavg): 1.03 0.95 0.60 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 6169 46 0 0 25 0 11 0 477255539 867483648 24241 4294967295 134512640 134569956 3221224416 3221214680 1131679709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 24241 13073 16 0 211772 0 vsize: 847152 [startup+80.0032 s] Raw data (loadavg): 1.03 0.96 0.60 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 7107 46 0 0 25 0 11 0 477255539 867483648 24480 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 24480 13073 16 0 211772 0 vsize: 847152 [startup+90.0043 s] Raw data (loadavg): 1.02 0.96 0.60 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 8057 46 0 0 25 0 11 0 477255539 867483648 24769 4294967295 134512640 134569956 3221224416 3221214576 1131592295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 24769 13073 16 0 211772 0 vsize: 847152 [startup+100.005 s] Raw data (loadavg): 1.02 0.96 0.61 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 9028 46 0 0 25 0 11 0 477255539 867483648 24930 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 24930 13073 16 0 211772 0 vsize: 847152 [startup+110.005 s] Raw data (loadavg): 1.02 0.96 0.61 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 9999 47 0 0 25 0 11 0 477255539 867483648 24998 4294967295 134512640 134569956 3221224416 3221214768 1131328371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 24998 13073 16 0 211772 0 vsize: 847152 [startup+120.006 s] Raw data (loadavg): 1.01 0.96 0.62 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 10956 47 0 0 25 0 11 0 477255539 867483648 25093 4294967295 134512640 134569956 3221224416 3221214808 1080203753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25093 13073 16 0 211772 0 vsize: 847152 [startup+130.007 s] Raw data (loadavg): 1.01 0.96 0.62 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 11907 48 0 0 25 0 11 0 477255539 867483648 25150 4294967295 134512640 134569956 3221224416 3221214816 1131426249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25150 13073 16 0 211772 0 vsize: 847152 [startup+140.007 s] Raw data (loadavg): 1.01 0.96 0.62 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 12859 48 0 0 25 0 11 0 477255539 867483648 25175 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 25175 13073 16 0 211772 0 vsize: 847152 [startup+150.008 s] Raw data (loadavg): 1.01 0.96 0.63 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 13815 49 0 0 25 0 11 0 477255539 867483648 25447 4294967295 134512640 134569956 3221224416 3221214576 1131592464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25447 13073 16 0 211772 0 vsize: 847152 [startup+160.008 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 14792 49 0 0 25 0 11 0 477255539 867483648 25573 4294967295 134512640 134569956 3221224416 3221214576 1131590705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25573 13073 16 0 211772 0 vsize: 847152 [startup+170.008 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 15771 50 0 0 25 0 11 0 477255539 867483648 25612 4294967295 134512640 134569956 3221224416 3221214704 1131224381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25612 13073 16 0 211772 0 vsize: 847152 [startup+180.008 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 16746 50 0 0 25 0 11 0 477255539 867483648 25631 4294967295 134512640 134569956 3221224416 3221214720 1131384667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25631 13073 16 0 211772 0 vsize: 847152 [startup+190.01 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 17707 50 0 0 25 0 11 0 477255539 867483648 25699 4294967295 134512640 134569956 3221224416 3221214676 1131398435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25699 13073 16 0 211772 0 vsize: 847152 [startup+200.01 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 18665 50 0 0 25 0 11 0 477255539 867483648 25747 4294967295 134512640 134569956 3221224416 3221214576 1131590689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25747 13073 16 0 211772 0 vsize: 847152 [startup+210.01 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 19608 51 0 0 25 0 11 0 477255539 867483648 25810 4294967295 134512640 134569956 3221224416 3221214656 1131398522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 25810 13073 16 0 211772 0 vsize: 847152 [startup+220.011 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 20562 51 0 0 25 0 11 0 477255539 867483648 25950 4294967295 134512640 134569956 3221224416 3221214584 1131272588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 25950 13073 16 0 211772 0 vsize: 847152 [startup+230.011 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 21519 51 0 0 25 0 11 0 477255539 867483648 26082 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26082 13073 16 0 211772 0 vsize: 847152 [startup+240.012 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 22484 52 0 0 25 0 11 0 477255539 867483648 26249 4294967295 134512640 134569956 3221224416 3221214576 1131591410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26249 13073 16 0 211772 0 vsize: 847152 [startup+250.012 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 23459 52 0 0 24 0 11 0 477255539 867483648 26353 4294967295 134512640 134569956 3221224416 3221214680 1131678112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26353 13073 16 0 211772 0 vsize: 847152 [startup+260.012 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 24442 52 0 0 25 0 11 0 477255539 867483648 26409 4294967295 134512640 134569956 3221224416 3221214680 1131678124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26409 13073 16 0 211772 0 vsize: 847152 [startup+270.013 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 25421 53 0 0 24 0 11 0 477255539 867483648 26459 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26459 13073 16 0 211772 0 vsize: 847152 [startup+280.014 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 26406 53 0 0 25 0 11 0 477255539 867483648 26495 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26495 13073 16 0 211772 0 vsize: 847152 [startup+290.015 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 27389 53 0 0 25 0 11 0 477255539 867483648 26519 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26519 13073 16 0 211772 0 vsize: 847152 [startup+300.041 s] Raw data (loadavg): 1.00 0.97 0.67 3/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 28366 53 0 0 25 0 11 0 477255539 867483648 26554 4294967295 134512640 134569956 3221224416 3221214816 1131424939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26554 13073 16 0 211772 0 vsize: 847152 [startup+310.041 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 29335 53 0 0 25 0 11 0 477255539 867483648 26582 4294967295 134512640 134569956 3221224416 3221214584 1131272828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26582 13073 16 0 211772 0 vsize: 847152 [startup+320.041 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 30292 53 0 0 25 0 11 0 477255539 867483648 26643 4294967295 134512640 134569956 3221224416 3221214576 1131591312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 26643 13073 16 0 211772 0 vsize: 847152 [startup+330.041 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 31259 53 0 0 25 0 11 0 477255539 867483648 26722 4294967295 134512640 134569956 3221224416 3221214800 1131341557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26722 13073 16 0 211772 0 vsize: 847152 [startup+340.042 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 32221 54 0 0 25 0 11 0 477255539 867483648 26831 4294967295 134512640 134569956 3221224416 3221214856 1131532571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26831 13073 16 0 211772 0 vsize: 847152 [startup+350.042 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 33186 54 0 0 25 0 11 0 477255539 867483648 26935 4294967295 134512640 134569956 3221224416 3221214680 1131678236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26935 13073 16 0 211772 0 vsize: 847152 [startup+360.043 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 34149 55 0 0 25 0 11 0 477255539 867483648 26992 4294967295 134512640 134569956 3221224416 3221214816 1131428362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 26992 13073 16 0 211772 0 vsize: 847152 [startup+370.044 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 35123 55 0 0 25 0 11 0 477255539 867483648 27089 4294967295 134512640 134569956 3221224416 3221214584 1131272588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27089 13073 16 0 211772 0 vsize: 847152 [startup+380.044 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 36098 56 0 0 25 0 11 0 477255539 867483648 27165 4294967295 134512640 134569956 3221224416 3221214720 1131383006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27165 13073 16 0 211772 0 vsize: 847152 [startup+390.045 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 37058 56 0 0 25 0 11 0 477255539 867483648 27213 4294967295 134512640 134569956 3221224416 3221214656 1131398529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27213 13073 16 0 211772 0 vsize: 847152 [startup+400.046 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 38005 56 0 0 25 0 11 0 477255539 867483648 27251 4294967295 134512640 134569956 3221224416 3221214720 1131383191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27251 13073 16 0 211772 0 vsize: 847152 [startup+410.046 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 38950 57 0 0 25 0 11 0 477255539 867483648 27302 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27302 13073 16 0 211772 0 vsize: 847152 [startup+420.047 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 39901 57 0 0 25 0 11 0 477255539 867483648 27515 4294967295 134512640 134569956 3221224416 3221214576 1131592291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27515 13073 16 0 211772 0 vsize: 847152 [startup+430.048 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 40860 58 0 0 25 0 11 0 477255539 867483648 27655 4294967295 134512640 134569956 3221224416 3221214656 1131581589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27655 13073 16 0 211772 0 vsize: 847152 [startup+440.048 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 41826 58 0 0 25 0 11 0 477255539 867483648 27804 4294967295 134512640 134569956 3221224416 3221214584 1131272902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 27804 13073 16 0 211772 0 vsize: 847152 [startup+450.048 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 42796 58 0 0 25 0 11 0 477255539 867483648 27889 4294967295 134512640 134569956 3221224416 3221214576 1131592287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27889 13073 16 0 211772 0 vsize: 847152 [startup+460.048 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 43765 59 0 0 25 0 11 0 477255539 867483648 27925 4294967295 134512640 134569956 3221224416 3221214576 1131591554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27925 13073 16 0 211772 0 vsize: 847152 [startup+470.049 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 44737 59 0 0 25 0 11 0 477255539 867483648 27997 4294967295 134512640 134569956 3221224416 3221214800 1131339279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 27997 13073 16 0 211772 0 vsize: 847152 [startup+480.049 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 45707 60 0 0 25 0 11 0 477255539 867483648 28073 4294967295 134512640 134569956 3221224416 3221214656 1131398478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28073 13073 16 0 211772 0 vsize: 847152 [startup+490.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 46676 61 0 0 25 0 11 0 477255539 867483648 28137 4294967295 134512640 134569956 3221224416 3221214576 1131590700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28137 13073 16 0 211772 0 vsize: 847152 [startup+500.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 47648 61 0 0 25 0 11 0 477255539 867483648 28197 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211788 28197 13073 16 0 211772 0 vsize: 847152 [startup+510.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 48618 61 0 0 25 0 11 0 477255539 867483648 28236 4294967295 134512640 134569956 3221224416 3221214672 1131326140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28236 13073 16 0 211772 0 vsize: 847152 [startup+520.051 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 49585 62 0 0 25 0 11 0 477255539 867483648 28320 4294967295 134512640 134569956 3221224416 3221214408 1078032837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28320 13073 16 0 211772 0 vsize: 847152 [startup+530.051 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 50553 62 0 0 25 0 11 0 477255539 867483648 28363 4294967295 134512640 134569956 3221224416 3221214576 1131593154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28363 13073 16 0 211772 0 vsize: 847152 [startup+540.052 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 51514 63 0 0 25 0 11 0 477255539 867483648 28439 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28439 13073 16 0 211772 0 vsize: 847152 [startup+550.052 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 52492 63 0 0 25 0 11 0 477255539 867483648 28510 4294967295 134512640 134569956 3221224416 3221214696 1131382827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28510 13073 16 0 211772 0 vsize: 847152 [startup+560.051 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 22826 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 53459 64 0 0 25 0 11 0 477255539 867483648 28565 4294967295 134512640 134569956 3221224416 3221214704 1131223767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28565 13073 16 0 211772 0 vsize: 847152 [startup+570.052 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 54413 64 0 0 25 0 11 0 477255539 867483648 28621 4294967295 134512640 134569956 3221224416 3221214800 1131338495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28621 13073 16 0 211772 0 vsize: 847152 [startup+580.052 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 55362 64 0 0 25 0 11 0 477255539 867483648 28678 4294967295 134512640 134569956 3221224416 3221214352 1131582264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28678 13073 16 0 211772 0 vsize: 847152 [startup+590.053 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 56289 64 0 0 25 0 11 0 477255539 867483648 28744 4294967295 134512640 134569956 3221224416 3221214560 1131272685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28744 13073 16 0 211772 0 vsize: 847152 [startup+600.052 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 57234 65 0 0 25 0 11 0 477255539 867483648 28872 4294967295 134512640 134569956 3221224416 3221214560 1131272456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 28872 13073 16 0 211772 0 vsize: 847152 [startup+610.052 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 58191 65 0 0 25 0 11 0 477255539 867483648 29168 4294967295 134512640 134569956 3221224416 3221214704 1131224073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29168 13073 16 0 211772 0 vsize: 847152 [startup+620.052 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 59134 66 0 0 24 0 11 0 477255539 867483648 29324 4294967295 134512640 134569956 3221224416 3221214704 1131223815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29324 13073 16 0 211772 0 vsize: 847152 [startup+630.052 s] Raw data (loadavg): 1.00 0.97 0.76 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 60107 66 0 0 25 0 11 0 477255539 867483648 29434 4294967295 134512640 134569956 3221224416 3221214576 1131582289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29434 13073 16 0 211772 0 vsize: 847152 [startup+640.054 s] Raw data (loadavg): 1.00 0.97 0.76 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 61072 67 0 0 25 0 11 0 477255539 867483648 29478 4294967295 134512640 134569956 3221224416 3221214632 1131398513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29478 13073 16 0 211772 0 vsize: 847152 [startup+650.054 s] Raw data (loadavg): 1.00 0.97 0.76 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 62018 67 0 0 25 0 11 0 477255539 867483648 29550 4294967295 134512640 134569956 3221224416 3221214560 1131272593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29550 13073 16 0 211772 0 vsize: 847152 [startup+660.053 s] Raw data (loadavg): 1.00 0.97 0.76 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 62983 68 0 0 25 0 11 0 477255539 867483648 29629 4294967295 134512640 134569956 3221224416 3221214792 1131425365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29629 13073 16 0 211772 0 vsize: 847152 [startup+670.054 s] Raw data (loadavg): 1.00 0.97 0.76 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 63934 68 0 0 25 0 11 0 477255539 867483648 29842 4294967295 134512640 134569956 3221224416 3221214792 1131429789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29842 13073 16 0 211772 0 vsize: 847152 [startup+680.054 s] Raw data (loadavg): 1.00 0.97 0.77 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 64889 68 0 0 25 0 11 0 477255539 867483648 29948 4294967295 134512640 134569956 3221224416 3221214800 1131337435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 29948 13073 16 0 211772 0 vsize: 847152 [startup+690.056 s] Raw data (loadavg): 1.00 0.97 0.77 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 65833 68 0 0 25 0 11 0 477255539 867483648 30053 4294967295 134512640 134569956 3221224416 3221214656 1131678127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30053 13073 16 0 211772 0 vsize: 847152 [startup+700.057 s] Raw data (loadavg): 1.00 0.97 0.77 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 66778 68 0 0 25 0 11 0 477255539 867483648 30175 4294967295 134512640 134569956 3221224416 3221214560 1131272558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30175 13073 16 0 211772 0 vsize: 847152 [startup+710.057 s] Raw data (loadavg): 1.00 0.97 0.77 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 67734 69 0 0 24 0 11 0 477255539 867483648 30354 4294967295 134512640 134569956 3221224416 3221214560 1131272828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30354 13073 16 0 211772 0 vsize: 847152 [startup+720.058 s] Raw data (loadavg): 1.00 0.97 0.77 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 68705 69 0 0 25 0 11 0 477255539 867483648 30483 4294967295 134512640 134569956 3221224416 3221214656 1131678131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30483 13073 16 0 211772 0 vsize: 847152 [startup+730.058 s] Raw data (loadavg): 1.00 0.97 0.78 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 69678 69 0 0 25 0 11 0 477255539 867483648 30540 4294967295 134512640 134569956 3221224416 3221214800 1131339402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30540 13073 16 0 211772 0 vsize: 847152 [startup+740.059 s] Raw data (loadavg): 1.00 0.97 0.78 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 70641 70 0 0 25 0 11 0 477255539 867483648 30560 4294967295 134512640 134569956 3221224416 3221214656 1131678160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30560 13073 16 0 211772 0 vsize: 847152 [startup+750.06 s] Raw data (loadavg): 1.00 0.97 0.78 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 71589 70 0 0 25 0 11 0 477255539 867483648 30605 4294967295 134512640 134569956 3221224416 3221214488 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30605 13073 16 0 211772 0 vsize: 847152 [startup+760.059 s] Raw data (loadavg): 1.00 0.97 0.78 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 72547 71 0 0 25 0 11 0 477255539 867483648 30739 4294967295 134512640 134569956 3221224416 3221214292 1131582224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30739 13073 16 0 211772 0 vsize: 847152 [startup+770.06 s] Raw data (loadavg): 1.08 0.99 0.79 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 73511 71 0 0 25 0 11 0 477255539 867483648 30875 4294967295 134512640 134569956 3221224416 3221214560 1131272702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30875 13073 16 0 211772 0 vsize: 847152 [startup+780.061 s] Raw data (loadavg): 1.07 0.99 0.79 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 74473 72 0 0 24 0 11 0 477255539 867483648 30996 4294967295 134512640 134569956 3221224416 3221214788 1131375904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 30996 13073 16 0 211772 0 vsize: 847152 [startup+790.061 s] Raw data (loadavg): 1.06 0.99 0.79 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 75440 72 0 0 25 0 11 0 477255539 867483648 31019 4294967295 134512640 134569956 3221224416 3221214560 1131272745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31019 13073 16 0 211772 0 vsize: 847152 [startup+800.062 s] Raw data (loadavg): 1.05 0.99 0.80 2/64 22827 Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18077 3 1 0 76405 73 0 0 25 0 11 0 477255539 867483648 31068 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31068 13073 16 0 211772 0 vsize: 847152 [startup+810.062 s] Raw data (loadavg): 1.04 0.99 0.80 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 77367 73 0 0 24 0 11 0 477255539 867483648 31175 4294967295 134512640 134569956 3221224416 3221214560 1131272745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31175 13073 16 0 211772 0 vsize: 847152 [startup+820.063 s] Raw data (loadavg): 1.03 0.99 0.80 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 78335 73 0 0 25 0 11 0 477255539 867483648 31253 4294967295 134512640 134569956 3221224416 3221214704 1131223679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31253 13073 16 0 211772 0 vsize: 847152 [startup+830.063 s] Raw data (loadavg): 1.03 0.99 0.80 2/64 22827 Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18077 3 1 0 79301 74 0 0 25 0 11 0 477255539 867483648 31292 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31292 13073 16 0 211772 0 vsize: 847152 [startup+840.064 s] Raw data (loadavg): 1.02 0.99 0.80 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 80269 74 0 0 25 0 11 0 477255539 867483648 31361 4294967295 134512640 134569956 3221224416 3221214704 1131224101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31361 13073 16 0 211772 0 vsize: 847152 [startup+850.064 s] Raw data (loadavg): 1.02 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 81231 75 0 0 25 0 11 0 477255539 867483648 31424 4294967295 134512640 134569956 3221224416 3221214704 1131223970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31424 13073 16 0 211772 0 vsize: 847152 [startup+860.064 s] Raw data (loadavg): 1.02 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 82198 75 0 0 25 0 11 0 477255539 867483648 31500 4294967295 134512640 134569956 3221224416 3221214544 1085679321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31500 13073 16 0 211772 0 vsize: 847152 [startup+870.064 s] Raw data (loadavg): 1.01 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 83169 75 0 0 25 0 11 0 477255539 867483648 31555 4294967295 134512640 134569956 3221224416 3221214680 1131575370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31555 13073 16 0 211772 0 vsize: 847152 [startup+880.064 s] Raw data (loadavg): 1.01 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 84139 76 0 0 25 0 11 0 477255539 867483648 31635 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31635 13073 16 0 211772 0 vsize: 847152 [startup+890.065 s] Raw data (loadavg): 1.01 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 85093 76 0 0 25 0 11 0 477255539 867483648 31727 4294967295 134512640 134569956 3221224416 3221214656 1131678212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31727 13073 16 0 211772 0 vsize: 847152 [startup+900.065 s] Raw data (loadavg): 1.01 0.99 0.81 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 86058 76 0 0 25 0 11 0 477255539 867483648 31791 4294967295 134512640 134569956 3221224416 3221214032 1131566154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31791 13073 16 0 211772 0 vsize: 847152 [startup+910.064 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 87033 76 0 0 25 0 11 0 477255539 867483648 31838 4294967295 134512640 134569956 3221224416 3221214216 1131582302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31838 13073 16 0 211772 0 vsize: 847152 [startup+920.065 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22827 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 87990 77 0 0 25 0 11 0 477255539 867483648 31941 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 31941 13073 16 0 211772 0 vsize: 847152 [startup+930.065 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 88952 77 0 0 25 0 11 0 477255539 867483648 32001 4294967295 134512640 134569956 3221224416 3221214704 1131223533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32001 13073 16 0 211772 0 vsize: 847152 [startup+940.066 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 89914 77 0 0 25 0 11 0 477255539 867483648 32025 4294967295 134512640 134569956 3221224416 3221214800 1131337215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32025 13073 16 0 211772 0 vsize: 847152 [startup+950.066 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 90852 78 0 0 25 0 11 0 477255539 867483648 32173 4294967295 134512640 134569956 3221224416 3221214292 1131582288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32173 13073 16 0 211772 0 vsize: 847152 [startup+960.066 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 91814 78 0 0 25 0 11 0 477255539 867483648 32221 4294967295 134512640 134569956 3221224416 3221214800 1131337199 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32221 13073 16 0 211772 0 vsize: 847152 [startup+970.066 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 92769 78 0 0 25 0 11 0 477255539 867483648 32457 4294967295 134512640 134569956 3221224416 3221214264 1131565884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32457 13073 16 0 211772 0 vsize: 847152 [startup+980.066 s] Raw data (loadavg): 1.00 0.99 0.82 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 93742 79 0 0 25 0 11 0 477255539 867483648 32524 4294967295 134512640 134569956 3221224416 3221214384 1131570850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32524 13073 16 0 211772 0 vsize: 847152 [startup+990.067 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22828 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 94708 79 0 0 25 0 11 0 477255539 867483648 32555 4294967295 134512640 134569956 3221224416 3221214704 1131223662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32555 13073 16 0 211772 0 vsize: 847152 [startup+1000.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 95678 79 0 0 25 0 11 0 477255539 867483648 32614 4294967295 134512640 134569956 3221224416 3221214216 1131582282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32614 13073 16 0 211772 0 vsize: 847152 [startup+1010.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 96630 79 0 0 25 0 11 0 477255539 867483648 32745 4294967295 134512640 134569956 3221224416 3221214512 1131575209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32745 13073 16 0 211772 0 vsize: 847152 [startup+1020.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 97597 80 0 0 25 0 11 0 477255539 867483648 32782 4294967295 134512640 134569956 3221224416 3221214368 1085679261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32782 13073 16 0 211772 0 vsize: 847152 [startup+1030.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 98538 80 0 0 25 0 11 0 477255539 867483648 32877 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 32877 13073 16 0 211772 0 vsize: 847152 [startup+1040.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 99471 81 0 0 25 0 11 0 477255539 867483648 33038 4294967295 134512640 134569956 3221224416 3221214656 1131678112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33038 13073 16 0 211772 0 vsize: 847152 [startup+1050.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 100414 81 0 0 25 0 11 0 477255539 867483648 33215 4294967295 134512640 134569956 3221224416 3221214384 1131570626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33215 13073 16 0 211772 0 vsize: 847152 [startup+1060.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 101401 81 0 0 25 0 11 0 477255539 867483648 33255 4294967295 134512640 134569956 3221224416 3221214704 1131223893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33255 13073 16 0 211772 0 vsize: 847152 [startup+1070.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 102382 82 0 0 25 0 11 0 477255539 867483648 33327 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33327 13073 16 0 211772 0 vsize: 847152 [startup+1080.07 s] Raw data (loadavg): 1.00 0.99 0.83 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 103333 82 0 0 25 0 11 0 477255539 867483648 33476 4294967295 134512640 134569956 3221224416 3221214240 1131582181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33476 13073 16 0 211772 0 vsize: 847152 [startup+1090.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 104309 82 0 0 25 0 11 0 477255539 867483648 33528 4294967295 134512640 134569956 3221224416 3221214288 1131575356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33528 13073 16 0 211772 0 vsize: 847152 [startup+1100.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 105291 82 0 0 25 0 11 0 477255539 867483648 33578 4294967295 134512640 134569956 3221224416 3221214432 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33578 13073 16 0 211772 0 vsize: 847152 [startup+1110.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 106251 82 0 0 25 0 11 0 477255539 867483648 33623 4294967295 134512640 134569956 3221224416 3221214296 1131582295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33623 13073 16 0 211772 0 vsize: 847152 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 107217 83 0 0 25 0 11 0 477255539 867483648 33666 4294967295 134512640 134569956 3221224416 3221214704 1131223521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33666 13073 16 0 211772 0 vsize: 847152 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 108189 83 0 0 25 0 11 0 477255539 867483648 33745 4294967295 134512640 134569956 3221224416 3221214792 1131429002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33745 13073 16 0 211772 0 vsize: 847152 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 109141 84 0 0 25 0 11 0 477255539 867483648 33850 4294967295 134512640 134569956 3221224416 3221214464 1131582264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33850 13073 16 0 211772 0 vsize: 847152 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 110093 84 0 0 24 0 11 0 477255539 867483648 33949 4294967295 134512640 134569956 3221224416 3221214552 1131591450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 33949 13073 16 0 211772 0 vsize: 847152 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 111047 84 0 0 25 0 11 0 477255539 867483648 34101 4294967295 134512640 134569956 3221224416 3221214560 1131272886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34101 13073 16 0 211772 0 vsize: 847152 [startup+1170.08 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 112011 85 0 0 25 0 11 0 477255539 867483648 34219 4294967295 134512640 134569956 3221224416 3221214560 1131272588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34219 13073 16 0 211772 0 vsize: 847152 [startup+1180.08 s] Raw data (loadavg): 1.00 0.99 0.84 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 112983 85 0 0 25 0 11 0 477255539 867483648 34313 4294967295 134512640 134569956 3221224416 3221214208 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34313 13073 16 0 211772 0 vsize: 847152 [startup+1190.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18078 3 1 0 113953 85 0 0 25 0 11 0 477255539 867483648 34402 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34402 13073 16 0 211772 0 vsize: 847152 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 114920 85 0 0 25 0 11 0 477255539 867483648 34426 4294967295 134512640 134569956 3221224416 3221214296 1131582264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34426 13073 16 0 211772 0 vsize: 847152 [startup+1210.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 115878 86 0 0 25 0 11 0 477255539 867483648 34482 4294967295 134512640 134569956 3221224416 3221214800 1131338475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34482 13073 16 0 211772 0 vsize: 847152 [startup+1220.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 116838 86 0 0 25 0 11 0 477255539 867483648 34566 4294967295 134512640 134569956 3221224416 3221214656 1131678127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34566 13073 16 0 211772 0 vsize: 847152 [startup+1230.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 117816 86 0 0 25 0 11 0 477255539 867483648 34602 4294967295 134512640 134569956 3221224416 3221214880 1131611481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34602 13073 16 0 211772 0 vsize: 847152 [startup+1240.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 118784 87 0 0 25 0 11 0 477255539 867483648 34668 4294967295 134512640 134569956 3221224416 3221214652 1131398542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34668 13073 16 0 211772 0 vsize: 847152 [startup+1250.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 119748 87 0 0 25 0 11 0 477255539 867483648 34765 4294967295 134512640 134569956 3221224416 3221214560 1131272590 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34765 13073 16 0 211772 0 vsize: 847152 [startup+1260.08 s] Raw data (loadavg): 1.00 0.99 0.85 2/64 22829 Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 120717 87 0 0 25 0 11 0 477255539 867483648 34840 4294967295 134512640 134569956 3221224416 3221214504 1131575362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211788 34840 13073 16 0 211772 0 vsize: 847152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.42 s] Raw data (loadavg): 1.00 0.99 0.85 1/54 22831 Raw data (stat): 22813 (java) Z 22812 22612 22611 0 -1 1036 18078 21066 1 1 120744 95 6343 59 25 0 1 0 477255539 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): 1260.42 CPU time (s): 1272.43 CPU user time (s): 1270.88 CPU system time (s): 1.54976 CPU usage (%): 100.952 Max. virtual memory (Kb): 848176 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####