Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb |
MD5SUM | d4fd8917eebbcee2e1b2df9714e1fab8 |
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 | 36 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.59276 |
Number of variables | 1733 |
Total number of constraints | 1256 |
Number of constraints which are clauses | 1188 |
Number of constraints which are cardinality constraints (but not clauses) | 68 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-25 04:43:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20459 boxname=wulflinc10 idbench=49 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d4fd8917eebbcee2e1b2df9714e1fab8 /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb IDLAUNCH: 20459 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 892148 kB Buffers: 10128 kB Cached: 110752 kB SwapCached: 92 kB Active: 28540 kB Inactive: 95004 kB HighTotal: 131008 kB HighFree: 20468 kB LowTotal: 903652 kB LowFree: 871680 kB SwapTotal: 2097136 kB SwapFree: 2096752 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6392 kB Slab: 13488 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:04:32 (client local time) WITH STATUS 143 IN 1245.68 SECONDS stats: 20459 7 1245.68 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb c reading problem ... done. Time 3.878 ms. c #vars 1733 c #constraints 1256 c starts : 4 c conflicts : 786 c decisions : 11197 c propagations : 54621 c inspects : 294993 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 786 c root simplifications : 4 s UNKNOWN c Total CPU time (ms) : 1235.69 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.93 2/54 27400 Raw data (stat): 27400 (runsolver) R 27399 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777884334 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0184 s] Raw data (loadavg): 1.24 1.02 0.95 4/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17981 0 88 0 459 43 0 0 25 0 11 0 777884334 862236672 20585 4294967295 134512640 134569956 3221224368 3221213464 1076862509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210507 20585 13086 16 0 210491 0 vsize: 842028 [startup+20.0194 s] Raw data (loadavg): 1.36 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17983 0 88 0 1405 43 0 0 25 0 11 0 777884334 860643328 22207 4294967295 134512640 134569956 3221224368 3221214544 1131180464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210118 22207 13086 16 0 210102 0 vsize: 840472 [startup+30.0193 s] Raw data (loadavg): 1.31 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17983 0 88 0 2371 43 0 0 25 0 11 0 777884334 859734016 22887 4294967295 134512640 134569956 3221224368 3221214624 1131311491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22887 13086 16 0 209880 0 vsize: 839584 [startup+40.019 s] Raw data (loadavg): 1.26 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 3345 44 0 0 25 0 11 0 777884334 859734016 22889 4294967295 134512640 134569956 3221224368 3221214560 1131437081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22889 13086 16 0 209880 0 vsize: 839584 [startup+50.0196 s] Raw data (loadavg): 1.22 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 4331 44 0 0 25 0 11 0 777884334 859734016 22889 4294967295 134512640 134569956 3221224368 3221214624 1131311538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22889 13086 16 0 209880 0 vsize: 839584 [startup+60.0206 s] Raw data (loadavg): 1.18 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 5320 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214624 1131311564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+70.0206 s] Raw data (loadavg): 1.16 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 6304 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214568 1131309671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+80.0223 s] Raw data (loadavg): 1.13 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 7288 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214540 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+90.0221 s] Raw data (loadavg): 1.18 1.06 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 8276 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214592 1131313279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+100.021 s] Raw data (loadavg): 1.16 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 9259 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214616 1131401006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+110.022 s] Raw data (loadavg): 1.13 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 10241 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214592 1131313339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+120.023 s] Raw data (loadavg): 1.11 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 11220 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214624 1131311491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22891 13086 16 0 209880 0 vsize: 839584 [startup+130.022 s] Raw data (loadavg): 1.09 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 12199 44 0 0 25 0 11 0 777884334 859734016 22945 4294967295 134512640 134569956 3221224368 3221214616 1131401412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 22945 13086 16 0 209880 0 vsize: 839584 [startup+140.022 s] Raw data (loadavg): 1.08 1.05 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 13186 44 0 0 25 0 11 0 777884334 859734016 23178 4294967295 134512640 134569956 3221224368 3221214624 1131311564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23178 13086 16 0 209880 0 vsize: 839584 [startup+150.022 s] Raw data (loadavg): 1.07 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 14173 44 0 0 25 0 11 0 777884334 859734016 23213 4294967295 134512640 134569956 3221224368 3221214616 1131401491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23213 13086 16 0 209880 0 vsize: 839584 [startup+160.023 s] Raw data (loadavg): 1.06 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 15161 44 0 0 25 0 11 0 777884334 859734016 23302 4294967295 134512640 134569956 3221224368 3221214504 1131156770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23302 13086 16 0 209880 0 vsize: 839584 [startup+170.022 s] Raw data (loadavg): 1.05 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 16151 44 0 0 25 0 11 0 777884334 859734016 23319 4294967295 134512640 134569956 3221224368 3221214528 1131251241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23319 13086 16 0 209880 0 vsize: 839584 [startup+180.022 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 17140 45 0 0 25 0 11 0 777884334 859734016 23371 4294967295 134512640 134569956 3221224368 3221214568 1131309251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23371 13086 16 0 209880 0 vsize: 839584 [startup+190.022 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 18133 45 0 0 25 0 11 0 777884334 859734016 23371 4294967295 134512640 134569956 3221224368 3221214620 1131308585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23371 13086 16 0 209880 0 vsize: 839584 [startup+200.023 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 19122 45 0 0 25 0 11 0 777884334 859734016 23405 4294967295 134512640 134569956 3221224368 3221214504 1131156660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 23405 13086 16 0 209880 0 vsize: 839584 [startup+210.024 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 20111 45 0 0 25 0 11 0 777884334 859734016 23440 4294967295 134512640 134569956 3221224368 3221214528 1131251024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23440 13086 16 0 209880 0 vsize: 839584 [startup+220.024 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 21100 45 0 0 25 0 11 0 777884334 859734016 23477 4294967295 134512640 134569956 3221224368 3221214528 1131251084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23477 13086 16 0 209880 0 vsize: 839584 [startup+230.024 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 22090 45 0 0 25 0 11 0 777884334 859734016 23539 4294967295 134512640 134569956 3221224368 3221214616 1131313341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23539 13086 16 0 209880 0 vsize: 839584 [startup+240.024 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 23081 45 0 0 25 0 11 0 777884334 859734016 23557 4294967295 134512640 134569956 3221224368 3221214736 1131309151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23557 13086 16 0 209880 0 vsize: 839584 [startup+250.024 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 24075 45 0 0 25 0 11 0 777884334 859734016 23557 4294967295 134512640 134569956 3221224368 3221214640 1131401476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23557 13086 16 0 209880 0 vsize: 839584 [startup+260.031 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 25066 45 0 0 25 0 11 0 777884334 859734016 23575 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23575 13086 16 0 209880 0 vsize: 839584 [startup+270.031 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 26057 46 0 0 25 0 11 0 777884334 859734016 23592 4294967295 134512640 134569956 3221224368 3221214528 1131156756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23592 13086 16 0 209880 0 vsize: 839584 [startup+280.03 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 27047 46 0 0 25 0 11 0 777884334 859734016 23610 4294967295 134512640 134569956 3221224368 3221214640 1131401436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23610 13086 16 0 209880 0 vsize: 839584 [startup+290.035 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 28037 46 0 0 25 0 11 0 777884334 859734016 23645 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23645 13086 16 0 209880 0 vsize: 839584 [startup+300.035 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 29028 46 0 0 25 0 11 0 777884334 859734016 23680 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23680 13086 16 0 209880 0 vsize: 839584 [startup+310.035 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 30019 46 0 0 25 0 11 0 777884334 859734016 23715 4294967295 134512640 134569956 3221224368 3221214616 1131313362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23715 13086 16 0 209880 0 vsize: 839584 [startup+320.035 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 31010 46 0 0 25 0 11 0 777884334 859734016 23732 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23732 13086 16 0 209880 0 vsize: 839584 [startup+330.036 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 32005 46 0 0 25 0 11 0 777884334 859734016 23748 4294967295 134512640 134569956 3221224368 3221214528 1131288056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23748 13086 16 0 209880 0 vsize: 839584 [startup+340.036 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 32995 46 0 0 25 0 11 0 777884334 859734016 23783 4294967295 134512640 134569956 3221224368 3221214568 1131180457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23783 13086 16 0 209880 0 vsize: 839584 [startup+350.035 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 33987 46 0 0 25 0 11 0 777884334 859734016 23800 4294967295 134512640 134569956 3221224368 3221214592 1131309294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23800 13086 16 0 209880 0 vsize: 839584 [startup+360.036 s] Raw data (loadavg): 1.08 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 34979 46 0 0 25 0 11 0 777884334 859734016 23817 4294967295 134512640 134569956 3221224368 3221214528 1131156805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23817 13086 16 0 209880 0 vsize: 839584 [startup+370.037 s] Raw data (loadavg): 1.07 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 35971 46 0 0 25 0 11 0 777884334 859734016 23851 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23851 13086 16 0 209880 0 vsize: 839584 [startup+380.036 s] Raw data (loadavg): 1.13 1.05 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 36962 47 0 0 25 0 11 0 777884334 859734016 23867 4294967295 134512640 134569956 3221224368 3221214568 1131180436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23867 13086 16 0 209880 0 vsize: 839584 [startup+390.036 s] Raw data (loadavg): 1.11 1.04 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 37954 47 0 0 25 0 11 0 777884334 859734016 23884 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23884 13086 16 0 209880 0 vsize: 839584 [startup+400.036 s] Raw data (loadavg): 1.09 1.04 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 38945 47 0 0 25 0 11 0 777884334 859734016 23884 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23884 13086 16 0 209880 0 vsize: 839584 [startup+410.038 s] Raw data (loadavg): 1.08 1.04 0.98 3/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 39940 47 0 0 25 0 11 0 777884334 859734016 23900 4294967295 134512640 134569956 3221224368 3221214640 1131401372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23900 13086 16 0 209880 0 vsize: 839584 [startup+420.039 s] Raw data (loadavg): 1.07 1.04 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 40930 47 0 0 25 0 11 0 777884334 859734016 23952 4294967295 134512640 134569956 3221224368 3221214576 1131251241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23952 13086 16 0 209880 0 vsize: 839584 [startup+430.039 s] Raw data (loadavg): 1.06 1.04 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 41922 47 0 0 25 0 11 0 777884334 859734016 23969 4294967295 134512640 134569956 3221224368 3221214648 1131311520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23969 13086 16 0 209880 0 vsize: 839584 [startup+440.039 s] Raw data (loadavg): 1.05 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 42914 47 0 0 25 0 11 0 777884334 859734016 23986 4294967295 134512640 134569956 3221224368 3221214632 1131427671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 23986 13086 16 0 209880 0 vsize: 839584 [startup+450.038 s] Raw data (loadavg): 1.04 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 43907 47 0 0 25 0 11 0 777884334 859734016 24002 4294967295 134512640 134569956 3221224368 3221214592 1131309652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24002 13086 16 0 209880 0 vsize: 839584 [startup+460.039 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 44899 47 0 0 25 0 11 0 777884334 859734016 24019 4294967295 134512640 134569956 3221224368 3221214568 1131180459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24019 13086 16 0 209880 0 vsize: 839584 [startup+470.039 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 45892 47 0 0 25 0 11 0 777884334 859734016 24035 4294967295 134512640 134569956 3221224368 3221214616 1131313358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24035 13086 16 0 209880 0 vsize: 839584 [startup+480.039 s] Raw data (loadavg): 1.02 1.03 0.98 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 46884 47 0 0 25 0 11 0 777884334 859734016 24052 4294967295 134512640 134569956 3221224368 3221214640 1131401225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24052 13086 16 0 209880 0 vsize: 839584 [startup+490.039 s] Raw data (loadavg): 1.09 1.04 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 47875 47 0 0 25 0 11 0 777884334 859734016 24068 4294967295 134512640 134569956 3221224368 3221214544 1131251198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24068 13086 16 0 209880 0 vsize: 839584 [startup+500.04 s] Raw data (loadavg): 1.08 1.04 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 48869 47 0 0 25 0 11 0 777884334 859734016 24068 4294967295 134512640 134569956 3221224368 3221214616 1131313339 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 24068 13086 16 0 209880 0 vsize: 839584 [startup+510.041 s] Raw data (loadavg): 1.06 1.04 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 49858 47 0 0 25 0 11 0 777884334 859734016 24119 4294967295 134512640 134569956 3221224368 3221214788 1131292387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24119 13086 16 0 209880 0 vsize: 839584 [startup+520.041 s] Raw data (loadavg): 1.05 1.04 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 50822 47 0 0 25 0 11 0 777884334 859734016 24154 4294967295 134512640 134569956 3221224368 3221214592 1131309278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24154 13086 16 0 209880 0 vsize: 839584 [startup+530.042 s] Raw data (loadavg): 1.05 1.04 0.99 2/64 27410 Raw data (stat): 27400 (java) S 27399 15547 15546 0 -1 0 17984 0 89 0 51771 48 0 0 25 0 11 0 777884334 859734016 24220 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24220 13086 16 0 209880 0 vsize: 839584 [startup+540.046 s] Raw data (loadavg): 1.04 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 52741 48 0 0 25 0 11 0 777884334 859734016 24305 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24305 13086 16 0 209880 0 vsize: 839584 [startup+550.046 s] Raw data (loadavg): 1.03 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 53691 48 0 0 25 0 11 0 777884334 859734016 24498 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24498 13086 16 0 209880 0 vsize: 839584 [startup+560.047 s] Raw data (loadavg): 1.03 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 54651 48 0 0 25 0 11 0 777884334 859734016 24547 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24547 13086 16 0 209880 0 vsize: 839584 [startup+570.047 s] Raw data (loadavg): 1.02 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 55620 48 0 0 25 0 11 0 777884334 859734016 24659 4294967295 134512640 134569956 3221224368 3221214528 1131157242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24659 13086 16 0 209880 0 vsize: 839584 [startup+580.046 s] Raw data (loadavg): 1.02 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 56582 48 0 0 25 0 11 0 777884334 859734016 24659 4294967295 134512640 134569956 3221224368 3221214640 1131401547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24659 13086 16 0 209880 0 vsize: 839584 [startup+590.046 s] Raw data (loadavg): 1.02 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 57552 48 0 0 25 0 11 0 777884334 859734016 24889 4294967295 134512640 134569956 3221224368 3221214544 1131251384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 24889 13086 16 0 209880 0 vsize: 839584 [startup+600.046 s] Raw data (loadavg): 1.01 1.03 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 58512 48 0 0 25 0 11 0 777884334 859734016 25072 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25072 13086 16 0 209880 0 vsize: 839584 [startup+610.047 s] Raw data (loadavg): 1.01 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 59481 48 0 0 25 0 11 0 777884334 859734016 25196 4294967295 134512640 134569956 3221224368 3221214640 1131401372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25196 13086 16 0 209880 0 vsize: 839584 [startup+620.051 s] Raw data (loadavg): 1.01 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 60460 49 0 0 25 0 11 0 777884334 859734016 25302 4294967295 134512640 134569956 3221224368 3221214656 1131294973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25302 13086 16 0 209880 0 vsize: 839584 [startup+630.051 s] Raw data (loadavg): 1.01 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 61436 49 0 0 25 0 11 0 777884334 859734016 25406 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25406 13086 16 0 209880 0 vsize: 839584 [startup+640.051 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 62423 49 0 0 25 0 11 0 777884334 859734016 25451 4294967295 134512640 134569956 3221224368 3221214568 1131180453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25451 13086 16 0 209880 0 vsize: 839584 [startup+650.05 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 63406 50 0 0 25 0 11 0 777884334 859734016 25527 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25527 13086 16 0 209880 0 vsize: 839584 [startup+660.052 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 64390 50 0 0 25 0 11 0 777884334 859734016 25617 4294967295 134512640 134569956 3221224368 3221214616 1131438713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25617 13086 16 0 209880 0 vsize: 839584 [startup+670.052 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 65379 50 0 0 25 0 11 0 777884334 859734016 25617 4294967295 134512640 134569956 3221224368 3221214552 1131251198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25617 13086 16 0 209880 0 vsize: 839584 [startup+680.052 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 66356 51 0 0 25 0 11 0 777884334 859734016 25677 4294967295 134512640 134569956 3221224368 3221214636 1131308588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25677 13086 16 0 209880 0 vsize: 839584 [startup+690.052 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 67345 51 0 0 25 0 11 0 777884334 859734016 25691 4294967295 134512640 134569956 3221224368 3221214640 1131400960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25691 13086 16 0 209880 0 vsize: 839584 [startup+700.052 s] Raw data (loadavg): 1.00 1.02 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 68332 51 0 0 25 0 11 0 777884334 859734016 25727 4294967295 134512640 134569956 3221224368 3221214640 1131401502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25727 13086 16 0 209880 0 vsize: 839584 [startup+710.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 69319 51 0 0 25 0 11 0 777884334 859734016 25761 4294967295 134512640 134569956 3221224368 3221214640 1131401462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25761 13086 16 0 209880 0 vsize: 839584 [startup+720.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 70308 51 0 0 25 0 11 0 777884334 859734016 25813 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25813 13086 16 0 209880 0 vsize: 839584 [startup+730.052 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 71296 51 0 0 25 0 11 0 777884334 859734016 25845 4294967295 134512640 134569956 3221224368 3221214640 1131329009 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25845 13086 16 0 209880 0 vsize: 839584 [startup+740.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 72286 52 0 0 25 0 11 0 777884334 859734016 25893 4294967295 134512640 134569956 3221224368 3221214616 1131313406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25893 13086 16 0 209880 0 vsize: 839584 [startup+750.054 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 73279 52 0 0 25 0 11 0 777884334 859734016 25925 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25925 13086 16 0 209880 0 vsize: 839584 [startup+760.054 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 74270 52 0 0 25 0 11 0 777884334 859734016 25953 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25953 13086 16 0 209880 0 vsize: 839584 [startup+770.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 75261 52 0 0 25 0 11 0 777884334 859734016 25953 4294967295 134512640 134569956 3221224368 3221214648 1131311577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 25953 13086 16 0 209880 0 vsize: 839584 [startup+780.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 76254 53 0 0 25 0 11 0 777884334 859734016 25971 4294967295 134512640 134569956 3221224368 3221214592 1131309321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25971 13086 16 0 209880 0 vsize: 839584 [startup+790.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 77245 53 0 0 25 0 11 0 777884334 859734016 25988 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 25988 13086 16 0 209880 0 vsize: 839584 [startup+800.053 s] Raw data (loadavg): 1.00 1.01 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 78236 53 0 0 25 0 11 0 777884334 859734016 26006 4294967295 134512640 134569956 3221224368 3221214640 1131401537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 26006 13086 16 0 209880 0 vsize: 839584 [startup+810.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 79228 53 0 0 25 0 11 0 777884334 859734016 26022 4294967295 134512640 134569956 3221224368 3221214568 1131180436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26022 13086 16 0 209880 0 vsize: 839584 [startup+820.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 80220 54 0 0 25 0 11 0 777884334 859734016 26022 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26022 13086 16 0 209880 0 vsize: 839584 [startup+830.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 81212 54 0 0 25 0 11 0 777884334 859734016 26038 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 26038 13086 16 0 209880 0 vsize: 839584 [startup+840.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 82201 54 0 0 25 0 11 0 777884334 859734016 26054 4294967295 134512640 134569956 3221224368 3221214696 1131251059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26054 13086 16 0 209880 0 vsize: 839584 [startup+850.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 83168 55 0 0 25 0 11 0 777884334 859734016 26086 4294967295 134512640 134569956 3221224368 3221214388 1130904611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26086 13086 16 0 209880 0 vsize: 839584 [startup+860.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 84105 55 0 0 25 0 11 0 777884334 859734016 26134 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26134 13086 16 0 209880 0 vsize: 839584 [startup+870.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 85064 55 0 0 25 0 11 0 777884334 859734016 26200 4294967295 134512640 134569956 3221224368 3221214640 1131401003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26200 13086 16 0 209880 0 vsize: 839584 [startup+880.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 86032 55 0 0 25 0 11 0 777884334 859734016 26328 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26328 13086 16 0 209880 0 vsize: 839584 [startup+890.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 86992 56 0 0 25 0 11 0 777884334 859734016 26328 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26328 13086 16 0 209880 0 vsize: 839584 [startup+900.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 87962 56 0 0 25 0 11 0 777884334 859734016 26391 4294967295 134512640 134569956 3221224368 3221214528 1131156728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26391 13086 16 0 209880 0 vsize: 839584 [startup+910.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 88920 56 0 0 25 0 11 0 777884334 859734016 26488 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26488 13086 16 0 209880 0 vsize: 839584 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 89889 57 0 0 25 0 11 0 777884334 859734016 26619 4294967295 134512640 134569956 3221224368 3221214636 1131323497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 26619 13086 16 0 209880 0 vsize: 839584 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 90849 57 0 0 25 0 11 0 777884334 859734016 26796 4294967295 134512640 134569956 3221224368 3221214592 1131309652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26796 13086 16 0 209880 0 vsize: 839584 [startup+940.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 91821 58 0 0 25 0 11 0 777884334 859734016 26814 4294967295 134512640 134569956 3221224368 3221214528 1131156762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 26814 13086 16 0 209880 0 vsize: 839584 [startup+950.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 92780 58 0 0 25 0 11 0 777884334 859734016 26943 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 26943 13086 16 0 209880 0 vsize: 839584 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 93753 58 0 0 25 0 11 0 777884334 859734016 27107 4294967295 134512640 134569956 3221224368 3221214640 1131401427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27107 13086 16 0 209880 0 vsize: 839584 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 27410 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 94722 59 0 0 25 0 11 0 777884334 859734016 27200 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27200 13086 16 0 209880 0 vsize: 839584 [startup+980.058 s] Raw data (loadavg): 1.15 1.03 1.00 2/68 27456 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 95689 60 0 0 24 0 11 0 777884334 859734016 27231 4294967295 134512640 134569956 3221224368 3221214648 1131311535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 27231 13086 16 0 209880 0 vsize: 839584 [startup+990.059 s] Raw data (loadavg): 1.13 1.03 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 96666 60 0 0 25 0 11 0 777884334 859734016 27275 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27275 13086 16 0 209880 0 vsize: 839584 [startup+1000.06 s] Raw data (loadavg): 1.11 1.03 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 97636 60 0 0 25 0 11 0 777884334 859734016 27388 4294967295 134512640 134569956 3221224368 3221214616 1131313396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27388 13086 16 0 209880 0 vsize: 839584 [startup+1010.06 s] Raw data (loadavg): 1.09 1.03 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 98614 61 0 0 25 0 11 0 777884334 859734016 27480 4294967295 134512640 134569956 3221224368 3221214544 1131251198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 27480 13086 16 0 209880 0 vsize: 839584 [startup+1020.06 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 99589 61 0 0 25 0 11 0 777884334 859734016 27578 4294967295 134512640 134569956 3221224368 3221214528 1131156660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27578 13086 16 0 209880 0 vsize: 839584 [startup+1030.06 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 100571 61 0 0 25 0 11 0 777884334 859734016 27710 4294967295 134512640 134569956 3221224368 3221214624 1131323488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27710 13086 16 0 209880 0 vsize: 839584 [startup+1040.06 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 101550 61 0 0 25 0 11 0 777884334 859734016 27775 4294967295 134512640 134569956 3221224368 3221214616 1131308614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 27775 13086 16 0 209880 0 vsize: 839584 [startup+1050.06 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 27463 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 102531 62 0 0 25 0 11 0 777884334 859734016 27807 4294967295 134512640 134569956 3221224368 3221214616 1131313334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27807 13086 16 0 209880 0 vsize: 839584 [startup+1060.06 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 103515 62 0 0 25 0 11 0 777884334 859734016 27854 4294967295 134512640 134569956 3221224368 3221214512 1131442508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27854 13086 16 0 209880 0 vsize: 839584 [startup+1070.06 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 104495 62 0 0 25 0 11 0 777884334 859734016 27916 4294967295 134512640 134569956 3221224368 3221214564 1130885189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27916 13086 16 0 209880 0 vsize: 839584 [startup+1080.06 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 105480 63 0 0 25 0 11 0 777884334 859734016 27933 4294967295 134512640 134569956 3221224368 3221214648 1131311491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27933 13086 16 0 209880 0 vsize: 839584 [startup+1090.06 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 106460 64 0 0 25 0 11 0 777884334 859734016 27995 4294967295 134512640 134569956 3221224368 3221214640 1131401396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 27995 13086 16 0 209880 0 vsize: 839584 [startup+1100.06 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 107445 64 0 0 25 0 11 0 777884334 859734016 28042 4294967295 134512640 134569956 3221224368 3221214592 1131309151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 28042 13086 16 0 209880 0 vsize: 839584 [startup+1110.06 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 108425 64 0 0 25 0 11 0 777884334 859734016 28074 4294967295 134512640 134569956 3221224368 3221214640 1131329013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28074 13086 16 0 209880 0 vsize: 839584 [startup+1120.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 109402 65 0 0 25 0 11 0 777884334 859734016 28136 4294967295 134512640 134569956 3221224368 3221214644 1131308686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28136 13086 16 0 209880 0 vsize: 839584 [startup+1130.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 110380 65 0 0 25 0 11 0 777884334 859734016 28166 4294967295 134512640 134569956 3221224368 3221214648 1131311491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28166 13086 16 0 209880 0 vsize: 839584 [startup+1140.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 111355 65 0 0 25 0 11 0 777884334 859734016 28216 4294967295 134512640 134569956 3221224368 3221214648 1131311488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28216 13086 16 0 209880 0 vsize: 839584 [startup+1150.06 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 112323 66 0 0 25 0 11 0 777884334 859734016 28298 4294967295 134512640 134569956 3221224368 3221214644 1131309120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28298 13086 16 0 209880 0 vsize: 839584 [startup+1160.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 113296 66 0 0 25 0 11 0 777884334 859734016 28314 4294967295 134512640 134569956 3221224368 3221214644 1131309132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 28314 13086 16 0 209880 0 vsize: 839584 [startup+1170.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 114269 66 0 0 25 0 11 0 777884334 859734016 28376 4294967295 134512640 134569956 3221224368 3221214648 1131156660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28376 13086 16 0 209880 0 vsize: 839584 [startup+1180.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 115217 66 0 0 25 0 11 0 777884334 859734016 28456 4294967295 134512640 134569956 3221224368 3221214656 1131295436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28456 13086 16 0 209880 0 vsize: 839584 [startup+1190.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 116148 67 0 0 25 0 11 0 777884334 859734016 28837 4294967295 134512640 134569956 3221224368 3221214792 1131305020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 28837 13086 16 0 209880 0 vsize: 839584 [startup+1200.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 117082 67 0 0 25 0 11 0 777884334 859734016 29135 4294967295 134512640 134569956 3221224368 3221214760 1131500840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 29135 13086 16 0 209880 0 vsize: 839584 [startup+1210.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 118002 67 0 0 25 0 11 0 777884334 859734016 29691 4294967295 134512640 134569956 3221224368 3221214656 1131294885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 29691 13086 16 0 209880 0 vsize: 839584 [startup+1220.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 118920 68 0 0 25 0 11 0 777884334 859734016 30194 4294967295 134512640 134569956 3221224368 3221214656 1131294885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209896 30194 13086 16 0 209880 0 vsize: 839584 [startup+1230.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 119842 68 0 0 25 0 11 0 777884334 859734016 30611 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 30611 13086 16 0 209880 0 vsize: 839584 [startup+1240.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27465 Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 120766 68 0 0 25 0 11 0 777884334 859734016 30910 4294967295 134512640 134569956 3221224368 3221214756 1131296117 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209896 30910 13086 16 0 209880 0 vsize: 839584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.15 s] Raw data (loadavg): 1.00 1.01 1.00 1/54 27467 Raw data (stat): 27400 (java) Z 27399 15547 15546 0 -1 1036 17985 15737 89 0 120768 73 3687 38 25 0 1 0 777884334 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.15 CPU time (s): 1245.68 CPU user time (s): 1244.56 CPU system time (s): 1.12183 CPU usage (%): 100.446 Max. virtual memory (Kb): 842028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####