Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb |
MD5SUM | 421f138371e66f1365608f6ff657e450 |
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 | 21 |
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.157975 |
Number of variables | 570 |
Total number of constraints | 438 |
Number of constraints which are clauses | 399 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-04-13 15:53:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=369 boxname=wulflinc28 idbench=41 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 421f138371e66f1365608f6ff657e450 /oldhome/oroussel/tmp/wulflinc28/normalized-fpga20_19_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-fpga20_19_sat_pb.cnf.cr.opb IDLAUNCH: 369 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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: 918764 kB Buffers: 32904 kB Cached: 46856 kB SwapCached: 4 kB Active: 38332 kB Inactive: 44288 kB HighTotal: 131008 kB HighFree: 80052 kB LowTotal: 903652 kB LowFree: 838712 kB SwapTotal: 2097640 kB SwapFree: 2097636 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 27660 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:14:12 (client local time) WITH STATUS 143 IN SECONDS stats: 369 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-fpga20_19_sat_pb.cnf.cr.opb c reading problem c [nbvar=570] c [nbconstr=438] c time 2.011 c #vars 570 c #clauses 438 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.96 0.28 0.10 2/54 10760 Raw data (stat): 10760 (runsolver) R 10759 10614 10613 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 477185590 1052672 97 4294967295 134512640 135381576 3221224432 3221219872 134514522 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 97 215 215 0 42 0 vsize: 1028 [startup+9.99971 s] Raw data (loadavg): 1.27 0.37 0.13 4/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18083 0 1 0 608 42 0 0 25 0 11 0 477185590 870490112 22875 4294967295 134512640 134569956 3221224400 3221214792 1131270601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212522 22875 13073 16 0 212506 0 vsize: 850088 [startup+20.0007 s] Raw data (loadavg): 1.23 0.39 0.13 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 1534 42 0 0 25 0 11 0 477185590 868114432 22957 4294967295 134512640 134569956 3221224400 3221214808 1131316945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 22957 13073 16 0 211926 0 vsize: 847768 [startup+30.0008 s] Raw data (loadavg): 1.19 0.41 0.14 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 2450 43 0 0 25 0 11 0 477185590 868114432 23841 4294967295 134512640 134569956 3221224400 3221214404 1131686864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 23841 13073 16 0 211926 0 vsize: 847768 [startup+40.0005 s] Raw data (loadavg): 1.16 0.43 0.15 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 3375 43 0 0 25 0 11 0 477185590 868114432 24342 4294967295 134512640 134569956 3221224400 3221214648 1131240298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 24342 13073 16 0 211926 0 vsize: 847768 [startup+50.0017 s] Raw data (loadavg): 1.14 0.45 0.16 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 4302 43 0 0 25 0 11 0 477185590 868114432 24763 4294967295 134512640 134569956 3221224400 3221214800 1131232261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 24763 13073 16 0 211926 0 vsize: 847768 [startup+60.0018 s] Raw data (loadavg): 1.12 0.47 0.17 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 5252 43 0 0 25 0 11 0 477185590 868114432 24924 4294967295 134512640 134569956 3221224400 3221214760 1131442900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 24924 13073 16 0 211926 0 vsize: 847768 [startup+70.0026 s] Raw data (loadavg): 1.10 0.48 0.18 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 6194 43 0 0 25 0 11 0 477185590 868114432 25085 4294967295 134512640 134569956 3221224400 3221214552 1131293187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25085 13073 16 0 211926 0 vsize: 847768 [startup+80.0033 s] Raw data (loadavg): 1.08 0.50 0.19 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 7138 43 0 0 25 0 11 0 477185590 868114432 25166 4294967295 134512640 134569956 3221224400 3221214552 1131695873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25166 13073 16 0 211926 0 vsize: 847768 [startup+90.0026 s] Raw data (loadavg): 1.07 0.52 0.19 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 8080 43 0 0 25 0 11 0 477185590 868114432 25241 4294967295 134512640 134569956 3221224400 3221214584 1131428809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25241 13073 16 0 211926 0 vsize: 847768 [startup+100.002 s] Raw data (loadavg): 1.06 0.53 0.20 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 9026 43 0 0 25 0 11 0 477185590 868114432 25570 4294967295 134512640 134569956 3221224400 3221214856 1131208529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25570 13073 16 0 211926 0 vsize: 847768 [startup+110.003 s] Raw data (loadavg): 1.05 0.55 0.21 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 9986 43 0 0 25 0 11 0 477185590 868114432 25806 4294967295 134512640 134569956 3221224400 3221214584 1131429257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25806 13073 16 0 211926 0 vsize: 847768 [startup+120.005 s] Raw data (loadavg): 1.04 0.56 0.22 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 10951 43 0 0 25 0 11 0 477185590 868114432 25969 4294967295 134512640 134569956 3221224400 3221214456 1131695764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 25969 13073 16 0 211926 0 vsize: 847768 [startup+130.005 s] Raw data (loadavg): 1.03 0.57 0.23 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 11917 43 0 0 25 0 11 0 477185590 868114432 26028 4294967295 134512640 134569956 3221224400 3221214684 1131370400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26028 13073 16 0 211926 0 vsize: 847768 [startup+140.004 s] Raw data (loadavg): 1.03 0.59 0.23 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 12876 43 0 0 25 0 11 0 477185590 868114432 26112 4294967295 134512640 134569956 3221224400 3221214500 1131686800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26112 13073 16 0 211926 0 vsize: 847768 [startup+150.005 s] Raw data (loadavg): 1.02 0.60 0.24 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 13827 43 0 0 25 0 11 0 477185590 868114432 26189 4294967295 134512640 134569956 3221224400 3221214808 1131319127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26189 13073 16 0 211926 0 vsize: 847768 [startup+160.004 s] Raw data (loadavg): 1.02 0.61 0.25 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 14767 43 0 0 25 0 11 0 477185590 868114432 26345 4294967295 134512640 134569956 3221224400 3221214936 1131219417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26345 13073 16 0 211926 0 vsize: 847768 [startup+170.005 s] Raw data (loadavg): 1.02 0.63 0.26 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 15707 43 0 0 25 0 11 0 477185590 868114432 26451 4294967295 134512640 134569956 3221224400 3221214592 1131371054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26451 13073 16 0 211926 0 vsize: 847768 [startup+180.006 s] Raw data (loadavg): 1.01 0.64 0.26 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 16649 43 0 0 25 0 11 0 477185590 868114432 26591 4294967295 134512640 134569956 3221224400 3221214712 1131353771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26591 13073 16 0 211926 0 vsize: 847768 [startup+190.006 s] Raw data (loadavg): 1.01 0.65 0.27 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 17600 43 0 0 25 0 11 0 477185590 868114432 26750 4294967295 134512640 134569956 3221224400 3221214584 1131429199 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26750 13073 16 0 211926 0 vsize: 847768 [startup+200.006 s] Raw data (loadavg): 1.01 0.66 0.28 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 18552 43 0 0 25 0 11 0 477185590 868114432 26995 4294967295 134512640 134569956 3221224400 3221214360 1131694513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 26995 13073 16 0 211926 0 vsize: 847768 [startup+210.007 s] Raw data (loadavg): 1.01 0.67 0.29 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 19508 43 0 0 25 0 11 0 477185590 868114432 27178 4294967295 134512640 134569956 3221224400 3221214800 1131232253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27178 13073 16 0 211926 0 vsize: 847768 [startup+220.008 s] Raw data (loadavg): 1.01 0.68 0.29 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 20455 43 0 0 25 0 11 0 477185590 868114432 27381 4294967295 134512640 134569956 3221224400 3221214656 1131416286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27381 13073 16 0 211926 0 vsize: 847768 [startup+230.008 s] Raw data (loadavg): 1.00 0.69 0.30 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 21415 43 0 0 25 0 11 0 477185590 868114432 27463 4294967295 134512640 134569956 3221224400 3221214856 1131208529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27463 13073 16 0 211926 0 vsize: 847768 [startup+240.008 s] Raw data (loadavg): 1.00 0.70 0.31 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 22353 43 0 0 25 0 11 0 477185590 868114432 27645 4294967295 134512640 134569956 3221224400 3221214760 1131266864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27645 13073 16 0 211926 0 vsize: 847768 [startup+250.009 s] Raw data (loadavg): 1.00 0.71 0.31 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 23303 43 0 0 25 0 11 0 477185590 868114432 27710 4294967295 134512640 134569956 3221224400 3221214688 1131677413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27710 13073 16 0 211926 0 vsize: 847768 [startup+260.009 s] Raw data (loadavg): 1.00 0.72 0.32 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 24262 43 0 0 25 0 11 0 477185590 868114432 27816 4294967295 134512640 134569956 3221224400 3221214040 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27816 13073 16 0 211926 0 vsize: 847768 [startup+270.01 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 25204 43 0 0 25 0 11 0 477185590 868114432 27951 4294967295 134512640 134569956 3221224400 3221214896 1131244001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 27951 13073 16 0 211926 0 vsize: 847768 [startup+280.009 s] Raw data (loadavg): 1.00 0.74 0.33 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 26152 44 0 0 25 0 11 0 477185590 868114432 28244 4294967295 134512640 134569956 3221224400 3221214656 1131416257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28244 13073 16 0 211926 0 vsize: 847768 [startup+290.009 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 27110 44 0 0 25 0 11 0 477185590 868114432 28441 4294967295 134512640 134569956 3221224400 3221214168 1131694626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28441 13073 16 0 211926 0 vsize: 847768 [startup+300.01 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 28078 44 0 0 25 0 11 0 477185590 868114432 28546 4294967295 134512640 134569956 3221224400 3221214552 1131293231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28546 13073 16 0 211926 0 vsize: 847768 [startup+310.009 s] Raw data (loadavg): 1.00 0.76 0.35 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 29051 44 0 0 25 0 11 0 477185590 868114432 28620 4294967295 134512640 134569956 3221224400 3221214656 1131426898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28620 13073 16 0 211926 0 vsize: 847768 [startup+320.01 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 30017 44 0 0 25 0 11 0 477185590 868114432 28740 4294967295 134512640 134569956 3221224400 3221214808 1131319605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28740 13073 16 0 211926 0 vsize: 847768 [startup+330.011 s] Raw data (loadavg): 1.00 0.77 0.37 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 30995 44 0 0 25 0 11 0 477185590 868114432 28790 4294967295 134512640 134569956 3221224400 3221214856 1131208512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28790 13073 16 0 211926 0 vsize: 847768 [startup+340.01 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 31955 44 0 0 25 0 11 0 477185590 868114432 28881 4294967295 134512640 134569956 3221224400 3221214448 1131698638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28881 13073 16 0 211926 0 vsize: 847768 [startup+350.01 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 32913 44 0 0 25 0 11 0 477185590 868114432 28960 4294967295 134512640 134569956 3221224400 3221214040 1085679267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 28960 13073 16 0 211926 0 vsize: 847768 [startup+360.01 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 33879 44 0 0 25 0 11 0 477185590 868114432 29020 4294967295 134512640 134569956 3221224400 3221214032 1131686865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29020 13073 16 0 211926 0 vsize: 847768 [startup+370.012 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 34837 44 0 0 25 0 11 0 477185590 868114432 29127 4294967295 134512640 134569956 3221224400 3221214856 1131208509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29127 13073 16 0 211926 0 vsize: 847768 [startup+380.012 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 35804 44 0 0 25 0 11 0 477185590 868114432 29218 4294967295 134512640 134569956 3221224400 3221214472 1085632281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29218 13073 16 0 211926 0 vsize: 847768 [startup+390.012 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 36771 44 0 0 25 0 11 0 477185590 868114432 29295 4294967295 134512640 134569956 3221224400 3221214496 1131450334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29295 13073 16 0 211926 0 vsize: 847768 [startup+400.012 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 10770 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 37738 44 0 0 25 0 11 0 477185590 868114432 29452 4294967295 134512640 134569956 3221224400 3221214648 1131701490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29452 13073 16 0 211926 0 vsize: 847768 [startup+410.065 s] Raw data (loadavg): 1.23 0.87 0.43 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 38703 58 0 0 25 0 11 0 477185590 868114432 29568 4294967295 134512640 134569956 3221224400 3221214176 1085679766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29568 13073 16 0 211926 0 vsize: 847768 [startup+420.066 s] Raw data (loadavg): 1.19 0.88 0.44 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 39688 58 0 0 25 0 11 0 477185590 868114432 29624 4294967295 134512640 134569956 3221224400 3221214128 1085679538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29624 13073 16 0 211926 0 vsize: 847768 [startup+430.067 s] Raw data (loadavg): 1.16 0.88 0.44 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 40659 58 0 0 24 0 11 0 477185590 868114432 29702 4294967295 134512640 134569956 3221224400 3221214808 1131319201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29702 13073 16 0 211926 0 vsize: 847768 [startup+440.067 s] Raw data (loadavg): 1.14 0.88 0.45 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 41638 58 0 0 25 0 11 0 477185590 868114432 29766 4294967295 134512640 134569956 3221224400 3221214688 1131677465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29766 13073 16 0 211926 0 vsize: 847768 [startup+450.068 s] Raw data (loadavg): 1.11 0.89 0.45 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 42609 58 0 0 25 0 11 0 477185590 868114432 29845 4294967295 134512640 134569956 3221224400 3221214172 1131679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29845 13073 16 0 211926 0 vsize: 847768 [startup+460.068 s] Raw data (loadavg): 1.10 0.89 0.46 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 43582 58 0 0 25 0 11 0 477185590 868114432 29916 4294967295 134512640 134569956 3221224400 3221214216 1131686816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29916 13073 16 0 211926 0 vsize: 847768 [startup+470.069 s] Raw data (loadavg): 1.08 0.89 0.46 2/64 10823 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 44553 58 0 0 25 0 11 0 477185590 868114432 29979 4294967295 134512640 134569956 3221224400 3221214600 1131686865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 29979 13073 16 0 211926 0 vsize: 847768 [startup+480.069 s] Raw data (loadavg): 1.07 0.90 0.47 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 45518 58 0 0 25 0 11 0 477185590 868114432 30127 4294967295 134512640 134569956 3221224400 3221214800 1080203753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30127 13073 16 0 211926 0 vsize: 847768 [startup+490.069 s] Raw data (loadavg): 1.06 0.90 0.47 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 46491 59 0 0 25 0 11 0 477185590 868114432 30242 4294967295 134512640 134569956 3221224400 3221214224 1085679290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30242 13073 16 0 211926 0 vsize: 847768 [startup+500.072 s] Raw data (loadavg): 1.05 0.90 0.48 2/64 10825 Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 47475 59 0 0 25 0 11 0 477185590 868114432 30301 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30301 13073 16 0 211926 0 vsize: 847768 [startup+510.072 s] Raw data (loadavg): 1.04 0.91 0.48 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 48459 59 0 0 25 0 11 0 477185590 868114432 30339 4294967295 134512640 134569956 3221224400 3221214504 1131686840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30339 13073 16 0 211926 0 vsize: 847768 [startup+520.072 s] Raw data (loadavg): 1.03 0.91 0.49 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 49440 59 0 0 25 0 11 0 477185590 868114432 30393 4294967295 134512640 134569956 3221224400 3221214488 1131505606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30393 13073 16 0 211926 0 vsize: 847768 [startup+530.073 s] Raw data (loadavg): 1.03 0.91 0.49 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 50426 59 0 0 25 0 11 0 477185590 868114432 30431 4294967295 134512640 134569956 3221224400 3221214032 1131686903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30431 13073 16 0 211926 0 vsize: 847768 [startup+540.073 s] Raw data (loadavg): 1.02 0.91 0.50 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 51412 59 0 0 25 0 11 0 477185590 868114432 30464 4294967295 134512640 134569956 3221224400 3221214500 1085632316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30464 13073 16 0 211926 0 vsize: 847768 [startup+550.074 s] Raw data (loadavg): 1.02 0.92 0.50 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 52399 59 0 0 25 0 11 0 477185590 868114432 30502 4294967295 134512640 134569956 3221224400 3221214896 1131243958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30502 13073 16 0 211926 0 vsize: 847768 [startup+560.074 s] Raw data (loadavg): 1.02 0.92 0.51 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 53378 59 0 0 25 0 11 0 477185590 868114432 30551 4294967295 134512640 134569956 3221224400 3221214800 1131232669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30551 13073 16 0 211926 0 vsize: 847768 [startup+570.075 s] Raw data (loadavg): 1.01 0.92 0.51 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 54348 59 0 0 25 0 11 0 477185590 868114432 30620 4294967295 134512640 134569956 3221224400 3221214544 1131698961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30620 13073 16 0 211926 0 vsize: 847768 [startup+580.075 s] Raw data (loadavg): 1.01 0.92 0.52 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 55324 59 0 0 25 0 11 0 477185590 868114432 30677 4294967295 134512640 134569956 3221224400 3221214312 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30677 13073 16 0 211926 0 vsize: 847768 [startup+590.075 s] Raw data (loadavg): 1.01 0.92 0.52 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 56316 59 0 0 25 0 11 0 477185590 868114432 30700 4294967295 134512640 134569956 3221224400 3221214640 1131700605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30700 13073 16 0 211926 0 vsize: 847768 [startup+600.076 s] Raw data (loadavg): 1.01 0.93 0.53 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 57299 59 0 0 25 0 11 0 477185590 868114432 30744 4294967295 134512640 134569956 3221224400 3221214304 1131686844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30744 13073 16 0 211926 0 vsize: 847768 [startup+610.076 s] Raw data (loadavg): 1.00 0.93 0.53 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 58274 59 0 0 25 0 11 0 477185590 868114432 30811 4294967295 134512640 134569956 3221224400 3221214848 1131229816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30811 13073 16 0 211926 0 vsize: 847768 [startup+620.076 s] Raw data (loadavg): 1.00 0.93 0.54 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 59257 59 0 0 25 0 11 0 477185590 868114432 30848 4294967295 134512640 134569956 3221224400 3221214304 1131686865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30848 13073 16 0 211926 0 vsize: 847768 [startup+630.077 s] Raw data (loadavg): 1.00 0.93 0.54 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 60219 59 0 0 25 0 11 0 477185590 868114432 30938 4294967295 134512640 134569956 3221224400 3221213964 1131679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 30938 13073 16 0 211926 0 vsize: 847768 [startup+640.076 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 61178 59 0 0 25 0 11 0 477185590 868114432 31029 4294967295 134512640 134569956 3221224400 3221214664 1131354260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 31029 13073 16 0 211926 0 vsize: 847768 [startup+650.077 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 62137 59 0 0 25 0 11 0 477185590 868114432 31110 4294967295 134512640 134569956 3221224400 3221214024 1085679290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 31110 13073 16 0 211926 0 vsize: 847768 [startup+660.077 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 63105 59 0 0 25 0 11 0 477185590 868114432 31207 4294967295 134512640 134569956 3221224400 3221214832 1131208558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31207 13073 16 0 211926 0 vsize: 847768 [startup+670.078 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 64082 59 0 0 25 0 11 0 477185590 868114432 31317 4294967295 134512640 134569956 3221224400 3221214256 1131695841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31317 13073 16 0 211926 0 vsize: 847768 [startup+680.077 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 65060 59 0 0 25 0 11 0 477185590 868114432 31395 4294967295 134512640 134569956 3221224400 3221213832 1085679434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 31395 13073 16 0 211926 0 vsize: 847768 [startup+690.078 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 66027 60 0 0 25 0 11 0 477185590 868114432 31461 4294967295 134512640 134569956 3221224400 3221214536 1131695804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31461 13073 16 0 211926 0 vsize: 847768 [startup+700.078 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 66994 60 0 0 25 0 11 0 477185590 868114432 31563 4294967295 134512640 134569956 3221224400 3221214608 1131416309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31563 13073 16 0 211926 0 vsize: 847768 [startup+710.079 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 10825 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 67961 60 0 0 25 0 11 0 477185590 868114432 31679 4294967295 134512640 134569956 3221224400 3221214640 1131700002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 31679 13073 16 0 211926 0 vsize: 847768 [startup+720.079 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 68930 60 0 0 25 0 11 0 477185590 868114432 31734 4294967295 134512640 134569956 3221224400 3221214272 1085632292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31734 13073 16 0 211926 0 vsize: 847768 [startup+730.08 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 69897 60 0 0 25 0 11 0 477185590 868114432 31807 4294967295 134512640 134569956 3221224400 3221214640 1131677345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31807 13073 16 0 211926 0 vsize: 847768 [startup+740.08 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 70877 61 0 0 25 0 11 0 477185590 868114432 31854 4294967295 134512640 134569956 3221224400 3221214256 1131700414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 31854 13073 16 0 211926 0 vsize: 847768 [startup+750.08 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 71844 61 0 0 25 0 11 0 477185590 868114432 31902 4294967295 134512640 134569956 3221224400 3221214204 1131618112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 31902 13073 16 0 211926 0 vsize: 847768 [startup+760.079 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 72813 61 0 0 25 0 11 0 477185590 868114432 32000 4294967295 134512640 134569956 3221224400 3221214608 1131293197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 32000 13073 16 0 211926 0 vsize: 847768 [startup+770.079 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 73780 62 0 0 25 0 11 0 477185590 868114432 32095 4294967295 134512640 134569956 3221224400 3221214208 1131686865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32095 13073 16 0 211926 0 vsize: 847768 [startup+780.08 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 74759 62 0 0 25 0 11 0 477185590 868114432 32171 4294967295 134512640 134569956 3221224400 3221214532 1131415456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32171 13073 16 0 211926 0 vsize: 847768 [startup+790.081 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 75729 62 0 0 25 0 11 0 477185590 868114432 32299 4294967295 134512640 134569956 3221224400 3221214680 1131275197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32299 13073 16 0 211926 0 vsize: 847768 [startup+800.081 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 76701 62 0 0 25 0 11 0 477185590 868114432 32383 4294967295 134512640 134569956 3221224400 3221214776 1131233337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32383 13073 16 0 211926 0 vsize: 847768 [startup+810.082 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 10827 Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 77669 62 0 0 25 0 11 0 477185590 868114432 32462 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32462 13073 16 0 211926 0 vsize: 847768 [startup+820.081 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 78641 62 0 0 25 0 11 0 477185590 868114432 32577 4294967295 134512640 134569956 3221224400 3221214776 1131232650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32577 13073 16 0 211926 0 vsize: 847768 [startup+830.082 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 79611 63 0 0 25 0 11 0 477185590 868114432 32682 4294967295 134512640 134569956 3221224400 3221214560 1085632301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 32682 13073 16 0 211926 0 vsize: 847768 [startup+840.082 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 80595 63 0 0 25 0 11 0 477185590 868114432 32722 4294967295 134512640 134569956 3221224400 3221214872 1131243969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32722 13073 16 0 211926 0 vsize: 847768 [startup+850.083 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 81562 63 0 0 25 0 11 0 477185590 868114432 32821 4294967295 134512640 134569956 3221224400 3221214496 1131686833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 32821 13073 16 0 211926 0 vsize: 847768 [startup+860.082 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 82537 64 0 0 25 0 11 0 477185590 868114432 32913 4294967295 134512640 134569956 3221224400 3221214776 1131232900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 32913 13073 16 0 211926 0 vsize: 847768 [startup+870.083 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 83504 64 0 0 25 0 11 0 477185590 868114432 33004 4294967295 134512640 134569956 3221224400 3221214640 1131677335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 33004 13073 16 0 211926 0 vsize: 847768 [startup+880.083 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 84471 64 0 0 25 0 11 0 477185590 868114432 33087 4294967295 134512640 134569956 3221224400 3221214908 1130885126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33087 13073 16 0 211926 0 vsize: 847768 [startup+890.082 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 85445 64 0 0 25 0 11 0 477185590 868114432 33128 4294967295 134512640 134569956 3221224400 3221214024 1131686840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33128 13073 16 0 211926 0 vsize: 847768 [startup+900.082 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 86408 64 0 0 25 0 11 0 477185590 868114432 33193 4294967295 134512640 134569956 3221224400 3221214448 1131697468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33193 13073 16 0 211926 0 vsize: 847768 [startup+910.087 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10827 Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 87367 64 0 0 25 0 11 0 477185590 868114432 33239 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33239 13073 16 0 211926 0 vsize: 847768 [startup+920.091 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 88331 64 0 0 25 0 11 0 477185590 868114432 33299 4294967295 134512640 134569956 3221224400 3221214120 1131686812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33299 13073 16 0 211926 0 vsize: 847768 [startup+930.091 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 89292 64 0 0 25 0 11 0 477185590 868114432 33430 4294967295 134512640 134569956 3221224400 3221214504 1085679753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33430 13073 16 0 211926 0 vsize: 847768 [startup+940.09 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 90263 64 0 0 25 0 11 0 477185590 868114432 33522 4294967295 134512640 134569956 3221224400 3221214492 1131686859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33522 13073 16 0 211926 0 vsize: 847768 [startup+950.091 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 91228 64 0 0 25 0 11 0 477185590 868114432 33639 4294967295 134512640 134569956 3221224400 3221214552 1078032289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33639 13073 16 0 211926 0 vsize: 847768 [startup+960.09 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 92197 64 0 0 25 0 11 0 477185590 868114432 33761 4294967295 134512640 134569956 3221224400 3221214024 1131686804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33761 13073 16 0 211926 0 vsize: 847768 [startup+970.09 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 93168 64 0 0 25 0 11 0 477185590 868114432 33875 4294967295 134512640 134569956 3221224400 3221214216 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33875 13073 16 0 211926 0 vsize: 847768 [startup+980.09 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 94143 64 0 0 25 0 11 0 477185590 868114432 33978 4294967295 134512640 134569956 3221224400 3221214608 1131427190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 33978 13073 16 0 211926 0 vsize: 847768 [startup+990.091 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 95126 64 0 0 25 0 11 0 477185590 868114432 34046 4294967295 134512640 134569956 3221224400 3221214600 1131228306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34046 13073 16 0 211926 0 vsize: 847768 [startup+1000.09 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 96115 64 0 0 25 0 11 0 477185590 868114432 34098 4294967295 134512640 134569956 3221224400 3221214208 1131686876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34098 13073 16 0 211926 0 vsize: 847768 [startup+1010.09 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 97105 64 0 0 25 0 11 0 477185590 868114432 34135 4294967295 134512640 134569956 3221224400 3221214164 1131618340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34135 13073 16 0 211926 0 vsize: 847768 [startup+1020.09 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 98085 64 0 0 25 0 11 0 477185590 868114432 34222 4294967295 134512640 134569956 3221224400 3221214776 1131232622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34222 13073 16 0 211926 0 vsize: 847768 [startup+1030.09 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 99067 64 0 0 25 0 11 0 477185590 868114432 34291 4294967295 134512640 134569956 3221224400 3221214536 1131429277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34291 13073 16 0 211926 0 vsize: 847768 [startup+1040.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 100050 64 0 0 25 0 11 0 477185590 868114432 34357 4294967295 134512640 134569956 3221224400 3221214496 1131293120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34357 13073 16 0 211926 0 vsize: 847768 [startup+1050.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 101036 64 0 0 25 0 11 0 477185590 868114432 34382 4294967295 134512640 134569956 3221224400 3221214160 1131697028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34382 13073 16 0 211926 0 vsize: 847768 [startup+1060.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 102018 64 0 0 25 0 11 0 477185590 868114432 34413 4294967295 134512640 134569956 3221224400 3221214448 1131697344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 34413 13073 16 0 211926 0 vsize: 847768 [startup+1070.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 102993 64 0 0 25 0 11 0 477185590 868114432 34460 4294967295 134512640 134569956 3221224400 3221213920 1131686833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34460 13073 16 0 211926 0 vsize: 847768 [startup+1080.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 103974 64 0 0 25 0 11 0 477185590 868114432 34509 4294967295 134512640 134569956 3221224400 3221214408 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34509 13073 16 0 211926 0 vsize: 847768 [startup+1090.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 104965 64 0 0 25 0 11 0 477185590 868114432 34525 4294967295 134512640 134569956 3221224400 3221213840 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34525 13073 16 0 211926 0 vsize: 847768 [startup+1100.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 105955 64 0 0 25 0 11 0 477185590 868114432 34560 4294967295 134512640 134569956 3221224400 3221214832 1131208512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211942 34560 13073 16 0 211926 0 vsize: 847768 [startup+1110.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 106930 64 0 0 25 0 11 0 477185590 868114432 34618 4294967295 134512640 134569956 3221224400 3221214608 1131416312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34618 13073 16 0 211926 0 vsize: 847768 [startup+1120.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 107908 64 0 0 25 0 11 0 477185590 868114432 34668 4294967295 134512640 134569956 3221224400 3221214760 1131317389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34668 13073 16 0 211926 0 vsize: 847768 [startup+1130.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 108887 64 0 0 25 0 11 0 477185590 868114432 34728 4294967295 134512640 134569956 3221224400 3221214072 1131618336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34728 13073 16 0 211926 0 vsize: 847768 [startup+1140.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 109865 64 0 0 25 0 11 0 477185590 868114432 34772 4294967295 134512640 134569956 3221224400 3221214496 1131686840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34772 13073 16 0 211926 0 vsize: 847768 [startup+1150.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 110849 65 0 0 25 0 11 0 477185590 868114432 34814 4294967295 134512640 134569956 3221224400 3221214120 1131686812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34814 13073 16 0 211926 0 vsize: 847768 [startup+1160.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 111820 65 0 0 25 0 11 0 477185590 868114432 34864 4294967295 134512640 134569956 3221224400 3221214832 1131208536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34864 13073 16 0 211926 0 vsize: 847768 [startup+1170.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 112796 65 0 0 25 0 11 0 477185590 868114432 34909 4294967295 134512640 134569956 3221224400 3221214776 1131232591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34909 13073 16 0 211926 0 vsize: 847768 [startup+1180.1 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 113772 65 0 0 25 0 11 0 477185590 868114432 34957 4294967295 134512640 134569956 3221224400 3221214640 1131695912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 34957 13073 16 0 211926 0 vsize: 847768 [startup+1190.1 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 114755 65 0 0 25 0 11 0 477185590 868114432 35004 4294967295 134512640 134569956 3221224400 3221214884 1131688384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35004 13073 16 0 211926 0 vsize: 847768 [startup+1200.1 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 115743 65 0 0 25 0 11 0 477185590 868114432 35039 4294967295 134512640 134569956 3221224400 3221214888 1131494700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35039 13073 16 0 211926 0 vsize: 847768 [startup+1210.1 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 116725 65 0 0 25 0 11 0 477185590 868114432 35086 4294967295 134512640 134569956 3221224400 3221214448 1131698098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35086 13073 16 0 211926 0 vsize: 847768 [startup+1220.1 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 117708 65 0 0 25 0 11 0 477185590 868114432 35137 4294967295 134512640 134569956 3221224400 3221214872 1131243973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35137 13073 16 0 211926 0 vsize: 847768 [startup+1230.11 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 118691 65 0 0 25 0 11 0 477185590 868114432 35173 4294967295 134512640 134569956 3221224400 3221214832 1131208536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35173 13073 16 0 211926 0 vsize: 847768 [startup+1240.11 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 119671 65 0 0 25 0 11 0 477185590 868114432 35205 4294967295 134512640 134569956 3221224400 3221214872 1131243973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35205 13073 16 0 211926 0 vsize: 847768 [startup+1250.11 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 10827 Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 120650 65 0 0 25 0 11 0 477185590 868114432 35256 4294967295 134512640 134569956 3221224400 3221214352 1131699955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211942 35256 13073 16 0 211926 0 vsize: 847768 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.23 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 10829 Raw data (stat): 10760 (java) Z 10759 10614 10613 0 -1 1036 18085 13445 1 1 120655 65 3867 37 25 0 1 0 477185590 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.23 CPU time (s): 1246.26 CPU user time (s): 1245.24 CPU system time (s): 1.02884 CPU usage (%): 99.683 Max. virtual memory (Kb): 850088 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####