Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb |
MD5SUM | df77dd7325b8c4838e7ddb26764d610e |
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 | 620 |
Biggest coefficient in the objective function | 262144000000 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 2638204214250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 6932293222400 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 56042652203303 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.25196 |
Number of variables | 4500 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-25 12:20:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21271 boxname=wulflinc15 idbench=1259 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: df77dd7325b8c4838e7ddb26764d610e /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-share1b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-share1b.opb IDLAUNCH: 21271 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 692912 kB Buffers: 33544 kB Cached: 286472 kB SwapCached: 672 kB Active: 64028 kB Inactive: 258112 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 692660 kB SwapTotal: 2097136 kB SwapFree: 2095624 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5076 kB Slab: 13992 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:40:52 (client local time) WITH STATUS 143 IN 1236.32 SECONDS stats: 21271 7 1236.32 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/wulflinc15/normalized-mps-v2-13-7-share1b.opb c reading problem ... done. Time 9.775 ms. c #vars 4500 c #constraints 206 c starts : 10 c conflicts : 9457 c decisions : 11638 c propagations : 45907 c inspects : 4055686 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9457 c root simplifications : 11 s UNKNOWN c Total CPU time (ms) : 1239.102 #### 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.93 0.98 0.99 2/54 8035 Raw data (stat): 8035 (runsolver) R 8034 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780603335 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.0009 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 8044 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18021 0 1 0 752 40 0 0 25 0 10 0 780603335 856068096 20673 4294967295 134512640 134569956 3221224368 3221214628 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209001 20673 13086 16 0 208985 0 vsize: 836004 [startup+20.0018 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 1475 41 0 0 25 0 11 0 780603335 860844032 22281 4294967295 134512640 134569956 3221224368 3221214536 1131346714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210167 22281 13086 16 0 210151 0 vsize: 840668 [startup+30.0023 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 2417 41 0 0 25 0 11 0 780603335 860004352 22581 4294967295 134512640 134569956 3221224368 3221214632 1131234117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 22581 13086 16 0 209946 0 vsize: 839848 [startup+40.0024 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 3372 42 0 0 25 0 11 0 780603335 860004352 23455 4294967295 134512640 134569956 3221224368 3221214632 1131234063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 23455 13086 16 0 209946 0 vsize: 839848 [startup+50.0032 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 4340 42 0 0 25 0 11 0 780603335 860004352 24028 4294967295 134512640 134569956 3221224368 3221214632 1131234250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209962 24028 13086 16 0 209946 0 vsize: 839848 [startup+60.0036 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 5300 42 0 0 25 0 11 0 780603335 860004352 24759 4294967295 134512640 134569956 3221224368 3221214576 1131311667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 24759 13086 16 0 209946 0 vsize: 839848 [startup+70.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) S 8034 23514 23513 0 -1 0 18068 0 1 0 6276 42 0 0 25 0 11 0 780603335 860004352 25192 4294967295 134512640 134569956 3221224368 3221213176 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 25192 13086 16 0 209946 0 vsize: 839848 [startup+80.0096 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 7251 42 0 0 25 0 11 0 780603335 860004352 25860 4294967295 134512640 134569956 3221224368 3221214704 1131208985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 25860 13086 16 0 209946 0 vsize: 839848 [startup+90.0096 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18068 0 1 0 8226 42 0 0 24 0 11 0 780603335 860004352 26542 4294967295 134512640 134569956 3221224368 3221214664 1131515276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 26542 13086 16 0 209946 0 vsize: 839848 [startup+100.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 9208 42 0 0 25 0 11 0 780603335 860004352 26963 4294967295 134512640 134569956 3221224368 3221214576 1131311749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 26963 13086 16 0 209946 0 vsize: 839848 [startup+110.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 10185 42 0 0 25 0 11 0 780603335 860004352 27523 4294967295 134512640 134569956 3221224368 3221214632 1131234189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 27523 13086 16 0 209946 0 vsize: 839848 [startup+120.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 11163 42 0 0 25 0 11 0 780603335 860004352 28096 4294967295 134512640 134569956 3221224368 3221214664 1131514357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 28096 13086 16 0 209946 0 vsize: 839848 [startup+130.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 12133 42 0 0 25 0 11 0 780603335 860004352 28491 4294967295 134512640 134569956 3221224368 3221214448 1131448032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 28491 13086 16 0 209946 0 vsize: 839848 [startup+140.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 13104 42 0 0 25 0 11 0 780603335 860004352 28919 4294967295 134512640 134569956 3221224368 3221214160 1131233889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 28919 13086 16 0 209946 0 vsize: 839848 [startup+150.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 14066 42 0 0 25 0 11 0 780603335 860004352 29447 4294967295 134512640 134569956 3221224368 3221214448 1131446939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 29447 13086 16 0 209946 0 vsize: 839848 [startup+160.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 15028 42 0 0 25 0 11 0 780603335 860004352 29774 4294967295 134512640 134569956 3221224368 3221214576 1131311685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 29774 13086 16 0 209946 0 vsize: 839848 [startup+170.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) S 8034 23514 23513 0 -1 0 18069 0 1 0 15989 42 0 0 25 0 11 0 780603335 860004352 30085 4294967295 134512640 134569956 3221224368 3221213200 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 30085 13086 16 0 209946 0 vsize: 839848 [startup+180.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 16945 42 0 0 25 0 11 0 780603335 860004352 30532 4294967295 134512640 134569956 3221224368 3221214576 1131311979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 30532 13086 16 0 209946 0 vsize: 839848 [startup+190.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 17922 43 0 0 25 0 11 0 780603335 860004352 30729 4294967295 134512640 134569956 3221224368 3221214296 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 30729 13086 16 0 209946 0 vsize: 839848 [startup+200.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 18898 43 0 0 25 0 11 0 780603335 860004352 31076 4294967295 134512640 134569956 3221224368 3221214632 1131234169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 31076 13086 16 0 209946 0 vsize: 839848 [startup+210.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 19874 43 0 0 25 0 11 0 780603335 860004352 31456 4294967295 134512640 134569956 3221224368 3221214632 1131234128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 31456 13086 16 0 209946 0 vsize: 839848 [startup+220.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 20859 43 0 0 25 0 11 0 780603335 860004352 31811 4294967295 134512640 134569956 3221224368 3221214568 1131234196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 31811 13086 16 0 209946 0 vsize: 839848 [startup+230.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 21852 43 0 0 25 0 11 0 780603335 860004352 32046 4294967295 134512640 134569956 3221224368 3221214568 1131234146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 32046 13086 16 0 209946 0 vsize: 839848 [startup+240.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 22833 43 0 0 25 0 11 0 780603335 860004352 32752 4294967295 134512640 134569956 3221224368 3221214056 1131559057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 32752 13086 16 0 209946 0 vsize: 839848 [startup+250.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 23823 43 0 0 25 0 11 0 780603335 860004352 32943 4294967295 134512640 134569956 3221224368 3221214400 1131506036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 32943 13086 16 0 209946 0 vsize: 839848 [startup+260.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 24809 43 0 0 25 0 11 0 780603335 860004352 33418 4294967295 134512640 134569956 3221224368 3221213888 1131559084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 33418 13086 16 0 209946 0 vsize: 839848 [startup+270.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 25789 43 0 0 25 0 11 0 780603335 860004352 33715 4294967295 134512640 134569956 3221224368 3221214664 1131515807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 33715 13086 16 0 209946 0 vsize: 839848 [startup+280.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 26764 43 0 0 25 0 11 0 780603335 860004352 34278 4294967295 134512640 134569956 3221224368 3221214100 1131559056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 34278 13086 16 0 209946 0 vsize: 839848 [startup+290.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 27736 44 0 0 25 0 11 0 780603335 860004352 34538 4294967295 134512640 134569956 3221224368 3221214496 1131559121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 34538 13086 16 0 209946 0 vsize: 839848 [startup+300.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 28706 44 0 0 25 0 11 0 780603335 860004352 34799 4294967295 134512640 134569956 3221224368 3221214152 1085632273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 34799 13086 16 0 209946 0 vsize: 839848 [startup+310.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 29674 44 0 0 25 0 11 0 780603335 860004352 35034 4294967295 134512640 134569956 3221224368 3221214324 1131558992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 35034 13086 16 0 209946 0 vsize: 839848 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 30647 44 0 0 25 0 11 0 780603335 860004352 35331 4294967295 134512640 134569956 3221224368 3221213840 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 35331 13086 16 0 209946 0 vsize: 839848 [startup+330.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 31619 45 0 0 25 0 11 0 780603335 860004352 35623 4294967295 134512640 134569956 3221224368 3221213976 1131558988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 35623 13086 16 0 209946 0 vsize: 839848 [startup+340.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 32591 45 0 0 25 0 11 0 780603335 860004352 35873 4294967295 134512640 134569956 3221224368 3221214592 1131515532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 35873 13086 16 0 209946 0 vsize: 839848 [startup+350.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 33564 45 0 0 25 0 11 0 780603335 860004352 36046 4294967295 134512640 134569956 3221224368 3221213944 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36046 13086 16 0 209946 0 vsize: 839848 [startup+360.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 34537 45 0 0 25 0 11 0 780603335 860004352 36265 4294967295 134512640 134569956 3221224368 3221213620 1131555475 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36265 13086 16 0 209946 0 vsize: 839848 [startup+370.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 35503 45 0 0 25 0 11 0 780603335 860004352 36515 4294967295 134512640 134569956 3221224368 3221214528 1131560229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36515 13086 16 0 209946 0 vsize: 839848 [startup+380.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 36479 45 0 0 25 0 11 0 780603335 860004352 36607 4294967295 134512640 134569956 3221224368 3221214504 1131311273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36607 13086 16 0 209946 0 vsize: 839848 [startup+390.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 37444 45 0 0 25 0 11 0 780603335 860004352 36749 4294967295 134512640 134569956 3221224368 3221213864 1131559117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36749 13086 16 0 209946 0 vsize: 839848 [startup+400.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 38410 45 0 0 25 0 11 0 780603335 860004352 36890 4294967295 134512640 134569956 3221224368 3221213912 1131560444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36890 13086 16 0 209946 0 vsize: 839848 [startup+410.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 39367 45 0 0 25 0 11 0 780603335 860004352 36995 4294967295 134512640 134569956 3221224368 3221214440 1131363041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 36995 13086 16 0 209946 0 vsize: 839848 [startup+420.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 40332 45 0 0 25 0 11 0 780603335 860004352 37173 4294967295 134512640 134569956 3221224368 3221214456 1131563157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37173 13086 16 0 209946 0 vsize: 839848 [startup+430.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 41299 46 0 0 25 0 11 0 780603335 860004352 37253 4294967295 134512640 134569956 3221224368 3221214504 1131311137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37253 13086 16 0 209946 0 vsize: 839848 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 42263 46 0 0 25 0 11 0 780603335 860004352 37336 4294967295 134512640 134569956 3221224368 3221213616 1085679366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37336 13086 16 0 209946 0 vsize: 839848 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 43227 46 0 0 25 0 11 0 780603335 860004352 37420 4294967295 134512640 134569956 3221224368 3221214592 1131514736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37420 13086 16 0 209946 0 vsize: 839848 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 44192 46 0 0 25 0 11 0 780603335 860004352 37582 4294967295 134512640 134569956 3221224368 3221214592 1131514736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37582 13086 16 0 209946 0 vsize: 839848 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 45158 46 0 0 25 0 11 0 780603335 860004352 37704 4294967295 134512640 134569956 3221224368 3221214504 1131311124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37704 13086 16 0 209946 0 vsize: 839848 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 46126 46 0 0 25 0 11 0 780603335 860004352 37828 4294967295 134512640 134569956 3221224368 3221214776 1131569852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37828 13086 16 0 209946 0 vsize: 839848 [startup+490.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 47094 46 0 0 25 0 11 0 780603335 860004352 37938 4294967295 134512640 134569956 3221224368 3221214532 1130885240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 37938 13086 16 0 209946 0 vsize: 839848 [startup+500.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 48069 46 0 0 25 0 11 0 780603335 860004352 38018 4294967295 134512640 134569956 3221224368 3221213912 1131560456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38018 13086 16 0 209946 0 vsize: 839848 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 49050 46 0 0 25 0 11 0 780603335 860004352 38068 4294967295 134512640 134569956 3221224368 3221213588 1131559056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38068 13086 16 0 209946 0 vsize: 839848 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 50032 46 0 0 25 0 11 0 780603335 860004352 38119 4294967295 134512640 134569956 3221224368 3221214488 1131314221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38119 13086 16 0 209946 0 vsize: 839848 [startup+530.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 51004 46 0 0 25 0 11 0 780603335 860004352 38193 4294967295 134512640 134569956 3221224368 3221213864 1131560297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38193 13086 16 0 209946 0 vsize: 839848 [startup+540.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 51977 46 0 0 25 0 11 0 780603335 860004352 38264 4294967295 134512640 134569956 3221224368 3221214280 1085679308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38264 13086 16 0 209946 0 vsize: 839848 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 52940 46 0 0 25 0 11 0 780603335 860004352 38352 4294967295 134512640 134569956 3221224368 3221214504 1131311459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38352 13086 16 0 209946 0 vsize: 839848 [startup+560.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 53912 46 0 0 25 0 11 0 780603335 860004352 38416 4294967295 134512640 134569956 3221224368 3221213704 1131558977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38416 13086 16 0 209946 0 vsize: 839848 [startup+570.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 54884 46 0 0 25 0 11 0 780603335 860004352 38489 4294967295 134512640 134569956 3221224368 3221214504 1131311273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38489 13086 16 0 209946 0 vsize: 839848 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 55857 46 0 0 25 0 11 0 780603335 860004352 38542 4294967295 134512640 134569956 3221224368 3221214248 1131560431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38542 13086 16 0 209946 0 vsize: 839848 [startup+590.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 56820 46 0 0 25 0 11 0 780603335 860004352 38630 4294967295 134512640 134569956 3221224368 3221214192 1131560489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38630 13086 16 0 209946 0 vsize: 839848 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 57792 46 0 0 25 0 11 0 780603335 860004352 38702 4294967295 134512640 134569956 3221224368 3221214504 1131311285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38702 13086 16 0 209946 0 vsize: 839848 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 58766 46 0 0 25 0 11 0 780603335 860004352 38951 4294967295 134512640 134569956 3221224368 3221213800 1131560444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 38951 13086 16 0 209946 0 vsize: 839848 [startup+620.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 59737 46 0 0 25 0 11 0 780603335 860004352 39089 4294967295 134512640 134569956 3221224368 3221214308 1131559051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39089 13086 16 0 209946 0 vsize: 839848 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 60711 46 0 0 25 0 11 0 780603335 860004352 39176 4294967295 134512640 134569956 3221224368 3221214188 1131567808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39176 13086 16 0 209946 0 vsize: 839848 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 61692 46 0 0 25 0 11 0 780603335 860004352 39234 4294967295 134512640 134569956 3221224368 3221214592 1131514021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39234 13086 16 0 209946 0 vsize: 839848 [startup+650.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 62667 46 0 0 25 0 11 0 780603335 860004352 39316 4294967295 134512640 134569956 3221224368 3221214408 1131567829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39316 13086 16 0 209946 0 vsize: 839848 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 63643 46 0 0 25 0 11 0 780603335 860004352 39393 4294967295 134512640 134569956 3221224368 3221214504 1131311695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39393 13086 16 0 209946 0 vsize: 839848 [startup+670.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 64625 46 0 0 25 0 11 0 780603335 860004352 39460 4294967295 134512640 134569956 3221224368 3221214552 1131341086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39460 13086 16 0 209946 0 vsize: 839848 [startup+680.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 65607 46 0 0 25 0 11 0 780603335 860004352 39511 4294967295 134512640 134569956 3221224368 3221214280 1085679321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39511 13086 16 0 209946 0 vsize: 839848 [startup+690.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) S 8034 23514 23513 0 -1 0 18069 0 1 0 66585 47 0 0 25 0 11 0 780603335 860004352 39561 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39561 13086 16 0 209946 0 vsize: 839848 [startup+700.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 67565 47 0 0 25 0 11 0 780603335 860004352 39630 4294967295 134512640 134569956 3221224368 3221213872 1131559025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39630 13086 16 0 209946 0 vsize: 839848 [startup+710.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 68548 47 0 0 25 0 11 0 780603335 860004352 39678 4294967295 134512640 134569956 3221224368 3221213576 1131560450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39678 13086 16 0 209946 0 vsize: 839848 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 69524 47 0 0 25 0 11 0 780603335 860004352 39737 4294967295 134512640 134569956 3221224368 3221214592 1131515276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39737 13086 16 0 209946 0 vsize: 839848 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 70506 47 0 0 25 0 11 0 780603335 860004352 39786 4294967295 134512640 134569956 3221224368 3221214400 1131293193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39786 13086 16 0 209946 0 vsize: 839848 [startup+740.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 71482 47 0 0 25 0 11 0 780603335 860004352 39842 4294967295 134512640 134569956 3221224368 3221214592 1131513325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39842 13086 16 0 209946 0 vsize: 839848 [startup+750.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 72464 47 0 0 25 0 11 0 780603335 860004352 39898 4294967295 134512640 134569956 3221224368 3221214528 1131560431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39898 13086 16 0 209946 0 vsize: 839848 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 73447 47 0 0 25 0 11 0 780603335 860004352 39945 4294967295 134512640 134569956 3221224368 3221214336 1085632284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 39945 13086 16 0 209946 0 vsize: 839848 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 74429 47 0 0 25 0 11 0 780603335 860004352 40003 4294967295 134512640 134569956 3221224368 3221214424 1131558996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40003 13086 16 0 209946 0 vsize: 839848 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 75406 47 0 0 25 0 11 0 780603335 860004352 40067 4294967295 134512640 134569956 3221224368 3221214392 1085679759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40067 13086 16 0 209946 0 vsize: 839848 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 76389 47 0 0 25 0 11 0 780603335 860004352 40117 4294967295 134512640 134569956 3221224368 3221214560 1131239023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40117 13086 16 0 209946 0 vsize: 839848 [startup+800.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 77367 47 0 0 25 0 11 0 780603335 860004352 40183 4294967295 134512640 134569956 3221224368 3221214056 1085679492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40183 13086 16 0 209946 0 vsize: 839848 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 78350 47 0 0 25 0 11 0 780603335 860004352 40233 4294967295 134512640 134569956 3221224368 3221213352 1131560456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40233 13086 16 0 209946 0 vsize: 839848 [startup+820.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 79338 47 0 0 25 0 11 0 780603335 860004352 40260 4294967295 134512640 134569956 3221224368 3221214136 1131560234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40260 13086 16 0 209946 0 vsize: 839848 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 80325 47 0 0 25 0 11 0 780603335 860004352 40292 4294967295 134512640 134569956 3221224368 3221214748 1130885157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209962 40292 13086 16 0 209946 0 vsize: 839848 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 81307 47 0 0 25 0 11 0 780603335 860004352 40334 4294967295 134512640 134569956 3221224368 3221213912 1131567826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40334 13086 16 0 209946 0 vsize: 839848 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 82289 48 0 0 25 0 11 0 780603335 860004352 40379 4294967295 134512640 134569956 3221224368 3221214504 1131311273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40379 13086 16 0 209946 0 vsize: 839848 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 83271 48 0 0 25 0 11 0 780603335 860004352 40420 4294967295 134512640 134569956 3221224368 3221214504 1131311437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40420 13086 16 0 209946 0 vsize: 839848 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 84252 48 0 0 25 0 11 0 780603335 860004352 40466 4294967295 134512640 134569956 3221224368 3221214592 1131519917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40466 13086 16 0 209946 0 vsize: 839848 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 85233 48 0 0 24 0 11 0 780603335 860004352 40516 4294967295 134512640 134569956 3221224368 3221214488 1131239018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40516 13086 16 0 209946 0 vsize: 839848 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 86226 48 0 0 25 0 11 0 780603335 860004352 40530 4294967295 134512640 134569956 3221224368 3221213812 1131559056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40530 13086 16 0 209946 0 vsize: 839848 [startup+900.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 87211 49 0 0 25 0 11 0 780603335 860004352 40553 4294967295 134512640 134569956 3221224368 3221214504 1131311273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40553 13086 16 0 209946 0 vsize: 839848 [startup+910.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 88195 49 0 0 25 0 11 0 780603335 860004352 40584 4294967295 134512640 134569956 3221224368 3221214528 1131560444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40584 13086 16 0 209946 0 vsize: 839848 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 89178 49 0 0 25 0 11 0 780603335 860004352 40610 4294967295 134512640 134569956 3221224368 3221214080 1131560431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40610 13086 16 0 209946 0 vsize: 839848 [startup+930.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 90161 49 0 0 25 0 11 0 780603335 860004352 40635 4294967295 134512640 134569956 3221224368 3221214352 1131567829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40635 13086 16 0 209946 0 vsize: 839848 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 91143 49 0 0 25 0 11 0 780603335 860004352 40662 4294967295 134512640 134569956 3221224368 3221213572 1131558880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40662 13086 16 0 209946 0 vsize: 839848 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 92115 49 0 0 25 0 11 0 780603335 860004352 40719 4294967295 134512640 134569956 3221224368 3221213808 1131559117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40719 13086 16 0 209946 0 vsize: 839848 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 93095 49 0 0 25 0 11 0 780603335 860004352 40740 4294967295 134512640 134569956 3221224368 3221213224 1085679331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40740 13086 16 0 209946 0 vsize: 839848 [startup+970.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 94065 49 0 0 25 0 11 0 780603335 860004352 40833 4294967295 134512640 134569956 3221224368 3221214488 1131314204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40833 13086 16 0 209946 0 vsize: 839848 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 95035 49 0 0 25 0 11 0 780603335 860004352 40910 4294967295 134512640 134569956 3221224368 3221214528 1131560423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40910 13086 16 0 209946 0 vsize: 839848 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 96014 49 0 0 25 0 11 0 780603335 860004352 40991 4294967295 134512640 134569956 3221224368 3221213760 1131559057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 40991 13086 16 0 209946 0 vsize: 839848 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 96986 49 0 0 24 0 11 0 780603335 860004352 41090 4294967295 134512640 134569956 3221224368 3221214336 1085679449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41090 13086 16 0 209946 0 vsize: 839848 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 97966 49 0 0 25 0 11 0 780603335 860004352 41167 4294967295 134512640 134569956 3221224368 3221214144 1131559032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41167 13086 16 0 209946 0 vsize: 839848 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 98937 49 0 0 25 0 11 0 780603335 860004352 41222 4294967295 134512640 134569956 3221224368 3221214016 1131560447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41222 13086 16 0 209946 0 vsize: 839848 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 99918 49 0 0 25 0 11 0 780603335 860004352 41301 4294967295 134512640 134569956 3221224368 3221213976 1131559117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41301 13086 16 0 209946 0 vsize: 839848 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 100889 49 0 0 25 0 11 0 780603335 860004352 41368 4294967295 134512640 134569956 3221224368 3221214060 1131560204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41368 13086 16 0 209946 0 vsize: 839848 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 101870 49 0 0 25 0 11 0 780603335 860004352 41425 4294967295 134512640 134569956 3221224368 3221214196 1131559056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41425 13086 16 0 209946 0 vsize: 839848 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 102842 49 0 0 25 0 11 0 780603335 860004352 41492 4294967295 134512640 134569956 3221224368 3221214504 1131311782 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41492 13086 16 0 209946 0 vsize: 839848 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 103822 49 0 0 25 0 11 0 780603335 860004352 41562 4294967295 134512640 134569956 3221224368 3221214592 1131514232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41562 13086 16 0 209946 0 vsize: 839848 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 104793 49 0 0 25 0 11 0 780603335 860004352 41661 4294967295 134512640 134569956 3221224368 3221213960 1131560456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41661 13086 16 0 209946 0 vsize: 839848 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 105774 50 0 0 25 0 11 0 780603335 860004352 41720 4294967295 134512640 134569956 3221224368 3221214480 1131559057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41720 13086 16 0 209946 0 vsize: 839848 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 106746 50 0 0 25 0 11 0 780603335 860004352 41804 4294967295 134512640 134569956 3221224368 3221213664 1085632310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41804 13086 16 0 209946 0 vsize: 839848 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 107718 50 0 0 25 0 11 0 780603335 860004352 41901 4294967295 134512640 134569956 3221224368 3221214248 1131560217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41901 13086 16 0 209946 0 vsize: 839848 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 108691 50 0 0 25 0 11 0 780603335 860004352 41988 4294967295 134512640 134569956 3221224368 3221214592 1131514590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 41988 13086 16 0 209946 0 vsize: 839848 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) S 8034 23514 23513 0 -1 0 18069 0 1 0 109666 50 0 0 25 0 11 0 780603335 860004352 42044 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42044 13086 16 0 209946 0 vsize: 839848 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 110648 50 0 0 25 0 11 0 780603335 860004352 42146 4294967295 134512640 134569956 3221224368 3221214200 1131558967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42146 13086 16 0 209946 0 vsize: 839848 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 111622 50 0 0 25 0 11 0 780603335 860004352 42226 4294967295 134512640 134569956 3221224368 3221213984 1131559004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42226 13086 16 0 209946 0 vsize: 839848 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 112605 50 0 0 25 0 11 0 780603335 860004352 42278 4294967295 134512640 134569956 3221224368 3221214032 1131559057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42278 13086 16 0 209946 0 vsize: 839848 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 113579 50 0 0 25 0 11 0 780603335 860004352 42355 4294967295 134512640 134569956 3221224368 3221214080 1131560374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42355 13086 16 0 209946 0 vsize: 839848 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 114553 50 0 0 25 0 11 0 780603335 860004352 42439 4294967295 134512640 134569956 3221224368 3221214480 1131558967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42439 13086 16 0 209946 0 vsize: 839848 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) S 8034 23514 23513 0 -1 0 18069 0 1 0 115535 50 0 0 25 0 11 0 780603335 860004352 42502 4294967295 134512640 134569956 3221224368 3221213232 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42502 13086 16 0 209946 0 vsize: 839848 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 116511 50 0 0 25 0 11 0 780603335 860004352 42587 4294967295 134512640 134569956 3221224368 3221214192 1131560384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42587 13086 16 0 209946 0 vsize: 839848 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 117487 50 0 0 25 0 11 0 780603335 860004352 42651 4294967295 134512640 134569956 3221224368 3221214184 1131560447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42651 13086 16 0 209946 0 vsize: 839848 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 118462 50 0 0 25 0 11 0 780603335 860004352 42725 4294967295 134512640 134569956 3221224368 3221214488 1131314204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42725 13086 16 0 209946 0 vsize: 839848 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 119438 51 0 0 25 0 11 0 780603335 860004352 42787 4294967295 134512640 134569956 3221224368 3221214472 1131239775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42787 13086 16 0 209946 0 vsize: 839848 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8045 Raw data (stat): 8035 (java) R 8034 23514 23513 0 -1 0 18069 0 1 0 120423 51 0 0 25 0 11 0 780603335 860004352 42836 4294967295 134512640 134569956 3221224368 3221214504 1131311558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209962 42836 13086 16 0 209946 0 vsize: 839848 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 8047 Raw data (stat): 8035 (java) Z 8034 23514 23513 0 -1 1036 18069 23005 1 0 120424 51 3108 47 25 0 1 0 780603335 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.17 CPU time (s): 1236.32 CPU user time (s): 1235.34 CPU system time (s): 0.98385 CPU usage (%): 99.6896 Max. virtual memory (Kb): 840668 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####