Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb |
MD5SUM | bd10fa79b23828275cb10d42f37d9d27 |
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 | 854 |
Biggest coefficient in the objective function | 8192000 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 73033031 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 5548468076544 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 95967816416175 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.223965 |
Number of variables | 2608 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 280 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 12:10:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21252 boxname=wulflinc9 idbench=1240 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: bd10fa79b23828275cb10d42f37d9d27 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-recipe.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-recipe.opb IDLAUNCH: 21252 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 460060 kB Buffers: 34840 kB Cached: 518368 kB SwapCached: 584 kB Active: 55012 kB Inactive: 500308 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 459808 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5416 kB Slab: 13652 kB Committed_AS: 63564 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:31:38 (client local time) WITH STATUS 143 IN 1246.34 SECONDS stats: 21252 7 1246.34 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/wulflinc9/normalized-mps-v2-13-7-recipe.opb c reading problem ... done. Time 5.133 ms. c #vars 2608 c #constraints 219 c starts : 9 c conflicts : 6647 c decisions : 10695 c propagations : 35627 c inspects : 10321483 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6647 c root simplifications : 25 s UNKNOWN c Total CPU time (ms) : 1239.256 #### 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.94 1.01 0.99 2/54 19852 Raw data (stat): 19852 (runsolver) R 19851 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780552986 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): 1.10 1.04 1.01 5/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18074 0 1 0 722 40 0 0 25 0 11 0 780552986 861458432 21035 4294967295 134512640 134569956 3221224368 3221213480 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210317 21035 13086 16 0 210301 0 vsize: 841268 [startup+20.0009 s] Raw data (loadavg): 1.23 1.07 1.02 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 1517 40 0 0 25 0 11 0 780552986 871350272 24364 4294967295 134512640 134569956 3221224368 3221214852 1131186976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212732 24364 13086 16 0 212716 0 vsize: 850928 [startup+30.0054 s] Raw data (loadavg): 1.20 1.07 1.01 2/64 19862 Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 2449 40 0 0 25 0 11 0 780552986 871186432 24556 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212692 24556 13086 16 0 212676 0 vsize: 850768 [startup+40.006 s] Raw data (loadavg): 1.16 1.06 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 3377 40 0 0 25 0 11 0 780552986 867831808 23922 4294967295 134512640 134569956 3221224368 3221214584 1131187033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 23922 13086 16 0 211857 0 vsize: 847492 [startup+50.0071 s] Raw data (loadavg): 1.14 1.06 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 4318 40 0 0 25 0 11 0 780552986 867831808 24068 4294967295 134512640 134569956 3221224368 3221214464 1131343558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24068 13086 16 0 211857 0 vsize: 847492 [startup+60.007 s] Raw data (loadavg): 1.12 1.06 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 5256 40 0 0 25 0 11 0 780552986 867831808 24307 4294967295 134512640 134569956 3221224368 3221214264 1085679346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24307 13086 16 0 211857 0 vsize: 847492 [startup+70.0073 s] Raw data (loadavg): 1.10 1.06 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 6213 40 0 0 25 0 11 0 780552986 867831808 24550 4294967295 134512640 134569956 3221224368 3221214648 1131680943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24550 13086 16 0 211857 0 vsize: 847492 [startup+80.0075 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 7174 41 0 0 25 0 11 0 780552986 867831808 24669 4294967295 134512640 134569956 3221224368 3221214376 1131720193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24669 13086 16 0 211857 0 vsize: 847492 [startup+90.013 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 19862 Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 8128 41 0 0 25 0 11 0 780552986 867831808 24822 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24822 13086 16 0 211857 0 vsize: 847492 [startup+100.014 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 9089 41 0 0 25 0 11 0 780552986 867831808 24970 4294967295 134512640 134569956 3221224368 3221214808 1131187033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 24970 13086 16 0 211857 0 vsize: 847492 [startup+110.014 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 10055 41 0 0 24 0 11 0 780552986 867831808 25094 4294967295 134512640 134569956 3221224368 3221214400 1085679346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 25094 13086 16 0 211857 0 vsize: 847492 [startup+120.017 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 19862 Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 11026 41 0 0 25 0 11 0 780552986 867831808 25205 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 25205 13086 16 0 211857 0 vsize: 847492 [startup+130.018 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 12000 41 0 0 25 0 11 0 780552986 867831808 25286 4294967295 134512640 134569956 3221224368 3221214560 1131318810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25286 13086 16 0 211857 0 vsize: 847492 [startup+140.018 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 12972 42 0 0 25 0 11 0 780552986 867831808 25367 4294967295 134512640 134569956 3221224368 3221214648 1131683887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 25367 13086 16 0 211857 0 vsize: 847492 [startup+150.019 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 13945 42 0 0 25 0 11 0 780552986 867831808 25438 4294967295 134512640 134569956 3221224368 3221213944 1131484954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25438 13086 16 0 211857 0 vsize: 847492 [startup+160.02 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 14923 42 0 0 25 0 11 0 780552986 867831808 25498 4294967295 134512640 134569956 3221224368 3221214560 1131318810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25498 13086 16 0 211857 0 vsize: 847492 [startup+170.021 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 15899 43 0 0 25 0 11 0 780552986 867831808 25566 4294967295 134512640 134569956 3221224368 3221214616 1131251701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25566 13086 16 0 211857 0 vsize: 847492 [startup+180.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 16878 43 0 0 25 0 11 0 780552986 867831808 25621 4294967295 134512640 134569956 3221224368 3221214484 1131484944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25621 13086 16 0 211857 0 vsize: 847492 [startup+190.022 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 17862 44 0 0 25 0 11 0 780552986 867831808 25677 4294967295 134512640 134569956 3221224368 3221214560 1131207088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25677 13086 16 0 211857 0 vsize: 847492 [startup+200.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 18843 44 0 0 25 0 11 0 780552986 867831808 25726 4294967295 134512640 134569956 3221224368 3221214632 1131339337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 25726 13086 16 0 211857 0 vsize: 847492 [startup+210.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 19827 44 0 0 25 0 11 0 780552986 867831808 25760 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25760 13086 16 0 211857 0 vsize: 847492 [startup+220.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 20807 45 0 0 25 0 11 0 780552986 867831808 25799 4294967295 134512640 134569956 3221224368 3221214648 1131690432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25799 13086 16 0 211857 0 vsize: 847492 [startup+230.024 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 21792 45 0 0 25 0 11 0 780552986 867831808 25825 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 25825 13086 16 0 211857 0 vsize: 847492 [startup+240.024 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 22772 45 0 0 25 0 11 0 780552986 867831808 25865 4294967295 134512640 134569956 3221224368 3221214640 1131217468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25865 13086 16 0 211857 0 vsize: 847492 [startup+250.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 23751 46 0 0 24 0 11 0 780552986 867831808 25905 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25905 13086 16 0 211857 0 vsize: 847492 [startup+260.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 24733 46 0 0 25 0 11 0 780552986 867831808 25939 4294967295 134512640 134569956 3221224368 3221214216 1131484924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25939 13086 16 0 211857 0 vsize: 847492 [startup+270.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 25710 47 0 0 25 0 11 0 780552986 867831808 25981 4294967295 134512640 134569956 3221224368 3221214648 1131687384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 25981 13086 16 0 211857 0 vsize: 847492 [startup+280.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 26690 47 0 0 25 0 11 0 780552986 867831808 26023 4294967295 134512640 134569956 3221224368 3221214392 1131586872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26023 13086 16 0 211857 0 vsize: 847492 [startup+290.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 27668 48 0 0 25 0 11 0 780552986 867831808 26063 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26063 13086 16 0 211857 0 vsize: 847492 [startup+300.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 28649 48 0 0 25 0 11 0 780552986 867831808 26103 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26103 13086 16 0 211857 0 vsize: 847492 [startup+310.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 29629 48 0 0 25 0 11 0 780552986 867831808 26139 4294967295 134512640 134569956 3221224368 3221214648 1131682332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26139 13086 16 0 211857 0 vsize: 847492 [startup+320.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 30606 48 0 0 25 0 11 0 780552986 867831808 26188 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26188 13086 16 0 211857 0 vsize: 847492 [startup+330.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 31576 49 0 0 25 0 11 0 780552986 867831808 26261 4294967295 134512640 134569956 3221224368 3221214560 1131318697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26261 13086 16 0 211857 0 vsize: 847492 [startup+340.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 32555 49 0 0 25 0 11 0 780552986 867831808 26311 4294967295 134512640 134569956 3221224368 3221214264 1131583796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26311 13086 16 0 211857 0 vsize: 847492 [startup+350.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 33531 49 0 0 25 0 11 0 780552986 867831808 26357 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26357 13086 16 0 211857 0 vsize: 847492 [startup+360.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 34510 49 0 0 25 0 11 0 780552986 867831808 26434 4294967295 134512640 134569956 3221224368 3221214560 1131319017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26434 13086 16 0 211857 0 vsize: 847492 [startup+370.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 35493 50 0 0 25 0 11 0 780552986 867831808 26482 4294967295 134512640 134569956 3221224368 3221214560 1131318766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26482 13086 16 0 211857 0 vsize: 847492 [startup+380.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 36475 50 0 0 25 0 11 0 780552986 867831808 26513 4294967295 134512640 134569956 3221224368 3221214552 1131315767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26513 13086 16 0 211857 0 vsize: 847492 [startup+390.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 37460 50 0 0 25 0 11 0 780552986 867831808 26543 4294967295 134512640 134569956 3221224368 3221214560 1131318825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26543 13086 16 0 211857 0 vsize: 847492 [startup+400.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 38443 51 0 0 25 0 11 0 780552986 867831808 26571 4294967295 134512640 134569956 3221224368 3221214536 1131590960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26571 13086 16 0 211857 0 vsize: 847492 [startup+410.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 39424 51 0 0 25 0 11 0 780552986 867831808 26595 4294967295 134512640 134569956 3221224368 3221214616 1131350252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26595 13086 16 0 211857 0 vsize: 847492 [startup+420.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 40400 52 0 0 25 0 11 0 780552986 867831808 26625 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26625 13086 16 0 211857 0 vsize: 847492 [startup+430.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 41378 52 0 0 25 0 11 0 780552986 867831808 26653 4294967295 134512640 134569956 3221224368 3221214632 1131382266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26653 13086 16 0 211857 0 vsize: 847492 [startup+440.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 42351 52 0 0 25 0 11 0 780552986 867831808 26705 4294967295 134512640 134569956 3221224368 3221214400 1131584865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26705 13086 16 0 211857 0 vsize: 847492 [startup+450.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 43329 52 0 0 25 0 11 0 780552986 867831808 26766 4294967295 134512640 134569956 3221224368 3221214036 1131484939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26766 13086 16 0 211857 0 vsize: 847492 [startup+460.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 44305 53 0 0 25 0 11 0 780552986 867831808 26824 4294967295 134512640 134569956 3221224368 3221214560 1131318781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26824 13086 16 0 211857 0 vsize: 847492 [startup+470.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 45281 54 0 0 25 0 11 0 780552986 867831808 26871 4294967295 134512640 134569956 3221224368 3221214560 1131319397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26871 13086 16 0 211857 0 vsize: 847492 [startup+480.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 46257 54 0 0 25 0 11 0 780552986 867831808 26917 4294967295 134512640 134569956 3221224368 3221214648 1131683118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26917 13086 16 0 211857 0 vsize: 847492 [startup+490.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 47233 54 0 0 25 0 11 0 780552986 867831808 26958 4294967295 134512640 134569956 3221224368 3221214560 1131319225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 26958 13086 16 0 211857 0 vsize: 847492 [startup+500.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 48209 54 0 0 25 0 11 0 780552986 867831808 27005 4294967295 134512640 134569956 3221224368 3221214036 1131484944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27005 13086 16 0 211857 0 vsize: 847492 [startup+510.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 49189 55 0 0 25 0 11 0 780552986 867831808 27038 4294967295 134512640 134569956 3221224368 3221214484 1131484944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27038 13086 16 0 211857 0 vsize: 847492 [startup+520.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 50164 55 0 0 25 0 11 0 780552986 867831808 27102 4294967295 134512640 134569956 3221224368 3221214560 1131318846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27102 13086 16 0 211857 0 vsize: 847492 [startup+530.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 51136 55 0 0 25 0 11 0 780552986 867831808 27157 4294967295 134512640 134569956 3221224368 3221214560 1131318958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27157 13086 16 0 211857 0 vsize: 847492 [startup+540.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 52112 56 0 0 25 0 11 0 780552986 867831808 27204 4294967295 134512640 134569956 3221224368 3221214560 1131206522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27204 13086 16 0 211857 0 vsize: 847492 [startup+550.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 53089 56 0 0 25 0 11 0 780552986 867831808 27249 4294967295 134512640 134569956 3221224368 3221214400 1085679449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27249 13086 16 0 211857 0 vsize: 847492 [startup+560.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 54066 56 0 0 25 0 11 0 780552986 867831808 27298 4294967295 134512640 134569956 3221224368 3221214528 1131481493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27298 13086 16 0 211857 0 vsize: 847492 [startup+570.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 55045 56 0 0 25 0 11 0 780552986 867831808 27358 4294967295 134512640 134569956 3221224368 3221214552 1131315083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27358 13086 16 0 211857 0 vsize: 847492 [startup+580.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 56020 57 0 0 24 0 11 0 780552986 867831808 27404 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27404 13086 16 0 211857 0 vsize: 847492 [startup+590.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 57000 57 0 0 25 0 11 0 780552986 867831808 27441 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27441 13086 16 0 211857 0 vsize: 847492 [startup+600.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 57979 57 0 0 25 0 11 0 780552986 867831808 27480 4294967295 134512640 134569956 3221224368 3221214648 1131682828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27480 13086 16 0 211857 0 vsize: 847492 [startup+610.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 58957 58 0 0 25 0 11 0 780552986 867831808 27520 4294967295 134512640 134569956 3221224368 3221214560 1131319473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27520 13086 16 0 211857 0 vsize: 847492 [startup+620.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 59939 59 0 0 25 0 11 0 780552986 867831808 27549 4294967295 134512640 134569956 3221224368 3221214220 1131485030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27549 13086 16 0 211857 0 vsize: 847492 [startup+630.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 60920 59 0 0 25 0 11 0 780552986 867831808 27579 4294967295 134512640 134569956 3221224368 3221214264 1131581018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27579 13086 16 0 211857 0 vsize: 847492 [startup+640.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 61906 59 0 0 25 0 11 0 780552986 867831808 27604 4294967295 134512640 134569956 3221224368 3221214128 1085679438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 27604 13086 16 0 211857 0 vsize: 847492 [startup+650.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 62883 59 0 0 24 0 11 0 780552986 867831808 27653 4294967295 134512640 134569956 3221224368 3221214648 1131680894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27653 13086 16 0 211857 0 vsize: 847492 [startup+660.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 63864 59 0 0 25 0 11 0 780552986 867831808 27692 4294967295 134512640 134569956 3221224368 3221213904 1131484868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27692 13086 16 0 211857 0 vsize: 847492 [startup+670.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 64845 59 0 0 25 0 11 0 780552986 867831808 27729 4294967295 134512640 134569956 3221224368 3221214256 1131582519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27729 13086 16 0 211857 0 vsize: 847492 [startup+680.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 65833 59 0 0 25 0 11 0 780552986 867831808 27750 4294967295 134512640 134569956 3221224368 3221213720 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27750 13086 16 0 211857 0 vsize: 847492 [startup+690.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 66821 60 0 0 24 0 11 0 780552986 867831808 27763 4294967295 134512640 134569956 3221224368 3221214648 1131682649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27763 13086 16 0 211857 0 vsize: 847492 [startup+700.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 67809 60 0 0 25 0 11 0 780552986 867831808 27772 4294967295 134512640 134569956 3221224368 3221213940 1131484944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27772 13086 16 0 211857 0 vsize: 847492 [startup+710.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 68790 60 0 0 25 0 11 0 780552986 867831808 27794 4294967295 134512640 134569956 3221224368 3221214044 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27794 13086 16 0 211857 0 vsize: 847492 [startup+720.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 69774 60 0 0 25 0 11 0 780552986 867831808 27817 4294967295 134512640 134569956 3221224368 3221214560 1131318877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27817 13086 16 0 211857 0 vsize: 847492 [startup+730.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 70755 60 0 0 24 0 11 0 780552986 867831808 27846 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27846 13086 16 0 211857 0 vsize: 847492 [startup+740.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 71739 61 0 0 25 0 11 0 780552986 867831808 27867 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27867 13086 16 0 211857 0 vsize: 847492 [startup+750.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 72716 61 0 0 25 0 11 0 780552986 867831808 27896 4294967295 134512640 134569956 3221224368 3221214648 1131683039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27896 13086 16 0 211857 0 vsize: 847492 [startup+760.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 73695 61 0 0 25 0 11 0 780552986 867831808 27924 4294967295 134512640 134569956 3221224368 3221214536 1131582452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27924 13086 16 0 211857 0 vsize: 847492 [startup+770.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 74673 62 0 0 25 0 11 0 780552986 867831808 27957 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27957 13086 16 0 211857 0 vsize: 847492 [startup+780.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 75649 62 0 0 24 0 11 0 780552986 867831808 27994 4294967295 134512640 134569956 3221224368 3221214560 1131319575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 27994 13086 16 0 211857 0 vsize: 847492 [startup+790.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 76629 63 0 0 25 0 11 0 780552986 867831808 28025 4294967295 134512640 134569956 3221224368 3221214648 1131687550 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28025 13086 16 0 211857 0 vsize: 847492 [startup+800.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 77612 63 0 0 25 0 11 0 780552986 867831808 28049 4294967295 134512640 134569956 3221224368 3221214264 1131594636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28049 13086 16 0 211857 0 vsize: 847492 [startup+810.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 78593 64 0 0 25 0 11 0 780552986 867831808 28066 4294967295 134512640 134569956 3221224368 3221213992 1131484945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28066 13086 16 0 211857 0 vsize: 847492 [startup+820.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 79577 64 0 0 25 0 11 0 780552986 867831808 28084 4294967295 134512640 134569956 3221224368 3221214560 1131318852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28084 13086 16 0 211857 0 vsize: 847492 [startup+830.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 80558 65 0 0 25 0 11 0 780552986 867831808 28095 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28095 13086 16 0 211857 0 vsize: 847492 [startup+840.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 81538 65 0 0 25 0 11 0 780552986 867831808 28108 4294967295 134512640 134569956 3221224368 3221214552 1131315120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28108 13086 16 0 211857 0 vsize: 847492 [startup+850.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 82519 65 0 0 25 0 11 0 780552986 867831808 28125 4294967295 134512640 134569956 3221224368 3221213992 1131579589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28125 13086 16 0 211857 0 vsize: 847492 [startup+860.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 83499 66 0 0 25 0 11 0 780552986 867831808 28143 4294967295 134512640 134569956 3221224368 3221214560 1131318747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28143 13086 16 0 211857 0 vsize: 847492 [startup+870.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 84480 66 0 0 25 0 11 0 780552986 867831808 28159 4294967295 134512640 134569956 3221224368 3221213992 1085679358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28159 13086 16 0 211857 0 vsize: 847492 [startup+880.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 85457 67 0 0 25 0 11 0 780552986 867831808 28181 4294967295 134512640 134569956 3221224368 3221214560 1131318852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28181 13086 16 0 211857 0 vsize: 847492 [startup+890.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 86438 67 0 0 25 0 11 0 780552986 867831808 28200 4294967295 134512640 134569956 3221224368 3221214216 1131484945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28200 13086 16 0 211857 0 vsize: 847492 [startup+900.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 87418 68 0 0 25 0 11 0 780552986 867831808 28216 4294967295 134512640 134569956 3221224368 3221214648 1131680943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28216 13086 16 0 211857 0 vsize: 847492 [startup+910.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 88400 68 0 0 25 0 11 0 780552986 867831808 28232 4294967295 134512640 134569956 3221224368 3221214552 1131315094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28232 13086 16 0 211857 0 vsize: 847492 [startup+920.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 89385 69 0 0 25 0 11 0 780552986 867831808 28247 4294967295 134512640 134569956 3221224368 3221213944 1131484945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 28247 13086 16 0 211857 0 vsize: 847492 [startup+930.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 90365 69 0 0 25 0 11 0 780552986 867831808 28260 4294967295 134512640 134569956 3221224368 3221214260 1085616771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28260 13086 16 0 211857 0 vsize: 847492 [startup+940.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 91350 69 0 0 25 0 11 0 780552986 867831808 28270 4294967295 134512640 134569956 3221224368 3221214552 1131315767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28270 13086 16 0 211857 0 vsize: 847492 [startup+950.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 92326 70 0 0 25 0 11 0 780552986 867831808 28290 4294967295 134512640 134569956 3221224368 3221214400 1131580485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28290 13086 16 0 211857 0 vsize: 847492 [startup+960.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 93306 70 0 0 25 0 11 0 780552986 867831808 28312 4294967295 134512640 134569956 3221224368 3221214216 1131484837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28312 13086 16 0 211857 0 vsize: 847492 [startup+970.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 94286 70 0 0 25 0 11 0 780552986 867831808 28344 4294967295 134512640 134569956 3221224368 3221214560 1131318691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28344 13086 16 0 211857 0 vsize: 847492 [startup+980.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 95266 70 0 0 25 0 11 0 780552986 867831808 28364 4294967295 134512640 134569956 3221224368 3221214264 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28364 13086 16 0 211857 0 vsize: 847492 [startup+990.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 96247 71 0 0 25 0 11 0 780552986 867831808 28388 4294967295 134512640 134569956 3221224368 3221214264 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28388 13086 16 0 211857 0 vsize: 847492 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 97227 71 0 0 25 0 11 0 780552986 867831808 28413 4294967295 134512640 134569956 3221224368 3221213952 1085679359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28413 13086 16 0 211857 0 vsize: 847492 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 98206 71 0 0 24 0 11 0 780552986 867831808 28439 4294967295 134512640 134569956 3221224368 3221214640 1131217422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28439 13086 16 0 211857 0 vsize: 847492 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 99189 72 0 0 25 0 11 0 780552986 867831808 28457 4294967295 134512640 134569956 3221224368 3221214536 1131580688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28457 13086 16 0 211857 0 vsize: 847492 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 100170 72 0 0 24 0 11 0 780552986 867831808 28478 4294967295 134512640 134569956 3221224368 3221214648 1131680936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28478 13086 16 0 211857 0 vsize: 847492 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 101153 73 0 0 25 0 11 0 780552986 867831808 28497 4294967295 134512640 134569956 3221224368 3221214648 1131687940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28497 13086 16 0 211857 0 vsize: 847492 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 102135 73 0 0 25 0 11 0 780552986 867831808 28515 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28515 13086 16 0 211857 0 vsize: 847492 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 103114 73 0 0 25 0 11 0 780552986 867831808 28538 4294967295 134512640 134569956 3221224368 3221214392 1131580708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28538 13086 16 0 211857 0 vsize: 847492 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 104099 74 0 0 25 0 11 0 780552986 867831808 28553 4294967295 134512640 134569956 3221224368 3221214560 1131318997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28553 13086 16 0 211857 0 vsize: 847492 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 105082 75 0 0 25 0 11 0 780552986 867831808 28584 4294967295 134512640 134569956 3221224368 3221214648 1131687384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28584 13086 16 0 211857 0 vsize: 847492 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 106067 75 0 0 25 0 11 0 780552986 867831808 28600 4294967295 134512640 134569956 3221224368 3221214552 1131251701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28600 13086 16 0 211857 0 vsize: 847492 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 107048 75 0 0 25 0 11 0 780552986 867831808 28620 4294967295 134512640 134569956 3221224368 3221214648 1131690452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28620 13086 16 0 211857 0 vsize: 847492 [startup+1110.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 108040 75 0 0 25 0 11 0 780552986 867831808 28639 4294967295 134512640 134569956 3221224368 3221214560 1131318899 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28639 13086 16 0 211857 0 vsize: 847492 [startup+1120.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 109022 75 0 0 25 0 11 0 780552986 867831808 28660 4294967295 134512640 134569956 3221224368 3221213944 1131478027 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28660 13086 16 0 211857 0 vsize: 847492 [startup+1130.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 109999 75 0 0 24 0 11 0 780552986 867831808 28680 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28680 13086 16 0 211857 0 vsize: 847492 [startup+1140.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 110981 76 0 0 25 0 11 0 780552986 867831808 28696 4294967295 134512640 134569956 3221224368 3221213992 1085679538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28696 13086 16 0 211857 0 vsize: 847492 [startup+1150.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 111958 76 0 0 25 0 11 0 780552986 867831808 28720 4294967295 134512640 134569956 3221224368 3221214648 1131680918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28720 13086 16 0 211857 0 vsize: 847492 [startup+1160.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 112942 76 0 0 25 0 11 0 780552986 867831808 28731 4294967295 134512640 134569956 3221224368 3221214124 1131482354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28731 13086 16 0 211857 0 vsize: 847492 [startup+1170.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 113926 76 0 0 25 0 11 0 780552986 867831808 28738 4294967295 134512640 134569956 3221224368 3221214128 1131590736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28738 13086 16 0 211857 0 vsize: 847492 [startup+1180.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 114912 77 0 0 25 0 11 0 780552986 867831808 28748 4294967295 134512640 134569956 3221224368 3221214632 1131382098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28748 13086 16 0 211857 0 vsize: 847492 [startup+1190.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 115895 77 0 0 25 0 11 0 780552986 867831808 28762 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211873 28762 13086 16 0 211857 0 vsize: 847492 [startup+1200.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 116872 77 0 0 25 0 11 0 780552986 867831808 28782 4294967295 134512640 134569956 3221224368 3221214640 1131217468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28782 13086 16 0 211857 0 vsize: 847492 [startup+1210.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 117852 78 0 0 25 0 11 0 780552986 867831808 28806 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28806 13086 16 0 211857 0 vsize: 847492 [startup+1220.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 118835 78 0 0 25 0 11 0 780552986 867831808 28820 4294967295 134512640 134569956 3221224368 3221213856 1131592186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28820 13086 16 0 211857 0 vsize: 847492 [startup+1230.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 119818 78 0 0 25 0 11 0 780552986 867831808 28839 4294967295 134512640 134569956 3221224368 3221214644 1131319989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28839 13086 16 0 211857 0 vsize: 847492 [startup+1240.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19862 Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 120798 79 0 0 24 0 11 0 780552986 867831808 28862 4294967295 134512640 134569956 3221224368 3221214560 1131318818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211873 28862 13086 16 0 211857 0 vsize: 847492 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.3 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 19864 Raw data (stat): 19852 (java) Z 19851 3944 3943 0 -1 1036 18098 13891 1 0 120804 79 3712 37 25 0 1 0 780552986 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.3 CPU time (s): 1246.34 CPU user time (s): 1245.16 CPU system time (s): 1.17582 CPU usage (%): 100.487 Max. virtual memory (Kb): 850928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####