Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb |
MD5SUM | 4958e72bfea6f430972589733eb52991 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 654 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2136 |
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 | 2136 |
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 | 2136 |
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.09983 |
Number of variables | 2136 |
Total number of constraints | 9282 |
Number of constraints which are clauses | 9282 |
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 | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-13 16:36:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1530 boxname=wulflinc29 idbench=170 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4958e72bfea6f430972589733eb52991 /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b4.opb IDLAUNCH: 1530 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 875144 kB Buffers: 35332 kB Cached: 86852 kB SwapCached: 12 kB Active: 51736 kB Inactive: 73288 kB HighTotal: 131008 kB HighFree: 40684 kB LowTotal: 903652 kB LowFree: 834460 kB SwapTotal: 2097892 kB SwapFree: 2097880 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 29012 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:57:23 (client local time) WITH STATUS 143 IN SECONDS stats: 1530 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b4.opb c reading problem c [nbvar=2136] c [nbconstr=9282] c time 6.59 c #vars 2136 c #clauses 9282 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=976 c Current CPU time (ms) : 13.232 c starts : 1 c conflicts : 20 c decisions : 294 c propagations : 9244 c inspects : 26070 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 1 c c CURRENT OPTIMUM=773 c Current CPU time (ms) : 14.819 c starts : 2 c conflicts : 20 c decisions : 938 c propagations : 11380 c inspects : 32746 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 2 c c CURRENT OPTIMUM=663 c Current CPU time (ms) : 260.574 c starts : 4 c conflicts : 129 c decisions : 2531 c propagations : 29852 c inspects : 204571 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 129 c root simplifications : 4 #### 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.92 0.98 0.90 2/54 27642 Raw data (stat): 27642 (runsolver) R 27641 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477437571 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99987 s] Raw data (loadavg): 1.16 1.03 0.92 4/64 27652 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18127 0 1 0 735 43 0 0 25 0 11 0 477437571 864116736 20987 4294967295 134512640 134569956 3221224416 3221214864 1131355838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210966 20987 13073 16 0 210950 0 vsize: 843864 [startup+20.0012 s] Raw data (loadavg): 1.28 1.06 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 1646 44 0 0 25 0 11 0 477437571 864579584 23795 4294967295 134512640 134569956 3221224416 3221214752 1131457125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211079 23795 13073 16 0 211063 0 vsize: 844316 [startup+30.002 s] Raw data (loadavg): 1.24 1.06 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 2567 44 0 0 25 0 11 0 477437571 864579584 23795 4294967295 134512640 134569956 3221224416 3221214752 1131460097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211079 23795 13073 16 0 211063 0 vsize: 844316 [startup+40.0014 s] Raw data (loadavg): 1.20 1.06 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 3454 45 0 0 24 0 11 0 477437571 864579584 24458 4294967295 134512640 134569956 3221224416 3221214752 1131458293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211079 24458 13073 16 0 211063 0 vsize: 844316 [startup+50.0028 s] Raw data (loadavg): 1.17 1.06 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 4350 45 0 0 25 0 11 0 477437571 864579584 24772 4294967295 134512640 134569956 3221224416 3221214752 1131458019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211079 24772 13073 16 0 211063 0 vsize: 844316 [startup+60.0036 s] Raw data (loadavg): 1.14 1.05 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 5259 45 0 0 25 0 11 0 477437571 864579584 25008 4294967295 134512640 134569956 3221224416 3221214752 1131461519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211079 25008 13073 16 0 211063 0 vsize: 844316 [startup+70.005 s] Raw data (loadavg): 1.12 1.05 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 6173 46 0 0 24 0 11 0 477437571 864579584 25392 4294967295 134512640 134569956 3221224416 3221214752 1131458673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 25392 13073 16 0 211063 0 vsize: 844316 [startup+80.0063 s] Raw data (loadavg): 1.10 1.05 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 7119 46 0 0 25 0 11 0 477437571 864579584 25651 4294967295 134512640 134569956 3221224416 3221214664 1131414184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 25651 13073 16 0 211063 0 vsize: 844316 [startup+90.0061 s] Raw data (loadavg): 1.09 1.05 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 8070 46 0 0 25 0 11 0 477437571 864579584 25749 4294967295 134512640 134569956 3221224416 3221214752 1131460152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 25749 13073 16 0 211063 0 vsize: 844316 [startup+100.006 s] Raw data (loadavg): 1.07 1.05 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 9026 46 0 0 25 0 11 0 477437571 864579584 25958 4294967295 134512640 134569956 3221224416 3221214752 1131462137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 25958 13073 16 0 211063 0 vsize: 844316 [startup+110.008 s] Raw data (loadavg): 1.06 1.04 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 9986 46 0 0 25 0 11 0 477437571 864579584 26020 4294967295 134512640 134569956 3221224416 3221214704 1131519877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26020 13073 16 0 211063 0 vsize: 844316 [startup+120.009 s] Raw data (loadavg): 1.05 1.04 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 10943 46 0 0 24 0 11 0 477437571 864579584 26112 4294967295 134512640 134569956 3221224416 3221214752 1131457821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26112 13073 16 0 211063 0 vsize: 844316 [startup+130.009 s] Raw data (loadavg): 1.04 1.04 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 11902 46 0 0 25 0 11 0 477437571 864579584 26205 4294967295 134512640 134569956 3221224416 3221214752 1131457125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26205 13073 16 0 211063 0 vsize: 844316 [startup+140.01 s] Raw data (loadavg): 1.04 1.04 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 12857 46 0 0 25 0 11 0 477437571 864579584 26297 4294967295 134512640 134569956 3221224416 3221214808 1131592479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26297 13073 16 0 211063 0 vsize: 844316 [startup+150.011 s] Raw data (loadavg): 1.03 1.04 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 13812 46 0 0 25 0 11 0 477437571 864579584 26428 4294967295 134512640 134569956 3221224416 3221214704 1131321377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26428 13073 16 0 211063 0 vsize: 844316 [startup+160.011 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 14714 46 0 0 17 0 11 0 477437571 864579584 26987 4294967295 134512640 134569956 3221224416 3221214660 1080204176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 26987 13073 16 0 211063 0 vsize: 844316 [startup+170.013 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 15616 46 0 0 18 0 11 0 477437571 864579584 27076 4294967295 134512640 134569956 3221224416 3221214664 1131415761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27076 13073 16 0 211063 0 vsize: 844316 [startup+180.013 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 16548 46 0 0 24 0 11 0 477437571 864579584 27076 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27076 13073 16 0 211063 0 vsize: 844316 [startup+190.013 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 17505 46 0 0 25 0 11 0 477437571 864579584 27132 4294967295 134512640 134569956 3221224416 3221214792 1131392223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27132 13073 16 0 211063 0 vsize: 844316 [startup+200.014 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 18443 46 0 0 25 0 11 0 477437571 864579584 27194 4294967295 134512640 134569956 3221224416 3221214792 1131395691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27194 13073 16 0 211063 0 vsize: 844316 [startup+210.015 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 19395 46 0 0 25 0 11 0 477437571 864579584 27839 4294967295 134512640 134569956 3221224416 3221214792 1131392116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27839 13073 16 0 211063 0 vsize: 844316 [startup+220.016 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 20370 46 0 0 25 0 11 0 477437571 864579584 27912 4294967295 134512640 134569956 3221224416 3221214792 1131394138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 27912 13073 16 0 211063 0 vsize: 844316 [startup+230.017 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 21347 46 0 0 25 0 11 0 477437571 864579584 28015 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 28015 13073 16 0 211063 0 vsize: 844316 [startup+240.017 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 22333 46 0 0 25 0 11 0 477437571 864579584 28040 4294967295 134512640 134569956 3221224416 3221214792 1131393090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 28040 13073 16 0 211063 0 vsize: 844316 [startup+250.02 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27654 Raw data (stat): 27642 (java) S 27641 27222 27221 0 -1 0 18137 3 1 0 23315 46 0 0 25 0 11 0 477437571 864579584 28058 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 28059 13073 16 0 211063 0 vsize: 844316 [startup+260.021 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27654 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18137 3 1 0 24290 46 0 0 25 0 11 0 477437571 864579584 28080 4294967295 134512640 134569956 3221224416 3221214688 1131247001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 28080 13073 16 0 211063 0 vsize: 844316 [startup+270.023 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 25264 47 0 0 25 0 11 0 477437571 867725312 28986 4294967295 134512640 134569956 3221224416 3221214792 1131392116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 28986 13073 16 0 211831 0 vsize: 847388 [startup+280.023 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 26235 47 0 0 25 0 11 0 477437571 867725312 28994 4294967295 134512640 134569956 3221224416 3221214792 1131394044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 28994 13073 16 0 211831 0 vsize: 847388 [startup+290.024 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 27203 47 0 0 25 0 11 0 477437571 867725312 29019 4294967295 134512640 134569956 3221224416 3221214792 1131392184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29019 13073 16 0 211831 0 vsize: 847388 [startup+300.024 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 28169 47 0 0 25 0 11 0 477437571 867725312 29111 4294967295 134512640 134569956 3221224416 3221214688 1131247042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29111 13073 16 0 211831 0 vsize: 847388 [startup+310.025 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 29146 47 0 0 25 0 11 0 477437571 867725312 29141 4294967295 134512640 134569956 3221224416 3221214664 1131415910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29141 13073 16 0 211831 0 vsize: 847388 [startup+320.025 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 30114 47 0 0 25 0 11 0 477437571 867725312 29147 4294967295 134512640 134569956 3221224416 3221214584 1131499012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29147 13073 16 0 211831 0 vsize: 847388 [startup+330.026 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 31077 48 0 0 25 0 11 0 477437571 867725312 29191 4294967295 134512640 134569956 3221224416 3221214676 1080204314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29191 13073 16 0 211831 0 vsize: 847388 [startup+340.026 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 32047 48 0 0 25 0 11 0 477437571 867725312 29257 4294967295 134512640 134569956 3221224416 3221214704 1131388422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29257 13073 16 0 211831 0 vsize: 847388 [startup+350.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) S 27641 27222 27221 0 -1 0 18138 3 1 0 33018 48 0 0 25 0 11 0 477437571 867725312 29296 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29296 13073 16 0 211831 0 vsize: 847388 [startup+360.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 33990 48 0 0 25 0 11 0 477437571 867725312 29374 4294967295 134512640 134569956 3221224416 3221214652 1080203688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29374 13073 16 0 211831 0 vsize: 847388 [startup+370.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 34962 48 0 0 25 0 11 0 477437571 867725312 29412 4294967295 134512640 134569956 3221224416 3221214688 1131495798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29412 13073 16 0 211831 0 vsize: 847388 [startup+380.031 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 35933 48 0 0 25 0 11 0 477437571 867725312 29489 4294967295 134512640 134569956 3221224416 3221214664 1131414571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29489 13073 16 0 211831 0 vsize: 847388 [startup+390.031 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 36905 48 0 0 25 0 11 0 477437571 867725312 29527 4294967295 134512640 134569956 3221224416 3221214752 1131460097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29527 13073 16 0 211831 0 vsize: 847388 [startup+400.032 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 37877 48 0 0 25 0 11 0 477437571 867725312 29603 4294967295 134512640 134569956 3221224416 3221214848 1131355360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29603 13073 16 0 211831 0 vsize: 847388 [startup+410.032 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 38850 48 0 0 25 0 11 0 477437571 867725312 29640 4294967295 134512640 134569956 3221224416 3221214752 1131457125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29640 13073 16 0 211831 0 vsize: 847388 [startup+420.032 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 39822 48 0 0 25 0 11 0 477437571 867725312 29679 4294967295 134512640 134569956 3221224416 3221214664 1131414334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29679 13073 16 0 211831 0 vsize: 847388 [startup+430.033 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 40795 48 0 0 25 0 11 0 477437571 867725312 29717 4294967295 134512640 134569956 3221224416 3221214752 1131457821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29717 13073 16 0 211831 0 vsize: 847388 [startup+440.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 41770 48 0 0 25 0 11 0 477437571 867725312 29796 4294967295 134512640 134569956 3221224416 3221214704 1131388512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29796 13073 16 0 211831 0 vsize: 847388 [startup+450.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 42747 48 0 0 25 0 11 0 477437571 867725312 29833 4294967295 134512640 134569956 3221224416 3221214848 1131355360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29833 13073 16 0 211831 0 vsize: 847388 [startup+460.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 43723 48 0 0 25 0 11 0 477437571 867725312 29870 4294967295 134512640 134569956 3221224416 3221214608 1131429419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29870 13073 16 0 211831 0 vsize: 847388 [startup+470.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 44697 48 0 0 24 0 11 0 477437571 867725312 29909 4294967295 134512640 134569956 3221224416 3221214664 1131414343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29909 13073 16 0 211831 0 vsize: 847388 [startup+480.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 45673 48 0 0 24 0 11 0 477437571 867725312 29946 4294967295 134512640 134569956 3221224416 3221214828 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29946 13073 16 0 211831 0 vsize: 847388 [startup+490.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 46647 48 0 0 24 0 11 0 477437571 867725312 29982 4294967295 134512640 134569956 3221224416 3221214752 1131456451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 29982 13073 16 0 211831 0 vsize: 847388 [startup+500.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 47623 48 0 0 24 0 11 0 477437571 867725312 30020 4294967295 134512640 134569956 3221224416 3221214752 1131460107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30020 13073 16 0 211831 0 vsize: 847388 [startup+510.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 48599 48 0 0 25 0 11 0 477437571 867725312 30060 4294967295 134512640 134569956 3221224416 3221214752 1131456699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30060 13073 16 0 211831 0 vsize: 847388 [startup+520.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 49576 48 0 0 24 0 11 0 477437571 867725312 30098 4294967295 134512640 134569956 3221224416 3221214664 1131415283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30098 13073 16 0 211831 0 vsize: 847388 [startup+530.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 50553 48 0 0 25 0 11 0 477437571 867725312 30135 4294967295 134512640 134569956 3221224416 3221214752 1131457247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30135 13073 16 0 211831 0 vsize: 847388 [startup+540.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 51531 49 0 0 25 0 11 0 477437571 867725312 30172 4294967295 134512640 134569956 3221224416 3221214704 1131388424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30172 13073 16 0 211831 0 vsize: 847388 [startup+550.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 52509 49 0 0 25 0 11 0 477437571 867725312 30208 4294967295 134512640 134569956 3221224416 3221214752 1131461494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30208 13073 16 0 211831 0 vsize: 847388 [startup+560.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 53487 49 0 0 25 0 11 0 477437571 867725312 30243 4294967295 134512640 134569956 3221224416 3221214748 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30243 13073 16 0 211831 0 vsize: 847388 [startup+570.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 54465 49 0 0 25 0 11 0 477437571 867725312 30284 4294967295 134512640 134569956 3221224416 3221214664 1131414835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30284 13073 16 0 211831 0 vsize: 847388 [startup+580.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 55444 49 0 0 25 0 11 0 477437571 867725312 30322 4294967295 134512640 134569956 3221224416 3221214728 1131497670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30322 13073 16 0 211831 0 vsize: 847388 [startup+590.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 56421 49 0 0 25 0 11 0 477437571 867725312 30361 4294967295 134512640 134569956 3221224416 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30361 13073 16 0 211831 0 vsize: 847388 [startup+600.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 57399 49 0 0 25 0 11 0 477437571 867725312 30398 4294967295 134512640 134569956 3221224416 3221214752 1131459432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30398 13073 16 0 211831 0 vsize: 847388 [startup+610.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 58376 49 0 0 25 0 11 0 477437571 867725312 30434 4294967295 134512640 134569956 3221224416 3221214752 1131460821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30434 13073 16 0 211831 0 vsize: 847388 [startup+620.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 59355 49 0 0 25 0 11 0 477437571 867725312 30434 4294967295 134512640 134569956 3221224416 3221214752 1131458096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30434 13073 16 0 211831 0 vsize: 847388 [startup+630.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 60333 49 0 0 24 0 11 0 477437571 867725312 30471 4294967295 134512640 134569956 3221224416 3221214664 1131414571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30471 13073 16 0 211831 0 vsize: 847388 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 61313 49 0 0 25 0 11 0 477437571 867725312 30505 4294967295 134512640 134569956 3221224416 3221214808 1131592324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30505 13073 16 0 211831 0 vsize: 847388 [startup+650.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 62292 49 0 0 25 0 11 0 477437571 867725312 30540 4294967295 134512640 134569956 3221224416 3221214752 1131457231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30540 13073 16 0 211831 0 vsize: 847388 [startup+660.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 63268 49 0 0 25 0 11 0 477437571 867725312 30575 4294967295 134512640 134569956 3221224416 3221214676 1080203678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30575 13073 16 0 211831 0 vsize: 847388 [startup+670.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 64243 49 0 0 25 0 11 0 477437571 867725312 30610 4294967295 134512640 134569956 3221224416 3221214664 1131414192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30610 13073 16 0 211831 0 vsize: 847388 [startup+680.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 65218 49 0 0 24 0 11 0 477437571 867725312 30636 4294967295 134512640 134569956 3221224416 3221214608 1131429425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30636 13073 16 0 211831 0 vsize: 847388 [startup+690.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 66195 50 0 0 25 0 11 0 477437571 867725312 30648 4294967295 134512640 134569956 3221224416 3221214704 1131519688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30648 13073 16 0 211831 0 vsize: 847388 [startup+700.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 67166 50 0 0 24 0 11 0 477437571 867725312 30719 4294967295 134512640 134569956 3221224416 3221214828 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30719 13073 16 0 211831 0 vsize: 847388 [startup+710.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 68139 50 0 0 24 0 11 0 477437571 867725312 30726 4294967295 134512640 134569956 3221224416 3221214848 1131355648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30726 13073 16 0 211831 0 vsize: 847388 [startup+720.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 69113 50 0 0 25 0 11 0 477437571 867725312 30795 4294967295 134512640 134569956 3221224416 3221214660 1131429363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30795 13073 16 0 211831 0 vsize: 847388 [startup+730.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 70092 50 0 0 25 0 11 0 477437571 867725312 30863 4294967295 134512640 134569956 3221224416 3221214664 1131414213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30863 13073 16 0 211831 0 vsize: 847388 [startup+740.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 71068 50 0 0 25 0 11 0 477437571 867725312 30896 4294967295 134512640 134569956 3221224416 3221214608 1131429412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30896 13073 16 0 211831 0 vsize: 847388 [startup+750.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 72041 50 0 0 24 0 11 0 477437571 867725312 30931 4294967295 134512640 134569956 3221224416 3221214360 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30931 13073 16 0 211831 0 vsize: 847388 [startup+760.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 73013 50 0 0 24 0 11 0 477437571 867725312 30931 4294967295 134512640 134569956 3221224416 3221214752 1131458430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 30931 13073 16 0 211831 0 vsize: 847388 [startup+770.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18138 3 1 0 73992 50 0 0 25 0 11 0 477437571 867725312 31000 4294967295 134512640 134569956 3221224416 3221214704 1131388519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 31000 13073 16 0 211831 0 vsize: 847388 [startup+780.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) S 27641 27222 27221 0 -1 0 18138 3 1 0 74926 50 0 0 25 0 11 0 477437571 867725312 31000 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 31000 13073 16 0 211831 0 vsize: 847388 [startup+790.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 75823 50 0 0 25 0 11 0 477437571 867725312 31557 4294967295 134512640 134569956 3221224416 3221214704 1131322062 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 31557 13073 16 0 211831 0 vsize: 847388 [startup+800.061 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) S 27641 27222 27221 0 -1 0 18139 3 1 0 76721 50 0 0 25 0 11 0 477437571 867725312 32260 4294967295 134512640 134569956 3221224416 3221213672 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 32260 13073 16 0 211831 0 vsize: 847388 [startup+810.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 77611 50 0 0 24 0 11 0 477437571 867725312 32377 4294967295 134512640 134569956 3221224416 3221214704 1131519585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 32377 13073 16 0 211831 0 vsize: 847388 [startup+820.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 78507 50 0 0 24 0 11 0 477437571 867725312 32461 4294967295 134512640 134569956 3221224416 3221214688 1131495612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 32461 13073 16 0 211831 0 vsize: 847388 [startup+830.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 79444 50 0 0 25 0 11 0 477437571 867725312 33132 4294967295 134512640 134569956 3221224416 3221214848 1131355360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33132 13073 16 0 211831 0 vsize: 847388 [startup+840.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 80397 50 0 0 25 0 11 0 477437571 867725312 33266 4294967295 134512640 134569956 3221224416 3221214744 1131247964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33266 13073 16 0 211831 0 vsize: 847388 [startup+850.065 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 81356 50 0 0 25 0 11 0 477437571 867725312 33352 4294967295 134512640 134569956 3221224416 3221214740 1080204240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33352 13073 16 0 211831 0 vsize: 847388 [startup+860.065 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 82335 50 0 0 25 0 11 0 477437571 867725312 33381 4294967295 134512640 134569956 3221224416 3221214792 1131392184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33381 13073 16 0 211831 0 vsize: 847388 [startup+870.065 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 83311 50 0 0 25 0 11 0 477437571 867725312 33413 4294967295 134512640 134569956 3221224416 3221214792 1131392116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33413 13073 16 0 211831 0 vsize: 847388 [startup+880.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 84282 50 0 0 25 0 11 0 477437571 867725312 33434 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33434 13073 16 0 211831 0 vsize: 847388 [startup+890.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 85249 51 0 0 25 0 11 0 477437571 867725312 33446 4294967295 134512640 134569956 3221224416 3221214688 1131247646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33446 13073 16 0 211831 0 vsize: 847388 [startup+900.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 86217 51 0 0 25 0 11 0 477437571 867725312 33482 4294967295 134512640 134569956 3221224416 3221214792 1131392184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33482 13073 16 0 211831 0 vsize: 847388 [startup+910.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 87189 51 0 0 25 0 11 0 477437571 867725312 33654 4294967295 134512640 134569956 3221224416 3221214688 1131248060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33654 13073 16 0 211831 0 vsize: 847388 [startup+920.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 88178 51 0 0 25 0 11 0 477437571 867725312 33673 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33673 13073 16 0 211831 0 vsize: 847388 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 89167 51 0 0 25 0 11 0 477437571 867725312 33693 4294967295 134512640 134569956 3221224416 3221214792 1131392116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33693 13073 16 0 211831 0 vsize: 847388 [startup+940.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 90158 51 0 0 25 0 11 0 477437571 867725312 33709 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33709 13073 16 0 211831 0 vsize: 847388 [startup+950.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 91149 51 0 0 25 0 11 0 477437571 867725312 33720 4294967295 134512640 134569956 3221224416 3221214688 1131247005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33720 13073 16 0 211831 0 vsize: 847388 [startup+960.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 92141 51 0 0 25 0 11 0 477437571 867725312 33735 4294967295 134512640 134569956 3221224416 3221214688 1131247695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33735 13073 16 0 211831 0 vsize: 847388 [startup+970.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 93133 51 0 0 25 0 11 0 477437571 867725312 33746 4294967295 134512640 134569956 3221224416 3221214688 1131247413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33746 13073 16 0 211831 0 vsize: 847388 [startup+980.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 94127 51 0 0 25 0 11 0 477437571 867725312 33749 4294967295 134512640 134569956 3221224416 3221214688 1131247073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33749 13073 16 0 211831 0 vsize: 847388 [startup+990.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 95119 51 0 0 25 0 11 0 477437571 867725312 33757 4294967295 134512640 134569956 3221224416 3221214688 1131247413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33757 13073 16 0 211831 0 vsize: 847388 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 96112 51 0 0 25 0 11 0 477437571 867725312 33761 4294967295 134512640 134569956 3221224416 3221214792 1131392203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211847 33761 13073 16 0 211831 0 vsize: 847388 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 97101 51 0 0 25 0 11 0 477437571 867725312 33765 4294967295 134512640 134569956 3221224416 3221214688 1131247969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33765 13073 16 0 211831 0 vsize: 847388 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 98087 51 0 0 25 0 11 0 477437571 867725312 33773 4294967295 134512640 134569956 3221224416 3221214792 1131393132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33773 13073 16 0 211831 0 vsize: 847388 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 99074 51 0 0 25 0 11 0 477437571 867725312 33779 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211847 33779 13073 16 0 211831 0 vsize: 847388 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 100055 51 0 0 25 0 11 0 477437571 864579584 32986 4294967295 134512640 134569956 3221224416 3221214512 1131321255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 32986 13073 16 0 211063 0 vsize: 844316 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 101037 52 0 0 25 0 11 0 477437571 864579584 32987 4294967295 134512640 134569956 3221224416 3221214688 1131247376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 32987 13073 16 0 211063 0 vsize: 844316 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 102016 52 0 0 25 0 11 0 477437571 864579584 32998 4294967295 134512640 134569956 3221224416 3221214688 1131247239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 32998 13073 16 0 211063 0 vsize: 844316 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18139 3 1 0 102994 52 0 0 25 0 11 0 477437571 864579584 33016 4294967295 134512640 134569956 3221224416 3221214584 1131619196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33016 13073 16 0 211063 0 vsize: 844316 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 103973 52 0 0 25 0 11 0 477437571 864579584 33058 4294967295 134512640 134569956 3221224416 3221214512 1131321188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33058 13073 16 0 211063 0 vsize: 844316 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 104951 52 0 0 25 0 11 0 477437571 864579584 33059 4294967295 134512640 134569956 3221224416 3221214512 1131321311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33059 13073 16 0 211063 0 vsize: 844316 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 105927 53 0 0 25 0 11 0 477437571 864579584 33093 4294967295 134512640 134569956 3221224416 3221214688 1131247642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33093 13073 16 0 211063 0 vsize: 844316 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 106901 53 0 0 24 0 11 0 477437571 864579584 33130 4294967295 134512640 134569956 3221224416 3221214688 1131248019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33130 13073 16 0 211063 0 vsize: 844316 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 107877 53 0 0 25 0 11 0 477437571 864579584 33197 4294967295 134512640 134569956 3221224416 3221214592 1131321377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33197 13073 16 0 211063 0 vsize: 844316 [startup+1130.08 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 108855 53 0 0 25 0 11 0 477437571 864579584 33199 4294967295 134512640 134569956 3221224416 3221214592 1131321377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33199 13073 16 0 211063 0 vsize: 844316 [startup+1140.08 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 109837 53 0 0 25 0 11 0 477437571 864579584 33234 4294967295 134512640 134569956 3221224416 3221214688 1131247239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33234 13073 16 0 211063 0 vsize: 844316 [startup+1150.08 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 27655 Raw data (stat): 27642 (java) S 27641 27222 27221 0 -1 0 18140 3 1 0 110820 53 0 0 25 0 11 0 477437571 864579584 33270 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33270 13073 16 0 211063 0 vsize: 844316 [startup+1160.09 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 111806 53 0 0 25 0 11 0 477437571 864579584 33317 4294967295 134512640 134569956 3221224416 3221214792 1131394150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33317 13073 16 0 211063 0 vsize: 844316 [startup+1170.08 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 112794 53 0 0 25 0 11 0 477437571 864579584 33336 4294967295 134512640 134569956 3221224416 3221214792 1131394106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33336 13073 16 0 211063 0 vsize: 844316 [startup+1180.09 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 113783 53 0 0 25 0 11 0 477437571 864579584 33347 4294967295 134512640 134569956 3221224416 3221214792 1131393182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33347 13073 16 0 211063 0 vsize: 844316 [startup+1190.09 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 114772 53 0 0 25 0 11 0 477437571 864579584 33347 4294967295 134512640 134569956 3221224416 3221214688 1131247125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33347 13073 16 0 211063 0 vsize: 844316 [startup+1200.09 s] Raw data (loadavg): 1.10 1.03 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 115756 53 0 0 25 0 11 0 477437571 864579584 33348 4294967295 134512640 134569956 3221224416 3221214792 1131392123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33348 13073 16 0 211063 0 vsize: 844316 [startup+1210.09 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 116734 53 0 0 25 0 11 0 477437571 864579584 33350 4294967295 134512640 134569956 3221224416 3221214688 1131247013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33350 13073 16 0 211063 0 vsize: 844316 [startup+1220.09 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 117708 53 0 0 25 0 11 0 477437571 864579584 33384 4294967295 134512640 134569956 3221224416 3221214592 1131321356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33384 13073 16 0 211063 0 vsize: 844316 [startup+1230.09 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 118679 53 0 0 25 0 11 0 477437571 864579584 33384 4294967295 134512640 134569956 3221224416 3221214592 1131321434 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33384 13073 16 0 211063 0 vsize: 844316 [startup+1240.09 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 119646 53 0 0 25 0 11 0 477437571 864579584 33424 4294967295 134512640 134569956 3221224416 3221214688 1131247533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33424 13073 16 0 211063 0 vsize: 844316 [startup+1250.09 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 27655 Raw data (stat): 27642 (java) R 27641 27222 27221 0 -1 0 18140 3 1 0 120619 54 0 0 25 0 11 0 477437571 864579584 33482 4294967295 134512640 134569956 3221224416 3221214592 1131321610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211079 33482 13073 16 0 211063 0 vsize: 844316 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.19 s] Raw data (loadavg): 1.04 1.02 0.94 1/54 27657 Raw data (stat): 27642 (java) Z 27641 27222 27221 0 -1 1036 18140 16006 1 0 120622 54 4774 49 25 0 1 0 477437571 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.19 CPU time (s): 1255.01 CPU user time (s): 1253.97 CPU system time (s): 1.03984 CPU usage (%): 100.385 Max. virtual memory (Kb): 847388 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####