Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb |
MD5SUM | 99657262afbbfce7034a3ec6b29d9b3b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02884 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-21 13:44:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18495 boxname=wulflinc26 idbench=1423 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 99657262afbbfce7034a3ec6b29d9b3b /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb IDLAUNCH: 18495 /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: 534008 kB Buffers: 30080 kB Cached: 440344 kB SwapCached: 68 kB Active: 56532 kB Inactive: 416764 kB HighTotal: 131008 kB HighFree: 364 kB LowTotal: 903652 kB LowFree: 533644 kB SwapTotal: 2097892 kB SwapFree: 2097800 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6876 kB Slab: 21652 kB Committed_AS: 63720 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 14:05:17 (client local time) WITH STATUS 143 IN 1235.59 SECONDS stats: 18495 7 1235.59 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb c reading problem c [nbvar=89] c [nbconstr=117] c time 0.626 c #vars 89 c #clauses 28 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=3840 c Current CPU time (ms) : 2.694 c starts : 1 c conflicts : 12 c decisions : 79 c propagations : 178 c inspects : 269 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 12 c root simplifications : 1 c c CURRENT OPTIMUM=3754 c Current CPU time (ms) : 4.434 c starts : 2 c conflicts : 23 c decisions : 134 c propagations : 344 c inspects : 528 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 23 c root simplifications : 2 c c CURRENT OPTIMUM=2352 c Current CPU time (ms) : 4.545 c starts : 3 c conflicts : 24 c decisions : 172 c propagations : 439 c inspects : 782 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 24 c root simplifications : 3 c c CURRENT OPTIMUM=2311 c Current CPU time (ms) : 10.863 c starts : 5 c conflicts : 130 c decisions : 528 c propagations : 1847 c inspects : 8630 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 130 c root simplifications : 5 c c CURRENT OPTIMUM=2237 c Current CPU time (ms) : 11.072 c starts : 6 c conflicts : 136 c decisions : 561 c propagations : 1994 c inspects : 10166 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 136 c root simplifications : 6 c c CURRENT OPTIMUM=2140 c Current CPU time (ms) : 11.528 c starts : 7 c conflicts : 145 c decisions : 612 c propagations : 2203 c inspects : 11766 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 145 c root simplifications : 7 c c CURRENT OPTIMUM=2065 c Current CPU time (ms) : 15.144 c starts : 8 c conflicts : 244 c decisions : 916 c propagations : 3661 c inspects : 24245 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 244 c root simplifications : 8 c c CURRENT OPTIMUM=2012 c Current CPU time (ms) : 16.477 c starts : 9 c conflicts : 273 c decisions : 1046 c propagations : 4140 c inspects : 31575 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 273 c root simplifications : 9 c c CURRENT OPTIMUM=1958 c Current CPU time (ms) : 19.44 c starts : 10 c conflicts : 326 c decisions : 1247 c propagations : 5020 c inspects : 42536 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 326 c root simplifications : 10 c c CURRENT OPTIMUM=1830 c Current CPU time (ms) : 22.367 c starts : 11 c conflicts : 382 c decisions : 1444 c propagations : 5844 c inspects : 56255 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 382 c root simplifications : 11 c c CURRENT OPTIMUM=1826 c Current CPU time (ms) : 28.271 c starts : 12 c conflicts : 477 c decisions : 1850 c propagations : 7329 c inspects : 78212 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 477 c root simplifications : 12 c c CURRENT OPTIMUM=1782 c Current CPU time (ms) : 34.664 c starts : 13 c conflicts : 565 c decisions : 2261 c propagations : 8700 c inspects : 107439 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 565 c root simplifications : 13 c c CURRENT OPTIMUM=1701 c Current CPU time (ms) : 38.531 c starts : 14 c conflicts : 603 c decisions : 2519 c propagations : 9452 c inspects : 125110 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 603 c root simplifications : 14 c c CURRENT OPTIMUM=1602 c Current CPU time (ms) : 102.843 c starts : 18 c conflicts : 1189 c decisions : 4087 c propagations : 18199 c inspects : 413225 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1189 c root simplifications : 18 c c CURRENT OPTIMUM=1598 c Current CPU time (ms) : 162.511 c starts : 21 c conflicts : 1628 c decisions : 5515 c propagations : 23901 c inspects : 689954 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1628 c root simplifications : 21 c c CURRENT OPTIMUM=1450 c Current CPU time (ms) : 192.492 c starts : 23 c conflicts : 1737 c decisions : 5984 c propagations : 25742 c inspects : 804723 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1737 c root simplifications : 23 c c CURRENT OPTIMUM=1439 c Current CPU time (ms) : 218.09 c starts : 25 c conflicts : 1865 c decisions : 6660 c propagations : 28030 c inspects : 927512 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1865 c root simplifications : 25 c c CURRENT OPTIMUM=1399 c Current CPU time (ms) : 233.066 c starts : 26 c conflicts : 1957 c decisions : 6940 c propagations : 29543 c inspects : 999469 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1957 c root simplifications : 26 c c CURRENT OPTIMUM=1260 c Current CPU time (ms) : 262.463 c starts : 28 c conflicts : 2102 c decisions : 7566 c propagations : 31495 c inspects : 1129519 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2102 c root simplifications : 28 c c CURRENT OPTIMUM=1193 c Current CPU time (ms) : 530.731 c starts : 33 c conflicts : 3184 c decisions : 10472 c propagations : 45826 c inspects : 2343240 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3184 c root simplifications : 33 #### 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.84 0.94 0.90 2/54 31942 Raw data (stat): 31942 (runsolver) R 31941 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545542945 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 1.02 0.97 0.91 2/64 31955 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 541 40 0 0 25 0 11 0 545542945 865525760 21340 4294967295 134512640 134569956 3221224400 3221214640 1131163274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211310 21340 13073 16 0 211294 0 vsize: 845240 [startup+20.0018 s] Raw data (loadavg): 1.02 0.97 0.91 2/64 31960 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 1504 41 0 0 25 0 11 0 545542945 862806016 21436 4294967295 134512640 134569956 3221224400 3221214792 1131169097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 21436 13073 16 0 210630 0 vsize: 842584 [startup+30.002 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 31963 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 2469 41 0 0 25 0 11 0 545542945 862806016 21828 4294967295 134512640 134569956 3221224400 3221214800 1131237847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 21828 13073 16 0 210630 0 vsize: 842584 [startup+40.002 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 3425 41 0 0 25 0 11 0 545542945 862806016 22122 4294967295 134512640 134569956 3221224400 3221214352 1131369687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 22122 13073 16 0 210630 0 vsize: 842584 [startup+50.0018 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 4365 42 0 0 25 0 11 0 545542945 862806016 22416 4294967295 134512640 134569956 3221224400 3221214400 1131364897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 22416 13073 16 0 210630 0 vsize: 842584 [startup+60.002 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 5304 42 0 0 25 0 11 0 545542945 862806016 22682 4294967295 134512640 134569956 3221224400 3221214640 1131163809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 22682 13073 16 0 210630 0 vsize: 842584 [startup+70.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 6251 42 0 0 25 0 11 0 545542945 862806016 22928 4294967295 134512640 134569956 3221224400 3221214792 1131169104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 22928 13073 16 0 210630 0 vsize: 842584 [startup+80.0029 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 7210 43 0 0 25 0 11 0 545542945 862806016 23097 4294967295 134512640 134569956 3221224400 3221214856 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23097 13073 16 0 210630 0 vsize: 842584 [startup+90.0032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 8171 43 0 0 25 0 11 0 545542945 862806016 23236 4294967295 134512640 134569956 3221224400 3221214528 1131207771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23236 13073 16 0 210630 0 vsize: 842584 [startup+100.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31965 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 9128 43 0 0 25 0 11 0 545542945 862806016 23390 4294967295 134512640 134569956 3221224400 3221214792 1131194231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23390 13073 16 0 210630 0 vsize: 842584 [startup+110.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 10092 43 0 0 25 0 11 0 545542945 862806016 23510 4294967295 134512640 134569956 3221224400 3221214768 1131168998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23510 13073 16 0 210630 0 vsize: 842584 [startup+120.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 11054 44 0 0 25 0 11 0 545542945 862806016 23633 4294967295 134512640 134569956 3221224400 3221214768 1131168883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23633 13073 16 0 210630 0 vsize: 842584 [startup+130.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 12024 44 0 0 25 0 11 0 545542945 862806016 23715 4294967295 134512640 134569956 3221224400 3221214768 1131168902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 23715 13073 16 0 210630 0 vsize: 842584 [startup+140.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 12987 44 0 0 25 0 11 0 545542945 862806016 23828 4294967295 134512640 134569956 3221224400 3221214768 1131169160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23828 13073 16 0 210630 0 vsize: 842584 [startup+150.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 13951 44 0 0 25 0 11 0 545542945 862806016 23938 4294967295 134512640 134569956 3221224400 3221214768 1131169379 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 23938 13073 16 0 210630 0 vsize: 842584 [startup+160.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31966 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 14920 44 0 0 25 0 11 0 545542945 862806016 24013 4294967295 134512640 134569956 3221224400 3221214592 1131545053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24013 13073 16 0 210630 0 vsize: 842584 [startup+170.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31967 Raw data (stat): 31942 (java) S 31941 22612 22611 0 -1 0 18068 3 1 0 15884 45 0 0 25 0 11 0 545542945 862806016 24128 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24128 13073 16 0 210630 0 vsize: 842584 [startup+180.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31967 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 16859 45 0 0 25 0 11 0 545542945 862806016 24213 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 24213 13073 16 0 210630 0 vsize: 842584 [startup+190.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31967 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 17831 45 0 0 25 0 11 0 545542945 862806016 24304 4294967295 134512640 134569956 3221224400 3221214592 1131333893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24304 13073 16 0 210630 0 vsize: 842584 [startup+200.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31968 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 18803 46 0 0 25 0 11 0 545542945 862806016 24396 4294967295 134512640 134569956 3221224400 3221214552 1131198975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24396 13073 16 0 210630 0 vsize: 842584 [startup+210.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31968 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 19781 46 0 0 25 0 11 0 545542945 862806016 24465 4294967295 134512640 134569956 3221224400 3221214192 1131369692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 24465 13073 16 0 210630 0 vsize: 842584 [startup+220.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31969 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 20754 47 0 0 25 0 11 0 545542945 862806016 24552 4294967295 134512640 134569956 3221224400 3221214712 1131268279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24552 13073 16 0 210630 0 vsize: 842584 [startup+230.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31969 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 21726 47 0 0 25 0 11 0 545542945 862806016 24641 4294967295 134512640 134569956 3221224400 3221214632 1131177168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24641 13073 16 0 210630 0 vsize: 842584 [startup+240.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31970 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 22698 47 0 0 25 0 11 0 545542945 862806016 24729 4294967295 134512640 134569956 3221224400 3221214592 1131544132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24729 13073 16 0 210630 0 vsize: 842584 [startup+250.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31970 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 23676 48 0 0 25 0 11 0 545542945 862806016 24785 4294967295 134512640 134569956 3221224400 3221214456 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24785 13073 16 0 210630 0 vsize: 842584 [startup+260.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31970 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 24647 48 0 0 25 0 11 0 545542945 862806016 24865 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 24865 13073 16 0 210630 0 vsize: 842584 [startup+270.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 25618 49 0 0 25 0 11 0 545542945 862806016 24951 4294967295 134512640 134569956 3221224400 3221214576 1131333306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 24951 13073 16 0 210630 0 vsize: 842584 [startup+280.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 26585 49 0 0 25 0 11 0 545542945 862806016 25040 4294967295 134512640 134569956 3221224400 3221214096 1131369681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25040 13073 16 0 210630 0 vsize: 842584 [startup+290.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 27552 49 0 0 25 0 11 0 545542945 862806016 25136 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25136 13073 16 0 210630 0 vsize: 842584 [startup+300.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 28519 49 0 0 25 0 11 0 545542945 862806016 25230 4294967295 134512640 134569956 3221224400 3221214552 1085679756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25230 13073 16 0 210630 0 vsize: 842584 [startup+310.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 29492 49 0 0 25 0 11 0 545542945 862806016 25306 4294967295 134512640 134569956 3221224400 3221214832 1131144380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25306 13073 16 0 210630 0 vsize: 842584 [startup+320.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 30460 50 0 0 25 0 11 0 545542945 862806016 25385 4294967295 134512640 134569956 3221224400 3221214496 1131490586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25385 13073 16 0 210630 0 vsize: 842584 [startup+330.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 31434 50 0 0 25 0 11 0 545542945 862806016 25459 4294967295 134512640 134569956 3221224400 3221214688 1131168521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 25459 13073 16 0 210630 0 vsize: 842584 [startup+340.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 32404 50 0 0 25 0 11 0 545542945 862806016 25553 4294967295 134512640 134569956 3221224400 3221214240 1131365210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25553 13073 16 0 210630 0 vsize: 842584 [startup+350.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 33374 50 0 0 25 0 11 0 545542945 862806016 25648 4294967295 134512640 134569956 3221224400 3221214552 1085679473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25648 13073 16 0 210630 0 vsize: 842584 [startup+360.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 34345 51 0 0 25 0 11 0 545542945 862806016 25732 4294967295 134512640 134569956 3221224400 3221214156 1131369680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25732 13073 16 0 210630 0 vsize: 842584 [startup+370.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 35321 51 0 0 25 0 11 0 545542945 862806016 25796 4294967295 134512640 134569956 3221224400 3221214664 1131207620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25796 13073 16 0 210630 0 vsize: 842584 [startup+380.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 36301 51 0 0 25 0 11 0 545542945 862806016 25839 4294967295 134512640 134569956 3221224400 3221214744 1131291554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25839 13073 16 0 210630 0 vsize: 842584 [startup+390.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 37282 51 0 0 25 0 11 0 545542945 862806016 25904 4294967295 134512640 134569956 3221224400 3221214104 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 25904 13073 16 0 210630 0 vsize: 842584 [startup+400.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 38254 51 0 0 25 0 11 0 545542945 862806016 25956 4294967295 134512640 134569956 3221224400 3221214632 1131163721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 25956 13073 16 0 210630 0 vsize: 842584 [startup+410.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 39229 51 0 0 25 0 11 0 545542945 862806016 26015 4294967295 134512640 134569956 3221224400 3221214768 1131168977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26015 13073 16 0 210630 0 vsize: 842584 [startup+420.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 40197 51 0 0 22 0 11 0 545542945 862806016 26131 4294967295 134512640 134569956 3221224400 3221214832 1131144213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26131 13073 16 0 210630 0 vsize: 842584 [startup+430.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 41170 52 0 0 25 0 11 0 545542945 862806016 26220 4294967295 134512640 134569956 3221224400 3221214632 1131163286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26220 13073 16 0 210630 0 vsize: 842584 [startup+440.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 42143 52 0 0 25 0 11 0 545542945 862806016 26298 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26298 13073 16 0 210630 0 vsize: 842584 [startup+450.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 43117 52 0 0 25 0 11 0 545542945 862806016 26353 4294967295 134512640 134569956 3221224400 3221214688 1131545604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26353 13073 16 0 210630 0 vsize: 842584 [startup+460.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 44095 53 0 0 25 0 11 0 545542945 862806016 26403 4294967295 134512640 134569956 3221224400 3221214936 1131384711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26403 13073 16 0 210630 0 vsize: 842584 [startup+470.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 45068 53 0 0 25 0 11 0 545542945 862806016 26464 4294967295 134512640 134569956 3221224400 3221214608 1131211677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26464 13073 16 0 210630 0 vsize: 842584 [startup+480.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 46042 53 0 0 24 0 11 0 545542945 862806016 26544 4294967295 134512640 134569956 3221224400 3221214520 1131331109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26544 13073 16 0 210630 0 vsize: 842584 [startup+490.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 47016 54 0 0 25 0 11 0 545542945 862806016 26614 4294967295 134512640 134569956 3221224400 3221214352 1131369628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26614 13073 16 0 210630 0 vsize: 842584 [startup+500.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 47990 54 0 0 25 0 11 0 545542945 862806016 26684 4294967295 134512640 134569956 3221224400 3221214872 1131184482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26684 13073 16 0 210630 0 vsize: 842584 [startup+510.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 48964 54 0 0 25 0 11 0 545542945 862806016 26760 4294967295 134512640 134569956 3221224400 3221214160 1131369620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26760 13073 16 0 210630 0 vsize: 842584 [startup+520.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 49942 54 0 0 25 0 11 0 545542945 862806016 26830 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26830 13073 16 0 210630 0 vsize: 842584 [startup+530.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31971 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 50918 54 0 0 25 0 11 0 545542945 862806016 26903 4294967295 134512640 134569956 3221224400 3221214768 1131169804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26903 13073 16 0 210630 0 vsize: 842584 [startup+540.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 51896 55 0 0 25 0 11 0 545542945 862806016 26962 4294967295 134512640 134569956 3221224400 3221214632 1131163267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 26962 13073 16 0 210630 0 vsize: 842584 [startup+550.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 52874 55 0 0 25 0 11 0 545542945 862806016 27016 4294967295 134512640 134569956 3221224400 3221214588 1131379084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27016 13073 16 0 210630 0 vsize: 842584 [startup+560.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 53852 55 0 0 25 0 11 0 545542945 862806016 27072 4294967295 134512640 134569956 3221224400 3221214768 1131168560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27072 13073 16 0 210630 0 vsize: 842584 [startup+570.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 54825 55 0 0 25 0 11 0 545542945 862806016 27155 4294967295 134512640 134569956 3221224400 3221214160 1131369730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27155 13073 16 0 210630 0 vsize: 842584 [startup+580.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 55803 55 0 0 25 0 11 0 545542945 862806016 27226 4294967295 134512640 134569956 3221224400 3221214448 1131369656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27226 13073 16 0 210630 0 vsize: 842584 [startup+590.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 56775 56 0 0 25 0 11 0 545542945 862806016 27313 4294967295 134512640 134569956 3221224400 3221214400 1078128033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27313 13073 16 0 210630 0 vsize: 842584 [startup+600.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 57758 56 0 0 25 0 11 0 545542945 862806016 27369 4294967295 134512640 134569956 3221224400 3221214832 1131144209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27369 13073 16 0 210630 0 vsize: 842584 [startup+610.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 58736 56 0 0 25 0 11 0 545542945 862806016 27430 4294967295 134512640 134569956 3221224400 3221214688 1131543116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27430 13073 16 0 210630 0 vsize: 842584 [startup+620.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 59713 56 0 0 25 0 11 0 545542945 862806016 27496 4294967295 134512640 134569956 3221224400 3221214528 1131207513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27496 13073 16 0 210630 0 vsize: 842584 [startup+630.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 60686 57 0 0 25 0 11 0 545542945 862806016 27570 4294967295 134512640 134569956 3221224400 3221214376 1076461271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27570 13073 16 0 210630 0 vsize: 842584 [startup+640.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 61659 57 0 0 24 0 11 0 545542945 862806016 27630 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27630 13073 16 0 210630 0 vsize: 842584 [startup+650.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) S 31941 22612 22611 0 -1 0 18068 3 1 0 62632 57 0 0 25 0 11 0 545542945 862806016 27695 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27695 13073 16 0 210630 0 vsize: 842584 [startup+660.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 63608 58 0 0 25 0 11 0 545542945 862806016 27752 4294967295 134512640 134569956 3221224400 3221214576 1131332932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27752 13073 16 0 210630 0 vsize: 842584 [startup+670.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 64582 58 0 0 25 0 11 0 545542945 862806016 27846 4294967295 134512640 134569956 3221224400 3221214512 1131333060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27846 13073 16 0 210630 0 vsize: 842584 [startup+680.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 65557 59 0 0 24 0 11 0 545542945 862806016 27913 4294967295 134512640 134569956 3221224400 3221214768 1131169730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27913 13073 16 0 210630 0 vsize: 842584 [startup+690.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 66536 59 0 0 25 0 11 0 545542945 862806016 27972 4294967295 134512640 134569956 3221224400 3221214768 1131169720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 27972 13073 16 0 210630 0 vsize: 842584 [startup+700.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 67511 59 0 0 25 0 11 0 545542945 862806016 28041 4294967295 134512640 134569956 3221224400 3221214872 1131184397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28041 13073 16 0 210630 0 vsize: 842584 [startup+710.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 68489 60 0 0 25 0 11 0 545542945 862806016 28097 4294967295 134512640 134569956 3221224400 3221214528 1131207936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28097 13073 16 0 210630 0 vsize: 842584 [startup+720.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 69464 60 0 0 25 0 11 0 545542945 862806016 28167 4294967295 134512640 134569956 3221224400 3221214768 1131169404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28167 13073 16 0 210630 0 vsize: 842584 [startup+730.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 70439 60 0 0 25 0 11 0 545542945 862806016 28236 4294967295 134512640 134569956 3221224400 3221214768 1131169035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28236 13073 16 0 210630 0 vsize: 842584 [startup+740.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 71415 61 0 0 25 0 11 0 545542945 862806016 28315 4294967295 134512640 134569956 3221224400 3221214688 1131544134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28315 13073 16 0 210630 0 vsize: 842584 [startup+750.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 72392 61 0 0 25 0 11 0 545542945 862806016 28372 4294967295 134512640 134569956 3221224400 3221214576 1131377980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28372 13073 16 0 210630 0 vsize: 842584 [startup+760.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 73368 61 0 0 24 0 11 0 545542945 862806016 28445 4294967295 134512640 134569956 3221224400 3221214368 1080217328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28445 13073 16 0 210630 0 vsize: 842584 [startup+770.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 74350 61 0 0 25 0 11 0 545542945 862806016 28498 4294967295 134512640 134569956 3221224400 3221214528 1131392902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28498 13073 16 0 210630 0 vsize: 842584 [startup+780.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 75332 62 0 0 25 0 11 0 545542945 862806016 28545 4294967295 134512640 134569956 3221224400 3221214400 1131541833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28545 13073 16 0 210630 0 vsize: 842584 [startup+790.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 76313 62 0 0 25 0 11 0 545542945 862806016 28601 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28601 13073 16 0 210630 0 vsize: 842584 [startup+800.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 77299 62 0 0 25 0 11 0 545542945 862806016 28635 4294967295 134512640 134569956 3221224400 3221214288 1131369738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28635 13073 16 0 210630 0 vsize: 842584 [startup+810.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 78279 62 0 0 25 0 11 0 545542945 862806016 28700 4294967295 134512640 134569956 3221224400 3221214576 1131331980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28700 13073 16 0 210630 0 vsize: 842584 [startup+820.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 79256 62 0 0 25 0 11 0 545542945 862806016 28750 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28750 13073 16 0 210630 0 vsize: 842584 [startup+830.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 80233 63 0 0 25 0 11 0 545542945 862806016 28799 4294967295 134512640 134569956 3221224400 3221214932 1131379952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28799 13073 16 0 210630 0 vsize: 842584 [startup+840.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 81205 63 0 0 24 0 11 0 545542945 862806016 28888 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28888 13073 16 0 210630 0 vsize: 842584 [startup+850.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 82181 63 0 0 25 0 11 0 545542945 862806016 28956 4294967295 134512640 134569956 3221224400 3221214768 1131168862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 28956 13073 16 0 210630 0 vsize: 842584 [startup+860.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 83162 64 0 0 25 0 11 0 545542945 862806016 29043 4294967295 134512640 134569956 3221224400 3221214592 1131546780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29043 13073 16 0 210630 0 vsize: 842584 [startup+870.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 84144 64 0 0 25 0 11 0 545542945 862806016 29089 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29089 13073 16 0 210630 0 vsize: 842584 [startup+880.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 85126 64 0 0 25 0 11 0 545542945 862806016 29139 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29139 13073 16 0 210630 0 vsize: 842584 [startup+890.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 86103 65 0 0 25 0 11 0 545542945 862806016 29212 4294967295 134512640 134569956 3221224400 3221214540 1131369675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29212 13073 16 0 210630 0 vsize: 842584 [startup+900.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 87082 65 0 0 25 0 11 0 545542945 862806016 29267 4294967295 134512640 134569956 3221224400 3221214592 1131329410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29267 13073 16 0 210630 0 vsize: 842584 [startup+910.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 88057 66 0 0 25 0 11 0 545542945 862806016 29328 4294967295 134512640 134569956 3221224400 3221214352 1131369604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29328 13073 16 0 210630 0 vsize: 842584 [startup+920.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 31972 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 89041 66 0 0 25 0 11 0 545542945 862806016 29372 4294967295 134512640 134569956 3221224400 3221214848 1131364324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29372 13073 16 0 210630 0 vsize: 842584 [startup+930.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 31973 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 90015 66 0 0 25 0 11 0 545542945 862806016 29429 4294967295 134512640 134569956 3221224400 3221214736 1131226881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210646 29429 13073 16 0 210630 0 vsize: 842584 [startup+940.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 90993 67 0 0 25 0 11 0 545542945 862806016 29483 4294967295 134512640 134569956 3221224400 3221214768 1131168625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29483 13073 16 0 210630 0 vsize: 842584 [startup+950.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 91973 68 0 0 25 0 11 0 545542945 862806016 29539 4294967295 134512640 134569956 3221224400 3221214768 1131169084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29539 13073 16 0 210630 0 vsize: 842584 [startup+960.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 92953 68 0 0 25 0 11 0 545542945 862806016 29601 4294967295 134512640 134569956 3221224400 3221214600 1131396279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29601 13073 16 0 210630 0 vsize: 842584 [startup+970.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 93931 68 0 0 25 0 11 0 545542945 862806016 29679 4294967295 134512640 134569956 3221224400 3221214768 1131169126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29679 13073 16 0 210630 0 vsize: 842584 [startup+980.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 94909 69 0 0 25 0 11 0 545542945 862806016 29729 4294967295 134512640 134569956 3221224400 3221214872 1131444161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29729 13073 16 0 210630 0 vsize: 842584 [startup+990.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32025 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 95891 69 0 0 25 0 11 0 545542945 862806016 29775 4294967295 134512640 134569956 3221224400 3221214304 1131544859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29775 13073 16 0 210630 0 vsize: 842584 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 96872 70 0 0 25 0 11 0 545542945 862806016 29822 4294967295 134512640 134569956 3221224400 3221214640 1131369660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29822 13073 16 0 210630 0 vsize: 842584 [startup+1010.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 97850 70 0 0 24 0 11 0 545542945 862806016 29865 4294967295 134512640 134569956 3221224400 3221214832 1131144213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29865 13073 16 0 210630 0 vsize: 842584 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 98832 71 0 0 25 0 11 0 545542945 862806016 29917 4294967295 134512640 134569956 3221224400 3221214768 1131168992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29917 13073 16 0 210630 0 vsize: 842584 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 99814 71 0 0 25 0 11 0 545542945 862806016 29954 4294967295 134512640 134569956 3221224400 3221214872 1131185146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 29954 13073 16 0 210630 0 vsize: 842584 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 100800 71 0 0 25 0 11 0 545542945 862806016 30005 4294967295 134512640 134569956 3221224400 3221214200 1131541854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30005 13073 16 0 210630 0 vsize: 842584 [startup+1050.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 101782 71 0 0 25 0 11 0 545542945 862806016 30047 4294967295 134512640 134569956 3221224400 3221214504 1131417555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30047 13073 16 0 210630 0 vsize: 842584 [startup+1060.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 102761 72 0 0 25 0 11 0 545542945 862806016 30108 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30108 13073 16 0 210630 0 vsize: 842584 [startup+1070.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 103743 72 0 0 25 0 11 0 545542945 862806016 30142 4294967295 134512640 134569956 3221224400 3221213996 1131369680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30142 13073 16 0 210630 0 vsize: 842584 [startup+1080.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 104725 73 0 0 25 0 11 0 545542945 862806016 30187 4294967295 134512640 134569956 3221224400 3221214768 1131168988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30187 13073 16 0 210630 0 vsize: 842584 [startup+1090.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 105705 73 0 0 25 0 11 0 545542945 862806016 30221 4294967295 134512640 134569956 3221224400 3221214900 1130915153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30221 13073 16 0 210630 0 vsize: 842584 [startup+1100.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 106681 73 0 0 25 0 11 0 545542945 862806016 30261 4294967295 134512640 134569956 3221224400 3221214716 1080204229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30261 13073 16 0 210630 0 vsize: 842584 [startup+1110.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 107661 73 0 0 25 0 11 0 545542945 862806016 30318 4294967295 134512640 134569956 3221224400 3221214832 1131144246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30318 13073 16 0 210630 0 vsize: 842584 [startup+1120.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 108634 73 0 0 25 0 11 0 545542945 862806016 30388 4294967295 134512640 134569956 3221224400 3221214376 1076461228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30388 13073 16 0 210630 0 vsize: 842584 [startup+1130.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 109612 74 0 0 25 0 11 0 545542945 862806016 30433 4294967295 134512640 134569956 3221224400 3221214600 1131374266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30433 13073 16 0 210630 0 vsize: 842584 [startup+1140.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 110594 74 0 0 25 0 11 0 545542945 862806016 30491 4294967295 134512640 134569956 3221224400 3221214160 1131369681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30491 13073 16 0 210630 0 vsize: 842584 [startup+1150.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 111575 74 0 0 25 0 11 0 545542945 862806016 30530 4294967295 134512640 134569956 3221224400 3221214400 1131541933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30530 13073 16 0 210630 0 vsize: 842584 [startup+1160.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 112547 75 0 0 24 0 11 0 545542945 862806016 30580 4294967295 134512640 134569956 3221224400 3221214832 1131144209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30580 13073 16 0 210630 0 vsize: 842584 [startup+1170.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 113523 75 0 0 25 0 11 0 545542945 862806016 30647 4294967295 134512640 134569956 3221224400 3221214640 1131524052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30647 13073 16 0 210630 0 vsize: 842584 [startup+1180.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 114500 76 0 0 25 0 11 0 545542945 862806016 30711 4294967295 134512640 134569956 3221224400 3221214832 1131144216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30711 13073 16 0 210630 0 vsize: 842584 [startup+1190.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 115472 76 0 0 25 0 11 0 545542945 862806016 30781 4294967295 134512640 134569956 3221224400 3221214592 1131545017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30781 13073 16 0 210630 0 vsize: 842584 [startup+1200.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 116455 77 0 0 25 0 11 0 545542945 862806016 30831 4294967295 134512640 134569956 3221224400 3221214872 1131184477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30831 13073 16 0 210630 0 vsize: 842584 [startup+1210.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 117437 77 0 0 25 0 11 0 545542945 862806016 30885 4294967295 134512640 134569956 3221224400 3221214768 1131168883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30885 13073 16 0 210630 0 vsize: 842584 [startup+1220.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 118416 77 0 0 25 0 11 0 545542945 862806016 30944 4294967295 134512640 134569956 3221224400 3221214768 1131169156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 30944 13073 16 0 210630 0 vsize: 842584 [startup+1230.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 119398 77 0 0 25 0 11 0 545542945 862806016 31005 4294967295 134512640 134569956 3221224400 3221214832 1131144250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 31005 13073 16 0 210630 0 vsize: 842584 [startup+1240.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 32027 Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 120381 77 0 0 25 0 11 0 545542945 862806016 31053 4294967295 134512640 134569956 3221224400 3221214872 1131184695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210646 31053 13073 16 0 210630 0 vsize: 842584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.16 s] Raw data (loadavg): 1.00 0.97 0.91 1/54 32029 Raw data (stat): 31942 (java) Z 31941 22612 22611 0 -1 1036 18068 10475 1 0 120386 77 3064 30 25 0 1 0 545542945 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): 1240.16 CPU time (s): 1235.59 CPU user time (s): 1234.51 CPU system time (s): 1.08083 CPU usage (%): 99.6316 Max. virtual memory (Kb): 845240 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####