Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | e4638ea46dbf743c721f5094f551c5b7 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6257268 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1232.17 |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-21 22:04:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14270 boxname=wulflinc25 idbench=1098 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e4638ea46dbf743c721f5094f551c5b7 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-ran12x12.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-ran12x12.opb IDLAUNCH: 14270 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 730064 kB Buffers: 6632 kB Cached: 277368 kB SwapCached: 716 kB Active: 44168 kB Inactive: 241808 kB HighTotal: 131008 kB HighFree: 476 kB LowTotal: 903652 kB LowFree: 729588 kB SwapTotal: 2097892 kB SwapFree: 2096236 kB Dirty: 32 kB Writeback: 0 kB Mapped: 4992 kB Slab: 12792 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 22:24:46 (client local time) WITH STATUS 143 IN 1216.02 SECONDS stats: 14270 7 1216.02 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-ran12x12.opb c reading problem c [nbvar=4464] c [nbconstr=168] c time 11.512 c #vars 4464 c #clauses 193 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=6231664 c Current CPU time (ms) : 42.44 c starts : 1 c conflicts : 9 c decisions : 3968 c propagations : 16395 c inspects : 17159 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 10 c c CURRENT OPTIMUM=4972391 c Current CPU time (ms) : 188.353 c starts : 2 c conflicts : 22 c decisions : 7970 c propagations : 36890 c inspects : 59104 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 22 c root simplifications : 23 c c CURRENT OPTIMUM=4972387 c Current CPU time (ms) : 207.058 c starts : 3 c conflicts : 23 c decisions : 8128 c propagations : 39043 c inspects : 64219 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 23 c root simplifications : 24 c c CURRENT OPTIMUM=4653524 c Current CPU time (ms) : 336.666 c starts : 4 c conflicts : 31 c decisions : 13143 c propagations : 52295 c inspects : 103039 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 31 c root simplifications : 33 c c CURRENT OPTIMUM=4583413 c Current CPU time (ms) : 543.202 c starts : 5 c conflicts : 44 c decisions : 18238 c propagations : 68350 c inspects : 160517 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 44 c root simplifications : 42 c c CURRENT OPTIMUM=4504565 c Current CPU time (ms) : 569.004 c starts : 6 c conflicts : 44 c decisions : 18515 c propagations : 70482 c inspects : 167895 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 44 c root simplifications : 43 c c CURRENT OPTIMUM=4497640 c Current CPU time (ms) : 904.837 c starts : 7 c conflicts : 54 c decisions : 24140 c propagations : 86952 c inspects : 241465 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 54 c root simplifications : 54 c c CURRENT OPTIMUM=4349160 c Current CPU time (ms) : 951.12 c starts : 8 c conflicts : 54 c decisions : 24720 c propagations : 89084 c inspects : 251508 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 54 c root simplifications : 55 c c CURRENT OPTIMUM=4294888 c Current CPU time (ms) : 999.905 c starts : 9 c conflicts : 54 c decisions : 25333 c propagations : 91216 c inspects : 261698 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 54 c root simplifications : 56 c c CURRENT OPTIMUM=4146408 c Current CPU time (ms) : 1050.909 c starts : 10 c conflicts : 54 c decisions : 25912 c propagations : 93348 c inspects : 272028 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 54 c root simplifications : 57 #### 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.56 0.87 0.88 2/54 16010 Raw data (stat): 16010 (runsolver) R 16009 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548547852 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99983 s] Raw data (loadavg): 0.63 0.88 0.88 4/63 16019 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18004 0 1 0 838 38 0 0 25 0 10 0 548547852 863952896 21557 4294967295 134512640 134569956 3221224400 3221214248 1130918996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210926 21557 13073 16 0 210910 0 vsize: 843704 [startup+20.0604 s] Raw data (loadavg): 0.91 0.93 0.90 3/64 16020 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18081 0 1 0 1517 39 0 0 25 0 11 0 548547852 865886208 22698 4294967295 134512640 134569956 3221224400 3221214664 1131496140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211398 22698 13073 16 0 211382 0 vsize: 845592 [startup+30.1005 s] Raw data (loadavg): 0.93 0.93 0.90 2/64 16020 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18081 0 1 0 2433 39 0 0 23 0 11 0 548547852 864837632 22589 4294967295 134512640 134569956 3221224400 3221214776 1131413010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 22589 13073 16 0 211126 0 vsize: 844568 [startup+40.0998 s] Raw data (loadavg): 0.94 0.93 0.90 2/64 16020 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18082 0 1 0 3342 40 0 0 25 0 11 0 548547852 864837632 22805 4294967295 134512640 134569956 3221224400 3221214772 1131264011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 22805 13073 16 0 211126 0 vsize: 844568 [startup+50.1007 s] Raw data (loadavg): 0.95 0.94 0.90 2/64 16021 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18082 5 1 0 4280 41 0 0 25 0 11 0 548547852 864837632 23364 4294967295 134512640 134569956 3221224400 3221214680 1131262801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23364 13073 16 0 211126 0 vsize: 844568 [startup+60.1012 s] Raw data (loadavg): 0.95 0.94 0.90 2/64 16021 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18082 5 1 0 5249 41 0 0 24 0 11 0 548547852 864837632 23397 4294967295 134512640 134569956 3221224400 3221214472 1131246389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23397 13073 16 0 211126 0 vsize: 844568 [startup+70.1024 s] Raw data (loadavg): 0.96 0.94 0.90 2/64 16021 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18082 5 1 0 6217 41 0 0 25 0 11 0 548547852 864837632 23433 4294967295 134512640 134569956 3221224400 3221214680 1131262444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23433 13073 16 0 211126 0 vsize: 844568 [startup+80.1035 s] Raw data (loadavg): 0.97 0.94 0.90 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18082 5 1 0 7189 42 0 0 25 0 11 0 548547852 864837632 23563 4294967295 134512640 134569956 3221224400 3221214680 1131263696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23563 13073 16 0 211126 0 vsize: 844568 [startup+90.1026 s] Raw data (loadavg): 0.97 0.94 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 8168 42 0 0 25 0 11 0 548547852 864837632 23626 4294967295 134512640 134569956 3221224400 3221214680 1131262522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23626 13073 16 0 211126 0 vsize: 844568 [startup+100.104 s] Raw data (loadavg): 0.97 0.94 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 9155 43 0 0 25 0 11 0 548547852 864837632 23669 4294967295 134512640 134569956 3221224400 3221214776 1131410169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23669 13073 16 0 211126 0 vsize: 844568 [startup+110.104 s] Raw data (loadavg): 0.98 0.94 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 10145 43 0 0 25 0 11 0 548547852 864837632 23686 4294967295 134512640 134569956 3221224400 3221214680 1131263990 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23686 13073 16 0 211126 0 vsize: 844568 [startup+120.104 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 11137 43 0 0 25 0 11 0 548547852 864837632 23704 4294967295 134512640 134569956 3221224400 3221214680 1131262522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23704 13073 16 0 211126 0 vsize: 844568 [startup+130.104 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 12128 44 0 0 25 0 11 0 548547852 864837632 23723 4294967295 134512640 134569956 3221224400 3221214680 1131262446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23723 13073 16 0 211126 0 vsize: 844568 [startup+140.104 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 13120 44 0 0 25 0 11 0 548547852 864837632 23740 4294967295 134512640 134569956 3221224400 3221214680 1131263408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23740 13073 16 0 211126 0 vsize: 844568 [startup+150.104 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) S 16009 28099 28098 0 -1 0 18083 5 1 0 14114 44 0 0 25 0 11 0 548547852 864837632 23755 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23755 13073 16 0 211126 0 vsize: 844568 [startup+160.104 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 15107 45 0 0 25 0 11 0 548547852 864837632 23771 4294967295 134512640 134569956 3221224400 3221214680 1131263408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23771 13073 16 0 211126 0 vsize: 844568 [startup+170.105 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 16100 45 0 0 25 0 11 0 548547852 864837632 23780 4294967295 134512640 134569956 3221224400 3221214776 1131409352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23780 13073 16 0 211126 0 vsize: 844568 [startup+180.105 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16023 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 17093 46 0 0 25 0 11 0 548547852 864837632 23793 4294967295 134512640 134569956 3221224400 3221214680 1131262853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 23793 13073 16 0 211126 0 vsize: 844568 [startup+190.105 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16024 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 18072 46 0 0 25 0 11 0 548547852 864837632 23816 4294967295 134512640 134569956 3221224400 3221214672 1131263013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 23816 13073 16 0 211126 0 vsize: 844568 [startup+200.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16024 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 19049 46 0 0 25 0 11 0 548547852 864837632 23826 4294967295 134512640 134569956 3221224400 3221214768 1131410161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 23826 13073 16 0 211126 0 vsize: 844568 [startup+210.106 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 20024 47 0 0 25 0 11 0 548547852 864837632 23834 4294967295 134512640 134569956 3221224400 3221214672 1131262956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 23834 13073 16 0 211126 0 vsize: 844568 [startup+220.108 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 20992 47 0 0 25 0 11 0 548547852 864837632 23954 4294967295 134512640 134569956 3221224400 3221214768 1131410078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 23954 13073 16 0 211126 0 vsize: 844568 [startup+230.109 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 21968 47 0 0 25 0 11 0 548547852 864837632 23962 4294967295 134512640 134569956 3221224400 3221214768 1131410078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 23962 13073 16 0 211126 0 vsize: 844568 [startup+240.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 22950 47 0 0 25 0 11 0 548547852 864837632 24123 4294967295 134512640 134569956 3221224400 3221214768 1131412976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24123 13073 16 0 211126 0 vsize: 844568 [startup+250.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 23942 47 0 0 25 0 11 0 548547852 864837632 24141 4294967295 134512640 134569956 3221224400 3221214672 1131263063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24141 13073 16 0 211126 0 vsize: 844568 [startup+260.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 24935 47 0 0 25 0 11 0 548547852 864837632 24154 4294967295 134512640 134569956 3221224400 3221214672 1131262989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24154 13073 16 0 211126 0 vsize: 844568 [startup+270.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 25928 47 0 0 25 0 11 0 548547852 864837632 24169 4294967295 134512640 134569956 3221224400 3221214768 1131413692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24169 13073 16 0 211126 0 vsize: 844568 [startup+280.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 26920 47 0 0 25 0 11 0 548547852 864837632 24179 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24179 13073 16 0 211126 0 vsize: 844568 [startup+290.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 27913 48 0 0 25 0 11 0 548547852 864837632 24191 4294967295 134512640 134569956 3221224400 3221214672 1131263412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24191 13073 16 0 211126 0 vsize: 844568 [startup+300.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 28906 48 0 0 25 0 11 0 548547852 864837632 24212 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24212 13073 16 0 211126 0 vsize: 844568 [startup+310.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 29900 48 0 0 25 0 11 0 548547852 864837632 24231 4294967295 134512640 134569956 3221224400 3221214768 1131409086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24231 13073 16 0 211126 0 vsize: 844568 [startup+320.108 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 30894 48 0 0 25 0 11 0 548547852 864837632 24242 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24242 13073 16 0 211126 0 vsize: 844568 [startup+330.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16025 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 31889 48 0 0 25 0 11 0 548547852 864837632 24256 4294967295 134512640 134569956 3221224400 3221214768 1131410078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24256 13073 16 0 211126 0 vsize: 844568 [startup+340.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 32879 48 0 0 25 0 11 0 548547852 864837632 24266 4294967295 134512640 134569956 3221224400 3221214672 1131262493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24266 13073 16 0 211126 0 vsize: 844568 [startup+350.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 33862 48 0 0 25 0 11 0 548547852 864837632 24280 4294967295 134512640 134569956 3221224400 3221214672 1131262758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24280 13073 16 0 211126 0 vsize: 844568 [startup+360.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 34846 48 0 0 25 0 11 0 548547852 864837632 24285 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24285 13073 16 0 211126 0 vsize: 844568 [startup+370.108 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 35836 48 0 0 25 0 11 0 548547852 864837632 24371 4294967295 134512640 134569956 3221224400 3221214792 1131393958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24371 13073 16 0 211126 0 vsize: 844568 [startup+380.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 36820 49 0 0 25 0 11 0 548547852 864837632 24373 4294967295 134512640 134569956 3221224400 3221214416 1131246627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24373 13073 16 0 211126 0 vsize: 844568 [startup+390.109 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 37779 49 0 0 25 0 11 0 548547852 864837632 24381 4294967295 134512640 134569956 3221224400 3221214768 1131409207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24381 13073 16 0 211126 0 vsize: 844568 [startup+400.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 38743 49 0 0 25 0 11 0 548547852 864837632 24382 4294967295 134512640 134569956 3221224400 3221214672 1131262522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24382 13073 16 0 211126 0 vsize: 844568 [startup+410.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 39706 49 0 0 25 0 11 0 548547852 864837632 24471 4294967295 134512640 134569956 3221224400 3221214768 1131410193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24471 13073 16 0 211126 0 vsize: 844568 [startup+420.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 40688 49 0 0 25 0 11 0 548547852 864837632 24671 4294967295 134512640 134569956 3221224400 3221214768 1131413469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24671 13073 16 0 211126 0 vsize: 844568 [startup+430.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 41680 49 0 0 25 0 11 0 548547852 864837632 24683 4294967295 134512640 134569956 3221224400 3221214672 1131262857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24683 13073 16 0 211126 0 vsize: 844568 [startup+440.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 42673 50 0 0 25 0 11 0 548547852 864837632 24715 4294967295 134512640 134569956 3221224400 3221214672 1131263678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24715 13073 16 0 211126 0 vsize: 844568 [startup+450.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 43667 50 0 0 25 0 11 0 548547852 864837632 24739 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24739 13073 16 0 211126 0 vsize: 844568 [startup+460.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 44661 50 0 0 25 0 11 0 548547852 864837632 24748 4294967295 134512640 134569956 3221224400 3221214768 1131407923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24748 13073 16 0 211126 0 vsize: 844568 [startup+470.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 45655 50 0 0 25 0 11 0 548547852 864837632 24750 4294967295 134512640 134569956 3221224400 3221214768 1131409907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24750 13073 16 0 211126 0 vsize: 844568 [startup+480.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 46648 50 0 0 25 0 11 0 548547852 864837632 24767 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24767 13073 16 0 211126 0 vsize: 844568 [startup+490.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 47642 50 0 0 25 0 11 0 548547852 864837632 24771 4294967295 134512640 134569956 3221224400 3221214672 1131262810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24771 13073 16 0 211126 0 vsize: 844568 [startup+500.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 48636 50 0 0 25 0 11 0 548547852 864837632 24782 4294967295 134512640 134569956 3221224400 3221214768 1131409096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24782 13073 16 0 211126 0 vsize: 844568 [startup+510.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 49630 50 0 0 25 0 11 0 548547852 864837632 24783 4294967295 134512640 134569956 3221224400 3221214768 1131409991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24783 13073 16 0 211126 0 vsize: 844568 [startup+520.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 50623 50 0 0 25 0 11 0 548547852 864837632 24791 4294967295 134512640 134569956 3221224400 3221214768 1131409364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24791 13073 16 0 211126 0 vsize: 844568 [startup+530.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 51616 50 0 0 25 0 11 0 548547852 864837632 24806 4294967295 134512640 134569956 3221224400 3221214672 1131263671 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24806 13073 16 0 211126 0 vsize: 844568 [startup+540.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16026 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 52610 50 0 0 25 0 11 0 548547852 864837632 24820 4294967295 134512640 134569956 3221224400 3221214672 1131262910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24820 13073 16 0 211126 0 vsize: 844568 [startup+550.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16027 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 53594 50 0 0 25 0 11 0 548547852 864837632 24831 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24831 13073 16 0 211126 0 vsize: 844568 [startup+560.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16027 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 54572 51 0 0 25 0 11 0 548547852 864837632 24839 4294967295 134512640 134569956 3221224400 3221214672 1131263005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24839 13073 16 0 211126 0 vsize: 844568 [startup+570.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 55551 51 0 0 25 0 11 0 548547852 864837632 24843 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 24843 13073 16 0 211126 0 vsize: 844568 [startup+580.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 56529 51 0 0 25 0 11 0 548547852 864837632 24954 4294967295 134512640 134569956 3221224400 3221214768 1131412970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24954 13073 16 0 211126 0 vsize: 844568 [startup+590.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 57509 51 0 0 25 0 11 0 548547852 864837632 24957 4294967295 134512640 134569956 3221224400 3221214672 1131262524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 24957 13073 16 0 211126 0 vsize: 844568 [startup+600.116 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 58494 51 0 0 25 0 11 0 548547852 864837632 25060 4294967295 134512640 134569956 3221224400 3221214424 1131580623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25060 13073 16 0 211126 0 vsize: 844568 [startup+610.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 59485 52 0 0 25 0 11 0 548547852 864837632 25065 4294967295 134512640 134569956 3221224400 3221214212 1076619294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25065 13073 16 0 211126 0 vsize: 844568 [startup+620.119 s] Raw data (loadavg): 1.07 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 60476 52 0 0 25 0 11 0 548547852 864837632 25074 4294967295 134512640 134569956 3221224400 3221214416 1131247104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25074 13073 16 0 211126 0 vsize: 844568 [startup+630.12 s] Raw data (loadavg): 1.06 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 61467 52 0 0 25 0 11 0 548547852 864837632 25081 4294967295 134512640 134569956 3221224400 3221214520 1131404192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25081 13073 16 0 211126 0 vsize: 844568 [startup+640.12 s] Raw data (loadavg): 1.05 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 62455 52 0 0 25 0 11 0 548547852 864837632 25085 4294967295 134512640 134569956 3221224400 3221214768 1131412794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25085 13073 16 0 211126 0 vsize: 844568 [startup+650.121 s] Raw data (loadavg): 1.04 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 63437 52 0 0 25 0 11 0 548547852 864837632 25085 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25085 13073 16 0 211126 0 vsize: 844568 [startup+660.122 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 64416 52 0 0 25 0 11 0 548547852 864837632 25085 4294967295 134512640 134569956 3221224400 3221214672 1131262755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25085 13073 16 0 211126 0 vsize: 844568 [startup+670.122 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 65403 53 0 0 25 0 11 0 548547852 864837632 25174 4294967295 134512640 134569956 3221224400 3221214672 1131262842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25174 13073 16 0 211126 0 vsize: 844568 [startup+680.122 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 66396 53 0 0 25 0 11 0 548547852 864837632 25174 4294967295 134512640 134569956 3221224400 3221214672 1131263033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25174 13073 16 0 211126 0 vsize: 844568 [startup+690.121 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 67389 53 0 0 25 0 11 0 548547852 864837632 25192 4294967295 134512640 134569956 3221224400 3221214768 1131409237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25192 13073 16 0 211126 0 vsize: 844568 [startup+700.122 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 68381 53 0 0 25 0 11 0 548547852 864837632 25198 4294967295 134512640 134569956 3221224400 3221214672 1131262429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25198 13073 16 0 211126 0 vsize: 844568 [startup+710.122 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 69374 53 0 0 25 0 11 0 548547852 864837632 25232 4294967295 134512640 134569956 3221224400 3221214672 1131262469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25232 13073 16 0 211126 0 vsize: 844568 [startup+720.122 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 70368 54 0 0 25 0 11 0 548547852 864837632 25245 4294967295 134512640 134569956 3221224400 3221214672 1131262810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25245 13073 16 0 211126 0 vsize: 844568 [startup+730.122 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 71360 54 0 0 25 0 11 0 548547852 864837632 25271 4294967295 134512640 134569956 3221224400 3221214672 1131262801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25271 13073 16 0 211126 0 vsize: 844568 [startup+740.122 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 72355 54 0 0 25 0 11 0 548547852 864837632 25277 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25277 13073 16 0 211126 0 vsize: 844568 [startup+750.122 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 73349 54 0 0 25 0 11 0 548547852 864837632 25299 4294967295 134512640 134569956 3221224400 3221214672 1131262738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25299 13073 16 0 211126 0 vsize: 844568 [startup+760.123 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 74343 54 0 0 25 0 11 0 548547852 864837632 25308 4294967295 134512640 134569956 3221224400 3221214672 1131263033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25308 13073 16 0 211126 0 vsize: 844568 [startup+770.122 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 75336 55 0 0 25 0 11 0 548547852 864837632 25308 4294967295 134512640 134569956 3221224400 3221214672 1131262433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25308 13073 16 0 211126 0 vsize: 844568 [startup+780.122 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 76328 55 0 0 25 0 11 0 548547852 864837632 25325 4294967295 134512640 134569956 3221224400 3221214232 1079668418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25325 13073 16 0 211126 0 vsize: 844568 [startup+790.122 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 77323 56 0 0 25 0 11 0 548547852 864837632 25333 4294967295 134512640 134569956 3221224400 3221214672 1131263170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25333 13073 16 0 211126 0 vsize: 844568 [startup+800.122 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 78317 56 0 0 25 0 11 0 548547852 864837632 25347 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25347 13073 16 0 211126 0 vsize: 844568 [startup+810.123 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 79311 56 0 0 25 0 11 0 548547852 864837632 25356 4294967295 134512640 134569956 3221224400 3221214672 1131262571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25356 13073 16 0 211126 0 vsize: 844568 [startup+820.123 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 80306 57 0 0 25 0 11 0 548547852 864837632 25359 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25359 13073 16 0 211126 0 vsize: 844568 [startup+830.123 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 81301 57 0 0 25 0 11 0 548547852 864837632 25372 4294967295 134512640 134569956 3221224400 3221214768 1131412751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211142 25372 13073 16 0 211126 0 vsize: 844568 [startup+840.123 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 82296 57 0 0 25 0 11 0 548547852 864837632 25375 4294967295 134512640 134569956 3221224400 3221214768 1131408121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25375 13073 16 0 211126 0 vsize: 844568 [startup+850.124 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 83292 57 0 0 25 0 11 0 548547852 864837632 25381 4294967295 134512640 134569956 3221224400 3221214768 1131408247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25381 13073 16 0 211126 0 vsize: 844568 [startup+860.124 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 84288 57 0 0 25 0 11 0 548547852 864837632 25389 4294967295 134512640 134569956 3221224400 3221214672 1131262916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25389 13073 16 0 211126 0 vsize: 844568 [startup+870.124 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 85281 57 0 0 25 0 11 0 548547852 864837632 25390 4294967295 134512640 134569956 3221224400 3221214768 1131408232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25390 13073 16 0 211126 0 vsize: 844568 [startup+880.125 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 86274 57 0 0 25 0 11 0 548547852 864837632 25404 4294967295 134512640 134569956 3221224400 3221214672 1131263033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25404 13073 16 0 211126 0 vsize: 844568 [startup+890.125 s] Raw data (loadavg): 1.16 1.02 0.93 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 87268 57 0 0 25 0 11 0 548547852 864837632 25439 4294967295 134512640 134569956 3221224400 3221214768 1131412851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25439 13073 16 0 211126 0 vsize: 844568 [startup+900.125 s] Raw data (loadavg): 1.21 1.04 0.93 2/64 16028 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 88264 57 0 0 25 0 11 0 548547852 864837632 25448 4294967295 134512640 134569956 3221224400 3221214768 1131412824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25448 13073 16 0 211126 0 vsize: 844568 [startup+910.131 s] Raw data (loadavg): 1.18 1.03 0.93 2/64 16029 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 89252 57 0 0 25 0 11 0 548547852 864837632 25463 4294967295 134512640 134569956 3221224400 3221214672 1131263387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25463 13073 16 0 211126 0 vsize: 844568 [startup+920.131 s] Raw data (loadavg): 1.15 1.03 0.93 2/64 16029 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 90234 57 0 0 25 0 11 0 548547852 864837632 25464 4294967295 134512640 134569956 3221224400 3221214672 1131263408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25464 13073 16 0 211126 0 vsize: 844568 [startup+930.131 s] Raw data (loadavg): 1.12 1.03 0.93 2/64 16029 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 91214 57 0 0 24 0 11 0 548547852 864837632 25469 4294967295 134512640 134569956 3221224400 3221214768 1131408168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25469 13073 16 0 211126 0 vsize: 844568 [startup+940.131 s] Raw data (loadavg): 1.11 1.03 0.93 2/64 16029 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 92208 57 0 0 25 0 11 0 548547852 864837632 25560 4294967295 134512640 134569956 3221224400 3221214672 1131262789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25560 13073 16 0 211126 0 vsize: 844568 [startup+950.133 s] Raw data (loadavg): 1.09 1.03 0.93 2/64 16029 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 93205 57 0 0 25 0 11 0 548547852 864837632 25563 4294967295 134512640 134569956 3221224400 3221214672 1131262861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25563 13073 16 0 211126 0 vsize: 844568 [startup+960.133 s] Raw data (loadavg): 1.07 1.03 0.93 2/64 16030 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 94187 57 0 0 25 0 11 0 548547852 864837632 25566 4294967295 134512640 134569956 3221224400 3221214672 1131263412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25566 13073 16 0 211126 0 vsize: 844568 [startup+970.133 s] Raw data (loadavg): 1.06 1.03 0.93 2/64 16030 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 95167 57 0 0 25 0 11 0 548547852 864837632 25567 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25567 13073 16 0 211126 0 vsize: 844568 [startup+980.134 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 16030 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 96149 58 0 0 25 0 11 0 548547852 864837632 25665 4294967295 134512640 134569956 3221224400 3221214672 1131262627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25665 13073 16 0 211126 0 vsize: 844568 [startup+990.133 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 16030 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 97145 58 0 0 25 0 11 0 548547852 864837632 25673 4294967295 134512640 134569956 3221224400 3221214672 1131263772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25673 13073 16 0 211126 0 vsize: 844568 [startup+1000.13 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 16030 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 98142 58 0 0 25 0 11 0 548547852 864837632 25700 4294967295 134512640 134569956 3221224400 3221214672 1131262511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25700 13073 16 0 211126 0 vsize: 844568 [startup+1010.13 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 16031 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 99125 58 0 0 25 0 11 0 548547852 864837632 25700 4294967295 134512640 134569956 3221224400 3221214768 1131410161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25700 13073 16 0 211126 0 vsize: 844568 [startup+1020.14 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 16031 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 100106 58 0 0 25 0 11 0 548547852 864837632 25702 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25702 13073 16 0 211126 0 vsize: 844568 [startup+1030.14 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 16031 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 101091 58 0 0 25 0 11 0 548547852 864837632 25790 4294967295 134512640 134569956 3221224400 3221214672 1131263089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25790 13073 16 0 211126 0 vsize: 844568 [startup+1040.14 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 16031 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 102088 58 0 0 25 0 11 0 548547852 864837632 25791 4294967295 134512640 134569956 3221224400 3221214768 1131409991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25791 13073 16 0 211126 0 vsize: 844568 [startup+1050.14 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 16031 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 103085 58 0 0 25 0 11 0 548547852 864837632 25807 4294967295 134512640 134569956 3221224400 3221214672 1131263397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25807 13073 16 0 211126 0 vsize: 844568 [startup+1060.14 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 104068 58 0 0 24 0 11 0 548547852 864837632 25811 4294967295 134512640 134569956 3221224400 3221214768 1131410157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25811 13073 16 0 211126 0 vsize: 844568 [startup+1070.14 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 105050 58 0 0 25 0 11 0 548547852 864837632 25824 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25824 13073 16 0 211126 0 vsize: 844568 [startup+1080.14 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 106032 58 0 0 25 0 11 0 548547852 864837632 25927 4294967295 134512640 134569956 3221224400 3221214768 1131409122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25927 13073 16 0 211126 0 vsize: 844568 [startup+1090.14 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 107029 58 0 0 25 0 11 0 548547852 864837632 25944 4294967295 134512640 134569956 3221224400 3221214768 1131408298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25944 13073 16 0 211126 0 vsize: 844568 [startup+1100.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 108026 59 0 0 25 0 11 0 548547852 864837632 25945 4294967295 134512640 134569956 3221224400 3221214672 1131263691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25945 13073 16 0 211126 0 vsize: 844568 [startup+1110.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 109024 59 0 0 25 0 11 0 548547852 864837632 25945 4294967295 134512640 134569956 3221224400 3221214628 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25945 13073 16 0 211126 0 vsize: 844568 [startup+1120.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 110012 59 0 0 25 0 11 0 548547852 864837632 25946 4294967295 134512640 134569956 3221224400 3221214672 1131262853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25946 13073 16 0 211126 0 vsize: 844568 [startup+1130.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 110998 59 0 0 25 0 11 0 548547852 864837632 25947 4294967295 134512640 134569956 3221224400 3221214672 1131263751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25947 13073 16 0 211126 0 vsize: 844568 [startup+1140.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 111982 59 0 0 24 0 11 0 548547852 864837632 25987 4294967295 134512640 134569956 3221224400 3221214672 1131262444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 25987 13073 16 0 211126 0 vsize: 844568 [startup+1150.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 112978 59 0 0 25 0 11 0 548547852 864837632 26005 4294967295 134512640 134569956 3221224400 3221214672 1131262508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26005 13073 16 0 211126 0 vsize: 844568 [startup+1160.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 113973 59 0 0 25 0 11 0 548547852 864837632 26021 4294967295 134512640 134569956 3221224400 3221214768 1131408121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26021 13073 16 0 211126 0 vsize: 844568 [startup+1170.14 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 114967 59 0 0 25 0 11 0 548547852 864837632 26024 4294967295 134512640 134569956 3221224400 3221214672 1131262808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26024 13073 16 0 211126 0 vsize: 844568 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 115961 59 0 0 25 0 11 0 548547852 864837632 26035 4294967295 134512640 134569956 3221224400 3221214672 1131263124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26035 13073 16 0 211126 0 vsize: 844568 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 116958 59 0 0 25 0 11 0 548547852 864837632 26045 4294967295 134512640 134569956 3221224400 3221214768 1131409207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26045 13073 16 0 211126 0 vsize: 844568 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 117955 59 0 0 25 0 11 0 548547852 864837632 26054 4294967295 134512640 134569956 3221224400 3221214768 1131408128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26054 13073 16 0 211126 0 vsize: 844568 [startup+1210.14 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 118950 59 0 0 25 0 11 0 548547852 864837632 26055 4294967295 134512640 134569956 3221224400 3221214768 1131408193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26055 13073 16 0 211126 0 vsize: 844568 [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 16032 Raw data (stat): 16010 (java) R 16009 28099 28098 0 -1 0 18083 5 1 0 119944 60 0 0 25 0 11 0 548547852 864837632 26061 4294967295 134512640 134569956 3221224400 3221214768 1131409170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211142 26061 13073 16 0 211126 0 vsize: 844568 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.2 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 16034 Raw data (stat): 16010 (java) Z 16009 28099 28098 0 -1 1036 18083 5007 1 1 119944 60 1569 27 25 0 1 0 548547852 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.2 CPU time (s): 1216.02 CPU user time (s): 1215.14 CPU system time (s): 0.878866 CPU usage (%): 99.6579 Max. virtual memory (Kb): 845592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####