Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb |
MD5SUM | 30256c883dd8af773c334a2b26410bd9 |
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 | 9400 |
Biggest coefficient in the objective function | 2494038016 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 391862963250 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 2494038016 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 391862963250 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.092985 |
Number of variables | 10680 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 1700 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 11:55:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21219 boxname=wulflinc4 idbench=1207 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 30256c883dd8af773c334a2b26410bd9 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-degen2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-degen2.opb IDLAUNCH: 21219 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 655560 kB Buffers: 34540 kB Cached: 323764 kB SwapCached: 600 kB Active: 74088 kB Inactive: 286664 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 655308 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5780 kB Slab: 12564 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:16:39 (client local time) WITH STATUS 143 IN 1248.82 SECONDS stats: 21219 7 1248.82 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/wulflinc4/normalized-mps-v2-13-7-degen2.opb c reading problem ... done. Time 40.293 ms. c #vars 10680 c #constraints 665 c starts : 5 c conflicts : 877 c decisions : 35616 c propagations : 104167 c inspects : 641970 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 876 c root simplifications : 29 s UNKNOWN c Total CPU time (ms) : 1249.203 #### 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 1126 Raw data (stat): 1126 (runsolver) R 1125 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780454781 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 1135 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18007 0 1 0 869 39 0 0 25 0 10 0 780454781 854020096 19441 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208501 19441 13086 16 0 208485 0 vsize: 834004 [startup+20.002 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 1135 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18008 0 1 0 1764 40 0 0 25 0 10 0 780454781 854843392 20109 4294967295 134512640 134569956 3221224368 3221214688 1131186305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208702 20109 13086 16 0 208686 0 vsize: 834808 [startup+30.0038 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 1135 Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18008 0 1 0 2654 40 0 0 25 0 10 0 780454781 854601728 20560 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208643 20560 13086 16 0 208627 0 vsize: 834572 [startup+40.0042 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 1135 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18019 0 1 0 3536 42 0 0 25 0 10 0 780454781 856834048 21342 4294967295 134512640 134569956 3221224368 3221214528 1130904122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209188 21342 13086 16 0 209172 0 vsize: 836752 [startup+50.0046 s] Raw data (loadavg): 1.01 0.99 0.99 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18067 0 1 0 4439 43 0 0 25 0 11 0 780454781 857362432 24575 4294967295 134512640 134569956 3221224368 3221214560 1131339983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209317 24575 13086 16 0 209301 0 vsize: 837268 [startup+60.005 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18067 0 1 0 5389 43 0 0 25 0 11 0 780454781 857034752 24457 4294967295 134512640 134569956 3221224368 3221214664 1131365681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 24457 13086 16 0 209221 0 vsize: 836948 [startup+70.0063 s] Raw data (loadavg): 1.08 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18068 0 1 0 6343 44 0 0 25 0 11 0 780454781 857034752 24467 4294967295 134512640 134569956 3221224368 3221214664 1131364772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 24467 13086 16 0 209221 0 vsize: 836948 [startup+80.0113 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18068 0 1 0 7306 45 0 0 25 0 11 0 780454781 857034752 24676 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 24677 13086 16 0 209221 0 vsize: 836948 [startup+90.0116 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 8286 45 0 0 25 0 11 0 780454781 857034752 24740 4294967295 134512640 134569956 3221224368 3221214472 1131243489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 24740 13086 16 0 209221 0 vsize: 836948 [startup+100.012 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 9257 45 0 0 24 0 11 0 780454781 857034752 24778 4294967295 134512640 134569956 3221224368 3221214560 1131340077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 24778 13086 16 0 209221 0 vsize: 836948 [startup+110.014 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 10229 45 0 0 25 0 11 0 780454781 857034752 24785 4294967295 134512640 134569956 3221224368 3221214652 1131339347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 24785 13086 16 0 209221 0 vsize: 836948 [startup+120.013 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 11193 45 0 0 25 0 11 0 780454781 857034752 24817 4294967295 134512640 134569956 3221224368 3221214496 1131290957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 24817 13086 16 0 209221 0 vsize: 836948 [startup+130.014 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 12163 45 0 0 25 0 11 0 780454781 857034752 24829 4294967295 134512640 134569956 3221224368 3221214884 1130917347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 24829 13086 16 0 209221 0 vsize: 836948 [startup+140.018 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 13109 45 0 0 25 0 11 0 780454781 857034752 24957 4294967295 134512640 134569956 3221224368 3221214660 1131347904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 24957 13086 16 0 209221 0 vsize: 836948 [startup+150.018 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 14060 45 0 0 25 0 11 0 780454781 857034752 25105 4294967295 134512640 134569956 3221224368 3221214512 1131408977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25105 13086 16 0 209221 0 vsize: 836948 [startup+160.019 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 15030 46 0 0 25 0 11 0 780454781 857034752 25192 4294967295 134512640 134569956 3221224368 3221214616 1131401834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25192 13086 16 0 209221 0 vsize: 836948 [startup+170.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 16006 46 0 0 25 0 11 0 780454781 857034752 25302 4294967295 134512640 134569956 3221224368 3221214616 1131401831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25302 13086 16 0 209221 0 vsize: 836948 [startup+180.021 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 16986 46 0 0 25 0 11 0 780454781 857034752 25376 4294967295 134512640 134569956 3221224368 3221214560 1131340370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25376 13086 16 0 209221 0 vsize: 836948 [startup+190.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 17967 46 0 0 25 0 11 0 780454781 857034752 25479 4294967295 134512640 134569956 3221224368 3221214560 1131339843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25479 13086 16 0 209221 0 vsize: 836948 [startup+200.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 18952 46 0 0 25 0 11 0 780454781 857034752 25479 4294967295 134512640 134569956 3221224368 3221214560 1131340280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25479 13086 16 0 209221 0 vsize: 836948 [startup+210.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 19931 46 0 0 25 0 11 0 780454781 857034752 25520 4294967295 134512640 134569956 3221224368 3221214664 1131363760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25520 13086 16 0 209221 0 vsize: 836948 [startup+220.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 20896 46 0 0 25 0 11 0 780454781 857034752 25556 4294967295 134512640 134569956 3221224368 3221214512 1131291003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25556 13086 16 0 209221 0 vsize: 836948 [startup+230.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 21872 46 0 0 25 0 11 0 780454781 857034752 25565 4294967295 134512640 134569956 3221224368 3221214512 1131408067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25565 13086 16 0 209221 0 vsize: 836948 [startup+240.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 22842 46 0 0 25 0 11 0 780454781 857034752 25566 4294967295 134512640 134569956 3221224368 3221214600 1131416202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25566 13086 16 0 209221 0 vsize: 836948 [startup+250.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1136 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 23815 46 0 0 25 0 11 0 780454781 857034752 25630 4294967295 134512640 134569956 3221224368 3221214512 1131291003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25630 13086 16 0 209221 0 vsize: 836948 [startup+260.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/67 1172 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 24788 46 0 0 25 0 11 0 780454781 857034752 25809 4294967295 134512640 134569956 3221224368 3221214744 1131356254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25809 13086 16 0 209221 0 vsize: 836948 [startup+270.054 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 25749 47 0 0 25 0 11 0 780454781 857034752 25872 4294967295 134512640 134569956 3221224368 3221214660 1131339347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 25872 13086 16 0 209221 0 vsize: 836948 [startup+280.055 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 26698 47 0 0 25 0 11 0 780454781 857034752 25906 4294967295 134512640 134569956 3221224368 3221214560 1131340055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 25906 13086 16 0 209221 0 vsize: 836948 [startup+290.055 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 27651 48 0 0 25 0 11 0 780454781 857034752 25994 4294967295 134512640 134569956 3221224368 3221214472 1131243456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 25994 13086 16 0 209221 0 vsize: 836948 [startup+300.055 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 28618 48 0 0 25 0 11 0 780454781 857034752 26152 4294967295 134512640 134569956 3221224368 3221214496 1131291003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26152 13086 16 0 209221 0 vsize: 836948 [startup+310.056 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 29559 49 0 0 25 0 11 0 780454781 857034752 26304 4294967295 134512640 134569956 3221224368 3221214560 1131340323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26304 13086 16 0 209221 0 vsize: 836948 [startup+320.057 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 30504 49 0 0 24 0 11 0 780454781 857034752 26311 4294967295 134512640 134569956 3221224368 3221214360 1131291167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26311 13086 16 0 209221 0 vsize: 836948 [startup+330.058 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1189 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 31439 49 0 0 25 0 11 0 780454781 857034752 26329 4294967295 134512640 134569956 3221224368 3221214616 1131363455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26329 13086 16 0 209221 0 vsize: 836948 [startup+340.059 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 32377 50 0 0 25 0 11 0 780454781 857034752 26682 4294967295 134512640 134569956 3221224368 3221214376 1131291092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26682 13086 16 0 209221 0 vsize: 836948 [startup+350.058 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 33342 50 0 0 25 0 11 0 780454781 857034752 26803 4294967295 134512640 134569956 3221224368 3221214420 1131457523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26803 13086 16 0 209221 0 vsize: 836948 [startup+360.06 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 34304 51 0 0 25 0 11 0 780454781 857034752 26936 4294967295 134512640 134569956 3221224368 3221214512 1131339917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 26936 13086 16 0 209221 0 vsize: 836948 [startup+370.06 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 35286 51 0 0 25 0 11 0 780454781 857034752 27075 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27075 13086 16 0 209221 0 vsize: 836948 [startup+380.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 36273 52 0 0 25 0 11 0 780454781 857034752 27075 4294967295 134512640 134569956 3221224368 3221214376 1131409754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27075 13086 16 0 209221 0 vsize: 836948 [startup+390.063 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 37250 52 0 0 24 0 11 0 780454781 857034752 27085 4294967295 134512640 134569956 3221224368 3221214616 1131363467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27085 13086 16 0 209221 0 vsize: 836948 [startup+400.063 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 38224 53 0 0 25 0 11 0 780454781 857034752 27086 4294967295 134512640 134569956 3221224368 3221214512 1131340289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27086 13086 16 0 209221 0 vsize: 836948 [startup+410.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 39192 53 0 0 25 0 11 0 780454781 857034752 27155 4294967295 134512640 134569956 3221224368 3221214568 1131303289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27155 13086 16 0 209221 0 vsize: 836948 [startup+420.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 40169 54 0 0 25 0 11 0 780454781 857034752 27221 4294967295 134512640 134569956 3221224368 3221214480 1131396525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27221 13086 16 0 209221 0 vsize: 836948 [startup+430.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 41146 54 0 0 25 0 11 0 780454781 857034752 27266 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27266 13086 16 0 209221 0 vsize: 836948 [startup+440.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 42114 55 0 0 25 0 11 0 780454781 857034752 27307 4294967295 134512640 134569956 3221224368 3221214512 1131339794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27307 13086 16 0 209221 0 vsize: 836948 [startup+450.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 43077 55 0 0 25 0 11 0 780454781 857034752 27311 4294967295 134512640 134569956 3221224368 3221214568 1131261077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27311 13086 16 0 209221 0 vsize: 836948 [startup+460.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 44038 55 0 0 25 0 11 0 780454781 857034752 27386 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27386 13086 16 0 209221 0 vsize: 836948 [startup+470.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 45009 55 0 0 25 0 11 0 780454781 857034752 27521 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27521 13086 16 0 209221 0 vsize: 836948 [startup+480.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 45982 56 0 0 25 0 11 0 780454781 857034752 27574 4294967295 134512640 134569956 3221224368 3221214512 1131340061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27574 13086 16 0 209221 0 vsize: 836948 [startup+490.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 46959 56 0 0 25 0 11 0 780454781 857034752 27630 4294967295 134512640 134569956 3221224368 3221214512 1131339451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27630 13086 16 0 209221 0 vsize: 836948 [startup+500.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 47935 56 0 0 25 0 11 0 780454781 857034752 27677 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27677 13086 16 0 209221 0 vsize: 836948 [startup+510.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 48915 57 0 0 25 0 11 0 780454781 857034752 27698 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27698 13086 16 0 209221 0 vsize: 836948 [startup+520.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 49891 57 0 0 25 0 11 0 780454781 857034752 27732 4294967295 134512640 134569956 3221224368 3221214512 1131340408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27732 13086 16 0 209221 0 vsize: 836948 [startup+530.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 50872 57 0 0 25 0 11 0 780454781 857034752 27776 4294967295 134512640 134569956 3221224368 3221214568 1131261236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27776 13086 16 0 209221 0 vsize: 836948 [startup+540.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 51850 57 0 0 25 0 11 0 780454781 857034752 27827 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27827 13086 16 0 209221 0 vsize: 836948 [startup+550.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 52821 58 0 0 25 0 11 0 780454781 857034752 27835 4294967295 134512640 134569956 3221224368 3221214512 1131339902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27835 13086 16 0 209221 0 vsize: 836948 [startup+560.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 53792 58 0 0 25 0 11 0 780454781 857034752 27859 4294967295 134512640 134569956 3221224368 3221214512 1131339936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27859 13086 16 0 209221 0 vsize: 836948 [startup+570.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 54763 58 0 0 25 0 11 0 780454781 857034752 27915 4294967295 134512640 134569956 3221224368 3221214512 1131340405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27915 13086 16 0 209221 0 vsize: 836948 [startup+580.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1191 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 55734 59 0 0 25 0 11 0 780454781 857034752 27998 4294967295 134512640 134569956 3221224368 3221214512 1131339762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 27998 13086 16 0 209221 0 vsize: 836948 [startup+590.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 56702 60 0 0 25 0 11 0 780454781 857034752 28000 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28000 13086 16 0 209221 0 vsize: 836948 [startup+600.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 57660 60 0 0 25 0 11 0 780454781 857034752 28111 4294967295 134512640 134569956 3221224368 3221214640 1131380239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28111 13086 16 0 209221 0 vsize: 836948 [startup+610.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 58613 60 0 0 25 0 11 0 780454781 857034752 28173 4294967295 134512640 134569956 3221224368 3221214532 1130917559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28173 13086 16 0 209221 0 vsize: 836948 [startup+620.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 59557 61 0 0 25 0 11 0 780454781 857034752 28280 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28280 13086 16 0 209221 0 vsize: 836948 [startup+630.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 60506 61 0 0 24 0 11 0 780454781 857034752 28374 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28374 13086 16 0 209221 0 vsize: 836948 [startup+640.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 61468 62 0 0 25 0 11 0 780454781 857034752 28545 4294967295 134512640 134569956 3221224368 3221214376 1131291003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28545 13086 16 0 209221 0 vsize: 836948 [startup+650.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 62446 62 0 0 25 0 11 0 780454781 857034752 28624 4294967295 134512640 134569956 3221224368 3221214376 1131291717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28624 13086 16 0 209221 0 vsize: 836948 [startup+660.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 63425 62 0 0 25 0 11 0 780454781 857034752 28660 4294967295 134512640 134569956 3221224368 3221214616 1131364637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28660 13086 16 0 209221 0 vsize: 836948 [startup+670.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 64397 63 0 0 25 0 11 0 780454781 857034752 28760 4294967295 134512640 134569956 3221224368 3221214512 1131339936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28760 13086 16 0 209221 0 vsize: 836948 [startup+680.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 65370 63 0 0 25 0 11 0 780454781 857034752 28770 4294967295 134512640 134569956 3221224368 3221214248 1078032391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28770 13086 16 0 209221 0 vsize: 836948 [startup+690.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 66337 63 0 0 25 0 11 0 780454781 857034752 28775 4294967295 134512640 134569956 3221224368 3221214376 1131408067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28775 13086 16 0 209221 0 vsize: 836948 [startup+700.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 67279 63 0 0 25 0 11 0 780454781 857034752 28853 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28853 13086 16 0 209221 0 vsize: 836948 [startup+710.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 68211 64 0 0 25 0 11 0 780454781 857034752 28861 4294967295 134512640 134569956 3221224368 3221214376 1131408196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28861 13086 16 0 209221 0 vsize: 836948 [startup+720.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 69159 64 0 0 25 0 11 0 780454781 857034752 28889 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 28889 13086 16 0 209221 0 vsize: 836948 [startup+730.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 70106 64 0 0 25 0 11 0 780454781 857034752 29405 4294967295 134512640 134569956 3221224368 3221214616 1131363774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29405 13086 16 0 209221 0 vsize: 836948 [startup+740.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 71083 65 0 0 25 0 11 0 780454781 857034752 29492 4294967295 134512640 134569956 3221224368 3221214512 1131339546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29492 13086 16 0 209221 0 vsize: 836948 [startup+750.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 72056 65 0 0 25 0 11 0 780454781 857034752 29498 4294967295 134512640 134569956 3221224368 3221214512 1131340408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29498 13086 16 0 209221 0 vsize: 836948 [startup+760.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 73030 65 0 0 25 0 11 0 780454781 857034752 29577 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29577 13086 16 0 209221 0 vsize: 836948 [startup+770.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 74001 66 0 0 24 0 11 0 780454781 857034752 29644 4294967295 134512640 134569956 3221224368 3221214736 1131425456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29644 13086 16 0 209221 0 vsize: 836948 [startup+780.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 74969 66 0 0 25 0 11 0 780454781 857034752 29670 4294967295 134512640 134569956 3221224368 3221214512 1131340268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29670 13086 16 0 209221 0 vsize: 836948 [startup+790.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 75933 66 0 0 25 0 11 0 780454781 857034752 29673 4294967295 134512640 134569956 3221224368 3221214616 1131365599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29673 13086 16 0 209221 0 vsize: 836948 [startup+800.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 76902 67 0 0 25 0 11 0 780454781 857034752 29741 4294967295 134512640 134569956 3221224368 3221214568 1131261077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29741 13086 16 0 209221 0 vsize: 836948 [startup+810.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 77873 67 0 0 25 0 11 0 780454781 857034752 29882 4294967295 134512640 134569956 3221224368 3221214360 1131290780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29882 13086 16 0 209221 0 vsize: 836948 [startup+820.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 78846 67 0 0 25 0 11 0 780454781 857034752 29912 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29912 13086 16 0 209221 0 vsize: 836948 [startup+830.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 79817 68 0 0 25 0 11 0 780454781 857034752 29952 4294967295 134512640 134569956 3221224368 3221214512 1131340320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29952 13086 16 0 209221 0 vsize: 836948 [startup+840.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 80788 68 0 0 25 0 11 0 780454781 857034752 29952 4294967295 134512640 134569956 3221224368 3221214392 1131540581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 29952 13086 16 0 209221 0 vsize: 836948 [startup+850.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 81764 68 0 0 25 0 11 0 780454781 857034752 30044 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30044 13086 16 0 209221 0 vsize: 836948 [startup+860.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 82732 68 0 0 25 0 11 0 780454781 857034752 30115 4294967295 134512640 134569956 3221224368 3221214512 1131339822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30115 13086 16 0 209221 0 vsize: 836948 [startup+870.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 83704 68 0 0 25 0 11 0 780454781 857034752 30119 4294967295 134512640 134569956 3221224368 3221214464 1131415819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30119 13086 16 0 209221 0 vsize: 836948 [startup+880.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 84676 68 0 0 25 0 11 0 780454781 857034752 30120 4294967295 134512640 134569956 3221224368 3221214480 1131401831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30120 13086 16 0 209221 0 vsize: 836948 [startup+890.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 85650 69 0 0 25 0 11 0 780454781 857034752 30254 4294967295 134512640 134569956 3221224368 3221214464 1131416244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30254 13086 16 0 209221 0 vsize: 836948 [startup+900.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 86632 69 0 0 24 0 11 0 780454781 857034752 30303 4294967295 134512640 134569956 3221224368 3221214360 1131291003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30303 13086 16 0 209221 0 vsize: 836948 [startup+910.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 87620 70 0 0 25 0 11 0 780454781 857034752 30303 4294967295 134512640 134569956 3221224368 3221214464 1131415503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30303 13086 16 0 209221 0 vsize: 836948 [startup+920.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 88605 70 0 0 25 0 11 0 780454781 857034752 30311 4294967295 134512640 134569956 3221224368 3221214376 1131290974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30311 13086 16 0 209221 0 vsize: 836948 [startup+930.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 89588 70 0 0 25 0 11 0 780454781 857034752 30348 4294967295 134512640 134569956 3221224368 3221214480 1131401824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30348 13086 16 0 209221 0 vsize: 836948 [startup+940.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 90572 70 0 0 25 0 11 0 780454781 857034752 30348 4294967295 134512640 134569956 3221224368 3221214436 1130885240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30348 13086 16 0 209221 0 vsize: 836948 [startup+950.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 91554 70 0 0 25 0 11 0 780454781 857034752 30388 4294967295 134512640 134569956 3221224368 3221214464 1131415554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30388 13086 16 0 209221 0 vsize: 836948 [startup+960.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 92528 71 0 0 24 0 11 0 780454781 857034752 30440 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30440 13086 16 0 209221 0 vsize: 836948 [startup+970.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 93501 72 0 0 25 0 11 0 780454781 857034752 30478 4294967295 134512640 134569956 3221224368 3221214512 1131340280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30478 13086 16 0 209221 0 vsize: 836948 [startup+980.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 94474 72 0 0 25 0 11 0 780454781 857034752 30478 4294967295 134512640 134569956 3221224368 3221214616 1131364772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30478 13086 16 0 209221 0 vsize: 836948 [startup+990.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 95440 73 0 0 24 0 11 0 780454781 857034752 30558 4294967295 134512640 134569956 3221224368 3221214568 1131261114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30558 13086 16 0 209221 0 vsize: 836948 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 96409 73 0 0 25 0 11 0 780454781 857034752 30621 4294967295 134512640 134569956 3221224368 3221214376 1131409090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30621 13086 16 0 209221 0 vsize: 836948 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 97379 73 0 0 25 0 11 0 780454781 857034752 30682 4294967295 134512640 134569956 3221224368 3221214480 1131396489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30682 13086 16 0 209221 0 vsize: 836948 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 98352 74 0 0 25 0 11 0 780454781 857034752 30741 4294967295 134512640 134569956 3221224368 3221214616 1131364900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30741 13086 16 0 209221 0 vsize: 836948 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 99316 74 0 0 25 0 11 0 780454781 857034752 30771 4294967295 134512640 134569956 3221224368 3221214408 1131518204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30771 13086 16 0 209221 0 vsize: 836948 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 100291 74 0 0 25 0 11 0 780454781 857034752 30871 4294967295 134512640 134569956 3221224368 3221214512 1131339394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30871 13086 16 0 209221 0 vsize: 836948 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 101260 75 0 0 25 0 11 0 780454781 857034752 30943 4294967295 134512640 134569956 3221224368 3221214480 1131396458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 30943 13086 16 0 209221 0 vsize: 836948 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 102230 75 0 0 25 0 11 0 780454781 857034752 31021 4294967295 134512640 134569956 3221224368 3221214128 1131518204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31021 13086 16 0 209221 0 vsize: 836948 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 103188 75 0 0 25 0 11 0 780454781 857034752 31027 4294967295 134512640 134569956 3221224368 3221214512 1131340094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31027 13086 16 0 209221 0 vsize: 836948 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 104126 75 0 0 25 0 11 0 780454781 857034752 31205 4294967295 134512640 134569956 3221224368 3221214448 1131290974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31205 13086 16 0 209221 0 vsize: 836948 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 105055 76 0 0 25 0 11 0 780454781 857034752 31555 4294967295 134512640 134569956 3221224368 3221214296 1131518152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31555 13086 16 0 209221 0 vsize: 836948 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 105969 76 0 0 25 0 11 0 780454781 857034752 31606 4294967295 134512640 134569956 3221224368 3221214296 1131518183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31606 13086 16 0 209221 0 vsize: 836948 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 106906 76 0 0 25 0 11 0 780454781 857034752 31606 4294967295 134512640 134569956 3221224368 3221214584 1131253891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31606 13086 16 0 209221 0 vsize: 836948 [startup+1120.11 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 107851 76 0 0 25 0 11 0 780454781 857034752 31815 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 31815 13086 16 0 209221 0 vsize: 836948 [startup+1130.12 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 108794 77 0 0 25 0 11 0 780454781 857034752 32207 4294967295 134512640 134569956 3221224368 3221214048 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32207 13086 16 0 209221 0 vsize: 836948 [startup+1140.12 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 109760 77 0 0 25 0 11 0 780454781 857034752 32478 4294967295 134512640 134569956 3221224368 3221214040 1131547088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32478 13086 16 0 209221 0 vsize: 836948 [startup+1150.12 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 110723 77 0 0 25 0 11 0 780454781 857034752 32484 4294967295 134512640 134569956 3221224368 3221214512 1131339507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32484 13086 16 0 209221 0 vsize: 836948 [startup+1160.12 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 111684 78 0 0 25 0 11 0 780454781 857034752 32550 4294967295 134512640 134569956 3221224368 3221214480 1131396468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209237 32550 13086 16 0 209221 0 vsize: 836948 [startup+1170.12 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 112649 78 0 0 25 0 11 0 780454781 857034752 32586 4294967295 134512640 134569956 3221224368 3221214480 1131396482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32586 13086 16 0 209221 0 vsize: 836948 [startup+1180.12 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 113620 78 0 0 25 0 11 0 780454781 857034752 32652 4294967295 134512640 134569956 3221224368 3221214588 1131349740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32652 13086 16 0 209221 0 vsize: 836948 [startup+1190.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 114582 79 0 0 25 0 11 0 780454781 857034752 32813 4294967295 134512640 134569956 3221224368 3221214044 1131544544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32813 13086 16 0 209221 0 vsize: 836948 [startup+1200.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18072 0 1 0 115558 79 0 0 25 0 11 0 780454781 857034752 32847 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32847 13086 16 0 209221 0 vsize: 836948 [startup+1210.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 116531 79 0 0 25 0 11 0 780454781 857034752 32878 4294967295 134512640 134569956 3221224368 3221214044 1131546057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32878 13086 16 0 209221 0 vsize: 836948 [startup+1220.12 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 117501 80 0 0 25 0 11 0 780454781 857034752 32943 4294967295 134512640 134569956 3221224368 3221214056 1131544721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 32943 13086 16 0 209221 0 vsize: 836948 [startup+1230.12 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 118487 80 0 0 25 0 11 0 780454781 857034752 33039 4294967295 134512640 134569956 3221224368 3221214616 1131364799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 33039 13086 16 0 209221 0 vsize: 836948 [startup+1240.12 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 119454 80 0 0 25 0 11 0 780454781 857034752 33043 4294967295 134512640 134569956 3221224368 3221214512 1131339451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 33043 13086 16 0 209221 0 vsize: 836948 [startup+1250.12 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1193 Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 120422 81 0 0 25 0 11 0 780454781 857034752 33044 4294967295 134512640 134569956 3221224368 3221214536 1131415627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209237 33044 13086 16 0 209221 0 vsize: 836948 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.24 s] Raw data (loadavg): 1.01 1.00 1.00 1/54 1195 Raw data (stat): 1126 (java) Z 1125 21152 21151 0 -1 1036 18072 13879 1 0 120427 81 4333 39 25 0 1 0 780454781 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): 1250.24 CPU time (s): 1248.82 CPU user time (s): 1247.61 CPU system time (s): 1.21181 CPU usage (%): 99.8867 Max. virtual memory (Kb): 837268 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####