Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb |
MD5SUM | ca2f95c2509c09ae8cf1945e12d0eb97 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2150078462 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.063989 |
Number of variables | 985 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 115 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-21 22:42:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13763 boxname=wulflinc23 idbench=1059 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ca2f95c2509c09ae8cf1945e12d0eb97 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pk1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pk1.opb IDLAUNCH: 13763 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 692088 kB Buffers: 17624 kB Cached: 301020 kB SwapCached: 548 kB Active: 58456 kB Inactive: 262132 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 691836 kB SwapTotal: 2097136 kB SwapFree: 2095732 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 16320 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 23:03:25 (client local time) WITH STATUS 143 IN 1243.19 SECONDS stats: 13763 7 1243.19 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pk1.opb c reading problem c [nbvar=985] c [nbconstr=100] c time 2.427 c #vars 985 c #clauses 60 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=1073741823 c Current CPU time (ms) : 805.752 c starts : 7 c conflicts : 2228 c decisions : 4831 c propagations : 16289 c inspects : 1349763 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2228 c root simplifications : 7 #### 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.69 0.85 0.88 2/54 15341 Raw data (stat): 15341 (runsolver) R 15340 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548765696 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.0002 s] Raw data (loadavg): 1.04 0.92 0.90 4/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18081 0 1 0 587 39 0 0 25 0 11 0 548765696 870412288 22586 4294967295 134512640 134569956 3221224400 3221214620 1130916198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212503 22586 13073 16 0 212487 0 vsize: 850012 [startup+20.0005 s] Raw data (loadavg): 1.34 0.99 0.92 4/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 1347 40 0 0 23 0 11 0 548765696 880361472 25439 4294967295 134512640 134569956 3221224400 3221214448 1130919644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214932 25439 13073 16 0 214916 0 vsize: 859728 [startup+30.0017 s] Raw data (loadavg): 1.29 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 2208 41 0 0 25 0 11 0 548765696 875376640 25046 4294967295 134512640 134569956 3221224400 3221214576 1131281835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 25046 13073 16 0 213699 0 vsize: 854860 [startup+40.0018 s] Raw data (loadavg): 1.24 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 3151 41 0 0 25 0 11 0 548765696 875376640 25591 4294967295 134512640 134569956 3221224400 3221214576 1131279523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 25591 13073 16 0 213699 0 vsize: 854860 [startup+50.0024 s] Raw data (loadavg): 1.21 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 4067 41 0 0 25 0 11 0 548765696 875376640 25841 4294967295 134512640 134569956 3221224400 3221214688 1131236004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 25841 13073 16 0 213699 0 vsize: 854860 [startup+60.0025 s] Raw data (loadavg): 1.17 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 4977 41 0 0 24 0 11 0 548765696 875376640 25914 4294967295 134512640 134569956 3221224400 3221214688 1131235350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 25914 13073 16 0 213699 0 vsize: 854860 [startup+70.0031 s] Raw data (loadavg): 1.15 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 5911 42 0 0 25 0 11 0 548765696 875376640 26374 4294967295 134512640 134569956 3221224400 3221214688 1131235242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 26374 13073 16 0 213699 0 vsize: 854860 [startup+80.0033 s] Raw data (loadavg): 1.12 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 6876 42 0 0 25 0 11 0 548765696 875376640 26719 4294967295 134512640 134569956 3221224400 3221214792 1131259856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 26719 13073 16 0 213699 0 vsize: 854860 [startup+90.0044 s] Raw data (loadavg): 1.10 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 7846 42 0 0 25 0 11 0 548765696 875376640 26755 4294967295 134512640 134569956 3221224400 3221214792 1131260789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 26755 13073 16 0 213699 0 vsize: 854860 [startup+100.005 s] Raw data (loadavg): 1.09 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) S 15340 3260 3259 0 -1 0 18095 0 1 0 8808 43 0 0 25 0 11 0 548765696 875376640 26838 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 26838 13073 16 0 213699 0 vsize: 854860 [startup+110.005 s] Raw data (loadavg): 1.07 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 9765 43 0 0 25 0 11 0 548765696 875376640 26897 4294967295 134512640 134569956 3221224400 3221214792 1131262487 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 26897 13073 16 0 213699 0 vsize: 854860 [startup+120.006 s] Raw data (loadavg): 1.06 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 10722 44 0 0 25 0 11 0 548765696 875376640 27047 4294967295 134512640 134569956 3221224400 3221214640 1131364967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27047 13073 16 0 213699 0 vsize: 854860 [startup+130.007 s] Raw data (loadavg): 1.05 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 11681 44 0 0 25 0 11 0 548765696 875376640 27208 4294967295 134512640 134569956 3221224400 3221214688 1131236096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27208 13073 16 0 213699 0 vsize: 854860 [startup+140.007 s] Raw data (loadavg): 1.04 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 12644 44 0 0 25 0 11 0 548765696 875376640 27328 4294967295 134512640 134569956 3221224400 3221214792 1131258765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27328 13073 16 0 213699 0 vsize: 854860 [startup+150.007 s] Raw data (loadavg): 1.04 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 13606 44 0 0 24 0 11 0 548765696 875376640 27453 4294967295 134512640 134569956 3221224400 3221214792 1131258820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27453 13073 16 0 213699 0 vsize: 854860 [startup+160.007 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 14573 45 0 0 25 0 11 0 548765696 875376640 27548 4294967295 134512640 134569956 3221224400 3221214792 1131259907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27548 13073 16 0 213699 0 vsize: 854860 [startup+170.007 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 15539 45 0 0 25 0 11 0 548765696 875376640 27629 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 27629 13073 16 0 213699 0 vsize: 854860 [startup+180.007 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 16502 45 0 0 25 0 11 0 548765696 875376640 27718 4294967295 134512640 134569956 3221224400 3221214448 1131664916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27718 13073 16 0 213699 0 vsize: 854860 [startup+190.008 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 17468 45 0 0 25 0 11 0 548765696 875376640 27831 4294967295 134512640 134569956 3221224400 3221214688 1131236128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 27831 13073 16 0 213699 0 vsize: 854860 [startup+200.008 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 18432 46 0 0 25 0 11 0 548765696 875376640 27909 4294967295 134512640 134569956 3221224400 3221214752 1131425580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 27909 13073 16 0 213699 0 vsize: 854860 [startup+210.008 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 19394 46 0 0 25 0 11 0 548765696 875376640 28120 4294967295 134512640 134569956 3221224400 3221214688 1131235652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28120 13073 16 0 213699 0 vsize: 854860 [startup+220.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 20361 46 0 0 25 0 11 0 548765696 875376640 28219 4294967295 134512640 134569956 3221224400 3221214792 1131258820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28219 13073 16 0 213699 0 vsize: 854860 [startup+230.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 21325 47 0 0 25 0 11 0 548765696 875376640 28344 4294967295 134512640 134569956 3221224400 3221214936 1131500569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28344 13073 16 0 213699 0 vsize: 854860 [startup+240.01 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 22289 47 0 0 25 0 11 0 548765696 875376640 28436 4294967295 134512640 134569956 3221224400 3221214792 1131259763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28436 13073 16 0 213699 0 vsize: 854860 [startup+250.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 23252 47 0 0 25 0 11 0 548765696 875376640 28520 4294967295 134512640 134569956 3221224400 3221214792 1131258727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28520 13073 16 0 213699 0 vsize: 854860 [startup+260.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 24216 48 0 0 25 0 11 0 548765696 875376640 28702 4294967295 134512640 134569956 3221224400 3221214688 1131235964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 28702 13073 16 0 213699 0 vsize: 854860 [startup+270.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 25176 48 0 0 24 0 11 0 548765696 875376640 28801 4294967295 134512640 134569956 3221224400 3221214560 1131351758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28801 13073 16 0 213699 0 vsize: 854860 [startup+280.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 26139 49 0 0 25 0 11 0 548765696 875376640 28885 4294967295 134512640 134569956 3221224400 3221214792 1131260710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28885 13073 16 0 213699 0 vsize: 854860 [startup+290.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 27101 49 0 0 25 0 11 0 548765696 875376640 28977 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 28977 13073 16 0 213699 0 vsize: 854860 [startup+300.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 28063 50 0 0 25 0 11 0 548765696 875376640 29093 4294967295 134512640 134569956 3221224400 3221214288 1131653719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 29093 13073 16 0 213699 0 vsize: 854860 [startup+310.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 29024 50 0 0 25 0 11 0 548765696 875376640 29195 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 29195 13073 16 0 213699 0 vsize: 854860 [startup+320.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 29989 50 0 0 25 0 11 0 548765696 875376640 29397 4294967295 134512640 134569956 3221224400 3221214560 1131292792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 29397 13073 16 0 213699 0 vsize: 854860 [startup+330.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 30954 50 0 0 25 0 11 0 548765696 875376640 29482 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 29482 13073 16 0 213699 0 vsize: 854860 [startup+340.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 31917 51 0 0 25 0 11 0 548765696 875376640 29653 4294967295 134512640 134569956 3221224400 3221214688 1131235137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 29653 13073 16 0 213699 0 vsize: 854860 [startup+350.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18095 0 1 0 32879 51 0 0 25 0 11 0 548765696 875376640 29737 4294967295 134512640 134569956 3221224400 3221214792 1131261301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 29737 13073 16 0 213699 0 vsize: 854860 [startup+360.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 33833 51 0 0 25 0 11 0 548765696 875376640 29850 4294967295 134512640 134569956 3221224400 3221214688 1131235290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 29850 13073 16 0 213699 0 vsize: 854860 [startup+370.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 34788 51 0 0 25 0 11 0 548765696 875376640 30112 4294967295 134512640 134569956 3221224400 3221214688 1131236145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30112 13073 16 0 213699 0 vsize: 854860 [startup+380.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 35754 51 0 0 25 0 11 0 548765696 875376640 30275 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30275 13073 16 0 213699 0 vsize: 854860 [startup+390.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 36719 51 0 0 25 0 11 0 548765696 875376640 30384 4294967295 134512640 134569956 3221224400 3221214560 1131291918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30384 13073 16 0 213699 0 vsize: 854860 [startup+400.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 37678 51 0 0 25 0 11 0 548765696 875376640 30466 4294967295 134512640 134569956 3221224400 3221214688 1131235996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30466 13073 16 0 213699 0 vsize: 854860 [startup+410.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 38635 51 0 0 25 0 11 0 548765696 875376640 30646 4294967295 134512640 134569956 3221224400 3221214688 1131235818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30646 13073 16 0 213699 0 vsize: 854860 [startup+420.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 39596 51 0 0 25 0 11 0 548765696 875376640 30839 4294967295 134512640 134569956 3221224400 3221214576 1131281842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30839 13073 16 0 213699 0 vsize: 854860 [startup+430.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 40559 51 0 0 25 0 11 0 548765696 875376640 30976 4294967295 134512640 134569956 3221224400 3221214792 1131258948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 30976 13073 16 0 213699 0 vsize: 854860 [startup+440.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 41527 51 0 0 25 0 11 0 548765696 875376640 31086 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31086 13073 16 0 213699 0 vsize: 854860 [startup+450.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 42493 51 0 0 25 0 11 0 548765696 875376640 31201 4294967295 134512640 134569956 3221224400 3221214688 1131235571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31201 13073 16 0 213699 0 vsize: 854860 [startup+460.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 43457 51 0 0 25 0 11 0 548765696 875376640 31299 4294967295 134512640 134569956 3221224400 3221214688 1131236096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31299 13073 16 0 213699 0 vsize: 854860 [startup+470.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 44422 51 0 0 25 0 11 0 548765696 875376640 31430 4294967295 134512640 134569956 3221224400 3221214560 1131353926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31430 13073 16 0 213699 0 vsize: 854860 [startup+480.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 45387 51 0 0 25 0 11 0 548765696 875376640 31521 4294967295 134512640 134569956 3221224400 3221214688 1131235141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31521 13073 16 0 213699 0 vsize: 854860 [startup+490.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 46344 51 0 0 25 0 11 0 548765696 875376640 31630 4294967295 134512640 134569956 3221224400 3221214472 1085632287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31630 13073 16 0 213699 0 vsize: 854860 [startup+500.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 47303 52 0 0 25 0 11 0 548765696 875376640 31755 4294967295 134512640 134569956 3221224400 3221214792 1131261436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31755 13073 16 0 213699 0 vsize: 854860 [startup+510.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 48256 52 0 0 25 0 11 0 548765696 875376640 31877 4294967295 134512640 134569956 3221224400 3221214576 1131279481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31877 13073 16 0 213699 0 vsize: 854860 [startup+520.024 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) S 15340 3260 3259 0 -1 0 18096 0 1 0 49214 52 0 0 25 0 11 0 548765696 875376640 31996 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 31996 13073 16 0 213699 0 vsize: 854860 [startup+530.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 50173 52 0 0 25 0 11 0 548765696 875376640 32414 4294967295 134512640 134569956 3221224400 3221214576 1131281842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 32414 13073 16 0 213699 0 vsize: 854860 [startup+540.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 51136 52 0 0 25 0 11 0 548765696 875376640 32605 4294967295 134512640 134569956 3221224400 3221214792 1131260714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 32605 13073 16 0 213699 0 vsize: 854860 [startup+550.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 52106 52 0 0 25 0 11 0 548765696 875376640 32707 4294967295 134512640 134569956 3221224400 3221214736 1131554243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 32707 13073 16 0 213699 0 vsize: 854860 [startup+560.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 53070 52 0 0 25 0 11 0 548765696 875376640 32866 4294967295 134512640 134569956 3221224400 3221214688 1131235173 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 32866 13073 16 0 213699 0 vsize: 854860 [startup+570.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 54040 52 0 0 25 0 11 0 548765696 875376640 32958 4294967295 134512640 134569956 3221224400 3221214560 1131353080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 32958 13073 16 0 213699 0 vsize: 854860 [startup+580.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 55005 52 0 0 25 0 11 0 548765696 875376640 33062 4294967295 134512640 134569956 3221224400 3221214688 1131235648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33062 13073 16 0 213699 0 vsize: 854860 [startup+590.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 55974 52 0 0 25 0 11 0 548765696 875376640 33208 4294967295 134512640 134569956 3221224400 3221214544 1131653717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33208 13073 16 0 213699 0 vsize: 854860 [startup+600.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 56940 52 0 0 25 0 11 0 548765696 875376640 33309 4294967295 134512640 134569956 3221224400 3221214560 1131292610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33309 13073 16 0 213699 0 vsize: 854860 [startup+610.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 57909 52 0 0 25 0 11 0 548765696 875376640 33401 4294967295 134512640 134569956 3221224400 3221214936 1131500569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33401 13073 16 0 213699 0 vsize: 854860 [startup+620.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 58873 53 0 0 25 0 11 0 548765696 875376640 33512 4294967295 134512640 134569956 3221224400 3221214560 1131292610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33512 13073 16 0 213699 0 vsize: 854860 [startup+630.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 59839 53 0 0 25 0 11 0 548765696 875376640 33600 4294967295 134512640 134569956 3221224400 3221214688 1131235729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33600 13073 16 0 213699 0 vsize: 854860 [startup+640.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 60806 53 0 0 25 0 11 0 548765696 875376640 33696 4294967295 134512640 134569956 3221224400 3221214688 1131236091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 33696 13073 16 0 213699 0 vsize: 854860 [startup+650.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 61741 53 0 0 25 0 11 0 548765696 875376640 33853 4294967295 134512640 134569956 3221224400 3221214688 1131235133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 33853 13073 16 0 213699 0 vsize: 854860 [startup+660.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 62684 54 0 0 25 0 11 0 548765696 875376640 34091 4294967295 134512640 134569956 3221224400 3221214956 1131500518 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34091 13073 16 0 213699 0 vsize: 854860 [startup+670.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 63638 54 0 0 25 0 11 0 548765696 875376640 34192 4294967295 134512640 134569956 3221224400 3221214688 1131235996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34192 13073 16 0 213699 0 vsize: 854860 [startup+680.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 64608 54 0 0 25 0 11 0 548765696 875376640 34415 4294967295 134512640 134569956 3221224400 3221214464 1131385003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34415 13073 16 0 213699 0 vsize: 854860 [startup+690.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 65579 54 0 0 25 0 11 0 548765696 875376640 34464 4294967295 134512640 134569956 3221224400 3221214688 1131235693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34464 13073 16 0 213699 0 vsize: 854860 [startup+700.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 66547 55 0 0 24 0 11 0 548765696 875376640 34508 4294967295 134512640 134569956 3221224400 3221214688 1131235725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34508 13073 16 0 213699 0 vsize: 854860 [startup+710.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 67520 55 0 0 25 0 11 0 548765696 875376640 34537 4294967295 134512640 134569956 3221224400 3221214688 1131235761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34537 13073 16 0 213699 0 vsize: 854860 [startup+720.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 68494 56 0 0 25 0 11 0 548765696 875376640 34614 4294967295 134512640 134569956 3221224400 3221214936 1131500569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34614 13073 16 0 213699 0 vsize: 854860 [startup+730.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 69473 56 0 0 25 0 11 0 548765696 875376640 34697 4294967295 134512640 134569956 3221224400 3221214792 1131260797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34697 13073 16 0 213699 0 vsize: 854860 [startup+740.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 70451 57 0 0 25 0 11 0 548765696 875376640 34713 4294967295 134512640 134569956 3221224400 3221214688 1131235751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34713 13073 16 0 213699 0 vsize: 854860 [startup+750.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 71429 57 0 0 25 0 11 0 548765696 875376640 34781 4294967295 134512640 134569956 3221224400 3221214688 1131235197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34781 13073 16 0 213699 0 vsize: 854860 [startup+760.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 72405 57 0 0 25 0 11 0 548765696 875376640 34860 4294967295 134512640 134569956 3221224400 3221214688 1131235709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34860 13073 16 0 213699 0 vsize: 854860 [startup+770.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 73382 58 0 0 25 0 11 0 548765696 875376640 34932 4294967295 134512640 134569956 3221224400 3221214688 1131235148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34932 13073 16 0 213699 0 vsize: 854860 [startup+780.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 74360 58 0 0 25 0 11 0 548765696 875376640 34969 4294967295 134512640 134569956 3221224400 3221214464 1131390246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 34969 13073 16 0 213699 0 vsize: 854860 [startup+790.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 75335 59 0 0 25 0 11 0 548765696 875376640 35022 4294967295 134512640 134569956 3221224400 3221214792 1131258820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35022 13073 16 0 213699 0 vsize: 854860 [startup+800.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15351 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 0 1 0 76312 59 0 0 25 0 11 0 548765696 875376640 35051 4294967295 134512640 134569956 3221224400 3221214648 1131668816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35051 13073 16 0 213699 0 vsize: 854860 [startup+810.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 77308 60 0 0 25 0 11 0 548765696 875376640 35058 4294967295 134512640 134569956 3221224400 3221214792 1131258575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35058 13073 16 0 213699 0 vsize: 854860 [startup+820.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 78295 60 0 0 25 0 11 0 548765696 875376640 35075 4294967295 134512640 134569956 3221224400 3221214352 1131666822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35075 13073 16 0 213699 0 vsize: 854860 [startup+830.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 79274 61 0 0 25 0 11 0 548765696 875376640 35115 4294967295 134512640 134569956 3221224400 3221214792 1131261460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35115 13073 16 0 213699 0 vsize: 854860 [startup+840.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 80252 61 0 0 25 0 11 0 548765696 875376640 35172 4294967295 134512640 134569956 3221224400 3221214792 1131261460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35172 13073 16 0 213699 0 vsize: 854860 [startup+850.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 81229 62 0 0 25 0 11 0 548765696 875376640 35187 4294967295 134512640 134569956 3221224400 3221214464 1131390310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35187 13073 16 0 213699 0 vsize: 854860 [startup+860.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 82206 62 0 0 25 0 11 0 548765696 875376640 35346 4294967295 134512640 134569956 3221224400 3221214608 1131287941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35346 13073 16 0 213699 0 vsize: 854860 [startup+870.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 83185 63 0 0 25 0 11 0 548765696 875376640 35454 4294967295 134512640 134569956 3221224400 3221214560 1131292668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35454 13073 16 0 213699 0 vsize: 854860 [startup+880.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 84174 63 0 0 25 0 11 0 548765696 875376640 35489 4294967295 134512640 134569956 3221224400 3221214640 1131364707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35489 13073 16 0 213699 0 vsize: 854860 [startup+890.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 85163 63 0 0 24 0 11 0 548765696 875376640 35528 4294967295 134512640 134569956 3221224400 3221214880 1131607480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35528 13073 16 0 213699 0 vsize: 854860 [startup+900.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 86142 63 0 0 25 0 11 0 548765696 875376640 35660 4294967295 134512640 134569956 3221224400 3221214464 1131385140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35660 13073 16 0 213699 0 vsize: 854860 [startup+910.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 87130 63 0 0 25 0 11 0 548765696 875376640 35697 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35697 13073 16 0 213699 0 vsize: 854860 [startup+920.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 88120 63 0 0 25 0 11 0 548765696 875376640 35720 4294967295 134512640 134569956 3221224400 3221214792 1131260727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35720 13073 16 0 213699 0 vsize: 854860 [startup+930.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 89105 64 0 0 25 0 11 0 548765696 875376640 35772 4294967295 134512640 134569956 3221224400 3221214432 1080217364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35772 13073 16 0 213699 0 vsize: 854860 [startup+940.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 90092 64 0 0 25 0 11 0 548765696 875376640 35791 4294967295 134512640 134569956 3221224400 3221214424 1131383909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35791 13073 16 0 213699 0 vsize: 854860 [startup+950.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 91080 65 0 0 25 0 11 0 548765696 875376640 35812 4294967295 134512640 134569956 3221224400 3221214480 1131389768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35812 13073 16 0 213699 0 vsize: 854860 [startup+960.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 92068 66 0 0 25 0 11 0 548765696 875376640 35826 4294967295 134512640 134569956 3221224400 3221214608 1131288052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35826 13073 16 0 213699 0 vsize: 854860 [startup+970.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 93059 66 0 0 25 0 11 0 548765696 875376640 35874 4294967295 134512640 134569956 3221224400 3221214464 1131387875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35874 13073 16 0 213699 0 vsize: 854860 [startup+980.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 94052 67 0 0 25 0 11 0 548765696 875376640 35976 4294967295 134512640 134569956 3221224400 3221214688 1131511117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35976 13073 16 0 213699 0 vsize: 854860 [startup+990.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 95043 67 0 0 25 0 11 0 548765696 875376640 35998 4294967295 134512640 134569956 3221224400 3221214408 1131661356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 35998 13073 16 0 213699 0 vsize: 854860 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 96035 67 0 0 25 0 11 0 548765696 875376640 36090 4294967295 134512640 134569956 3221224400 3221214576 1131280474 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36090 13073 16 0 213699 0 vsize: 854860 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 97028 68 0 0 25 0 11 0 548765696 875376640 36100 4294967295 134512640 134569956 3221224400 3221214608 1131288363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36100 13073 16 0 213699 0 vsize: 854860 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 98024 68 0 0 25 0 11 0 548765696 875376640 36106 4294967295 134512640 134569956 3221224400 3221214792 1131258727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36106 13073 16 0 213699 0 vsize: 854860 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 99014 68 0 0 25 0 11 0 548765696 875376640 36127 4294967295 134512640 134569956 3221224400 3221214704 1131437902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36127 13073 16 0 213699 0 vsize: 854860 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 100008 68 0 0 25 0 11 0 548765696 875376640 36135 4294967295 134512640 134569956 3221224400 3221214424 1131696605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36135 13073 16 0 213699 0 vsize: 854860 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 15352 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 101002 69 0 0 25 0 11 0 548765696 875376640 36141 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36141 13073 16 0 213699 0 vsize: 854860 [startup+1060.04 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 101984 76 0 0 25 0 11 0 548765696 875376640 36146 4294967295 134512640 134569956 3221224400 3221214700 1131657324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36146 13073 16 0 213699 0 vsize: 854860 [startup+1070.05 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 102978 76 0 0 25 0 11 0 548765696 875376640 36157 4294967295 134512640 134569956 3221224400 3221214464 1131388682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36157 13073 16 0 213699 0 vsize: 854860 [startup+1080.05 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 103967 76 0 0 25 0 11 0 548765696 875376640 36195 4294967295 134512640 134569956 3221224400 3221214352 1131669008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36195 13073 16 0 213699 0 vsize: 854860 [startup+1090.05 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 104951 77 0 0 25 0 11 0 548765696 875376640 36225 4294967295 134512640 134569956 3221224400 3221214168 1131665532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36225 13073 16 0 213699 0 vsize: 854860 [startup+1100.05 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 105937 77 0 0 25 0 11 0 548765696 875376640 36267 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36267 13073 16 0 213699 0 vsize: 854860 [startup+1110.05 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 15405 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 106919 77 0 0 25 0 11 0 548765696 875376640 36296 4294967295 134512640 134569956 3221224400 3221214408 1131661332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36296 13073 16 0 213699 0 vsize: 854860 [startup+1120.05 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 107901 77 0 0 25 0 11 0 548765696 875376640 36367 4294967295 134512640 134569956 3221224400 3221214792 1131259914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36367 13073 16 0 213699 0 vsize: 854860 [startup+1130.05 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 108880 77 0 0 25 0 11 0 548765696 875376640 36383 4294967295 134512640 134569956 3221224400 3221214736 1131377081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36383 13073 16 0 213699 0 vsize: 854860 [startup+1140.05 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 109854 78 0 0 25 0 11 0 548765696 875376640 36515 4294967295 134512640 134569956 3221224400 3221214688 1131235519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36515 13073 16 0 213699 0 vsize: 854860 [startup+1150.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 110835 78 0 0 25 0 11 0 548765696 875376640 36569 4294967295 134512640 134569956 3221224400 3221214500 1131661392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36569 13073 16 0 213699 0 vsize: 854860 [startup+1160.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 111817 78 0 0 25 0 11 0 548765696 875376640 36628 4294967295 134512640 134569956 3221224400 3221214688 1131235567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36628 13073 16 0 213699 0 vsize: 854860 [startup+1170.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 112794 78 0 0 25 0 11 0 548765696 875376640 36692 4294967295 134512640 134569956 3221224400 3221214792 1131258594 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36692 13073 16 0 213699 0 vsize: 854860 [startup+1180.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 113777 79 0 0 25 0 11 0 548765696 875376640 36739 4294967295 134512640 134569956 3221224400 3221214432 1080217364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36739 13073 16 0 213699 0 vsize: 854860 [startup+1190.05 s] Raw data (loadavg): 1.09 1.02 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 114754 79 0 0 25 0 11 0 548765696 875376640 36839 4294967295 134512640 134569956 3221224400 3221214688 1131235226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36839 13073 16 0 213699 0 vsize: 854860 [startup+1200.05 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 115735 79 0 0 25 0 11 0 548765696 875376640 36889 4294967295 134512640 134569956 3221224400 3221214688 1131235137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36889 13073 16 0 213699 0 vsize: 854860 [startup+1210.05 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 116720 79 0 0 25 0 11 0 548765696 875376640 36950 4294967295 134512640 134569956 3221224400 3221214688 1131235721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 36950 13073 16 0 213699 0 vsize: 854860 [startup+1220.05 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 117706 80 0 0 25 0 11 0 548765696 875376640 36988 4294967295 134512640 134569956 3221224400 3221214456 1131667526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213715 36988 13073 16 0 213699 0 vsize: 854860 [startup+1230.05 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 118691 80 0 0 25 0 11 0 548765696 875376640 37021 4294967295 134512640 134569956 3221224400 3221214688 1131235703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 37021 13073 16 0 213699 0 vsize: 854860 [startup+1240.05 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 119680 80 0 0 25 0 11 0 548765696 875376640 37065 4294967295 134512640 134569956 3221224400 3221214688 1131235725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 37065 13073 16 0 213699 0 vsize: 854860 [startup+1250.06 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 15407 Raw data (stat): 15341 (java) R 15340 3260 3259 0 -1 0 18096 4 1 0 120668 81 0 0 25 0 11 0 548765696 875376640 37098 4294967295 134512640 134569956 3221224400 3221214608 1131288502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213715 37098 13073 16 0 213699 0 vsize: 854860 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.14 s] Raw data (loadavg): 1.03 1.01 0.93 1/54 15409 Raw data (stat): 15341 (java) Z 15340 3260 3259 0 -1 1036 18096 13558 1 0 120669 81 3528 39 25 0 1 0 548765696 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.14 CPU time (s): 1243.19 CPU user time (s): 1241.98 CPU system time (s): 1.20882 CPU usage (%): 99.4442 Max. virtual memory (Kb): 859728 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####