Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb |
MD5SUM | c84a64f67029a09ef823a1b3017b5713 |
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.562914 |
Number of variables | 900 |
Total number of constraints | 673 |
Number of constraints which are clauses | 624 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
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 wulflinc6 THE 2005-04-13 15:53:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=396 boxname=wulflinc6 idbench=44 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c84a64f67029a09ef823a1b3017b5713 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga25_24_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-fpga25_24_sat_pb.cnf.cr.opb IDLAUNCH: 396 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 2 cpu MHz : 451.042 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: 933560 kB Buffers: 32620 kB Cached: 46336 kB SwapCached: 2644 kB Active: 42020 kB Inactive: 42424 kB HighTotal: 131008 kB HighFree: 80304 kB LowTotal: 903652 kB LowFree: 853256 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10952 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:14:23 (client local time) WITH STATUS 143 IN SECONDS stats: 396 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-fpga25_24_sat_pb.cnf.cr.opb c reading problem c [nbvar=900] c [nbconstr=673] c time 2.614 c #vars 900 c #clauses 673 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): 0.74 0.22 0.07 2/54 29799 Raw data (stat): 29799 (runsolver) R 29798 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418959396 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.01 0.30 0.10 4/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18101 0 1 0 551 46 0 0 25 0 11 0 418959396 865849344 21454 4294967295 134512640 134569956 3221224400 3221214680 1131350467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211389 21454 13073 16 0 211373 0 vsize: 845556 [startup+20.0082 s] Raw data (loadavg): 1.08 0.33 0.11 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 1452 46 0 0 25 0 11 0 418959396 864505856 22231 4294967295 134512640 134569956 3221224400 3221214744 1131272162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211061 22231 13073 16 0 211045 0 vsize: 844244 [startup+30.0089 s] Raw data (loadavg): 1.07 0.36 0.12 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 2371 46 0 0 25 0 11 0 418959396 863215616 22438 4294967295 134512640 134569956 3221224400 3221214800 1131366767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 22438 13073 16 0 210730 0 vsize: 842984 [startup+40.0091 s] Raw data (loadavg): 1.06 0.38 0.13 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 3281 47 0 0 16 0 11 0 418959396 863215616 22812 4294967295 134512640 134569956 3221224400 3221214800 1131365312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 22812 13073 16 0 210730 0 vsize: 842984 [startup+50.0105 s] Raw data (loadavg): 1.05 0.40 0.14 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 4190 47 0 0 16 0 11 0 418959396 863215616 23111 4294967295 134512640 134569956 3221224400 3221214800 1131361798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 23111 13073 16 0 210730 0 vsize: 842984 [startup+60.0103 s] Raw data (loadavg): 1.04 0.42 0.15 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18103 0 1 0 5102 47 0 0 22 0 11 0 418959396 863215616 23563 4294967295 134512640 134569956 3221224400 3221214680 1131233157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 23563 13073 16 0 210730 0 vsize: 842984 [startup+70.0117 s] Raw data (loadavg): 1.03 0.43 0.16 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18103 0 1 0 6040 47 0 0 24 0 11 0 418959396 863215616 23745 4294967295 134512640 134569956 3221224400 3221214560 1131476829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 23745 13073 16 0 210730 0 vsize: 842984 [startup+80.013 s] Raw data (loadavg): 1.03 0.45 0.17 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 6974 47 0 0 17 0 11 0 418959396 863215616 23979 4294967295 134512640 134569956 3221224400 3221214668 1080203670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 23979 13073 16 0 210730 0 vsize: 842984 [startup+90.0141 s] Raw data (loadavg): 1.02 0.47 0.18 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 7917 47 0 0 24 0 11 0 418959396 863215616 24263 4294967295 134512640 134569956 3221224400 3221214792 1131367475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 24263 13073 16 0 210730 0 vsize: 842984 [startup+100.015 s] Raw data (loadavg): 1.02 0.49 0.18 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 8858 47 0 0 25 0 11 0 418959396 863215616 24367 4294967295 134512640 134569956 3221224400 3221214680 1131451678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 24367 13073 16 0 210730 0 vsize: 842984 [startup+110.016 s] Raw data (loadavg): 1.02 0.50 0.19 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 9801 47 0 0 25 0 11 0 418959396 863215616 24470 4294967295 134512640 134569956 3221224400 3221214664 1131557784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 24470 13073 16 0 210730 0 vsize: 842984 [startup+120.017 s] Raw data (loadavg): 1.01 0.52 0.20 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 10742 47 0 0 23 0 11 0 418959396 863215616 24681 4294967295 134512640 134569956 3221224400 3221214692 1080204260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 24681 13073 16 0 210730 0 vsize: 842984 [startup+130.018 s] Raw data (loadavg): 1.01 0.54 0.21 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 11682 47 0 0 20 0 11 0 418959396 863215616 24898 4294967295 134512640 134569956 3221224400 3221214792 1131365814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 24898 13073 16 0 210730 0 vsize: 842984 [startup+140.019 s] Raw data (loadavg): 1.01 0.55 0.22 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 12633 47 0 0 22 0 11 0 418959396 863215616 25032 4294967295 134512640 134569956 3221224400 3221214792 1131366407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25032 13073 16 0 210730 0 vsize: 842984 [startup+150.02 s] Raw data (loadavg): 1.01 0.56 0.22 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 13583 47 0 0 25 0 11 0 418959396 863215616 25257 4294967295 134512640 134569956 3221224400 3221214704 1131350442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25257 13073 16 0 210730 0 vsize: 842984 [startup+160.021 s] Raw data (loadavg): 1.01 0.58 0.23 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 14543 47 0 0 25 0 11 0 418959396 863215616 25452 4294967295 134512640 134569956 3221224400 3221214680 1131452242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25452 13073 16 0 210730 0 vsize: 842984 [startup+170.021 s] Raw data (loadavg): 1.00 0.59 0.24 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 15491 47 0 0 24 0 11 0 418959396 863215616 25646 4294967295 134512640 134569956 3221224400 3221214664 1131557729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25646 13073 16 0 210730 0 vsize: 842984 [startup+180.021 s] Raw data (loadavg): 1.00 0.60 0.25 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 16430 47 0 0 19 0 11 0 418959396 863215616 25880 4294967295 134512640 134569956 3221224400 3221214656 1131233334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25880 13073 16 0 210730 0 vsize: 842984 [startup+190.022 s] Raw data (loadavg): 1.00 0.62 0.25 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 17390 47 0 0 25 0 11 0 418959396 863215616 25986 4294967295 134512640 134569956 3221224400 3221214664 1131557679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 25986 13073 16 0 210730 0 vsize: 842984 [startup+200.023 s] Raw data (loadavg): 1.00 0.63 0.26 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 18342 47 0 0 25 0 11 0 418959396 863215616 26055 4294967295 134512640 134569956 3221224400 3221214640 1131308337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 26055 13073 16 0 210730 0 vsize: 842984 [startup+210.023 s] Raw data (loadavg): 1.00 0.64 0.27 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 19295 47 0 0 25 0 11 0 418959396 863215616 26102 4294967295 134512640 134569956 3221224400 3221214504 1131281902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 26102 13073 16 0 210730 0 vsize: 842984 [startup+220.024 s] Raw data (loadavg): 1.00 0.65 0.28 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 20252 47 0 0 20 0 11 0 418959396 863215616 26333 4294967295 134512640 134569956 3221224400 3221214656 1131233460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 26333 13073 16 0 210730 0 vsize: 842984 [startup+230.026 s] Raw data (loadavg): 1.00 0.66 0.28 2/64 29809 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 21214 47 0 0 25 0 11 0 418959396 863215616 26489 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 26489 13073 16 0 210730 0 vsize: 842984 [startup+240.027 s] Raw data (loadavg): 1.00 0.67 0.29 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 22183 47 0 0 25 0 11 0 418959396 863215616 26650 4294967295 134512640 134569956 3221224400 3221214512 1131600082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 26650 13073 16 0 210730 0 vsize: 842984 [startup+250.028 s] Raw data (loadavg): 1.00 0.68 0.30 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 23141 47 0 0 25 0 11 0 418959396 863215616 26797 4294967295 134512640 134569956 3221224400 3221214504 1131602756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 26797 13073 16 0 210730 0 vsize: 842984 [startup+260.03 s] Raw data (loadavg): 1.00 0.69 0.31 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 24098 48 0 0 25 0 11 0 418959396 863215616 26917 4294967295 134512640 134569956 3221224400 3221214560 1131702728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 26917 13073 16 0 210730 0 vsize: 842984 [startup+270.031 s] Raw data (loadavg): 1.08 0.72 0.32 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 25057 48 0 0 25 0 11 0 418959396 863215616 27006 4294967295 134512640 134569956 3221224400 3221214352 1131600687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27006 13073 16 0 210730 0 vsize: 842984 [startup+280.032 s] Raw data (loadavg): 1.07 0.73 0.32 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 26015 49 0 0 25 0 11 0 418959396 863215616 27211 4294967295 134512640 134569956 3221224400 3221214824 1131273632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27211 13073 16 0 210730 0 vsize: 842984 [startup+290.033 s] Raw data (loadavg): 1.06 0.74 0.33 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 26972 49 0 0 25 0 11 0 418959396 863215616 27352 4294967295 134512640 134569956 3221224400 3221214560 1131700316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27352 13073 16 0 210730 0 vsize: 842984 [startup+300.034 s] Raw data (loadavg): 1.05 0.75 0.34 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 27919 49 0 0 25 0 11 0 418959396 863215616 27558 4294967295 134512640 134569956 3221224400 3221214664 1131557687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27558 13073 16 0 210730 0 vsize: 842984 [startup+310.035 s] Raw data (loadavg): 1.04 0.75 0.34 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 28865 49 0 0 25 0 11 0 418959396 863215616 27761 4294967295 134512640 134569956 3221224400 3221214752 1131321875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27761 13073 16 0 210730 0 vsize: 842984 [startup+320.037 s] Raw data (loadavg): 1.03 0.76 0.35 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 29826 49 0 0 25 0 11 0 418959396 863215616 27891 4294967295 134512640 134569956 3221224400 3221214668 1080203688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 27891 13073 16 0 210730 0 vsize: 842984 [startup+330.038 s] Raw data (loadavg): 1.03 0.77 0.36 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 30777 50 0 0 25 0 11 0 418959396 863215616 27939 4294967295 134512640 134569956 3221224400 3221214560 1131699948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27939 13073 16 0 210730 0 vsize: 842984 [startup+340.038 s] Raw data (loadavg): 1.02 0.78 0.37 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 31737 50 0 0 25 0 11 0 418959396 863215616 27989 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 27989 13073 16 0 210730 0 vsize: 842984 [startup+350.039 s] Raw data (loadavg): 1.02 0.78 0.37 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 32707 50 0 0 25 0 11 0 418959396 863215616 28073 4294967295 134512640 134569956 3221224400 3221214664 1131557681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28073 13073 16 0 210730 0 vsize: 842984 [startup+360.04 s] Raw data (loadavg): 1.02 0.79 0.38 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 33669 50 0 0 25 0 11 0 418959396 863215616 28235 4294967295 134512640 134569956 3221224400 3221214656 1131233510 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28235 13073 16 0 210730 0 vsize: 842984 [startup+370.041 s] Raw data (loadavg): 1.01 0.80 0.38 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 34626 51 0 0 25 0 11 0 418959396 863215616 28435 4294967295 134512640 134569956 3221224400 3221214112 1131601815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28435 13073 16 0 210730 0 vsize: 842984 [startup+380.042 s] Raw data (loadavg): 1.01 0.80 0.39 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 35597 51 0 0 25 0 11 0 418959396 863215616 28579 4294967295 134512640 134569956 3221224400 3221214112 1131601809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28579 13073 16 0 210730 0 vsize: 842984 [startup+390.044 s] Raw data (loadavg): 1.01 0.81 0.39 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 36565 51 0 0 25 0 11 0 418959396 863215616 28750 4294967295 134512640 134569956 3221224400 3221214792 1131366275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28750 13073 16 0 210730 0 vsize: 842984 [startup+400.044 s] Raw data (loadavg): 1.01 0.81 0.40 2/64 29809 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 37532 52 0 0 25 0 11 0 418959396 863215616 28815 4294967295 134512640 134569956 3221224400 3221214560 1131472561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28815 13073 16 0 210730 0 vsize: 842984 [startup+410.045 s] Raw data (loadavg): 1.16 0.85 0.42 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 38504 52 0 0 25 0 11 0 418959396 863215616 28874 4294967295 134512640 134569956 3221224400 3221214560 1131701655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 28874 13073 16 0 210730 0 vsize: 842984 [startup+420.045 s] Raw data (loadavg): 1.13 0.86 0.42 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 39472 52 0 0 25 0 11 0 418959396 863215616 28956 4294967295 134512640 134569956 3221224400 3221214664 1131557773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 28956 13073 16 0 210730 0 vsize: 842984 [startup+430.046 s] Raw data (loadavg): 1.11 0.86 0.43 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 40438 52 0 0 25 0 11 0 418959396 863215616 29010 4294967295 134512640 134569956 3221224400 3221214408 1131600612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 29010 13073 16 0 210730 0 vsize: 842984 [startup+440.047 s] Raw data (loadavg): 1.10 0.86 0.43 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 41392 52 0 0 25 0 11 0 418959396 863215616 29117 4294967295 134512640 134569956 3221224400 3221214560 1131700721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29117 13073 16 0 210730 0 vsize: 842984 [startup+450.05 s] Raw data (loadavg): 1.08 0.87 0.44 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 42341 53 0 0 16 0 11 0 418959396 863215616 29220 4294967295 134512640 134569956 3221224400 3221214664 1131559226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29220 13073 16 0 210730 0 vsize: 842984 [startup+460.052 s] Raw data (loadavg): 1.07 0.87 0.45 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 43288 53 0 0 25 0 11 0 418959396 863215616 29412 4294967295 134512640 134569956 3221224400 3221214560 1131476844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29412 13073 16 0 210730 0 vsize: 842984 [startup+470.053 s] Raw data (loadavg): 1.06 0.88 0.45 2/64 29862 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 44236 53 0 0 25 0 11 0 418959396 863215616 29626 4294967295 134512640 134569956 3221224400 3221214752 1131309092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29626 13073 16 0 210730 0 vsize: 842984 [startup+480.054 s] Raw data (loadavg): 1.05 0.88 0.46 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 45185 54 0 0 25 0 11 0 418959396 863215616 29767 4294967295 134512640 134569956 3221224400 3221214560 1131700683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29767 13073 16 0 210730 0 vsize: 842984 [startup+490.056 s] Raw data (loadavg): 1.04 0.88 0.46 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 46134 54 0 0 25 0 11 0 418959396 863215616 29924 4294967295 134512640 134569956 3221224400 3221214752 1131320825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 29924 13073 16 0 210730 0 vsize: 842984 [startup+500.057 s] Raw data (loadavg): 1.03 0.89 0.47 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 47103 54 0 0 25 0 11 0 418959396 863215616 30040 4294967295 134512640 134569956 3221224400 3221214792 1131366004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30040 13073 16 0 210730 0 vsize: 842984 [startup+510.059 s] Raw data (loadavg): 1.03 0.89 0.47 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 48070 54 0 0 25 0 11 0 418959396 863215616 30153 4294967295 134512640 134569956 3221224400 3221214752 1131320882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30153 13073 16 0 210730 0 vsize: 842984 [startup+520.06 s] Raw data (loadavg): 1.02 0.89 0.48 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 49038 54 0 0 25 0 11 0 418959396 863215616 30296 4294967295 134512640 134569956 3221224400 3221214524 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30296 13073 16 0 210730 0 vsize: 842984 [startup+530.061 s] Raw data (loadavg): 1.02 0.90 0.48 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 49985 55 0 0 25 0 11 0 418959396 863215616 30433 4294967295 134512640 134569956 3221224400 3221214640 1131308333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30433 13073 16 0 210730 0 vsize: 842984 [startup+540.062 s] Raw data (loadavg): 1.02 0.90 0.49 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 50934 55 0 0 25 0 11 0 418959396 863215616 30542 4294967295 134512640 134569956 3221224400 3221214640 1131308344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30542 13073 16 0 210730 0 vsize: 842984 [startup+550.063 s] Raw data (loadavg): 1.01 0.90 0.49 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 51882 56 0 0 25 0 11 0 418959396 863215616 30671 4294967295 134512640 134569956 3221224400 3221214792 1131365395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30671 13073 16 0 210730 0 vsize: 842984 [startup+560.064 s] Raw data (loadavg): 1.01 0.90 0.50 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 52830 56 0 0 25 0 11 0 418959396 863215616 30827 4294967295 134512640 134569956 3221224400 3221214752 1131308947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30827 13073 16 0 210730 0 vsize: 842984 [startup+570.065 s] Raw data (loadavg): 1.01 0.91 0.50 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 53778 56 0 0 25 0 11 0 418959396 863215616 30935 4294967295 134512640 134569956 3221224400 3221214472 1131601809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 30935 13073 16 0 210730 0 vsize: 842984 [startup+580.067 s] Raw data (loadavg): 1.01 0.91 0.51 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 54729 57 0 0 25 0 11 0 418959396 863215616 31153 4294967295 134512640 134569956 3221224400 3221214752 1131321875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31153 13073 16 0 210730 0 vsize: 842984 [startup+590.067 s] Raw data (loadavg): 1.00 0.91 0.51 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 55683 57 0 0 25 0 11 0 418959396 863215616 31303 4294967295 134512640 134569956 3221224400 3221213744 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31303 13073 16 0 210730 0 vsize: 842984 [startup+600.069 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 56655 57 0 0 25 0 11 0 418959396 863215616 31376 4294967295 134512640 134569956 3221224400 3221214076 1131601808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31376 13073 16 0 210730 0 vsize: 842984 [startup+610.07 s] Raw data (loadavg): 1.00 0.92 0.52 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 57617 58 0 0 25 0 11 0 418959396 863215616 31462 4294967295 134512640 134569956 3221224400 3221214292 1131600064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31462 13073 16 0 210730 0 vsize: 842984 [startup+620.071 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 58580 58 0 0 25 0 11 0 418959396 863215616 31585 4294967295 134512640 134569956 3221224400 3221214640 1131308349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31585 13073 16 0 210730 0 vsize: 842984 [startup+630.072 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 59545 58 0 0 25 0 11 0 418959396 863215616 31684 4294967295 134512640 134569956 3221224400 3221214752 1131320882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31684 13073 16 0 210730 0 vsize: 842984 [startup+640.073 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 60508 59 0 0 25 0 11 0 418959396 863215616 31787 4294967295 134512640 134569956 3221224400 3221214568 1131600712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 31787 13073 16 0 210730 0 vsize: 842984 [startup+650.074 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 61470 59 0 0 25 0 11 0 418959396 863215616 31914 4294967295 134512640 134569956 3221224400 3221214584 1131562901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 31914 13073 16 0 210730 0 vsize: 842984 [startup+660.075 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 62425 59 0 0 25 0 11 0 418959396 863215616 32037 4294967295 134512640 134569956 3221224400 3221214660 1131308259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 32037 13073 16 0 210730 0 vsize: 842984 [startup+670.077 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 63374 59 0 0 25 0 11 0 418959396 863215616 32212 4294967295 134512640 134569956 3221224400 3221214744 1131209803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32212 13073 16 0 210730 0 vsize: 842984 [startup+680.079 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 64326 60 0 0 25 0 11 0 418959396 863215616 32360 4294967295 134512640 134569956 3221224400 3221214560 1131699965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32360 13073 16 0 210730 0 vsize: 842984 [startup+690.08 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 65287 60 0 0 25 0 11 0 418959396 863215616 32446 4294967295 134512640 134569956 3221224400 3221214048 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32446 13073 16 0 210730 0 vsize: 842984 [startup+700.081 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 66258 60 0 0 25 0 11 0 418959396 863215616 32597 4294967295 134512640 134569956 3221224400 3221214160 1131595906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 32597 13073 16 0 210730 0 vsize: 842984 [startup+710.082 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 29864 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 67220 60 0 0 25 0 11 0 418959396 863215616 32746 4294967295 134512640 134569956 3221224400 3221214648 1131310534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32746 13073 16 0 210730 0 vsize: 842984 [startup+720.084 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 29864 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 68190 61 0 0 25 0 11 0 418959396 863215616 32865 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32865 13073 16 0 210730 0 vsize: 842984 [startup+730.085 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 69160 61 0 0 25 0 11 0 418959396 863215616 32969 4294967295 134512640 134569956 3221224400 3221214560 1131699996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 32969 13073 16 0 210730 0 vsize: 842984 [startup+740.085 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 70136 61 0 0 25 0 11 0 418959396 863215616 33071 4294967295 134512640 134569956 3221224400 3221214080 1131601772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 33071 13073 16 0 210730 0 vsize: 842984 [startup+750.087 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 71109 61 0 0 25 0 11 0 418959396 863215616 33164 4294967295 134512640 134569956 3221224400 3221213992 1131595944 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33164 13073 16 0 210730 0 vsize: 842984 [startup+760.088 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 29866 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 72083 61 0 0 25 0 11 0 418959396 863215616 33261 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33261 13073 16 0 210730 0 vsize: 842984 [startup+770.089 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 73060 62 0 0 22 0 11 0 418959396 863215616 33320 4294967295 134512640 134569956 3221224400 3221214576 1131600700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33320 13073 16 0 210730 0 vsize: 842984 [startup+780.09 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 74036 62 0 0 25 0 11 0 418959396 863215616 33376 4294967295 134512640 134569956 3221224400 3221214304 1131601732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33376 13073 16 0 210730 0 vsize: 842984 [startup+790.092 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 75008 62 0 0 25 0 11 0 418959396 863215616 33411 4294967295 134512640 134569956 3221224400 3221214680 1131449194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33411 13073 16 0 210730 0 vsize: 842984 [startup+800.092 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 75985 63 0 0 25 0 11 0 418959396 863215616 33454 4294967295 134512640 134569956 3221224400 3221214468 1131601808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 33454 13073 16 0 210730 0 vsize: 842984 [startup+810.094 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 76968 63 0 0 25 0 11 0 418959396 863215616 33484 4294967295 134512640 134569956 3221224400 3221214352 1131600658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33484 13073 16 0 210730 0 vsize: 842984 [startup+820.095 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 77958 63 0 0 25 0 11 0 418959396 863215616 33502 4294967295 134512640 134569956 3221224400 3221214656 1131233264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 33502 13073 16 0 210730 0 vsize: 842984 [startup+830.096 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 78928 63 0 0 25 0 11 0 418959396 863215616 33539 4294967295 134512640 134569956 3221224400 3221214752 1131321861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33539 13073 16 0 210730 0 vsize: 842984 [startup+840.097 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 79907 63 0 0 25 0 11 0 418959396 863215616 33569 4294967295 134512640 134569956 3221224400 3221214456 1131600085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33569 13073 16 0 210730 0 vsize: 842984 [startup+850.099 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 80886 63 0 0 25 0 11 0 418959396 863215616 33648 4294967295 134512640 134569956 3221224400 3221214160 1131595959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33648 13073 16 0 210730 0 vsize: 842984 [startup+860.1 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 81865 64 0 0 25 0 11 0 418959396 863215616 33711 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33711 13073 16 0 210730 0 vsize: 842984 [startup+870.101 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 82844 64 0 0 25 0 11 0 418959396 863215616 33752 4294967295 134512640 134569956 3221224400 3221214400 1131600712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 33752 13073 16 0 210730 0 vsize: 842984 [startup+880.102 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 83812 64 0 0 25 0 11 0 418959396 863215616 33829 4294967295 134512640 134569956 3221224400 3221214788 1131272242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 33829 13073 16 0 210730 0 vsize: 842984 [startup+890.103 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 29866 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 84779 64 0 0 25 0 11 0 418959396 863215616 33914 4294967295 134512640 134569956 3221224400 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33914 13073 16 0 210730 0 vsize: 842984 [startup+900.104 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 85731 64 0 0 25 0 11 0 418959396 863215616 33989 4294967295 134512640 134569956 3221224400 3221214112 1131601818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 33989 13073 16 0 210730 0 vsize: 842984 [startup+910.106 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 86692 65 0 0 25 0 11 0 418959396 863215616 34019 4294967295 134512640 134569956 3221224400 3221214680 1131452955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34019 13073 16 0 210730 0 vsize: 842984 [startup+920.107 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 87655 65 0 0 25 0 11 0 418959396 863215616 34251 4294967295 134512640 134569956 3221224400 3221214792 1131366004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34251 13073 16 0 210730 0 vsize: 842984 [startup+930.109 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 29866 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 88629 65 0 0 25 0 11 0 418959396 863215616 34407 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34407 13073 16 0 210730 0 vsize: 842984 [startup+940.11 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 89610 65 0 0 25 0 11 0 418959396 863215616 34482 4294967295 134512640 134569956 3221224400 3221213944 1131601701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34482 13073 16 0 210730 0 vsize: 842984 [startup+950.111 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 90596 65 0 0 25 0 11 0 418959396 863215616 34544 4294967295 134512640 134569956 3221224400 3221213992 1131595702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34544 13073 16 0 210730 0 vsize: 842984 [startup+960.112 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 91590 66 0 0 25 0 11 0 418959396 863215616 34574 4294967295 134512640 134569956 3221224400 3221214236 1131600676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 34574 13073 16 0 210730 0 vsize: 842984 [startup+970.113 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 92576 66 0 0 25 0 11 0 418959396 863215616 34644 4294967295 134512640 134569956 3221224400 3221214472 1131601756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 34644 13073 16 0 210730 0 vsize: 842984 [startup+980.114 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 93565 66 0 0 25 0 11 0 418959396 863215616 34694 4294967295 134512640 134569956 3221224400 3221213888 1131601802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34694 13073 16 0 210730 0 vsize: 842984 [startup+990.115 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 94559 67 0 0 25 0 11 0 418959396 863215616 34722 4294967295 134512640 134569956 3221224400 3221213936 1085679756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34722 13073 16 0 210730 0 vsize: 842984 [startup+1000.12 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 95553 67 0 0 25 0 11 0 418959396 863215616 34752 4294967295 134512640 134569956 3221224400 3221214328 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34752 13073 16 0 210730 0 vsize: 842984 [startup+1010.12 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 96542 67 0 0 25 0 11 0 418959396 863215616 34787 4294967295 134512640 134569956 3221224400 3221214112 1131601883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34787 13073 16 0 210730 0 vsize: 842984 [startup+1020.12 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 97536 68 0 0 25 0 11 0 418959396 863215616 34797 4294967295 134512640 134569956 3221224400 3221214056 1131601760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34797 13073 16 0 210730 0 vsize: 842984 [startup+1030.12 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 98525 68 0 0 25 0 11 0 418959396 863215616 34826 4294967295 134512640 134569956 3221224400 3221214584 1131562901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 34826 13073 16 0 210730 0 vsize: 842984 [startup+1040.12 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 99519 69 0 0 25 0 11 0 418959396 863215616 34838 4294967295 134512640 134569956 3221224400 3221214104 1085679519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34838 13073 16 0 210730 0 vsize: 842984 [startup+1050.12 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 100507 69 0 0 25 0 11 0 418959396 863215616 34868 4294967295 134512640 134569956 3221224400 3221214680 1131452162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34868 13073 16 0 210730 0 vsize: 842984 [startup+1060.12 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 101502 69 0 0 25 0 11 0 418959396 863215616 34888 4294967295 134512640 134569956 3221224400 3221214048 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34888 13073 16 0 210730 0 vsize: 842984 [startup+1070.12 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 102479 69 0 0 25 0 11 0 418959396 863215616 34936 4294967295 134512640 134569956 3221224400 3221214680 1131448226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34936 13073 16 0 210730 0 vsize: 842984 [startup+1080.12 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 103465 69 0 0 25 0 11 0 418959396 863215616 34950 4294967295 134512640 134569956 3221224400 3221213936 1085679356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 34950 13073 16 0 210730 0 vsize: 842984 [startup+1090.12 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 104442 70 0 0 25 0 11 0 418959396 863215616 35016 4294967295 134512640 134569956 3221224400 3221214680 1131448824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 35016 13073 16 0 210730 0 vsize: 842984 [startup+1100.12 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 105426 70 0 0 25 0 11 0 418959396 863215616 35056 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 35056 13073 16 0 210730 0 vsize: 842984 [startup+1110.12 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 106400 70 0 0 25 0 11 0 418959396 863215616 35123 4294967295 134512640 134569956 3221224400 3221214656 1131233185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35123 13073 16 0 210730 0 vsize: 842984 [startup+1120.12 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 107361 70 0 0 25 0 11 0 418959396 863215616 35187 4294967295 134512640 134569956 3221224400 3221214576 1131600687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35187 13073 16 0 210730 0 vsize: 842984 [startup+1130.12 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 108315 71 0 0 25 0 11 0 418959396 863215616 35325 4294967295 134512640 134569956 3221224400 3221214192 1131601784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35325 13073 16 0 210730 0 vsize: 842984 [startup+1140.12 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 29866 Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 109261 71 0 0 25 0 11 0 418959396 863215616 35439 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35439 13073 16 0 210730 0 vsize: 842984 [startup+1150.12 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 110226 71 0 0 25 0 11 0 418959396 863215616 35579 4294967295 134512640 134569956 3221224400 3221214752 1131321729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35579 13073 16 0 210730 0 vsize: 842984 [startup+1160.12 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 111182 72 0 0 25 0 11 0 418959396 863215616 35634 4294967295 134512640 134569956 3221224400 3221214356 1131601808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 35634 13073 16 0 210730 0 vsize: 842984 [startup+1170.12 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 112151 72 0 0 25 0 11 0 418959396 863215616 35709 4294967295 134512640 134569956 3221224400 3221214664 1131557795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35709 13073 16 0 210730 0 vsize: 842984 [startup+1180.12 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 113109 72 0 0 25 0 11 0 418959396 863215616 35787 4294967295 134512640 134569956 3221224400 3221214136 1131601645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35787 13073 16 0 210730 0 vsize: 842984 [startup+1190.12 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 114076 72 0 0 25 0 11 0 418959396 863215616 35839 4294967295 134512640 134569956 3221224400 3221214664 1131557679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35839 13073 16 0 210730 0 vsize: 842984 [startup+1200.12 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 115043 73 0 0 25 0 11 0 418959396 863215616 35999 4294967295 134512640 134569956 3221224400 3221214788 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 35999 13073 16 0 210730 0 vsize: 842984 [startup+1210.12 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 116022 73 0 0 25 0 11 0 418959396 863215616 36077 4294967295 134512640 134569956 3221224400 3221214328 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 36077 13073 16 0 210730 0 vsize: 842984 [startup+1220.12 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 116981 74 0 0 25 0 11 0 418959396 863215616 36236 4294967295 134512640 134569956 3221224400 3221214872 1131635555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 36236 13073 16 0 210730 0 vsize: 842984 [startup+1230.12 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 117952 74 0 0 25 0 11 0 418959396 863215616 36310 4294967295 134512640 134569956 3221224400 3221214792 1131366993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210746 36310 13073 16 0 210730 0 vsize: 842984 [startup+1240.12 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 118911 74 0 0 25 0 11 0 418959396 863215616 36403 4294967295 134512640 134569956 3221224400 3221214560 1131472533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 36403 13073 16 0 210730 0 vsize: 842984 [startup+1250.12 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 119881 74 0 0 25 0 11 0 418959396 863215616 36486 4294967295 134512640 134569956 3221224400 3221214216 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 36486 13073 16 0 210730 0 vsize: 842984 [startup+1260.12 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 29866 Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 120831 75 0 0 25 0 11 0 418959396 863215616 36594 4294967295 134512640 134569956 3221224400 3221214176 1131600085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210746 36594 13073 16 0 210730 0 vsize: 842984 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.26 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 29868 Raw data (stat): 29799 (java) Z 29798 29653 29652 0 -1 1036 18104 15972 1 1 120837 75 4608 39 25 0 1 0 418959396 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): 1260.26 CPU time (s): 1255.61 CPU user time (s): 1254.46 CPU system time (s): 1.15182 CPU usage (%): 99.631 Max. virtual memory (Kb): 845556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####