Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb |
MD5SUM | 002d92124dd96ccf471b7e05fe08f2d6 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.252961 |
Number of variables | 863 |
Total number of constraints | 646 |
Number of constraints which are clauses | 598 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-04-13 15:53:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=387 boxname=wulflinc3 idbench=43 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 002d92124dd96ccf471b7e05fe08f2d6 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb IDLAUNCH: 387 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 924112 kB Buffers: 34608 kB Cached: 52896 kB SwapCached: 3276 kB Active: 63300 kB Inactive: 30332 kB HighTotal: 131008 kB HighFree: 73696 kB LowTotal: 903652 kB LowFree: 850416 kB SwapTotal: 2097136 kB SwapFree: 2093860 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6916 kB Slab: 11232 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:14:32 (client local time) WITH STATUS 143 IN SECONDS stats: 387 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb c reading problem c [nbvar=863] c [nbconstr=646] c time 2.581 c #vars 863 c #clauses 646 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 #### 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.18 0.34 0.12 2/54 10866 Raw data (stat): 10866 (runsolver) R 10865 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418956096 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+10.0008 s] Raw data (loadavg): 1.38 0.41 0.14 3/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18118 0 1 0 616 44 0 0 25 0 11 0 418956096 865636352 21484 4294967295 134512640 134569956 3221224400 3221214648 1131348501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211337 21484 13073 16 0 211321 0 vsize: 845348 [startup+20.0015 s] Raw data (loadavg): 1.40 0.45 0.15 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18124 0 1 0 1517 44 0 0 25 0 11 0 418956096 865095680 22111 4294967295 134512640 134569956 3221224400 3221214800 1131371653 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211205 22111 13073 16 0 211189 0 vsize: 844820 [startup+30.0028 s] Raw data (loadavg): 1.34 0.47 0.16 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18124 0 1 0 2433 45 0 0 24 0 11 0 418956096 863387648 22341 4294967295 134512640 134569956 3221224400 3221214680 1131256170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 22341 13073 16 0 210772 0 vsize: 843152 [startup+40.0032 s] Raw data (loadavg): 1.28 0.48 0.17 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 3356 45 0 0 25 0 11 0 418956096 863387648 22792 4294967295 134512640 134569956 3221224400 3221214688 1131441523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 22792 13073 16 0 210772 0 vsize: 843152 [startup+50.0039 s] Raw data (loadavg): 1.24 0.50 0.18 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 4274 45 0 0 25 0 11 0 418956096 863387648 23280 4294967295 134512640 134569956 3221224400 3221214680 1131604112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 23280 13073 16 0 210772 0 vsize: 843152 [startup+60.0053 s] Raw data (loadavg): 1.20 0.52 0.19 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 5204 45 0 0 25 0 11 0 418956096 863387648 23399 4294967295 134512640 134569956 3221224400 3221214680 1131605952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 23399 13073 16 0 210772 0 vsize: 843152 [startup+70.006 s] Raw data (loadavg): 1.17 0.53 0.20 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 6156 45 0 0 25 0 11 0 418956096 863387648 23441 4294967295 134512640 134569956 3221224400 3221214576 1131492273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 23441 13073 16 0 210772 0 vsize: 843152 [startup+80.0064 s] Raw data (loadavg): 1.14 0.55 0.20 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 7098 45 0 0 25 0 11 0 418956096 863387648 23583 4294967295 134512640 134569956 3221224400 3221214680 1131604112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 23583 13073 16 0 210772 0 vsize: 843152 [startup+90.0077 s] Raw data (loadavg): 1.12 0.56 0.21 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 8046 45 0 0 25 0 11 0 418956096 863387648 23746 4294967295 134512640 134569956 3221224400 3221214680 1131256555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 23746 13073 16 0 210772 0 vsize: 843152 [startup+100.008 s] Raw data (loadavg): 1.10 0.58 0.22 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 9003 45 0 0 25 0 11 0 418956096 863387648 24097 4294967295 134512640 134569956 3221224400 3221214408 1078032989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24097 13073 16 0 210772 0 vsize: 843152 [startup+110.009 s] Raw data (loadavg): 1.09 0.59 0.23 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 9978 45 0 0 25 0 11 0 418956096 863387648 24273 4294967295 134512640 134569956 3221224400 3221214576 1131612901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24273 13073 16 0 210772 0 vsize: 843152 [startup+120.01 s] Raw data (loadavg): 1.07 0.60 0.24 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 10956 45 0 0 25 0 11 0 418956096 863387648 24339 4294967295 134512640 134569956 3221224400 3221214368 1080217096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24339 13073 16 0 210772 0 vsize: 843152 [startup+130.01 s] Raw data (loadavg): 1.06 0.61 0.24 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 11933 45 0 0 25 0 11 0 418956096 863387648 24401 4294967295 134512640 134569956 3221224400 3221214576 1131612861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24401 13073 16 0 210772 0 vsize: 843152 [startup+140.01 s] Raw data (loadavg): 1.05 0.63 0.25 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 12903 45 0 0 25 0 11 0 418956096 863387648 24477 4294967295 134512640 134569956 3221224400 3221214736 1131275591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24477 13073 16 0 210772 0 vsize: 843152 [startup+150.011 s] Raw data (loadavg): 1.04 0.64 0.26 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 13868 45 0 0 25 0 11 0 418956096 863387648 24542 4294967295 134512640 134569956 3221224400 3221214464 1131596160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24542 13073 16 0 210772 0 vsize: 843152 [startup+160.012 s] Raw data (loadavg): 1.04 0.65 0.27 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 14802 45 0 0 25 0 11 0 418956096 863387648 24622 4294967295 134512640 134569956 3221224400 3221214680 1131256409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24622 13073 16 0 210772 0 vsize: 843152 [startup+170.012 s] Raw data (loadavg): 1.03 0.66 0.28 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 15751 45 0 0 25 0 11 0 418956096 863387648 24761 4294967295 134512640 134569956 3221224400 3221214576 1131492347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24761 13073 16 0 210772 0 vsize: 843152 [startup+180.012 s] Raw data (loadavg): 1.02 0.67 0.28 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 16700 45 0 0 25 0 11 0 418956096 863387648 24868 4294967295 134512640 134569956 3221224400 3221214776 1131435221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24868 13073 16 0 210772 0 vsize: 843152 [startup+190.013 s] Raw data (loadavg): 1.02 0.68 0.29 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 17650 45 0 0 25 0 11 0 418956096 863387648 24938 4294967295 134512640 134569956 3221224400 3221214680 1131605959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 24938 13073 16 0 210772 0 vsize: 843152 [startup+200.012 s] Raw data (loadavg): 1.02 0.69 0.30 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 18590 45 0 0 25 0 11 0 418956096 863387648 25053 4294967295 134512640 134569956 3221224400 3221214576 1131612272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 25053 13073 16 0 210772 0 vsize: 843152 [startup+210.014 s] Raw data (loadavg): 1.01 0.70 0.30 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 19538 45 0 0 24 0 11 0 418956096 863387648 25264 4294967295 134512640 134569956 3221224400 3221214488 1131599380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 25264 13073 16 0 210772 0 vsize: 843152 [startup+220.014 s] Raw data (loadavg): 1.01 0.71 0.31 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 20480 45 0 0 25 0 11 0 418956096 863387648 25513 4294967295 134512640 134569956 3221224400 3221214720 1131282913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 25513 13073 16 0 210772 0 vsize: 843152 [startup+230.014 s] Raw data (loadavg): 1.01 0.72 0.32 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 21430 45 0 0 25 0 11 0 418956096 863387648 25723 4294967295 134512640 134569956 3221224400 3221214128 1131599501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 25723 13073 16 0 210772 0 vsize: 843152 [startup+240.014 s] Raw data (loadavg): 1.01 0.73 0.32 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 22373 46 0 0 25 0 11 0 418956096 863387648 26124 4294967295 134512640 134569956 3221224400 3221214800 1131371810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 26124 13073 16 0 210772 0 vsize: 843152 [startup+250.015 s] Raw data (loadavg): 1.01 0.74 0.33 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 23299 46 0 0 25 0 11 0 418956096 863387648 26407 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 26407 13073 16 0 210772 0 vsize: 843152 [startup+260.015 s] Raw data (loadavg): 1.00 0.75 0.34 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 24237 46 0 0 25 0 11 0 418956096 863387648 26704 4294967295 134512640 134569956 3221224400 3221214680 1131604209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 26704 13073 16 0 210772 0 vsize: 843152 [startup+270.016 s] Raw data (loadavg): 1.00 0.75 0.34 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 25193 46 0 0 25 0 11 0 418956096 863387648 26971 4294967295 134512640 134569956 3221224400 3221214752 1131273122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 26971 13073 16 0 210772 0 vsize: 843152 [startup+280.016 s] Raw data (loadavg): 1.00 0.76 0.35 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 26130 46 0 0 25 0 11 0 418956096 863387648 27365 4294967295 134512640 134569956 3221224400 3221214776 1131315119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 27365 13073 16 0 210772 0 vsize: 843152 [startup+290.017 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 27056 46 0 0 25 0 11 0 418956096 863387648 27628 4294967295 134512640 134569956 3221224400 3221214680 1131256033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 27628 13073 16 0 210772 0 vsize: 843152 [startup+300.017 s] Raw data (loadavg): 1.00 0.78 0.36 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 27986 46 0 0 25 0 11 0 418956096 863387648 27779 4294967295 134512640 134569956 3221224400 3221214368 1131592807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 27779 13073 16 0 210772 0 vsize: 843152 [startup+310.021 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 10876 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 28934 46 0 0 25 0 11 0 418956096 863387648 27945 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 27945 13073 16 0 210772 0 vsize: 843152 [startup+320.022 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 29883 46 0 0 25 0 11 0 418956096 863387648 28092 4294967295 134512640 134569956 3221224400 3221214476 1131592841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28092 13073 16 0 210772 0 vsize: 843152 [startup+330.022 s] Raw data (loadavg): 1.00 0.80 0.38 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 30833 46 0 0 24 0 11 0 418956096 863387648 28212 4294967295 134512640 134569956 3221224400 3221214416 1131583918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28212 13073 16 0 210772 0 vsize: 843152 [startup+340.023 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 31782 46 0 0 25 0 11 0 418956096 863387648 28358 4294967295 134512640 134569956 3221224400 3221214072 1131599416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28358 13073 16 0 210772 0 vsize: 843152 [startup+350.023 s] Raw data (loadavg): 1.00 0.81 0.39 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 32742 46 0 0 25 0 11 0 418956096 863387648 28481 4294967295 134512640 134569956 3221224400 3221214776 1131321323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28481 13073 16 0 210772 0 vsize: 843152 [startup+360.024 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 33684 46 0 0 25 0 11 0 418956096 863387648 28678 4294967295 134512640 134569956 3221224400 3221214888 1131645961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28678 13073 16 0 210772 0 vsize: 843152 [startup+370.025 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 34637 46 0 0 25 0 11 0 418956096 863387648 28806 4294967295 134512640 134569956 3221224400 3221214776 1131316375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28806 13073 16 0 210772 0 vsize: 843152 [startup+380.024 s] Raw data (loadavg): 1.00 0.83 0.41 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 35587 46 0 0 25 0 11 0 418956096 863387648 28946 4294967295 134512640 134569956 3221224400 3221214680 1131605952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 28946 13073 16 0 210772 0 vsize: 843152 [startup+390.025 s] Raw data (loadavg): 1.00 0.83 0.42 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 36534 46 0 0 25 0 11 0 418956096 863387648 29081 4294967295 134512640 134569956 3221224400 3221214776 1131317304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 29081 13073 16 0 210772 0 vsize: 843152 [startup+400.026 s] Raw data (loadavg): 1.00 0.83 0.42 2/64 10876 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 37481 46 0 0 25 0 11 0 418956096 863387648 29246 4294967295 134512640 134569956 3221224400 3221214312 1131592842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 29246 13073 16 0 210772 0 vsize: 843152 [startup+410.027 s] Raw data (loadavg): 1.08 0.86 0.43 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 38420 52 0 0 25 0 11 0 418956096 863387648 29368 4294967295 134512640 134569956 3221224400 3221214576 1131612692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 29368 13073 16 0 210772 0 vsize: 843152 [startup+420.027 s] Raw data (loadavg): 1.07 0.86 0.44 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 39376 52 0 0 25 0 11 0 418956096 863387648 29508 4294967295 134512640 134569956 3221224400 3221214776 1131316280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 29508 13073 16 0 210772 0 vsize: 843152 [startup+430.028 s] Raw data (loadavg): 1.06 0.86 0.45 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 40321 53 0 0 25 0 11 0 418956096 863387648 29666 4294967295 134512640 134569956 3221224400 3221214560 1131566229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 29666 13073 16 0 210772 0 vsize: 843152 [startup+440.028 s] Raw data (loadavg): 1.05 0.87 0.45 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 41270 53 0 0 25 0 11 0 418956096 863387648 29754 4294967295 134512640 134569956 3221224400 3221214576 1131613603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 29754 13073 16 0 210772 0 vsize: 843152 [startup+450.028 s] Raw data (loadavg): 1.04 0.87 0.46 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 42219 53 0 0 25 0 11 0 418956096 863387648 29923 4294967295 134512640 134569956 3221224400 3221214800 1131372364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 29923 13073 16 0 210772 0 vsize: 843152 [startup+460.03 s] Raw data (loadavg): 1.03 0.88 0.46 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 43174 53 0 0 25 0 11 0 418956096 863387648 30103 4294967295 134512640 134569956 3221224400 3221214776 1131316470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30103 13073 16 0 210772 0 vsize: 843152 [startup+470.031 s] Raw data (loadavg): 1.03 0.88 0.47 2/64 10929 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 44131 54 0 0 25 0 11 0 418956096 863387648 30252 4294967295 134512640 134569956 3221224400 3221214552 1131628580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30252 13073 16 0 210772 0 vsize: 843152 [startup+480.03 s] Raw data (loadavg): 1.02 0.88 0.47 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 45081 54 0 0 24 0 11 0 418956096 863387648 30402 4294967295 134512640 134569956 3221224400 3221214680 1131604129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30402 13073 16 0 210772 0 vsize: 843152 [startup+490.032 s] Raw data (loadavg): 1.02 0.89 0.48 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 46042 54 0 0 25 0 11 0 418956096 863387648 30563 4294967295 134512640 134569956 3221224400 3221214576 1131492319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30563 13073 16 0 210772 0 vsize: 843152 [startup+500.032 s] Raw data (loadavg): 1.02 0.89 0.48 2/64 10931 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 47014 55 0 0 25 0 11 0 418956096 863387648 30603 4294967295 134512640 134569956 3221224400 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30603 13073 16 0 210772 0 vsize: 843152 [startup+510.032 s] Raw data (loadavg): 1.01 0.89 0.49 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 47966 55 0 0 25 0 11 0 418956096 863387648 30700 4294967295 134512640 134569956 3221224400 3221214576 1131492347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30700 13073 16 0 210772 0 vsize: 843152 [startup+520.032 s] Raw data (loadavg): 1.01 0.90 0.49 2/64 10931 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 48918 55 0 0 25 0 11 0 418956096 863387648 30785 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30785 13073 16 0 210772 0 vsize: 843152 [startup+530.033 s] Raw data (loadavg): 1.01 0.90 0.50 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 49870 56 0 0 25 0 11 0 418956096 863387648 30961 4294967295 134512640 134569956 3221224400 3221214800 1131372129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 30961 13073 16 0 210772 0 vsize: 843152 [startup+540.033 s] Raw data (loadavg): 1.01 0.90 0.50 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 50820 56 0 0 25 0 11 0 418956096 863387648 31089 4294967295 134512640 134569956 3221224400 3221214480 1131592807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31089 13073 16 0 210772 0 vsize: 843152 [startup+550.034 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 51778 56 0 0 25 0 11 0 418956096 863387648 31197 4294967295 134512640 134569956 3221224400 3221214680 1131604119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31197 13073 16 0 210772 0 vsize: 843152 [startup+560.034 s] Raw data (loadavg): 1.00 0.91 0.51 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 52736 56 0 0 25 0 11 0 418956096 863387648 31368 4294967295 134512640 134569956 3221224400 3221214552 1131565711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31368 13073 16 0 210772 0 vsize: 843152 [startup+570.035 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 53686 56 0 0 25 0 11 0 418956096 863387648 31487 4294967295 134512640 134569956 3221224400 3221214576 1131612270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31487 13073 16 0 210772 0 vsize: 843152 [startup+580.035 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 54636 57 0 0 25 0 11 0 418956096 863387648 31616 4294967295 134512640 134569956 3221224400 3221214680 1131604119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31616 13073 16 0 210772 0 vsize: 843152 [startup+590.035 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 55600 57 0 0 25 0 11 0 418956096 863387648 31717 4294967295 134512640 134569956 3221224400 3221214376 1131599380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 31717 13073 16 0 210772 0 vsize: 843152 [startup+600.036 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 56565 57 0 0 25 0 11 0 418956096 863387648 31813 4294967295 134512640 134569956 3221224400 3221213928 1131589888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31813 13073 16 0 210772 0 vsize: 843152 [startup+610.037 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 57533 57 0 0 25 0 11 0 418956096 863387648 31911 4294967295 134512640 134569956 3221224400 3221214648 1131256295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 31911 13073 16 0 210772 0 vsize: 843152 [startup+620.037 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 58502 58 0 0 24 0 11 0 418956096 863387648 32044 4294967295 134512640 134569956 3221224400 3221214648 1131257096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32044 13073 16 0 210772 0 vsize: 843152 [startup+630.038 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 59459 58 0 0 25 0 11 0 418956096 863387648 32191 4294967295 134512640 134569956 3221224400 3221214632 1131439347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32191 13073 16 0 210772 0 vsize: 843152 [startup+640.039 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 60400 58 0 0 25 0 11 0 418956096 863387648 32250 4294967295 134512640 134569956 3221224400 3221214520 1131613650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32250 13073 16 0 210772 0 vsize: 843152 [startup+650.039 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 61341 59 0 0 25 0 11 0 418956096 863387648 32288 4294967295 134512640 134569956 3221224400 3221214664 1131281942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32288 13073 16 0 210772 0 vsize: 843152 [startup+660.039 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 62279 59 0 0 25 0 11 0 418956096 863387648 32484 4294967295 134512640 134569956 3221224400 3221214624 1131604112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32484 13073 16 0 210772 0 vsize: 843152 [startup+670.04 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 63219 60 0 0 25 0 11 0 418956096 863387648 32613 4294967295 134512640 134569956 3221224400 3221214404 1131592804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32613 13073 16 0 210772 0 vsize: 843152 [startup+680.04 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 64147 60 0 0 25 0 11 0 418956096 863387648 32801 4294967295 134512640 134569956 3221224400 3221214732 1080204306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 32801 13073 16 0 210772 0 vsize: 843152 [startup+690.041 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 65090 60 0 0 25 0 11 0 418956096 863387648 33021 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33021 13073 16 0 210772 0 vsize: 843152 [startup+700.042 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 66037 61 0 0 25 0 11 0 418956096 863387648 33164 4294967295 134512640 134569956 3221224400 3221214648 1131256409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33164 13073 16 0 210772 0 vsize: 843152 [startup+710.041 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 10931 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 66987 61 0 0 25 0 11 0 418956096 863387648 33306 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33306 13073 16 0 210772 0 vsize: 843152 [startup+720.041 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 67937 62 0 0 25 0 11 0 418956096 863387648 33439 4294967295 134512640 134569956 3221224400 3221214520 1131614457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33439 13073 16 0 210772 0 vsize: 843152 [startup+730.043 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 10933 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 68886 62 0 0 25 0 11 0 418956096 863387648 33608 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33608 13073 16 0 210772 0 vsize: 843152 [startup+740.043 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 69840 63 0 0 25 0 11 0 418956096 863387648 33758 4294967295 134512640 134569956 3221224400 3221214520 1131612611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33758 13073 16 0 210772 0 vsize: 843152 [startup+750.043 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 70795 63 0 0 25 0 11 0 418956096 863387648 33872 4294967295 134512640 134569956 3221224400 3221214744 1131315299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 33872 13073 16 0 210772 0 vsize: 843152 [startup+760.043 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 71749 63 0 0 25 0 11 0 418956096 863387648 33975 4294967295 134512640 134569956 3221224400 3221214744 1131315088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 33975 13073 16 0 210772 0 vsize: 843152 [startup+770.043 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 72695 63 0 0 25 0 11 0 418956096 863387648 34101 4294967295 134512640 134569956 3221224400 3221214624 1131605964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34101 13073 16 0 210772 0 vsize: 843152 [startup+780.043 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 73647 64 0 0 25 0 11 0 418956096 863387648 34237 4294967295 134512640 134569956 3221224400 3221214744 1131316375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34237 13073 16 0 210772 0 vsize: 843152 [startup+790.045 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 74590 64 0 0 25 0 11 0 418956096 863387648 34367 4294967295 134512640 134569956 3221224400 3221214648 1131257087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34367 13073 16 0 210772 0 vsize: 843152 [startup+800.045 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 75541 64 0 0 25 0 11 0 418956096 863387648 34500 4294967295 134512640 134569956 3221224400 3221214744 1131316364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 34500 13073 16 0 210772 0 vsize: 843152 [startup+810.044 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 76506 65 0 0 25 0 11 0 418956096 863387648 34580 4294967295 134512640 134569956 3221224400 3221214520 1131612630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34580 13073 16 0 210772 0 vsize: 843152 [startup+820.046 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 77465 65 0 0 25 0 11 0 418956096 863387648 34654 4294967295 134512640 134569956 3221224400 3221214660 1131605875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34654 13073 16 0 210772 0 vsize: 843152 [startup+830.046 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 78419 65 0 0 25 0 11 0 418956096 863387648 34789 4294967295 134512640 134569956 3221224400 3221214304 1131599454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34789 13073 16 0 210772 0 vsize: 843152 [startup+840.047 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 79363 65 0 0 25 0 11 0 418956096 863387648 34994 4294967295 134512640 134569956 3221224400 3221214648 1131256362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 34994 13073 16 0 210772 0 vsize: 843152 [startup+850.048 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 80295 65 0 0 25 0 11 0 418956096 863387648 35234 4294967295 134512640 134569956 3221224400 3221214632 1131440226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 35234 13073 16 0 210772 0 vsize: 843152 [startup+860.049 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 81230 66 0 0 25 0 11 0 418956096 863387648 35415 4294967295 134512640 134569956 3221224400 3221214624 1131604256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 35415 13073 16 0 210772 0 vsize: 843152 [startup+870.048 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10933 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 82166 66 0 0 25 0 11 0 418956096 863387648 35588 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 35588 13073 16 0 210772 0 vsize: 843152 [startup+880.049 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 83107 66 0 0 25 0 11 0 418956096 863387648 35778 4294967295 134512640 134569956 3221224400 3221214520 1131592800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 35778 13073 16 0 210772 0 vsize: 843152 [startup+890.049 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 84042 66 0 0 25 0 11 0 418956096 863387648 35953 4294967295 134512640 134569956 3221224400 3221214624 1131604135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 35953 13073 16 0 210772 0 vsize: 843152 [startup+900.049 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 84978 66 0 0 25 0 11 0 418956096 863387648 36160 4294967295 134512640 134569956 3221224400 3221214648 1131256001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 36160 13073 16 0 210772 0 vsize: 843152 [startup+910.049 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 85911 67 0 0 25 0 11 0 418956096 863387648 36353 4294967295 134512640 134569956 3221224400 3221214648 1131256446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 36353 13073 16 0 210772 0 vsize: 843152 [startup+920.05 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 86847 67 0 0 25 0 11 0 418956096 863387648 36511 4294967295 134512640 134569956 3221224400 3221214544 1131637719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 36511 13073 16 0 210772 0 vsize: 843152 [startup+930.05 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 87773 67 0 0 25 0 11 0 418956096 863387648 36689 4294967295 134512640 134569956 3221224400 3221214520 1131491993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 36689 13073 16 0 210772 0 vsize: 843152 [startup+940.052 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 88708 67 0 0 25 0 11 0 418956096 863387648 36895 4294967295 134512640 134569956 3221224400 3221214648 1131256001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 36895 13073 16 0 210772 0 vsize: 843152 [startup+950.052 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 89648 68 0 0 25 0 11 0 418956096 863387648 37067 4294967295 134512640 134569956 3221224400 3221214520 1131492194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 37067 13073 16 0 210772 0 vsize: 843152 [startup+960.052 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 90579 68 0 0 25 0 11 0 418956096 863387648 37286 4294967295 134512640 134569956 3221224400 3221214520 1131612270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 37286 13073 16 0 210772 0 vsize: 843152 [startup+970.053 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 91522 68 0 0 25 0 11 0 418956096 863387648 37454 4294967295 134512640 134569956 3221224400 3221214464 1131592609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 37454 13073 16 0 210772 0 vsize: 843152 [startup+980.053 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 92458 68 0 0 25 0 11 0 418956096 863387648 37617 4294967295 134512640 134569956 3221224400 3221214656 1131357152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 37617 13073 16 0 210772 0 vsize: 843152 [startup+990.054 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10933 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 93401 68 0 0 25 0 11 0 418956096 863387648 37782 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 37782 13073 16 0 210772 0 vsize: 843152 [startup+1000.06 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10933 Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 94342 69 0 0 25 0 11 0 418956096 863387648 37965 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 37965 13073 16 0 210772 0 vsize: 843152 [startup+1010.06 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 95284 69 0 0 25 0 11 0 418956096 863387648 38139 4294967295 134512640 134569956 3221224400 3221214408 1131592842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 38139 13073 16 0 210772 0 vsize: 843152 [startup+1020.06 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 96224 69 0 0 25 0 11 0 418956096 863387648 38295 4294967295 134512640 134569956 3221224400 3221214520 1131612608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 38295 13073 16 0 210772 0 vsize: 843152 [startup+1030.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 97168 69 0 0 25 0 11 0 418956096 863387648 38462 4294967295 134512640 134569956 3221224400 3221214744 1131316334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 38462 13073 16 0 210772 0 vsize: 843152 [startup+1040.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 98113 69 0 0 25 0 11 0 418956096 863387648 38612 4294967295 134512640 134569956 3221224400 3221214520 1131612270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 38612 13073 16 0 210772 0 vsize: 843152 [startup+1050.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 99060 69 0 0 25 0 11 0 418956096 863387648 38769 4294967295 134512640 134569956 3221224400 3221214212 1131594569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 38769 13073 16 0 210772 0 vsize: 843152 [startup+1060.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 100010 69 0 0 25 0 11 0 418956096 863387648 38914 4294967295 134512640 134569956 3221224400 3221214648 1131257047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 38914 13073 16 0 210772 0 vsize: 843152 [startup+1070.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 100959 70 0 0 25 0 11 0 418956096 863387648 39056 4294967295 134512640 134569956 3221224400 3221214744 1131322470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39056 13073 16 0 210772 0 vsize: 843152 [startup+1080.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 101908 70 0 0 25 0 11 0 418956096 863387648 39202 4294967295 134512640 134569956 3221224400 3221214504 1131239229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39202 13073 16 0 210772 0 vsize: 843152 [startup+1090.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 102860 70 0 0 25 0 11 0 418956096 863387648 39326 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39326 13073 16 0 210772 0 vsize: 843152 [startup+1100.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 103805 70 0 0 25 0 11 0 418956096 863387648 39476 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39476 13073 16 0 210772 0 vsize: 843152 [startup+1110.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 104758 70 0 0 25 0 11 0 418956096 863387648 39615 4294967295 134512640 134569956 3221224400 3221214744 1131316378 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39615 13073 16 0 210772 0 vsize: 843152 [startup+1120.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 105713 70 0 0 25 0 11 0 418956096 863387648 39735 4294967295 134512640 134569956 3221224400 3221214648 1131256442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39735 13073 16 0 210772 0 vsize: 843152 [startup+1130.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 106668 70 0 0 25 0 11 0 418956096 863387648 39843 4294967295 134512640 134569956 3221224400 3221214648 1131256014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39843 13073 16 0 210772 0 vsize: 843152 [startup+1140.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 107628 70 0 0 25 0 11 0 418956096 863387648 39947 4294967295 134512640 134569956 3221224400 3221214624 1131604108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 39947 13073 16 0 210772 0 vsize: 843152 [startup+1150.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 108593 70 0 0 25 0 11 0 418956096 863387648 40027 4294967295 134512640 134569956 3221224400 3221214624 1131604112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40027 13073 16 0 210772 0 vsize: 843152 [startup+1160.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 109559 70 0 0 25 0 11 0 418956096 863387648 40119 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40119 13073 16 0 210772 0 vsize: 843152 [startup+1170.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 110523 70 0 0 25 0 11 0 418956096 863387648 40205 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40205 13073 16 0 210772 0 vsize: 843152 [startup+1180.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 111488 70 0 0 25 0 11 0 418956096 863387648 40287 4294967295 134512640 134569956 3221224400 3221214520 1131613690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210788 40287 13073 16 0 210772 0 vsize: 843152 [startup+1190.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 112446 70 0 0 24 0 11 0 418956096 863387648 40372 4294967295 134512640 134569956 3221224400 3221214520 1131492481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40372 13073 16 0 210772 0 vsize: 843152 [startup+1200.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 113410 70 0 0 25 0 11 0 418956096 863387648 40462 4294967295 134512640 134569956 3221224400 3221214624 1131606127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40462 13073 16 0 210772 0 vsize: 843152 [startup+1210.07 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 114371 70 0 0 25 0 11 0 418956096 863387648 40585 4294967295 134512640 134569956 3221224400 3221214744 1131315360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40585 13073 16 0 210772 0 vsize: 843152 [startup+1220.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 115339 70 0 0 25 0 11 0 418956096 863387648 40668 4294967295 134512640 134569956 3221224400 3221214680 1131275553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40668 13073 16 0 210772 0 vsize: 843152 [startup+1230.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 116304 70 0 0 25 0 11 0 418956096 863387648 40782 4294967295 134512640 134569956 3221224400 3221214832 1131645961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40782 13073 16 0 210772 0 vsize: 843152 [startup+1240.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 117292 70 0 0 25 0 11 0 418956096 863387648 40825 4294967295 134512640 134569956 3221224400 3221214744 1131316337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40825 13073 16 0 210772 0 vsize: 843152 [startup+1250.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 118262 70 0 0 25 0 11 0 418956096 863387648 40879 4294967295 134512640 134569956 3221224400 3221214904 1131130905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40879 13073 16 0 210772 0 vsize: 843152 [startup+1260.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 119234 70 0 0 25 0 11 0 418956096 863387648 40958 4294967295 134512640 134569956 3221224400 3221214744 1131315135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 40958 13073 16 0 210772 0 vsize: 843152 [startup+1270.08 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 10933 Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 120212 70 0 0 25 0 11 0 418956096 863387648 41003 4294967295 134512640 134569956 3221224400 3221214632 1131439416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 41003 13073 16 0 210772 0 vsize: 843152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.21 s] Raw data (loadavg): 1.00 0.97 0.75 1/54 10935 Raw data (stat): 10866 (java) Z 10865 10720 10719 0 -1 1036 18126 28293 1 1 120216 78 8017 68 25 0 1 0 418956096 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): 1270.21 CPU time (s): 1283.81 CPU user time (s): 1282.34 CPU system time (s): 1.47278 CPU usage (%): 101.071 Max. virtual memory (Kb): 845348 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####