Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb |
MD5SUM | 5fcfa2f72175b9723ffb2781fb76fcdc |
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.02584 |
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 wulflinc4 THE 2005-04-21 18:07:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16922 boxname=wulflinc4 idbench=1302 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 5fcfa2f72175b9723ffb2781fb76fcdc /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-lseu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-lseu.opb IDLAUNCH: 16922 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 810340 kB Buffers: 26944 kB Cached: 176148 kB SwapCached: 364 kB Active: 33640 kB Inactive: 171928 kB HighTotal: 131008 kB HighFree: 90832 kB LowTotal: 903652 kB LowFree: 719508 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6400 kB Slab: 13028 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:28:37 (client local time) WITH STATUS 143 IN 1235.87 SECONDS stats: 16922 7 1235.87 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-lseu.opb c reading problem c [nbvar=89] c [nbconstr=117] c time 0.641 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.764 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.622 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.736 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) : 11.066 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.445 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) : 12.02 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.644 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.978 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.938 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.879 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.808 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) : 35.252 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) : 39.125 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) : 103.725 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) : 163.651 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) : 193.4 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) : 219.132 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) : 234.16 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) : 263.642 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) : 532.376 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.55 0.86 0.95 2/54 11680 Raw data (stat): 11680 (runsolver) R 11679 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488892277 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+10.0004 s] Raw data (loadavg): 0.92 0.93 0.97 4/64 11693 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18065 3 1 0 574 43 0 0 25 0 11 0 488892277 866242560 21367 4294967295 134512640 134569956 3221224400 3221214576 1131211664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211485 21367 13073 16 0 211469 0 vsize: 845940 [startup+20.0017 s] Raw data (loadavg): 0.94 0.93 0.97 2/64 11698 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18065 3 1 0 1514 44 0 0 25 0 11 0 488892277 865304576 21939 4294967295 134512640 134569956 3221224400 3221214752 1131591562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211256 21939 13073 16 0 211240 0 vsize: 845024 [startup+30.0025 s] Raw data (loadavg): 0.95 0.94 0.97 2/64 11701 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18065 3 1 0 2472 44 0 0 25 0 11 0 488892277 865009664 22315 4294967295 134512640 134569956 3221224400 3221214444 1131379264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 22315 13073 16 0 211168 0 vsize: 844736 [startup+40.0018 s] Raw data (loadavg): 0.95 0.94 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18065 3 1 0 3425 45 0 0 25 0 11 0 488892277 865009664 22607 4294967295 134512640 134569956 3221224400 3221214464 1131359505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 22607 13073 16 0 211168 0 vsize: 844736 [startup+50.0028 s] Raw data (loadavg): 0.96 0.94 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 4362 45 0 0 25 0 11 0 488892277 865009664 22902 4294967295 134512640 134569956 3221224400 3221214792 1131168822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 22902 13073 16 0 211168 0 vsize: 844736 [startup+60.0035 s] Raw data (loadavg): 0.97 0.94 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 5299 45 0 0 25 0 11 0 488892277 865009664 23168 4294967295 134512640 134569956 3221224400 3221214880 1131438062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23168 13073 16 0 211168 0 vsize: 844736 [startup+70.0045 s] Raw data (loadavg): 0.97 0.94 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 6250 46 0 0 25 0 11 0 488892277 865009664 23384 4294967295 134512640 134569956 3221224400 3221214640 1131163248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23384 13073 16 0 211168 0 vsize: 844736 [startup+80.0054 s] Raw data (loadavg): 0.97 0.94 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 7200 46 0 0 25 0 11 0 488892277 865009664 23583 4294967295 134512640 134569956 3221224400 3221214664 1131283938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23583 13073 16 0 211168 0 vsize: 844736 [startup+90.0056 s] Raw data (loadavg): 0.98 0.95 0.97 2/64 11703 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 8159 46 0 0 25 0 11 0 488892277 865009664 23722 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23722 13073 16 0 211168 0 vsize: 844736 [startup+100.006 s] Raw data (loadavg): 0.98 0.95 0.97 2/64 11703 Raw data (stat): 11680 (java) S 11679 5897 5896 0 -1 0 18066 3 1 0 9114 46 0 0 25 0 11 0 488892277 865009664 23861 4294967295 134512640 134569956 3221224400 3221213192 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23861 13073 16 0 211168 0 vsize: 844736 [startup+110.007 s] Raw data (loadavg): 0.98 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 10075 46 0 0 24 0 11 0 488892277 865009664 23996 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 23996 13073 16 0 211168 0 vsize: 844736 [startup+120.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 11042 47 0 0 25 0 11 0 488892277 865009664 24100 4294967295 134512640 134569956 3221224400 3221214688 1131207309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 24100 13073 16 0 211168 0 vsize: 844736 [startup+130.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 12004 47 0 0 25 0 11 0 488892277 865009664 24201 4294967295 134512640 134569956 3221224400 3221214832 1131144213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24201 13073 16 0 211168 0 vsize: 844736 [startup+140.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 12973 47 0 0 25 0 11 0 488892277 865009664 24294 4294967295 134512640 134569956 3221224400 3221214312 1131359514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24294 13073 16 0 211168 0 vsize: 844736 [startup+150.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 13935 47 0 0 25 0 11 0 488892277 865009664 24402 4294967295 134512640 134569956 3221224400 3221214792 1131234604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24402 13073 16 0 211168 0 vsize: 844736 [startup+160.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11704 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 14896 48 0 0 25 0 11 0 488892277 865009664 24499 4294967295 134512640 134569956 3221224400 3221214376 1131359480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24499 13073 16 0 211168 0 vsize: 844736 [startup+170.011 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11705 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 15864 48 0 0 25 0 11 0 488892277 865009664 24612 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24612 13073 16 0 211168 0 vsize: 844736 [startup+180.012 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11705 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 16833 48 0 0 25 0 11 0 488892277 865009664 24699 4294967295 134512640 134569956 3221224400 3221214872 1131184574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24699 13073 16 0 211168 0 vsize: 844736 [startup+190.012 s] Raw data (loadavg): 0.99 0.95 0.97 2/64 11705 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 17803 49 0 0 25 0 11 0 488892277 865009664 24790 4294967295 134512640 134569956 3221224400 3221214712 1131267830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24790 13073 16 0 211168 0 vsize: 844736 [startup+200.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11706 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 18775 49 0 0 25 0 11 0 488892277 865009664 24882 4294967295 134512640 134569956 3221224400 3221214872 1131184389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24882 13073 16 0 211168 0 vsize: 844736 [startup+210.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11706 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 19751 50 0 0 24 0 11 0 488892277 865009664 24951 4294967295 134512640 134569956 3221224400 3221214872 1131184389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 24951 13073 16 0 211168 0 vsize: 844736 [startup+220.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11707 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 20728 50 0 0 25 0 11 0 488892277 865009664 25024 4294967295 134512640 134569956 3221224400 3221214768 1131168641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 25024 13073 16 0 211168 0 vsize: 844736 [startup+230.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11707 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 21695 50 0 0 25 0 11 0 488892277 865009664 25127 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25127 13073 16 0 211168 0 vsize: 844736 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11708 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 22671 51 0 0 25 0 11 0 488892277 865009664 25195 4294967295 134512640 134569956 3221224400 3221214544 1131600138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25195 13073 16 0 211168 0 vsize: 844736 [startup+250.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11708 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 23642 51 0 0 25 0 11 0 488892277 865009664 25271 4294967295 134512640 134569956 3221224400 3221214312 1131359473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 25271 13073 16 0 211168 0 vsize: 844736 [startup+260.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11708 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 24618 51 0 0 25 0 11 0 488892277 865009664 25338 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25338 13073 16 0 211168 0 vsize: 844736 [startup+270.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 25582 51 0 0 25 0 11 0 488892277 865009664 25437 4294967295 134512640 134569956 3221224400 3221214872 1131184377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25437 13073 16 0 211168 0 vsize: 844736 [startup+280.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 26548 52 0 0 25 0 11 0 488892277 865009664 25526 4294967295 134512640 134569956 3221224400 3221214768 1131169185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25526 13073 16 0 211168 0 vsize: 844736 [startup+290.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 27519 52 0 0 25 0 11 0 488892277 865009664 25604 4294967295 134512640 134569956 3221224400 3221214712 1131264769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25604 13073 16 0 211168 0 vsize: 844736 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 28486 53 0 0 25 0 11 0 488892277 865009664 25695 4294967295 134512640 134569956 3221224400 3221214868 1131144172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25695 13073 16 0 211168 0 vsize: 844736 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 29458 53 0 0 25 0 11 0 488892277 865009664 25778 4294967295 134512640 134569956 3221224400 3221214832 1131144280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25778 13073 16 0 211168 0 vsize: 844736 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 30426 53 0 0 25 0 11 0 488892277 865009664 25861 4294967295 134512640 134569956 3221224400 3221214376 1131581496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25861 13073 16 0 211168 0 vsize: 844736 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 31399 54 0 0 25 0 11 0 488892277 865009664 25929 4294967295 134512640 134569956 3221224400 3221214544 1131604985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 25929 13073 16 0 211168 0 vsize: 844736 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 32367 54 0 0 25 0 11 0 488892277 865009664 26013 4294967295 134512640 134569956 3221224400 3221214312 1131359514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26013 13073 16 0 211168 0 vsize: 844736 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 33337 55 0 0 25 0 11 0 488892277 865009664 26110 4294967295 134512640 134569956 3221224400 3221214744 1131220256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26110 13073 16 0 211168 0 vsize: 844736 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 34307 55 0 0 25 0 11 0 488892277 865009664 26204 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26204 13073 16 0 211168 0 vsize: 844736 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 35283 55 0 0 25 0 11 0 488892277 865009664 26267 4294967295 134512640 134569956 3221224400 3221214768 1131168615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26267 13073 16 0 211168 0 vsize: 844736 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 36258 55 0 0 25 0 11 0 488892277 865009664 26325 4294967295 134512640 134569956 3221224400 3221214632 1131163376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26325 13073 16 0 211168 0 vsize: 844736 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 37238 55 0 0 25 0 11 0 488892277 865009664 26390 4294967295 134512640 134569956 3221224400 3221214660 1131379264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26390 13073 16 0 211168 0 vsize: 844736 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 38214 55 0 0 25 0 11 0 488892277 865009664 26433 4294967295 134512640 134569956 3221224400 3221214768 1131168475 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26433 13073 16 0 211168 0 vsize: 844736 [startup+410.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 39189 56 0 0 25 0 11 0 488892277 865009664 26484 4294967295 134512640 134569956 3221224400 3221214872 1131184201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26484 13073 16 0 211168 0 vsize: 844736 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 40156 56 0 0 25 0 11 0 488892277 865009664 26595 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26595 13073 16 0 211168 0 vsize: 844736 [startup+430.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 41128 57 0 0 25 0 11 0 488892277 865009664 26696 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26696 13073 16 0 211168 0 vsize: 844736 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 42101 57 0 0 25 0 11 0 488892277 865009664 26770 4294967295 134512640 134569956 3221224400 3221214632 1131163329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26770 13073 16 0 211168 0 vsize: 844736 [startup+450.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 43074 57 0 0 25 0 11 0 488892277 865009664 26830 4294967295 134512640 134569956 3221224400 3221214832 1131144209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26830 13073 16 0 211168 0 vsize: 844736 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 44052 58 0 0 25 0 11 0 488892277 865009664 26881 4294967295 134512640 134569956 3221224400 3221214284 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26881 13073 16 0 211168 0 vsize: 844736 [startup+470.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 45025 58 0 0 25 0 11 0 488892277 865009664 26941 4294967295 134512640 134569956 3221224400 3221214600 1131313403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 26941 13073 16 0 211168 0 vsize: 844736 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 46002 58 0 0 25 0 11 0 488892277 865009664 27007 4294967295 134512640 134569956 3221224400 3221214768 1131168765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27007 13073 16 0 211168 0 vsize: 844736 [startup+490.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 46976 58 0 0 25 0 11 0 488892277 865009664 27075 4294967295 134512640 134569956 3221224400 3221214240 1131371564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27075 13073 16 0 211168 0 vsize: 844736 [startup+500.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 47945 58 0 0 25 0 11 0 488892277 865009664 27156 4294967295 134512640 134569956 3221224400 3221214768 1131168809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27156 13073 16 0 211168 0 vsize: 844736 [startup+510.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 48919 59 0 0 25 0 11 0 488892277 865009664 27230 4294967295 134512640 134569956 3221224400 3221214824 1131579779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27230 13073 16 0 211168 0 vsize: 844736 [startup+520.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 49893 59 0 0 25 0 11 0 488892277 865009664 27316 4294967295 134512640 134569956 3221224400 3221214576 1131291793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27316 13073 16 0 211168 0 vsize: 844736 [startup+530.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11709 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 50872 59 0 0 25 0 11 0 488892277 865009664 27381 4294967295 134512640 134569956 3221224400 3221214768 1131169084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27381 13073 16 0 211168 0 vsize: 844736 [startup+540.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 51850 60 0 0 25 0 11 0 488892277 865009664 27435 4294967295 134512640 134569956 3221224400 3221214848 1131306545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27435 13073 16 0 211168 0 vsize: 844736 [startup+550.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 52828 60 0 0 25 0 11 0 488892277 865009664 27482 4294967295 134512640 134569956 3221224400 3221214544 1131601228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27482 13073 16 0 211168 0 vsize: 844736 [startup+560.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 53806 61 0 0 25 0 11 0 488892277 865009664 27550 4294967295 134512640 134569956 3221224400 3221214768 1131169120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 27550 13073 16 0 211168 0 vsize: 844736 [startup+570.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 54779 61 0 0 25 0 11 0 488892277 865009664 27635 4294967295 134512640 134569956 3221224400 3221214544 1131606068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27635 13073 16 0 211168 0 vsize: 844736 [startup+580.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 55756 61 0 0 25 0 11 0 488892277 865009664 27710 4294967295 134512640 134569956 3221224400 3221214768 1131168487 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27710 13073 16 0 211168 0 vsize: 844736 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 56729 62 0 0 25 0 11 0 488892277 865009664 27784 4294967295 134512640 134569956 3221224400 3221214632 1131351086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27784 13073 16 0 211168 0 vsize: 844736 [startup+600.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 57711 62 0 0 25 0 11 0 488892277 865009664 27841 4294967295 134512640 134569956 3221224400 3221214424 1131603755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27841 13073 16 0 211168 0 vsize: 844736 [startup+610.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 58689 62 0 0 25 0 11 0 488892277 865009664 27907 4294967295 134512640 134569956 3221224400 3221214656 1131379285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27907 13073 16 0 211168 0 vsize: 844736 [startup+620.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 59667 62 0 0 25 0 11 0 488892277 865009664 27966 4294967295 134512640 134569956 3221224400 3221214632 1131163358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 27966 13073 16 0 211168 0 vsize: 844736 [startup+630.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 60639 63 0 0 25 0 11 0 488892277 865009664 28046 4294967295 134512640 134569956 3221224400 3221214872 1131184600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28046 13073 16 0 211168 0 vsize: 844736 [startup+640.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 61612 63 0 0 25 0 11 0 488892277 865009664 28103 4294967295 134512640 134569956 3221224400 3221214872 1131185232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28103 13073 16 0 211168 0 vsize: 844736 [startup+650.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 62589 63 0 0 25 0 11 0 488892277 865009664 28162 4294967295 134512640 134569956 3221224400 3221214768 1131168483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28162 13073 16 0 211168 0 vsize: 844736 [startup+660.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 63561 64 0 0 25 0 11 0 488892277 865009664 28231 4294967295 134512640 134569956 3221224400 3221214492 1131359504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28231 13073 16 0 211168 0 vsize: 844736 [startup+670.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 64534 64 0 0 25 0 11 0 488892277 865009664 28320 4294967295 134512640 134569956 3221224400 3221214832 1131144240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28320 13073 16 0 211168 0 vsize: 844736 [startup+680.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 65508 65 0 0 25 0 11 0 488892277 865009664 28390 4294967295 134512640 134569956 3221224400 3221214592 1131291140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28390 13073 16 0 211168 0 vsize: 844736 [startup+690.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 66485 65 0 0 25 0 11 0 488892277 865009664 28445 4294967295 134512640 134569956 3221224400 3221214408 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28445 13073 16 0 211168 0 vsize: 844736 [startup+700.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 67459 66 0 0 25 0 11 0 488892277 865009664 28509 4294967295 134512640 134569956 3221224400 3221214528 1131207823 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28509 13073 16 0 211168 0 vsize: 844736 [startup+710.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 68438 66 0 0 25 0 11 0 488892277 865009664 28575 4294967295 134512640 134569956 3221224400 3221214768 1131169045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28575 13073 16 0 211168 0 vsize: 844736 [startup+720.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 69411 66 0 0 25 0 11 0 488892277 865009664 28647 4294967295 134512640 134569956 3221224400 3221214832 1131144224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28647 13073 16 0 211168 0 vsize: 844736 [startup+730.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 70385 67 0 0 25 0 11 0 488892277 865009664 28709 4294967295 134512640 134569956 3221224400 3221214552 1131199953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28709 13073 16 0 211168 0 vsize: 844736 [startup+740.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 71356 67 0 0 24 0 11 0 488892277 865009664 28801 4294967295 134512640 134569956 3221224400 3221214560 1131311777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28801 13073 16 0 211168 0 vsize: 844736 [startup+750.048 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 72335 67 0 0 25 0 11 0 488892277 865009664 28849 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28849 13073 16 0 211168 0 vsize: 844736 [startup+760.048 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 73310 67 0 0 25 0 11 0 488892277 865009664 28906 4294967295 134512640 134569956 3221224400 3221214868 1131168467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28906 13073 16 0 211168 0 vsize: 844736 [startup+770.049 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 74291 67 0 0 25 0 11 0 488892277 865009664 28972 4294967295 134512640 134569956 3221224400 3221214552 1131395214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 28972 13073 16 0 211168 0 vsize: 844736 [startup+780.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 75269 68 0 0 25 0 11 0 488892277 865009664 29031 4294967295 134512640 134569956 3221224400 3221214768 1131168881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29031 13073 16 0 211168 0 vsize: 844736 [startup+790.051 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 76250 68 0 0 25 0 11 0 488892277 865009664 29087 4294967295 134512640 134569956 3221224400 3221214440 1131424496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29087 13073 16 0 211168 0 vsize: 844736 [startup+800.052 s] Raw data (loadavg): 0.99 0.97 0.97 3/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 77238 69 0 0 25 0 11 0 488892277 865009664 29116 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 29116 13073 16 0 211168 0 vsize: 844736 [startup+810.052 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 78214 69 0 0 24 0 11 0 488892277 865009664 29186 4294967295 134512640 134569956 3221224400 3221214768 1131169126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29186 13073 16 0 211168 0 vsize: 844736 [startup+820.053 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 79194 69 0 0 25 0 11 0 488892277 865009664 29232 4294967295 134512640 134569956 3221224400 3221214768 1131169730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29232 13073 16 0 211168 0 vsize: 844736 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 80165 70 0 0 25 0 11 0 488892277 865009664 29285 4294967295 134512640 134569956 3221224400 3221214768 1131169104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29285 13073 16 0 211168 0 vsize: 844736 [startup+840.054 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 81140 70 0 0 25 0 11 0 488892277 865009664 29356 4294967295 134512640 134569956 3221224400 3221214712 1131264082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29356 13073 16 0 211168 0 vsize: 844736 [startup+850.055 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) S 11679 5897 5896 0 -1 0 18066 3 1 0 82115 71 0 0 25 0 11 0 488892277 865009664 29442 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29442 13073 16 0 211168 0 vsize: 844736 [startup+860.056 s] Raw data (loadavg): 0.99 0.97 0.97 3/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 83093 71 0 0 25 0 11 0 488892277 865009664 29529 4294967295 134512640 134569956 3221224400 3221214496 1131359452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 29529 13073 16 0 211168 0 vsize: 844736 [startup+870.057 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 84074 71 0 0 25 0 11 0 488892277 865009664 29575 4294967295 134512640 134569956 3221224400 3221214768 1131169314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29575 13073 16 0 211168 0 vsize: 844736 [startup+880.057 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 85055 72 0 0 25 0 11 0 488892277 865009664 29625 4294967295 134512640 134569956 3221224400 3221214104 1085679372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29625 13073 16 0 211168 0 vsize: 844736 [startup+890.057 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 86031 72 0 0 25 0 11 0 488892277 865009664 29698 4294967295 134512640 134569956 3221224400 3221214136 1131359569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 29698 13073 16 0 211168 0 vsize: 844736 [startup+900.059 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 87006 72 0 0 24 0 11 0 488892277 865009664 29768 4294967295 134512640 134569956 3221224400 3221214768 1131169160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29768 13073 16 0 211168 0 vsize: 844736 [startup+910.059 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 87985 72 0 0 25 0 11 0 488892277 865009664 29814 4294967295 134512640 134569956 3221224400 3221214656 1131599984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29814 13073 16 0 211168 0 vsize: 844736 [startup+920.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 88967 73 0 0 25 0 11 0 488892277 865009664 29858 4294967295 134512640 134569956 3221224400 3221214832 1131144316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29858 13073 16 0 211168 0 vsize: 844736 [startup+930.061 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 89942 73 0 0 25 0 11 0 488892277 865009664 29915 4294967295 134512640 134569956 3221224400 3221214072 1131359543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29915 13073 16 0 211168 0 vsize: 844736 [startup+940.061 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 90920 73 0 0 25 0 11 0 488892277 865009664 29969 4294967295 134512640 134569956 3221224400 3221214552 1131200732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 29969 13073 16 0 211168 0 vsize: 844736 [startup+950.061 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 91899 74 0 0 25 0 11 0 488892277 865009664 30025 4294967295 134512640 134569956 3221224400 3221214664 1131605064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30025 13073 16 0 211168 0 vsize: 844736 [startup+960.063 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 92880 74 0 0 25 0 11 0 488892277 865009664 30087 4294967295 134512640 134569956 3221224400 3221214932 1131417100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30087 13073 16 0 211168 0 vsize: 844736 [startup+970.063 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 93853 74 0 0 24 0 11 0 488892277 865009664 30174 4294967295 134512640 134569956 3221224400 3221214768 1131168695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30174 13073 16 0 211168 0 vsize: 844736 [startup+980.063 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 94834 75 0 0 25 0 11 0 488892277 865009664 30215 4294967295 134512640 134569956 3221224400 3221214600 1131312921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30215 13073 16 0 211168 0 vsize: 844736 [startup+990.064 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 95815 75 0 0 25 0 11 0 488892277 865009664 30261 4294967295 134512640 134569956 3221224400 3221214512 1131424018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30261 13073 16 0 211168 0 vsize: 844736 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 96795 76 0 0 25 0 11 0 488892277 865009664 30308 4294967295 134512640 134569956 3221224400 3221214360 1131371833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30308 13073 16 0 211168 0 vsize: 844736 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 97773 77 0 0 25 0 11 0 488892277 865009664 30351 4294967295 134512640 134569956 3221224400 3221214104 1085679386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30351 13073 16 0 211168 0 vsize: 844736 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 98750 77 0 0 25 0 11 0 488892277 865009664 30411 4294967295 134512640 134569956 3221224400 3221214792 1131232881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30411 13073 16 0 211168 0 vsize: 844736 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 99731 77 0 0 25 0 11 0 488892277 865009664 30454 4294967295 134512640 134569956 3221224400 3221214768 1131169160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30454 13073 16 0 211168 0 vsize: 844736 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 100717 77 0 0 25 0 11 0 488892277 865009664 30507 4294967295 134512640 134569956 3221224400 3221214504 1131489335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30507 13073 16 0 211168 0 vsize: 844736 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 101699 78 0 0 25 0 11 0 488892277 865009664 30543 4294967295 134512640 134569956 3221224400 3221214528 1131207763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30543 13073 16 0 211168 0 vsize: 844736 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 102680 78 0 0 25 0 11 0 488892277 865009664 30594 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30594 13073 16 0 211168 0 vsize: 844736 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 103658 79 0 0 24 0 11 0 488892277 865009664 30638 4294967295 134512640 134569956 3221224400 3221214544 1131606699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30638 13073 16 0 211168 0 vsize: 844736 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) S 11679 5897 5896 0 -1 0 18066 3 1 0 104637 79 0 0 25 0 11 0 488892277 865009664 30681 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30681 13073 16 0 211168 0 vsize: 844736 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 105618 79 0 0 25 0 11 0 488892277 865009664 30711 4294967295 134512640 134569956 3221224400 3221214768 1131168483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30711 13073 16 0 211168 0 vsize: 844736 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.97 3/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 106593 79 0 0 25 0 11 0 488892277 865009664 30760 4294967295 134512640 134569956 3221224400 3221214768 1131169404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 30760 13073 16 0 211168 0 vsize: 844736 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 107571 80 0 0 25 0 11 0 488892277 865009664 30818 4294967295 134512640 134569956 3221224400 3221214768 1131169008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30818 13073 16 0 211168 0 vsize: 844736 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 108544 80 0 0 25 0 11 0 488892277 865009664 30892 4294967295 134512640 134569956 3221224400 3221214252 1131359504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30892 13073 16 0 211168 0 vsize: 844736 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.97 3/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 109520 80 0 0 25 0 11 0 488892277 865009664 30930 4294967295 134512640 134569956 3221224400 3221214608 1131159129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 30930 13073 16 0 211168 0 vsize: 844736 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 110502 80 0 0 25 0 11 0 488892277 865009664 30982 4294967295 134512640 134569956 3221224400 3221214376 1131359409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 30982 13073 16 0 211168 0 vsize: 844736 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 111483 81 0 0 25 0 11 0 488892277 865009664 31025 4294967295 134512640 134569956 3221224400 3221214832 1131144380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31025 13073 16 0 211168 0 vsize: 844736 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.97 3/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 112453 81 0 0 25 0 11 0 488892277 865009664 31075 4294967295 134512640 134569956 3221224400 3221214584 1131385158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 31075 13073 16 0 211168 0 vsize: 844736 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 113434 81 0 0 25 0 11 0 488892277 865009664 31133 4294967295 134512640 134569956 3221224400 3221214560 1131313407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31133 13073 16 0 211168 0 vsize: 844736 [startup+1180.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 114405 81 0 0 25 0 11 0 488892277 865009664 31214 4294967295 134512640 134569956 3221224400 3221214832 1131144350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31214 13073 16 0 211168 0 vsize: 844736 [startup+1190.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 115377 82 0 0 25 0 11 0 488892277 865009664 31276 4294967295 134512640 134569956 3221224400 3221214768 1131169076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31276 13073 16 0 211168 0 vsize: 844736 [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 116358 82 0 0 25 0 11 0 488892277 865009664 31328 4294967295 134512640 134569956 3221224400 3221214416 1131597792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31328 13073 16 0 211168 0 vsize: 844736 [startup+1210.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 117341 82 0 0 25 0 11 0 488892277 865009664 31378 4294967295 134512640 134569956 3221224400 3221214164 1085616771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211184 31378 13073 16 0 211168 0 vsize: 844736 [startup+1220.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 118318 82 0 0 25 0 11 0 488892277 865009664 31455 4294967295 134512640 134569956 3221224400 3221214832 1131144197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31455 13073 16 0 211168 0 vsize: 844736 [startup+1230.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 119301 83 0 0 25 0 11 0 488892277 865009664 31502 4294967295 134512640 134569956 3221224400 3221214592 1131291308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31502 13073 16 0 211168 0 vsize: 844736 [startup+1240.08 s] Raw data (loadavg): 0.99 0.97 0.97 2/64 11710 Raw data (stat): 11680 (java) R 11679 5897 5896 0 -1 0 18066 3 1 0 120283 83 0 0 25 0 11 0 488892277 865009664 31551 4294967295 134512640 134569956 3221224400 3221214424 1131606035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211184 31551 13073 16 0 211168 0 vsize: 844736 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.16 s] Raw data (loadavg): 0.99 0.97 0.97 1/54 11712 Raw data (stat): 11680 (java) Z 11679 5897 5896 0 -1 1036 18066 10497 1 0 120285 83 3187 30 25 0 1 0 488892277 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.87 CPU user time (s): 1234.73 CPU system time (s): 1.13783 CPU usage (%): 99.6538 Max. virtual memory (Kb): 845940 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####