Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb |
MD5SUM | e6fecce3dd18220c4b3d8965362801d2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1359 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2782 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2782 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2782 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04284 |
Number of variables | 2782 |
Total number of constraints | 4517 |
Number of constraints which are clauses | 4517 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-13 16:57:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2070 boxname=wulflinc17 idbench=230 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e6fecce3dd18220c4b3d8965362801d2 /oldhome/oroussel/tmp/wulflinc17/normalized-ssa7552-160.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-ssa7552-160.opb IDLAUNCH: 2070 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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: 864564 kB Buffers: 32916 kB Cached: 102680 kB SwapCached: 2376 kB Active: 45468 kB Inactive: 95420 kB HighTotal: 131008 kB HighFree: 24752 kB LowTotal: 903652 kB LowFree: 839812 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23596 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:18:41 (client local time) WITH STATUS 143 IN SECONDS stats: 2070 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-ssa7552-160.opb c reading problem c [nbvar=2782] c [nbconstr=4517] c time 6.841 c #vars 2782 c #clauses 4517 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=1361 c Current CPU time (ms) : 8.795 c starts : 1 c conflicts : 4 c decisions : 229 c propagations : 4934 c inspects : 8585 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 3 c learned clauses : 4 c root simplifications : 2 c c CURRENT OPTIMUM=1359 c Current CPU time (ms) : 826.118 c starts : 3 c conflicts : 109 c decisions : 1130 c propagations : 22566 c inspects : 179474 c learned literals : 0 c learned binary clauses : 3 c learned ternary clauses : 7 c learned clauses : 109 c root simplifications : 6 #### 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): 1.07 1.02 0.94 2/55 22103 Raw data (stat): 22103 (runsolver) R 22102 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477576464 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99995 s] Raw data (loadavg): 1.37 1.08 0.96 3/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18067 3 1 0 713 42 0 0 23 0 11 0 477576464 860557312 20827 4294967295 134512640 134569956 3221224416 3221214964 1130883254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 20827 13073 16 0 210081 0 vsize: 840388 [startup+20.0011 s] Raw data (loadavg): 1.31 1.08 0.96 2/65 22114 Raw data (stat): 22103 (java) S 22102 20838 20837 0 -1 0 18068 3 1 0 1608 42 0 0 25 0 11 0 477576464 860925952 21751 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210187 21751 13073 16 0 210171 0 vsize: 840748 [startup+30.0015 s] Raw data (loadavg): 1.26 1.07 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18068 3 1 0 2543 42 0 0 25 0 11 0 477576464 858587136 21370 4294967295 134512640 134569956 3221224416 3221214600 1131339708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 21370 13073 16 0 209600 0 vsize: 838464 [startup+40.0006 s] Raw data (loadavg): 1.22 1.07 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 3469 42 0 0 25 0 11 0 477576464 858587136 21539 4294967295 134512640 134569956 3221224416 3221214504 1131216943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 21539 13073 16 0 209600 0 vsize: 838464 [startup+50.0016 s] Raw data (loadavg): 1.19 1.07 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 4407 43 0 0 25 0 11 0 477576464 858587136 21588 4294967295 134512640 134569956 3221224416 3221214504 1131216905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 21588 13073 16 0 209600 0 vsize: 838464 [startup+60.0023 s] Raw data (loadavg): 1.16 1.07 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 5344 43 0 0 25 0 11 0 477576464 858587136 22097 4294967295 134512640 134569956 3221224416 3221214856 1131335343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22097 13073 16 0 209600 0 vsize: 838464 [startup+70.0025 s] Raw data (loadavg): 1.13 1.06 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 6312 43 0 0 25 0 11 0 477576464 858587136 22296 4294967295 134512640 134569956 3221224416 3221214816 1131222945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22296 13073 16 0 209600 0 vsize: 838464 [startup+80.0035 s] Raw data (loadavg): 1.11 1.06 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 7283 43 0 0 25 0 11 0 477576464 858587136 22397 4294967295 134512640 134569956 3221224416 3221214584 1131544675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22397 13073 16 0 209600 0 vsize: 838464 [startup+90.0031 s] Raw data (loadavg): 1.09 1.06 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 8259 44 0 0 25 0 11 0 477576464 858587136 22480 4294967295 134512640 134569956 3221224416 3221214684 1131215724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22480 13073 16 0 209600 0 vsize: 838464 [startup+100.003 s] Raw data (loadavg): 1.08 1.06 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 9235 44 0 0 25 0 11 0 477576464 858587136 22592 4294967295 134512640 134569956 3221224416 3221214696 1131571920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 22592 13073 16 0 209600 0 vsize: 838464 [startup+110.003 s] Raw data (loadavg): 1.07 1.05 0.96 2/65 22114 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 10212 44 0 0 25 0 11 0 477576464 858587136 22620 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22620 13073 16 0 209600 0 vsize: 838464 [startup+120.005 s] Raw data (loadavg): 1.06 1.05 0.96 2/65 22114 Raw data (stat): 22103 (java) S 22102 20838 20837 0 -1 0 18069 3 1 0 11191 44 0 0 25 0 11 0 477576464 858587136 22665 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22665 13073 16 0 209600 0 vsize: 838464 [startup+130.009 s] Raw data (loadavg): 1.21 1.08 0.97 4/70 22166 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 12172 46 0 0 24 0 11 0 477576464 858587136 22721 4294967295 134512640 134569956 3221224416 3221214816 1131223541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 22721 13073 16 0 209600 0 vsize: 838464 [startup+140.008 s] Raw data (loadavg): 1.17 1.08 0.97 2/65 22167 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 13157 47 0 0 25 0 11 0 477576464 858587136 22794 4294967295 134512640 134569956 3221224416 3221214584 1131544311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22794 13073 16 0 209600 0 vsize: 838464 [startup+150.008 s] Raw data (loadavg): 1.15 1.08 0.97 2/65 22167 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 14148 47 0 0 25 0 11 0 477576464 858587136 22841 4294967295 134512640 134569956 3221224416 3221214912 1131342661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22841 13073 16 0 209600 0 vsize: 838464 [startup+160.008 s] Raw data (loadavg): 1.12 1.07 0.97 2/65 22169 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 15131 47 0 0 25 0 11 0 477576464 858587136 22859 4294967295 134512640 134569956 3221224416 3221214592 1131217109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22859 13073 16 0 209600 0 vsize: 838464 [startup+170.008 s] Raw data (loadavg): 1.10 1.07 0.97 2/65 22169 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 16117 47 0 0 25 0 11 0 477576464 858587136 22859 4294967295 134512640 134569956 3221224416 3221214600 1131217020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22859 13073 16 0 209600 0 vsize: 838464 [startup+180.009 s] Raw data (loadavg): 1.09 1.07 0.97 2/65 22169 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 17099 47 0 0 25 0 11 0 477576464 858587136 22897 4294967295 134512640 134569956 3221224416 3221214592 1131217109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22897 13073 16 0 209600 0 vsize: 838464 [startup+190.009 s] Raw data (loadavg): 1.07 1.06 0.97 2/65 22169 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 18085 47 0 0 25 0 11 0 477576464 858587136 22897 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22897 13073 16 0 209600 0 vsize: 838464 [startup+200.01 s] Raw data (loadavg): 1.06 1.06 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 19074 47 0 0 25 0 11 0 477576464 858587136 22984 4294967295 134512640 134569956 3221224416 3221214580 1131398761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 22984 13073 16 0 209600 0 vsize: 838464 [startup+210.01 s] Raw data (loadavg): 1.05 1.06 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 20064 47 0 0 25 0 11 0 477576464 858587136 23018 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23018 13073 16 0 209600 0 vsize: 838464 [startup+220.01 s] Raw data (loadavg): 1.04 1.06 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 21055 47 0 0 25 0 11 0 477576464 858587136 23028 4294967295 134512640 134569956 3221224416 3221214688 1131573744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23028 13073 16 0 209600 0 vsize: 838464 [startup+230.011 s] Raw data (loadavg): 1.04 1.05 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 22042 47 0 0 24 0 11 0 477576464 858587136 23056 4294967295 134512640 134569956 3221224416 3221214584 1131545491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23056 13073 16 0 209600 0 vsize: 838464 [startup+240.011 s] Raw data (loadavg): 1.03 1.05 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 23031 47 0 0 25 0 11 0 477576464 858587136 23056 4294967295 134512640 134569956 3221224416 3221214816 1131223361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23056 13073 16 0 209600 0 vsize: 838464 [startup+250.011 s] Raw data (loadavg): 1.02 1.05 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 24017 47 0 0 25 0 11 0 477576464 858587136 23056 4294967295 134512640 134569956 3221224416 3221214696 1131571943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23056 13073 16 0 209600 0 vsize: 838464 [startup+260.011 s] Raw data (loadavg): 1.02 1.05 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 25001 47 0 0 25 0 11 0 477576464 858587136 23078 4294967295 134512640 134569956 3221224416 3221214816 1131222949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23078 13073 16 0 209600 0 vsize: 838464 [startup+270.013 s] Raw data (loadavg): 1.02 1.05 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 25984 47 0 0 25 0 11 0 477576464 858587136 23124 4294967295 134512640 134569956 3221224416 3221214760 1131217109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23124 13073 16 0 209600 0 vsize: 838464 [startup+280.013 s] Raw data (loadavg): 1.01 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 26968 47 0 0 25 0 11 0 477576464 858587136 23171 4294967295 134512640 134569956 3221224416 3221214592 1131217094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23171 13073 16 0 209600 0 vsize: 838464 [startup+290.013 s] Raw data (loadavg): 1.01 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 27952 47 0 0 25 0 11 0 477576464 858587136 23198 4294967295 134512640 134569956 3221224416 3221214584 1131546848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23198 13073 16 0 209600 0 vsize: 838464 [startup+300.014 s] Raw data (loadavg): 1.01 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 28938 47 0 0 25 0 11 0 477576464 858587136 23244 4294967295 134512640 134569956 3221224416 3221214584 1131544709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23244 13073 16 0 209600 0 vsize: 838464 [startup+310.014 s] Raw data (loadavg): 1.01 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 29921 48 0 0 25 0 11 0 477576464 858587136 23272 4294967295 134512640 134569956 3221224416 3221214584 1131544565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23272 13073 16 0 209600 0 vsize: 838464 [startup+320.014 s] Raw data (loadavg): 1.01 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 30907 48 0 0 25 0 11 0 477576464 858587136 23308 4294967295 134512640 134569956 3221224416 3221214600 1131215763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23308 13073 16 0 209600 0 vsize: 838464 [startup+330.015 s] Raw data (loadavg): 1.00 1.04 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 31890 48 0 0 25 0 11 0 477576464 858587136 23346 4294967295 134512640 134569956 3221224416 3221214600 1131217071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23346 13073 16 0 209600 0 vsize: 838464 [startup+340.014 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 32876 48 0 0 25 0 11 0 477576464 858587136 23365 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23365 13073 16 0 209600 0 vsize: 838464 [startup+350.014 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 33860 48 0 0 25 0 11 0 477576464 858587136 23410 4294967295 134512640 134569956 3221224416 3221214600 1131217788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23410 13073 16 0 209600 0 vsize: 838464 [startup+360.015 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 34840 48 0 0 25 0 11 0 477576464 858587136 23421 4294967295 134512640 134569956 3221224416 3221214600 1131216943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23421 13073 16 0 209600 0 vsize: 838464 [startup+370.015 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 35824 48 0 0 25 0 11 0 477576464 858587136 23494 4294967295 134512640 134569956 3221224416 3221214888 1131378470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23494 13073 16 0 209600 0 vsize: 838464 [startup+380.015 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 36810 48 0 0 25 0 11 0 477576464 858587136 23513 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23513 13073 16 0 209600 0 vsize: 838464 [startup+390.015 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 37792 48 0 0 25 0 11 0 477576464 858587136 23540 4294967295 134512640 134569956 3221224416 3221214696 1131571937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23540 13073 16 0 209600 0 vsize: 838464 [startup+400.015 s] Raw data (loadavg): 1.00 1.03 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 38777 48 0 0 25 0 11 0 477576464 858587136 23631 4294967295 134512640 134569956 3221224416 3221214696 1131571912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23631 13073 16 0 209600 0 vsize: 838464 [startup+410.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 39759 48 0 0 25 0 11 0 477576464 858587136 23631 4294967295 134512640 134569956 3221224416 3221214600 1131217020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23631 13073 16 0 209600 0 vsize: 838464 [startup+420.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 40731 48 0 0 25 0 11 0 477576464 858587136 23641 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23641 13073 16 0 209600 0 vsize: 838464 [startup+430.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 41701 48 0 0 24 0 11 0 477576464 858587136 23714 4294967295 134512640 134569956 3221224416 3221214600 1131217012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23714 13073 16 0 209600 0 vsize: 838464 [startup+440.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 42679 48 0 0 25 0 11 0 477576464 858587136 23714 4294967295 134512640 134569956 3221224416 3221214600 1131216943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23714 13073 16 0 209600 0 vsize: 838464 [startup+450.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22171 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 43645 48 0 0 25 0 11 0 477576464 858587136 23746 4294967295 134512640 134569956 3221224416 3221214816 1131223583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23746 13073 16 0 209600 0 vsize: 838464 [startup+460.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22173 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 44619 48 0 0 25 0 11 0 477576464 858587136 23921 4294967295 134512640 134569956 3221224416 3221214600 1131217197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23921 13073 16 0 209600 0 vsize: 838464 [startup+470.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22173 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 45601 48 0 0 25 0 11 0 477576464 858587136 23986 4294967295 134512640 134569956 3221224416 3221214600 1131217791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 23986 13073 16 0 209600 0 vsize: 838464 [startup+480.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 46585 48 0 0 25 0 11 0 477576464 858587136 24014 4294967295 134512640 134569956 3221224416 3221214816 1131223361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 24014 13073 16 0 209600 0 vsize: 838464 [startup+490.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 47568 49 0 0 25 0 11 0 477576464 858587136 24071 4294967295 134512640 134569956 3221224416 3221214592 1131217094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 24071 13073 16 0 209600 0 vsize: 838464 [startup+500.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 48554 49 0 0 25 0 11 0 477576464 858587136 24076 4294967295 134512640 134569956 3221224416 3221214696 1131572019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 24076 13073 16 0 209600 0 vsize: 838464 [startup+510.016 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 49538 49 0 0 25 0 11 0 477576464 858587136 24113 4294967295 134512640 134569956 3221224416 3221214616 1131540309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 24113 13073 16 0 209600 0 vsize: 838464 [startup+520.016 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 50522 49 0 0 25 0 11 0 477576464 858587136 24143 4294967295 134512640 134569956 3221224416 3221214584 1131544565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24143 13073 16 0 209600 0 vsize: 838464 [startup+530.017 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 51508 49 0 0 25 0 11 0 477576464 858587136 24172 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24172 13073 16 0 209600 0 vsize: 838464 [startup+540.017 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 52492 49 0 0 25 0 11 0 477576464 858587136 24190 4294967295 134512640 134569956 3221224416 3221214600 1131216854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209616 24190 13073 16 0 209600 0 vsize: 838464 [startup+550.017 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 53475 50 0 0 17 0 11 0 477576464 858587136 24218 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24218 13073 16 0 209600 0 vsize: 838464 [startup+560.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 54461 50 0 0 25 0 11 0 477576464 858587136 24264 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24264 13073 16 0 209600 0 vsize: 838464 [startup+570.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 55447 51 0 0 25 0 11 0 477576464 858587136 24282 4294967295 134512640 134569956 3221224416 3221214816 1131223361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24282 13073 16 0 209600 0 vsize: 838464 [startup+580.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 56432 51 0 0 25 0 11 0 477576464 858587136 24309 4294967295 134512640 134569956 3221224416 3221214584 1131546899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24309 13073 16 0 209600 0 vsize: 838464 [startup+590.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 57418 52 0 0 25 0 11 0 477576464 858587136 24328 4294967295 134512640 134569956 3221224416 3221214600 1131216878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24328 13073 16 0 209600 0 vsize: 838464 [startup+600.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 58396 52 0 0 25 0 11 0 477576464 858587136 24338 4294967295 134512640 134569956 3221224416 3221214400 1130899585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24338 13073 16 0 209600 0 vsize: 838464 [startup+610.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 59369 52 0 0 25 0 11 0 477576464 858587136 24338 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24338 13073 16 0 209600 0 vsize: 838464 [startup+620.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 60336 53 0 0 25 0 11 0 477576464 858587136 24384 4294967295 134512640 134569956 3221224416 3221214584 1131547565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24384 13073 16 0 209600 0 vsize: 838464 [startup+630.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 61295 53 0 0 24 0 11 0 477576464 858587136 24403 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24403 13073 16 0 209600 0 vsize: 838464 [startup+640.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 62261 53 0 0 25 0 11 0 477576464 858587136 24498 4294967295 134512640 134569956 3221224416 3221214616 1131540309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24498 13073 16 0 209600 0 vsize: 838464 [startup+650.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 63223 54 0 0 25 0 11 0 477576464 858587136 24564 4294967295 134512640 134569956 3221224416 3221214696 1131571920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24564 13073 16 0 209600 0 vsize: 838464 [startup+660.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 64190 54 0 0 25 0 11 0 477576464 858587136 24690 4294967295 134512640 134569956 3221224416 3221214592 1131217071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24690 13073 16 0 209600 0 vsize: 838464 [startup+670.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 65158 54 0 0 25 0 11 0 477576464 858587136 24839 4294967295 134512640 134569956 3221224416 3221214752 1131407733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24839 13073 16 0 209600 0 vsize: 838464 [startup+680.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 66128 54 0 0 24 0 11 0 477576464 858587136 24892 4294967295 134512640 134569956 3221224416 3221214688 1131573937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24892 13073 16 0 209600 0 vsize: 838464 [startup+690.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 67105 55 0 0 25 0 11 0 477576464 858587136 24935 4294967295 134512640 134569956 3221224416 3221214816 1131223315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 24935 13073 16 0 209600 0 vsize: 838464 [startup+700.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 68076 55 0 0 25 0 11 0 477576464 858587136 25049 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25049 13073 16 0 209600 0 vsize: 838464 [startup+710.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 69052 55 0 0 25 0 11 0 477576464 858587136 25076 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25076 13073 16 0 209600 0 vsize: 838464 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 70023 56 0 0 24 0 11 0 477576464 858587136 25145 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25145 13073 16 0 209600 0 vsize: 838464 [startup+730.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 70998 56 0 0 25 0 11 0 477576464 858587136 25162 4294967295 134512640 134569956 3221224416 3221214864 1131177873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25162 13073 16 0 209600 0 vsize: 838464 [startup+740.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 71988 56 0 0 25 0 11 0 477576464 858587136 25162 4294967295 134512640 134569956 3221224416 3221214816 1131223361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25162 13073 16 0 209600 0 vsize: 838464 [startup+750.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22175 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 72962 56 0 0 25 0 11 0 477576464 858587136 25173 4294967295 134512640 134569956 3221224416 3221214864 1131177856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25173 13073 16 0 209600 0 vsize: 838464 [startup+760.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 73929 57 0 0 25 0 11 0 477576464 858587136 25337 4294967295 134512640 134569956 3221224416 3221214912 1131342661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25337 13073 16 0 209600 0 vsize: 838464 [startup+770.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 74905 57 0 0 25 0 11 0 477576464 858587136 25381 4294967295 134512640 134569956 3221224416 3221214816 1131223807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25381 13073 16 0 209600 0 vsize: 838464 [startup+780.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 75878 57 0 0 25 0 11 0 477576464 858587136 25426 4294967295 134512640 134569956 3221224416 3221214816 1131223604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25426 13073 16 0 209600 0 vsize: 838464 [startup+790.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 76859 57 0 0 25 0 11 0 477576464 858587136 25511 4294967295 134512640 134569956 3221224416 3221214816 1131222941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25511 13073 16 0 209600 0 vsize: 838464 [startup+800.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 77847 58 0 0 25 0 11 0 477576464 858587136 25536 4294967295 134512640 134569956 3221224416 3221214816 1131223245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25536 13073 16 0 209600 0 vsize: 838464 [startup+810.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 78835 58 0 0 25 0 11 0 477576464 858587136 25543 4294967295 134512640 134569956 3221224416 3221214816 1131223361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25543 13073 16 0 209600 0 vsize: 838464 [startup+820.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22177 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 79822 58 0 0 25 0 11 0 477576464 858587136 25565 4294967295 134512640 134569956 3221224416 3221214816 1131222945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25565 13073 16 0 209600 0 vsize: 838464 [startup+830.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 80806 59 0 0 25 0 11 0 477576464 858587136 25571 4294967295 134512640 134569956 3221224416 3221214816 1131223827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25571 13073 16 0 209600 0 vsize: 838464 [startup+840.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 81770 59 0 0 25 0 11 0 477576464 858587136 25578 4294967295 134512640 134569956 3221224416 3221214864 1131177873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25578 13073 16 0 209600 0 vsize: 838464 [startup+850.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) S 22102 20838 20837 0 -1 0 18069 3 1 0 82707 60 0 0 25 0 11 0 477576464 858587136 25582 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25582 13073 16 0 209600 0 vsize: 838464 [startup+860.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 83648 60 0 0 25 0 11 0 477576464 858587136 25585 4294967295 134512640 134569956 3221224416 3221214696 1131572041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25585 13073 16 0 209600 0 vsize: 838464 [startup+870.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 84597 60 0 0 24 0 11 0 477576464 858587136 25870 4294967295 134512640 134569956 3221224416 3221214696 1131571920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 25870 13073 16 0 209600 0 vsize: 838464 [startup+880.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 85578 61 0 0 25 0 11 0 477576464 858587136 26024 4294967295 134512640 134569956 3221224416 3221214816 1131223551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26024 13073 16 0 209600 0 vsize: 838464 [startup+890.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 86558 61 0 0 25 0 11 0 477576464 858587136 26053 4294967295 134512640 134569956 3221224416 3221214856 1131335343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26053 13073 16 0 209600 0 vsize: 838464 [startup+900.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 87537 61 0 0 25 0 11 0 477576464 858587136 26085 4294967295 134512640 134569956 3221224416 3221214560 1131398788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26085 13073 16 0 209600 0 vsize: 838464 [startup+910.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) S 22102 20838 20837 0 -1 0 18069 3 1 0 88520 62 0 0 25 0 11 0 477576464 858587136 26141 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26141 13073 16 0 209600 0 vsize: 838464 [startup+920.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 89502 62 0 0 25 0 11 0 477576464 858587136 26159 4294967295 134512640 134569956 3221224416 3221214600 1131215755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26159 13073 16 0 209600 0 vsize: 838464 [startup+930.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 90485 62 0 0 25 0 11 0 477576464 858587136 26203 4294967295 134512640 134569956 3221224416 3221214864 1131177853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26203 13073 16 0 209600 0 vsize: 838464 [startup+940.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 91465 62 0 0 25 0 11 0 477576464 858587136 26247 4294967295 134512640 134569956 3221224416 3221214704 1131381753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26247 13073 16 0 209600 0 vsize: 838464 [startup+950.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 92445 63 0 0 25 0 11 0 477576464 858587136 26247 4294967295 134512640 134569956 3221224416 3221214584 1131544311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26247 13073 16 0 209600 0 vsize: 838464 [startup+960.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 93428 63 0 0 25 0 11 0 477576464 858587136 26292 4294967295 134512640 134569956 3221224416 3221214696 1131571923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26292 13073 16 0 209600 0 vsize: 838464 [startup+970.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 94410 63 0 0 25 0 11 0 477576464 858587136 26336 4294967295 134512640 134569956 3221224416 3221214688 1131573767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26336 13073 16 0 209600 0 vsize: 838464 [startup+980.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 95394 64 0 0 25 0 11 0 477576464 858587136 26381 4294967295 134512640 134569956 3221224416 3221214584 1131544316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26381 13073 16 0 209600 0 vsize: 838464 [startup+990.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 96377 64 0 0 25 0 11 0 477576464 858587136 26425 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26425 13073 16 0 209600 0 vsize: 838464 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 97358 64 0 0 25 0 11 0 477576464 858587136 26425 4294967295 134512640 134569956 3221224416 3221214688 1131573767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26425 13073 16 0 209600 0 vsize: 838464 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 98341 64 0 0 25 0 11 0 477576464 858587136 26437 4294967295 134512640 134569956 3221224416 3221214600 1131217106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26437 13073 16 0 209600 0 vsize: 838464 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 99323 65 0 0 25 0 11 0 477576464 858587136 26455 4294967295 134512640 134569956 3221224416 3221214816 1131223513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26455 13073 16 0 209600 0 vsize: 838464 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 100298 65 0 0 25 0 11 0 477576464 858587136 26499 4294967295 134512640 134569956 3221224416 3221214600 1131217288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26499 13073 16 0 209600 0 vsize: 838464 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 101261 65 0 0 25 0 11 0 477576464 858587136 26543 4294967295 134512640 134569956 3221224416 3221214584 1131544311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26543 13073 16 0 209600 0 vsize: 838464 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22178 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 102225 66 0 0 25 0 11 0 477576464 858587136 26586 4294967295 134512640 134569956 3221224416 3221214688 1131573791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26586 13073 16 0 209600 0 vsize: 838464 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 103193 67 0 0 25 0 11 0 477576464 858587136 26632 4294967295 134512640 134569956 3221224416 3221214592 1131216943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26632 13073 16 0 209600 0 vsize: 838464 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 104158 67 0 0 25 0 11 0 477576464 858587136 26719 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26719 13073 16 0 209600 0 vsize: 838464 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 105127 67 0 0 24 0 11 0 477576464 858587136 26885 4294967295 134512640 134569956 3221224416 3221214736 1131359044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26885 13073 16 0 209600 0 vsize: 838464 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) S 22102 20838 20837 0 -1 0 18069 3 1 0 106102 68 0 0 25 0 11 0 477576464 858587136 26937 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 26937 13073 16 0 209600 0 vsize: 838464 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 107076 68 0 0 25 0 11 0 477576464 858587136 27005 4294967295 134512640 134569956 3221224416 3221214912 1131342657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27005 13073 16 0 209600 0 vsize: 838464 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 108047 69 0 0 25 0 11 0 477576464 858587136 27014 4294967295 134512640 134569956 3221224416 3221214584 1131544371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27014 13073 16 0 209600 0 vsize: 838464 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 109012 69 0 0 25 0 11 0 477576464 858587136 27070 4294967295 134512640 134569956 3221224416 3221214600 1131217300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27070 13073 16 0 209600 0 vsize: 838464 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 109985 69 0 0 25 0 11 0 477576464 858587136 27187 4294967295 134512640 134569956 3221224416 3221214864 1131177856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27187 13073 16 0 209600 0 vsize: 838464 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 110958 69 0 0 25 0 11 0 477576464 858587136 27231 4294967295 134512640 134569956 3221224416 3221214816 1131223984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27231 13073 16 0 209600 0 vsize: 838464 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 111933 70 0 0 25 0 11 0 477576464 858587136 27299 4294967295 134512640 134569956 3221224416 3221214816 1131224042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27299 13073 16 0 209600 0 vsize: 838464 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 112910 70 0 0 25 0 11 0 477576464 858587136 27374 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27374 13073 16 0 209600 0 vsize: 838464 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 113882 71 0 0 25 0 11 0 477576464 858587136 27391 4294967295 134512640 134569956 3221224416 3221214584 1131544539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27391 13073 16 0 209600 0 vsize: 838464 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 114854 71 0 0 24 0 11 0 477576464 858587136 27423 4294967295 134512640 134569956 3221224416 3221214912 1131342758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27423 13073 16 0 209600 0 vsize: 838464 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 115828 71 0 0 25 0 11 0 477576464 858587136 27483 4294967295 134512640 134569956 3221224416 3221214584 1131544316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27483 13073 16 0 209600 0 vsize: 838464 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 116796 72 0 0 25 0 11 0 477576464 858587136 27529 4294967295 134512640 134569956 3221224416 3221214600 1131217109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27529 13073 16 0 209600 0 vsize: 838464 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 117765 72 0 0 25 0 11 0 477576464 858587136 27623 4294967295 134512640 134569956 3221224416 3221214688 1131573767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27623 13073 16 0 209600 0 vsize: 838464 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 118739 72 0 0 25 0 11 0 477576464 858587136 27674 4294967295 134512640 134569956 3221224416 3221214752 1131407733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27674 13073 16 0 209600 0 vsize: 838464 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 119706 72 0 0 25 0 11 0 477576464 858587136 27726 4294967295 134512640 134569956 3221224416 3221214600 1131216885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27726 13073 16 0 209600 0 vsize: 838464 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 22180 Raw data (stat): 22103 (java) R 22102 20838 20837 0 -1 0 18069 3 1 0 120672 72 0 0 25 0 11 0 477576464 858587136 27801 4294967295 134512640 134569956 3221224416 3221214864 1131177873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209616 27801 13073 16 0 209600 0 vsize: 838464 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.13 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 22182 Raw data (stat): 22103 (java) Z 22102 20838 20837 0 -1 1036 18069 8256 1 0 120676 72 2972 28 25 0 1 0 477576464 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.13 CPU time (s): 1237.5 CPU user time (s): 1236.49 CPU system time (s): 1.01584 CPU usage (%): 99.7879 Max. virtual memory (Kb): 840748 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####