Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 80af83dd4f7c0078ae8fafa661248d8f |
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 | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.140978 |
Number of variables | 16224 |
Total number of constraints | 1968 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 384 |
Number of constraints which are nor clauses,nor cardinality constraints | 1392 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 309 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 09:07:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20980 boxname=wulflinc2 idbench=968 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 80af83dd4f7c0078ae8fafa661248d8f /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gesa2-o.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gesa2-o.opb IDLAUNCH: 20980 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 531952 kB Buffers: 29100 kB Cached: 453072 kB SwapCached: 696 kB Active: 48692 kB Inactive: 435876 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 531700 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5620 kB Slab: 12360 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 09:28:55 (client local time) WITH STATUS 143 IN 1295.04 SECONDS stats: 20980 7 1295.04 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gesa2-o.opb c reading problem ... done. Time 80.155 ms. c #vars 16224 c #constraints 1608 c starts : 8 c conflicts : 3328 c decisions : 12232 c propagations : 35476 c inspects : 699520 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3327 c root simplifications : 27 s UNKNOWN c Total CPU time (ms) : 1279.144 #### 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.85 0.97 0.99 2/54 12160 Raw data (stat): 12160 (runsolver) R 12159 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779456771 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18011 0 1 0 876 38 0 0 25 0 10 0 779456771 853897216 19431 4294967295 134512640 134569956 3221224368 3221214688 1131193921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208471 19431 13086 16 0 208455 0 vsize: 833884 [startup+20.0008 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18011 0 1 0 1769 39 0 0 24 0 10 0 779456771 853897216 19931 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208471 19931 13086 16 0 208455 0 vsize: 833884 [startup+30.0019 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 12169 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18011 0 1 0 2659 39 0 0 25 0 10 0 779456771 853897216 20409 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208471 20409 13086 16 0 208455 0 vsize: 833884 [startup+40.0028 s] Raw data (loadavg): 1.00 0.99 0.99 3/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18020 0 1 0 3567 40 0 0 25 0 10 0 779456771 856764416 21339 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209171 21339 13086 16 0 209155 0 vsize: 836684 [startup+50.0033 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18021 0 1 0 4456 40 0 0 25 0 10 0 779456771 858091520 21773 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209495 21773 13086 16 0 209479 0 vsize: 837980 [startup+60.003 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18021 0 1 0 5348 41 0 0 25 0 10 0 779456771 858091520 21976 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209495 21976 13086 16 0 209479 0 vsize: 837980 [startup+70.0038 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18022 0 1 0 6259 41 0 0 25 0 10 0 779456771 858091520 22239 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209495 22239 13086 16 0 209479 0 vsize: 837980 [startup+80.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 12169 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18022 0 1 0 7170 42 0 0 25 0 10 0 779456771 858091520 22477 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209495 22477 13086 16 0 209479 0 vsize: 837980 [startup+90.0084 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18073 0 1 0 8042 42 0 0 25 0 11 0 779456771 858853376 23766 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209681 23766 13086 16 0 209665 0 vsize: 838724 [startup+100.008 s] Raw data (loadavg): 1.53 1.10 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 8887 43 0 0 25 0 11 0 779456771 863830016 24970 4294967295 134512640 134569956 3221224368 3221214912 1130918811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 24970 13086 16 0 210880 0 vsize: 843584 [startup+110.008 s] Raw data (loadavg): 1.45 1.10 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 9832 44 0 0 25 0 11 0 779456771 863830016 25394 4294967295 134512640 134569956 3221224368 3221214600 1131231193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 25394 13086 16 0 210880 0 vsize: 843584 [startup+120.009 s] Raw data (loadavg): 1.38 1.09 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 10782 44 0 0 25 0 11 0 779456771 863830016 25394 4294967295 134512640 134569956 3221224368 3221214616 1131481027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 25394 13086 16 0 210880 0 vsize: 843584 [startup+130.01 s] Raw data (loadavg): 1.32 1.09 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 11740 44 0 0 25 0 11 0 779456771 863830016 25784 4294967295 134512640 134569956 3221224368 3221214520 1131485586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 25784 13086 16 0 210880 0 vsize: 843584 [startup+140.01 s] Raw data (loadavg): 1.27 1.09 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 12703 44 0 0 25 0 11 0 779456771 863830016 25791 4294967295 134512640 134569956 3221224368 3221214552 1131481013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 25791 13086 16 0 210880 0 vsize: 843584 [startup+150.011 s] Raw data (loadavg): 1.23 1.08 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 13660 44 0 0 25 0 11 0 779456771 863830016 25795 4294967295 134512640 134569956 3221224368 3221214544 1131362288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 25795 13086 16 0 210880 0 vsize: 843584 [startup+160.011 s] Raw data (loadavg): 1.19 1.08 1.03 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 14602 45 0 0 24 0 11 0 779456771 863830016 25967 4294967295 134512640 134569956 3221224368 3221214344 1131361783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 25967 13086 16 0 210880 0 vsize: 843584 [startup+170.012 s] Raw data (loadavg): 1.16 1.08 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 15553 45 0 0 25 0 11 0 779456771 863830016 26179 4294967295 134512640 134569956 3221224368 3221214520 1131485574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 26179 13086 16 0 210880 0 vsize: 843584 [startup+180.012 s] Raw data (loadavg): 1.14 1.07 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 16504 45 0 0 25 0 11 0 779456771 863830016 26305 4294967295 134512640 134569956 3221224368 3221214640 1131447259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 26305 13086 16 0 210880 0 vsize: 843584 [startup+190.014 s] Raw data (loadavg): 1.12 1.07 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 17456 45 0 0 25 0 11 0 779456771 863830016 26448 4294967295 134512640 134569956 3221224368 3221214448 1131343170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 26448 13086 16 0 210880 0 vsize: 843584 [startup+200.014 s] Raw data (loadavg): 1.10 1.07 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 18407 45 0 0 25 0 11 0 779456771 863830016 26641 4294967295 134512640 134569956 3221224368 3221214440 1131506609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 26641 13086 16 0 210880 0 vsize: 843584 [startup+210.015 s] Raw data (loadavg): 1.08 1.07 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 19358 46 0 0 25 0 11 0 779456771 863830016 26776 4294967295 134512640 134569956 3221224368 3221214544 1131361776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 26776 13086 16 0 210880 0 vsize: 843584 [startup+220.015 s] Raw data (loadavg): 1.07 1.06 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 20298 46 0 0 25 0 11 0 779456771 863830016 26989 4294967295 134512640 134569956 3221224368 3221214304 1131574264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 26989 13086 16 0 210880 0 vsize: 843584 [startup+230.016 s] Raw data (loadavg): 1.06 1.06 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 21247 46 0 0 25 0 11 0 779456771 863830016 27134 4294967295 134512640 134569956 3221224368 3221214448 1131342873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 27134 13086 16 0 210880 0 vsize: 843584 [startup+240.017 s] Raw data (loadavg): 1.05 1.06 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 22197 46 0 0 25 0 11 0 779456771 863830016 27269 4294967295 134512640 134569956 3221224368 3221214300 1131501161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 27269 13086 16 0 210880 0 vsize: 843584 [startup+250.017 s] Raw data (loadavg): 1.04 1.06 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 23145 46 0 0 25 0 11 0 779456771 863830016 27449 4294967295 134512640 134569956 3221224368 3221214440 1131506863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 27449 13086 16 0 210880 0 vsize: 843584 [startup+260.018 s] Raw data (loadavg): 1.03 1.05 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 24091 47 0 0 25 0 11 0 779456771 863830016 27714 4294967295 134512640 134569956 3221224368 3221214456 1131342881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 27714 13086 16 0 210880 0 vsize: 843584 [startup+270.018 s] Raw data (loadavg): 1.03 1.05 1.02 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 25042 47 0 0 25 0 11 0 779456771 863830016 27796 4294967295 134512640 134569956 3221224368 3221214448 1131343170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 27796 13086 16 0 210880 0 vsize: 843584 [startup+280.019 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 25980 48 0 0 25 0 11 0 779456771 863830016 28022 4294967295 134512640 134569956 3221224368 3221214520 1131485570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28022 13086 16 0 210880 0 vsize: 843584 [startup+290.02 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 26928 48 0 0 25 0 11 0 779456771 863830016 28197 4294967295 134512640 134569956 3221224368 3221214524 1131231157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28197 13086 16 0 210880 0 vsize: 843584 [startup+300.021 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 27877 49 0 0 25 0 11 0 779456771 863830016 28422 4294967295 134512640 134569956 3221224368 3221214440 1131507415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28422 13086 16 0 210880 0 vsize: 843584 [startup+310.021 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 28825 49 0 0 24 0 11 0 779456771 863830016 28614 4294967295 134512640 134569956 3221224368 3221214488 1131362343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28614 13086 16 0 210880 0 vsize: 843584 [startup+320.021 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18079 0 1 0 29773 50 0 0 25 0 11 0 779456771 863830016 28794 4294967295 134512640 134569956 3221224368 3221214544 1131484071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28794 13086 16 0 210880 0 vsize: 843584 [startup+330.022 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 30721 50 0 0 24 0 11 0 779456771 863830016 28985 4294967295 134512640 134569956 3221224368 3221214440 1131507386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 28985 13086 16 0 210880 0 vsize: 843584 [startup+340.023 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 31668 51 0 0 25 0 11 0 779456771 863830016 29180 4294967295 134512640 134569956 3221224368 3221214528 1131558979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29180 13086 16 0 210880 0 vsize: 843584 [startup+350.023 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 32616 51 0 0 25 0 11 0 779456771 863830016 29424 4294967295 134512640 134569956 3221224368 3221214552 1131481065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29424 13086 16 0 210880 0 vsize: 843584 [startup+360.024 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 33564 51 0 0 25 0 11 0 779456771 863830016 29620 4294967295 134512640 134569956 3221224368 3221214456 1131343354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29620 13086 16 0 210880 0 vsize: 843584 [startup+370.025 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 34523 52 0 0 25 0 11 0 779456771 863830016 29764 4294967295 134512640 134569956 3221224368 3221214640 1131447543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29764 13086 16 0 210880 0 vsize: 843584 [startup+380.025 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 35474 52 0 0 25 0 11 0 779456771 863830016 29891 4294967295 134512640 134569956 3221224368 3221214528 1131264723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29891 13086 16 0 210880 0 vsize: 843584 [startup+390.026 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 36424 53 0 0 25 0 11 0 779456771 863830016 29989 4294967295 134512640 134569956 3221224368 3221214448 1131343170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 29989 13086 16 0 210880 0 vsize: 843584 [startup+400.027 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 37363 53 0 0 25 0 11 0 779456771 863830016 30260 4294967295 134512640 134569956 3221224368 3221214544 1131362260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 30260 13086 16 0 210880 0 vsize: 843584 [startup+410.027 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 38303 53 0 0 25 0 11 0 779456771 863830016 30424 4294967295 134512640 134569956 3221224368 3221214544 1131484192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 30424 13086 16 0 210880 0 vsize: 843584 [startup+420.027 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 39252 53 0 0 25 0 11 0 779456771 863830016 30625 4294967295 134512640 134569956 3221224368 3221214544 1131362928 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 30625 13086 16 0 210880 0 vsize: 843584 [startup+430.028 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 40182 54 0 0 24 0 11 0 779456771 863830016 30756 4294967295 134512640 134569956 3221224368 3221214528 1131264710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 30756 13086 16 0 210880 0 vsize: 843584 [startup+440.028 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 41132 54 0 0 24 0 11 0 779456771 863830016 30863 4294967295 134512640 134569956 3221224368 3221214456 1131343460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 30863 13086 16 0 210880 0 vsize: 843584 [startup+450.029 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 42083 55 0 0 25 0 11 0 779456771 863830016 31096 4294967295 134512640 134569956 3221224368 3221214520 1131485578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31096 13086 16 0 210880 0 vsize: 843584 [startup+460.028 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 43035 55 0 0 25 0 11 0 779456771 863830016 31177 4294967295 134512640 134569956 3221224368 3221214288 1076460785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31177 13086 16 0 210880 0 vsize: 843584 [startup+470.029 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 43985 56 0 0 25 0 11 0 779456771 863830016 31384 4294967295 134512640 134569956 3221224368 3221214440 1131506716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31384 13086 16 0 210880 0 vsize: 843584 [startup+480.03 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 44936 56 0 0 25 0 11 0 779456771 863830016 31574 4294967295 134512640 134569956 3221224368 3221214552 1131481078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31574 13086 16 0 210880 0 vsize: 843584 [startup+490.03 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 45885 57 0 0 25 0 11 0 779456771 863830016 31678 4294967295 134512640 134569956 3221224368 3221214500 1130885163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31678 13086 16 0 210880 0 vsize: 843584 [startup+500.031 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 46820 57 0 0 25 0 11 0 779456771 863830016 31931 4294967295 134512640 134569956 3221224368 3221214544 1131362292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 31931 13086 16 0 210880 0 vsize: 843584 [startup+510.03 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 47763 57 0 0 25 0 11 0 779456771 863830016 32155 4294967295 134512640 134569956 3221224368 3221214484 1131226151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 32155 13086 16 0 210880 0 vsize: 843584 [startup+520.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 48709 57 0 0 25 0 11 0 779456771 863830016 32385 4294967295 134512640 134569956 3221224368 3221214448 1131343256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 32385 13086 16 0 210880 0 vsize: 843584 [startup+530.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 49656 58 0 0 25 0 11 0 779456771 863830016 32576 4294967295 134512640 134569956 3221224368 3221214456 1131343213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 32576 13086 16 0 210880 0 vsize: 843584 [startup+540.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 50602 58 0 0 25 0 11 0 779456771 863830016 32828 4294967295 134512640 134569956 3221224368 3221214500 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 32828 13086 16 0 210880 0 vsize: 843584 [startup+550.034 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 51551 58 0 0 25 0 11 0 779456771 863830016 32965 4294967295 134512640 134569956 3221224368 3221214640 1131448742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 32965 13086 16 0 210880 0 vsize: 843584 [startup+560.034 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 52500 59 0 0 25 0 11 0 779456771 863830016 33018 4294967295 134512640 134569956 3221224368 3221214440 1131505977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33018 13086 16 0 210880 0 vsize: 843584 [startup+570.034 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 53440 59 0 0 25 0 11 0 779456771 863830016 33155 4294967295 134512640 134569956 3221224368 3221214528 1131222739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33155 13086 16 0 210880 0 vsize: 843584 [startup+580.035 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 54388 59 0 0 25 0 11 0 779456771 863830016 33320 4294967295 134512640 134569956 3221224368 3221214504 1131231216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33320 13086 16 0 210880 0 vsize: 843584 [startup+590.035 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 55341 59 0 0 25 0 11 0 779456771 863830016 33545 4294967295 134512640 134569956 3221224368 3221214456 1131342901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33545 13086 16 0 210880 0 vsize: 843584 [startup+600.036 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 56297 60 0 0 25 0 11 0 779456771 863830016 33771 4294967295 134512640 134569956 3221224368 3221214456 1131343350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33771 13086 16 0 210880 0 vsize: 843584 [startup+610.037 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18080 0 1 0 57255 60 0 0 25 0 11 0 779456771 863830016 33833 4294967295 134512640 134569956 3221224368 3221213152 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33833 13086 16 0 210880 0 vsize: 843584 [startup+620.037 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 58198 60 0 0 25 0 11 0 779456771 863830016 33942 4294967295 134512640 134569956 3221224368 3221214432 1131644362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 33942 13086 16 0 210880 0 vsize: 843584 [startup+630.037 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 59149 60 0 0 25 0 11 0 779456771 863830016 34061 4294967295 134512640 134569956 3221224368 3221214528 1131222723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 34061 13086 16 0 210880 0 vsize: 843584 [startup+640.039 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 60097 60 0 0 25 0 11 0 779456771 863830016 34190 4294967295 134512640 134569956 3221224368 3221214748 1131469043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 34190 13086 16 0 210880 0 vsize: 843584 [startup+650.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 61040 61 0 0 25 0 11 0 779456771 863830016 34539 4294967295 134512640 134569956 3221224368 3221214528 1131222603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 34539 13086 16 0 210880 0 vsize: 843584 [startup+660.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 61987 61 0 0 24 0 11 0 779456771 863830016 34828 4294967295 134512640 134569956 3221224368 3221214488 1131479811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 34828 13086 16 0 210880 0 vsize: 843584 [startup+670.041 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 62936 61 0 0 24 0 11 0 779456771 863830016 35026 4294967295 134512640 134569956 3221224368 3221214528 1131222824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35026 13086 16 0 210880 0 vsize: 843584 [startup+680.041 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18080 0 1 0 63886 62 0 0 25 0 11 0 779456771 863830016 35177 4294967295 134512640 134569956 3221224368 3221213152 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35177 13086 16 0 210880 0 vsize: 843584 [startup+690.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 64837 62 0 0 25 0 11 0 779456771 863830016 35327 4294967295 134512640 134569956 3221224368 3221214456 1131343110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35327 13086 16 0 210880 0 vsize: 843584 [startup+700.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 65796 63 0 0 25 0 11 0 779456771 863830016 35484 4294967295 134512640 134569956 3221224368 3221214432 1131570468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35484 13086 16 0 210880 0 vsize: 843584 [startup+710.044 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 66743 63 0 0 25 0 11 0 779456771 863830016 35636 4294967295 134512640 134569956 3221224368 3221214520 1131485560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35636 13086 16 0 210880 0 vsize: 843584 [startup+720.044 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 67690 63 0 0 25 0 11 0 779456771 863830016 35833 4294967295 134512640 134569956 3221224368 3221213872 1131645686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35833 13086 16 0 210880 0 vsize: 843584 [startup+730.045 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 68638 63 0 0 25 0 11 0 779456771 863830016 35959 4294967295 134512640 134569956 3221224368 3221214528 1131222773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 35959 13086 16 0 210880 0 vsize: 843584 [startup+740.045 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 69584 64 0 0 25 0 11 0 779456771 863830016 36133 4294967295 134512640 134569956 3221224368 3221214520 1131485614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 36133 13086 16 0 210880 0 vsize: 843584 [startup+750.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 70530 65 0 0 25 0 11 0 779456771 863830016 36299 4294967295 134512640 134569956 3221224368 3221214456 1131343370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 36299 13086 16 0 210880 0 vsize: 843584 [startup+760.046 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 71476 65 0 0 25 0 11 0 779456771 863830016 36462 4294967295 134512640 134569956 3221224368 3221214264 1076461017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 36462 13086 16 0 210880 0 vsize: 843584 [startup+770.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 72422 65 0 0 25 0 11 0 779456771 863830016 36632 4294967295 134512640 134569956 3221224368 3221214560 1131354389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 36632 13086 16 0 210880 0 vsize: 843584 [startup+780.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 73368 66 0 0 25 0 11 0 779456771 863830016 36802 4294967295 134512640 134569956 3221224368 3221214440 1131507608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 36802 13086 16 0 210880 0 vsize: 843584 [startup+790.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 74315 66 0 0 25 0 11 0 779456771 863830016 36937 4294967295 134512640 134569956 3221224368 3221214520 1131485614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 36937 13086 16 0 210880 0 vsize: 843584 [startup+800.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 75261 66 0 0 25 0 11 0 779456771 863830016 37151 4294967295 134512640 134569956 3221224368 3221214512 1131508430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 37151 13086 16 0 210880 0 vsize: 843584 [startup+810.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 76207 66 0 0 25 0 11 0 779456771 863830016 37330 4294967295 134512640 134569956 3221224368 3221214372 1078032617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 37330 13086 16 0 210880 0 vsize: 843584 [startup+820.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 77153 67 0 0 25 0 11 0 779456771 863830016 37498 4294967295 134512640 134569956 3221224368 3221214528 1131343213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 37498 13086 16 0 210880 0 vsize: 843584 [startup+830.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 78100 67 0 0 25 0 11 0 779456771 863830016 37624 4294967295 134512640 134569956 3221224368 3221214248 1131645759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 37624 13086 16 0 210880 0 vsize: 843584 [startup+840.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 79044 68 0 0 24 0 11 0 779456771 863830016 37850 4294967295 134512640 134569956 3221224368 3221214540 1131226144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 37850 13086 16 0 210880 0 vsize: 843584 [startup+850.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 80003 68 0 0 25 0 11 0 779456771 863830016 37919 4294967295 134512640 134569956 3221224368 3221214148 1131644368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 37919 13086 16 0 210880 0 vsize: 843584 [startup+860.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 80942 68 0 0 25 0 11 0 779456771 863830016 38037 4294967295 134512640 134569956 3221224368 3221214640 1131447443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38037 13086 16 0 210880 0 vsize: 843584 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 81894 68 0 0 25 0 11 0 779456771 863830016 38205 4294967295 134512640 134569956 3221224368 3221214624 1131481192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38205 13086 16 0 210880 0 vsize: 843584 [startup+880.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 82846 68 0 0 25 0 11 0 779456771 863830016 38386 4294967295 134512640 134569956 3221224368 3221214520 1131343090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38386 13086 16 0 210880 0 vsize: 843584 [startup+890.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 83797 68 0 0 25 0 11 0 779456771 863830016 38517 4294967295 134512640 134569956 3221224368 3221214528 1131343213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38517 13086 16 0 210880 0 vsize: 843584 [startup+900.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 84745 68 0 0 25 0 11 0 779456771 863830016 38714 4294967295 134512640 134569956 3221224368 3221214512 1131506749 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38714 13086 16 0 210880 0 vsize: 843584 [startup+910.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 85689 68 0 0 25 0 11 0 779456771 863830016 38855 4294967295 134512640 134569956 3221224368 3221214624 1131481090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 38855 13086 16 0 210880 0 vsize: 843584 [startup+920.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 86633 69 0 0 25 0 11 0 779456771 863830016 39044 4294967295 134512640 134569956 3221224368 3221214512 1131505959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39044 13086 16 0 210880 0 vsize: 843584 [startup+930.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 87578 69 0 0 25 0 11 0 779456771 863830016 39256 4294967295 134512640 134569956 3221224368 3221214592 1131485552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39256 13086 16 0 210880 0 vsize: 843584 [startup+940.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 88524 69 0 0 25 0 11 0 779456771 863830016 39436 4294967295 134512640 134569956 3221224368 3221214528 1131343170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39436 13086 16 0 210880 0 vsize: 843584 [startup+950.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 89470 70 0 0 25 0 11 0 779456771 863830016 39648 4294967295 134512640 134569956 3221224368 3221214408 1131649276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39648 13086 16 0 210880 0 vsize: 843584 [startup+960.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18080 0 1 0 90408 70 0 0 25 0 11 0 779456771 863830016 39803 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39803 13086 16 0 210880 0 vsize: 843584 [startup+970.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 91351 71 0 0 25 0 11 0 779456771 863830016 39985 4294967295 134512640 134569956 3221224368 3221214528 1131343244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 39985 13086 16 0 210880 0 vsize: 843584 [startup+980.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 92297 71 0 0 25 0 11 0 779456771 863830016 40181 4294967295 134512640 134569956 3221224368 3221214528 1131343052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 40181 13086 16 0 210880 0 vsize: 843584 [startup+990.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 93242 72 0 0 25 0 11 0 779456771 863830016 40363 4294967295 134512640 134569956 3221224368 3221214600 1131222791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210896 40363 13086 16 0 210880 0 vsize: 843584 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18080 0 1 0 94179 72 0 0 25 0 11 0 779456771 863830016 40559 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 40559 13086 16 0 210880 0 vsize: 843584 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 95122 73 0 0 25 0 11 0 779456771 863830016 40793 4294967295 134512640 134569956 3221224368 3221214568 1131622329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 40793 13086 16 0 210880 0 vsize: 843584 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 96067 73 0 0 25 0 11 0 779456771 863830016 40992 4294967295 134512640 134569956 3221224368 3221214520 1131343394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 40992 13086 16 0 210880 0 vsize: 843584 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 97023 73 0 0 25 0 11 0 779456771 863830016 41133 4294967295 134512640 134569956 3221224368 3221214592 1131485614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 41133 13086 16 0 210880 0 vsize: 843584 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 97968 74 0 0 25 0 11 0 779456771 863830016 41326 4294967295 134512640 134569956 3221224368 3221214520 1131343554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 41326 13086 16 0 210880 0 vsize: 843584 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 98924 74 0 0 25 0 11 0 779456771 863830016 41495 4294967295 134512640 134569956 3221224368 3221214616 1131484078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 41495 13086 16 0 210880 0 vsize: 843584 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 99870 75 0 0 25 0 11 0 779456771 863830016 41726 4294967295 134512640 134569956 3221224368 3221214040 1131644292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 41726 13086 16 0 210880 0 vsize: 843584 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 100818 75 0 0 25 0 11 0 779456771 863830016 41927 4294967295 134512640 134569956 3221224368 3221214528 1131342980 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 41927 13086 16 0 210880 0 vsize: 843584 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 101775 76 0 0 25 0 11 0 779456771 863830016 42069 4294967295 134512640 134569956 3221224368 3221214624 1131481027 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 42069 13086 16 0 210880 0 vsize: 843584 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 102721 77 0 0 25 0 11 0 779456771 863830016 42280 4294967295 134512640 134569956 3221224368 3221214528 1131343213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 42280 13086 16 0 210880 0 vsize: 843584 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 103658 77 0 0 25 0 11 0 779456771 863830016 43170 4294967295 134512640 134569956 3221224368 3221214600 1131264737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 43170 13086 16 0 210880 0 vsize: 843584 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 104606 78 0 0 25 0 11 0 779456771 863830016 43422 4294967295 134512640 134569956 3221224368 3221214512 1131506351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 43422 13086 16 0 210880 0 vsize: 843584 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 105566 78 0 0 25 0 11 0 779456771 863830016 43601 4294967295 134512640 134569956 3221224368 3221214592 1131485552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 43601 13086 16 0 210880 0 vsize: 843584 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 106527 78 0 0 25 0 11 0 779456771 863830016 44048 4294967295 134512640 134569956 3221224368 3221214600 1131222718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44048 13086 16 0 210880 0 vsize: 843584 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 107482 78 0 0 25 0 11 0 779456771 863830016 44048 4294967295 134512640 134569956 3221224368 3221214560 1131520060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44048 13086 16 0 210880 0 vsize: 843584 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 108430 79 0 0 25 0 11 0 779456771 863830016 44195 4294967295 134512640 134569956 3221224368 3221214528 1131343052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44195 13086 16 0 210880 0 vsize: 843584 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 109377 79 0 0 25 0 11 0 779456771 863830016 44422 4294967295 134512640 134569956 3221224368 3221214512 1131506655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44422 13086 16 0 210880 0 vsize: 843584 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 110324 80 0 0 25 0 11 0 779456771 863830016 44577 4294967295 134512640 134569956 3221224368 3221214592 1131485614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44577 13086 16 0 210880 0 vsize: 843584 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 111270 80 0 0 25 0 11 0 779456771 863830016 44769 4294967295 134512640 134569956 3221224368 3221214512 1131506361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44769 13086 16 0 210880 0 vsize: 843584 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) S 12159 31399 31398 0 -1 0 18080 0 1 0 112220 81 0 0 25 0 11 0 779456771 863830016 44884 4294967295 134512640 134569956 3221224368 3221213128 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 44884 13086 16 0 210880 0 vsize: 843584 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 113171 81 0 0 25 0 11 0 779456771 863830016 45078 4294967295 134512640 134569956 3221224368 3221214520 1131343354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45078 13086 16 0 210880 0 vsize: 843584 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 114105 82 0 0 25 0 11 0 779456771 863830016 45317 4294967295 134512640 134569956 3221224368 3221214544 1131362167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45317 13086 16 0 210880 0 vsize: 843584 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 115062 82 0 0 25 0 11 0 779456771 863830016 45359 4294967295 134512640 134569956 3221224368 3221214640 1131447443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45359 13086 16 0 210880 0 vsize: 843584 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 115999 82 0 0 24 0 11 0 779456771 863830016 45443 4294967295 134512640 134569956 3221224368 3221214544 1131362284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45443 13086 16 0 210880 0 vsize: 843584 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 116945 82 0 0 25 0 11 0 779456771 863830016 45667 4294967295 134512640 134569956 3221224368 3221213824 1131644316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45667 13086 16 0 210880 0 vsize: 843584 [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 117902 83 0 0 25 0 11 0 779456771 863830016 45898 4294967295 134512640 134569956 3221224368 3221213824 1131644337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 45898 13086 16 0 210880 0 vsize: 843584 [startup+1260.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 118876 83 0 0 25 0 11 0 779456771 863830016 46063 4294967295 134512640 134569956 3221224368 3221214616 1131484186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 46063 13086 16 0 210880 0 vsize: 843584 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 119836 84 0 0 25 0 11 0 779456771 863830016 46191 4294967295 134512640 134569956 3221224368 3221214520 1131343168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 46191 13086 16 0 210880 0 vsize: 843584 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12170 Raw data (stat): 12160 (java) R 12159 31399 31398 0 -1 0 18080 0 1 0 120797 84 0 0 25 0 11 0 779456771 863830016 46230 4294967295 134512640 134569956 3221224368 3221214616 1131484095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210896 46230 13086 16 0 210880 0 vsize: 843584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.24 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 12172 Raw data (stat): 12160 (java) Z 12159 31399 31398 0 -1 1036 18080 34475 1 0 120802 92 8533 76 25 0 1 0 779456771 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): 1280.24 CPU time (s): 1295.04 CPU user time (s): 1293.35 CPU system time (s): 1.69074 CPU usage (%): 101.156 Max. virtual memory (Kb): 843584 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####