Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 6bfe4c2dce1e5dbe61cc34b52b1b387f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 45.816 |
Number of variables | 87751 |
Total number of constraints | 254772 |
Number of constraints which are clauses | 247060 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7712 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-25 06:11:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20690 boxname=wulflinc6 idbench=280 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 6bfe4c2dce1e5dbe61cc34b52b1b387f /oldhome/oroussel/tmp/wulflinc6/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb IDLAUNCH: 20690 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 828688 kB Buffers: 21104 kB Cached: 159296 kB SwapCached: 412 kB Active: 73484 kB Inactive: 109268 kB HighTotal: 131008 kB HighFree: 18144 kB LowTotal: 903652 kB LowFree: 810544 kB SwapTotal: 2097136 kB SwapFree: 2096036 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5692 kB Slab: 17624 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:34:46 (client local time) WITH STATUS 143 IN 1374.29 SECONDS stats: 20690 7 1374.29 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/wulflinc6/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb c reading problem ... 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 s UNKNOWN c Total CPU time (ms) : 1369.294 #### 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.72 0.92 0.97 2/54 4770 Raw data (stat): 4770 (runsolver) R 4769 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778398770 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0028 s] Raw data (loadavg): 0.91 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 773 38 0 0 22 0 10 0 778398770 855375872 21249 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208832 21249 13086 16 0 208816 0 vsize: 835328 [startup+20.0029 s] Raw data (loadavg): 0.93 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 1609 39 0 0 19 0 10 0 778398770 854450176 22037 4294967295 134512640 134569956 3221224352 3221214324 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 22037 13086 16 0 208590 0 vsize: 834424 [startup+30.0035 s] Raw data (loadavg): 0.94 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 2451 39 0 0 18 0 10 0 778398770 854450176 22838 4294967295 134512640 134569956 3221224352 3221214256 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 22838 13086 16 0 208590 0 vsize: 834424 [startup+40.0042 s] Raw data (loadavg): 0.95 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 3294 40 0 0 17 0 10 0 778398770 854450176 23407 4294967295 134512640 134569956 3221224352 3221214548 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 23407 13086 16 0 208590 0 vsize: 834424 [startup+50.0083 s] Raw data (loadavg): 0.95 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 4132 40 0 0 18 0 10 0 778398770 854450176 24005 4294967295 134512640 134569956 3221224352 3221214680 1131349383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 24005 13086 16 0 208590 0 vsize: 834424 [startup+60.011 s] Raw data (loadavg): 0.96 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 4958 40 0 0 16 0 10 0 778398770 854450176 24646 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 24646 13086 16 0 208590 0 vsize: 834424 [startup+70.0106 s] Raw data (loadavg): 0.97 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 5804 41 0 0 19 0 10 0 778398770 854450176 25084 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 25084 13086 16 0 208590 0 vsize: 834424 [startup+80.0118 s] Raw data (loadavg): 0.97 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 6638 41 0 0 16 0 10 0 778398770 854450176 25507 4294967295 134512640 134569956 3221224352 3221214680 1131350144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 25507 13086 16 0 208590 0 vsize: 834424 [startup+90.0124 s] Raw data (loadavg): 0.98 0.96 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 7480 41 0 0 16 0 10 0 778398770 854450176 25896 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 25896 13086 16 0 208590 0 vsize: 834424 [startup+100.012 s] Raw data (loadavg): 0.98 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 8313 42 0 0 17 0 10 0 778398770 854450176 26254 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 26254 13086 16 0 208590 0 vsize: 834424 [startup+110.013 s] Raw data (loadavg): 0.98 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 9157 43 0 0 17 0 10 0 778398770 854450176 26600 4294967295 134512640 134569956 3221224352 3221214640 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 26600 13086 16 0 208590 0 vsize: 834424 [startup+120.015 s] Raw data (loadavg): 0.98 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 10004 43 0 0 17 0 10 0 778398770 854450176 27035 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 27035 13086 16 0 208590 0 vsize: 834424 [startup+130.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 10848 44 0 0 17 0 10 0 778398770 854450176 27341 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 27341 13086 16 0 208590 0 vsize: 834424 [startup+140.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 11701 45 0 0 17 0 10 0 778398770 854450176 27684 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 27684 13086 16 0 208590 0 vsize: 834424 [startup+150.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 12557 45 0 0 17 0 10 0 778398770 854450176 27978 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 27978 13086 16 0 208590 0 vsize: 834424 [startup+160.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 13404 46 0 0 17 0 10 0 778398770 854450176 28291 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 28291 13086 16 0 208590 0 vsize: 834424 [startup+170.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 14264 47 0 0 17 0 10 0 778398770 854450176 28571 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 28571 13086 16 0 208590 0 vsize: 834424 [startup+180.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 15117 48 0 0 17 0 10 0 778398770 854450176 28853 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 28853 13086 16 0 208590 0 vsize: 834424 [startup+190.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 15977 48 0 0 17 0 10 0 778398770 854450176 29123 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 29123 13086 16 0 208590 0 vsize: 834424 [startup+200.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 16845 48 0 0 17 0 10 0 778398770 854450176 29424 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 29424 13086 16 0 208590 0 vsize: 834424 [startup+210.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 17702 49 0 0 17 0 10 0 778398770 854450176 29681 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 29681 13086 16 0 208590 0 vsize: 834424 [startup+220.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 18566 49 0 0 17 0 10 0 778398770 854450176 30022 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 30022 13086 16 0 208590 0 vsize: 834424 [startup+230.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 19438 50 0 0 17 0 10 0 778398770 854450176 30264 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 30264 13086 16 0 208590 0 vsize: 834424 [startup+240.038 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 20302 50 0 0 17 0 10 0 778398770 854450176 30510 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 30510 13086 16 0 208590 0 vsize: 834424 [startup+250.038 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 21167 50 0 0 17 0 10 0 778398770 854450176 30753 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 30753 13086 16 0 208590 0 vsize: 834424 [startup+260.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 22042 50 0 0 17 0 10 0 778398770 854450176 30976 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 30976 13086 16 0 208590 0 vsize: 834424 [startup+270.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 22913 51 0 0 17 0 10 0 778398770 854450176 31200 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 31200 13086 16 0 208590 0 vsize: 834424 [startup+280.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 23783 52 0 0 17 0 10 0 778398770 854450176 31419 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 31419 13086 16 0 208590 0 vsize: 834424 [startup+290.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 24654 52 0 0 17 0 10 0 778398770 854450176 31633 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 31633 13086 16 0 208590 0 vsize: 834424 [startup+300.047 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 25524 53 0 0 17 0 10 0 778398770 854450176 31850 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 31850 13086 16 0 208590 0 vsize: 834424 [startup+310.051 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 26399 53 0 0 17 0 10 0 778398770 854450176 32050 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 32050 13086 16 0 208590 0 vsize: 834424 [startup+320.054 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 27274 54 0 0 17 0 10 0 778398770 854450176 32258 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 32258 13086 16 0 208590 0 vsize: 834424 [startup+330.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 28147 54 0 0 16 0 10 0 778398770 854450176 32465 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 32465 13086 16 0 208590 0 vsize: 834424 [startup+340.064 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 29022 54 0 0 17 0 10 0 778398770 854450176 32662 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 32662 13086 16 0 208590 0 vsize: 834424 [startup+350.064 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 29895 54 0 0 17 0 10 0 778398770 854450176 32852 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 32852 13086 16 0 208590 0 vsize: 834424 [startup+360.065 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 30768 55 0 0 16 0 10 0 778398770 854450176 33047 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 33047 13086 16 0 208590 0 vsize: 834424 [startup+370.068 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 31649 55 0 0 17 0 10 0 778398770 854450176 33227 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 33227 13086 16 0 208590 0 vsize: 834424 [startup+380.072 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 32526 55 0 0 17 0 10 0 778398770 854450176 33414 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 33414 13086 16 0 208590 0 vsize: 834424 [startup+390.073 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 33406 55 0 0 17 0 10 0 778398770 854450176 33600 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 33600 13086 16 0 208590 0 vsize: 834424 [startup+400.074 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 34276 56 0 0 17 0 10 0 778398770 854450176 33794 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 33794 13086 16 0 208590 0 vsize: 834424 [startup+410.075 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 35144 56 0 0 17 0 10 0 778398770 854450176 34002 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34002 13086 16 0 208590 0 vsize: 834424 [startup+420.076 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 36022 57 0 0 17 0 10 0 778398770 854450176 34277 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34277 13086 16 0 208590 0 vsize: 834424 [startup+430.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 36903 57 0 0 17 0 10 0 778398770 854450176 34443 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34443 13086 16 0 208590 0 vsize: 834424 [startup+440.083 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 37786 58 0 0 17 0 10 0 778398770 854450176 34619 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34619 13086 16 0 208590 0 vsize: 834424 [startup+450.085 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 38665 58 0 0 17 0 10 0 778398770 854450176 34794 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34794 13086 16 0 208590 0 vsize: 834424 [startup+460.086 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 39542 58 0 0 17 0 10 0 778398770 854450176 34967 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 34967 13086 16 0 208590 0 vsize: 834424 [startup+470.086 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 40419 59 0 0 17 0 10 0 778398770 854450176 35139 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35139 13086 16 0 208590 0 vsize: 834424 [startup+480.087 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 41297 60 0 0 17 0 10 0 778398770 854450176 35308 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35308 13086 16 0 208590 0 vsize: 834424 [startup+490.088 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 42176 60 0 0 17 0 10 0 778398770 854450176 35475 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35475 13086 16 0 208590 0 vsize: 834424 [startup+500.09 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 43060 61 0 0 17 0 10 0 778398770 854450176 35641 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35641 13086 16 0 208590 0 vsize: 834424 [startup+510.104 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 43951 61 0 0 17 0 10 0 778398770 854450176 35795 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35795 13086 16 0 208590 0 vsize: 834424 [startup+520.109 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 44842 61 0 0 17 0 10 0 778398770 854450176 35924 4294967295 134512640 134569956 3221224352 3221214492 1131234259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 35924 13086 16 0 208590 0 vsize: 834424 [startup+530.11 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 45729 61 0 0 17 0 10 0 778398770 854450176 36062 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36062 13086 16 0 208590 0 vsize: 834424 [startup+540.111 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 46614 62 0 0 17 0 10 0 778398770 854450176 36208 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36208 13086 16 0 208590 0 vsize: 834424 [startup+550.112 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 47499 63 0 0 16 0 10 0 778398770 854450176 36351 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36351 13086 16 0 208590 0 vsize: 834424 [startup+560.113 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 48384 63 0 0 16 0 10 0 778398770 854450176 36493 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36493 13086 16 0 208590 0 vsize: 834424 [startup+570.117 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 49272 63 0 0 17 0 10 0 778398770 854450176 36629 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36629 13086 16 0 208590 0 vsize: 834424 [startup+580.123 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 50158 63 0 0 17 0 10 0 778398770 854450176 36770 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36770 13086 16 0 208590 0 vsize: 834424 [startup+590.125 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 51038 64 0 0 16 0 10 0 778398770 854450176 36916 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 36916 13086 16 0 208590 0 vsize: 834424 [startup+600.125 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 51919 64 0 0 17 0 10 0 778398770 854450176 37065 4294967295 134512640 134569956 3221224352 3221214588 1131311907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 37065 13086 16 0 208590 0 vsize: 834424 [startup+610.129 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 52802 64 0 0 16 0 10 0 778398770 854450176 37209 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 37209 13086 16 0 208590 0 vsize: 834424 [startup+620.13 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 53684 65 0 0 16 0 10 0 778398770 854450176 37351 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 37351 13086 16 0 208590 0 vsize: 834424 [startup+630.132 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 54567 65 0 0 16 0 10 0 778398770 854450176 37495 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 37495 13086 16 0 208590 0 vsize: 834424 [startup+640.132 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 55451 65 0 0 17 0 10 0 778398770 854450176 37629 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 37629 13086 16 0 208590 0 vsize: 834424 [startup+650.137 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 56338 65 0 0 17 0 10 0 778398770 854450176 37769 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 37769 13086 16 0 208590 0 vsize: 834424 [startup+660.139 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 57217 65 0 0 17 0 10 0 778398770 854450176 37909 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 37909 13086 16 0 208590 0 vsize: 834424 [startup+670.14 s] Raw data (loadavg): 1.07 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 58096 66 0 0 17 0 10 0 778398770 854450176 38048 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38048 13086 16 0 208590 0 vsize: 834424 [startup+680.141 s] Raw data (loadavg): 1.06 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 58976 66 0 0 17 0 10 0 778398770 854450176 38189 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38189 13086 16 0 208590 0 vsize: 834424 [startup+690.143 s] Raw data (loadavg): 1.05 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 59857 66 0 0 17 0 10 0 778398770 854450176 38326 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38326 13086 16 0 208590 0 vsize: 834424 [startup+700.144 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 60740 67 0 0 17 0 10 0 778398770 854450176 38461 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38461 13086 16 0 208590 0 vsize: 834424 [startup+710.145 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 61623 67 0 0 16 0 10 0 778398770 854450176 38597 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38597 13086 16 0 208590 0 vsize: 834424 [startup+720.147 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 62511 67 0 0 17 0 10 0 778398770 854450176 38709 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38709 13086 16 0 208590 0 vsize: 834424 [startup+730.152 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 63395 68 0 0 17 0 10 0 778398770 854450176 38842 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38842 13086 16 0 208590 0 vsize: 834424 [startup+740.153 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 64276 68 0 0 17 0 10 0 778398770 854450176 38970 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 38970 13086 16 0 208590 0 vsize: 834424 [startup+750.155 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 65175 69 0 0 17 0 10 0 778398770 854450176 39755 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 39755 13086 16 0 208590 0 vsize: 834424 [startup+760.158 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 66073 69 0 0 17 0 10 0 778398770 854450176 39755 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 39755 13086 16 0 208590 0 vsize: 834424 [startup+770.164 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 66948 70 0 0 17 0 10 0 778398770 854450176 39831 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 39831 13086 16 0 208590 0 vsize: 834424 [startup+780.165 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 67821 70 0 0 17 0 10 0 778398770 854450176 39960 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 39960 13086 16 0 208590 0 vsize: 834424 [startup+790.166 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 68693 71 0 0 16 0 10 0 778398770 854450176 40085 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40085 13086 16 0 208590 0 vsize: 834424 [startup+800.168 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 69573 72 0 0 17 0 10 0 778398770 854450176 40201 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40201 13086 16 0 208590 0 vsize: 834424 [startup+810.169 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 70443 72 0 0 17 0 10 0 778398770 854450176 40327 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40327 13086 16 0 208590 0 vsize: 834424 [startup+820.17 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 71317 72 0 0 16 0 10 0 778398770 854450176 40452 4294967295 134512640 134569956 3221224352 3221214144 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40452 13086 16 0 208590 0 vsize: 834424 [startup+830.171 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 72201 73 0 0 17 0 10 0 778398770 854450176 40569 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40569 13086 16 0 208590 0 vsize: 834424 [startup+840.173 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 73079 73 0 0 17 0 10 0 778398770 854450176 40675 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40675 13086 16 0 208590 0 vsize: 834424 [startup+850.174 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 73955 74 0 0 17 0 10 0 778398770 854450176 40790 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40790 13086 16 0 208590 0 vsize: 834424 [startup+860.175 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 74832 74 0 0 17 0 10 0 778398770 854450176 40901 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 40901 13086 16 0 208590 0 vsize: 834424 [startup+870.177 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 75710 74 0 0 16 0 10 0 778398770 854450176 41015 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 41015 13086 16 0 208590 0 vsize: 834424 [startup+880.182 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 76591 75 0 0 16 0 10 0 778398770 854450176 41119 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 41119 13086 16 0 208590 0 vsize: 834424 [startup+890.188 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 77470 75 0 0 17 0 10 0 778398770 854450176 41236 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41236 13086 16 0 208590 0 vsize: 834424 [startup+900.189 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 78347 75 0 0 17 0 10 0 778398770 854450176 41372 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41372 13086 16 0 208590 0 vsize: 834424 [startup+910.191 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 79224 75 0 0 17 0 10 0 778398770 854450176 41460 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41460 13086 16 0 208590 0 vsize: 834424 [startup+920.192 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 80105 76 0 0 17 0 10 0 778398770 854450176 41593 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41593 13086 16 0 208590 0 vsize: 834424 [startup+930.193 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 80983 77 0 0 17 0 10 0 778398770 854450176 41698 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41698 13086 16 0 208590 0 vsize: 834424 [startup+940.195 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 81859 77 0 0 16 0 10 0 778398770 854450176 41814 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41814 13086 16 0 208590 0 vsize: 834424 [startup+950.196 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 82737 77 0 0 17 0 10 0 778398770 854450176 41915 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 41915 13086 16 0 208590 0 vsize: 834424 [startup+960.197 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 83623 78 0 0 17 0 10 0 778398770 854450176 42065 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42065 13086 16 0 208590 0 vsize: 834424 [startup+970.198 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 84501 78 0 0 17 0 10 0 778398770 854450176 42179 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42179 13086 16 0 208590 0 vsize: 834424 [startup+980.2 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 85379 78 0 0 17 0 10 0 778398770 854450176 42240 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42240 13086 16 0 208590 0 vsize: 834424 [startup+990.201 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 86259 79 0 0 17 0 10 0 778398770 854450176 42414 4294967295 134512640 134569956 3221224352 3221214144 1080019733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42414 13086 16 0 208590 0 vsize: 834424 [startup+1000.2 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 87145 79 0 0 17 0 10 0 778398770 854450176 42466 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42466 13086 16 0 208590 0 vsize: 834424 [startup+1010.2 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 88017 80 0 0 17 0 10 0 778398770 854450176 42579 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42579 13086 16 0 208590 0 vsize: 834424 [startup+1020.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 88895 81 0 0 17 0 10 0 778398770 854450176 42745 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42745 13086 16 0 208590 0 vsize: 834424 [startup+1030.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 89778 81 0 0 17 0 10 0 778398770 854450176 42811 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42811 13086 16 0 208590 0 vsize: 834424 [startup+1040.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 90666 81 0 0 17 0 10 0 778398770 854450176 42921 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 42921 13086 16 0 208590 0 vsize: 834424 [startup+1050.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 91543 82 0 0 17 0 10 0 778398770 854450176 43041 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43041 13086 16 0 208590 0 vsize: 834424 [startup+1060.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 92425 83 0 0 17 0 10 0 778398770 854450176 43201 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43201 13086 16 0 208590 0 vsize: 834424 [startup+1070.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 93309 83 0 0 17 0 10 0 778398770 854450176 43260 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43260 13086 16 0 208590 0 vsize: 834424 [startup+1080.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 94189 83 0 0 17 0 10 0 778398770 854450176 43401 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43401 13086 16 0 208590 0 vsize: 834424 [startup+1090.21 s] Raw data (loadavg): 1.00 0.99 0.99 6/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 95081 83 0 0 17 0 10 0 778398770 854450176 43513 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 43513 13086 16 0 208590 0 vsize: 834424 [startup+1100.21 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 95964 84 0 0 17 0 10 0 778398770 854450176 43642 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43642 13086 16 0 208590 0 vsize: 834424 [startup+1110.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 96849 84 0 0 17 0 10 0 778398770 854450176 43729 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43729 13086 16 0 208590 0 vsize: 834424 [startup+1120.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 97727 84 0 0 17 0 10 0 778398770 854450176 43801 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43801 13086 16 0 208590 0 vsize: 834424 [startup+1130.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 98610 85 0 0 16 0 10 0 778398770 854450176 43947 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 43947 13086 16 0 208590 0 vsize: 834424 [startup+1140.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 99502 86 0 0 17 0 10 0 778398770 854450176 44053 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44053 13086 16 0 208590 0 vsize: 834424 [startup+1150.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 100393 86 0 0 17 0 10 0 778398770 854450176 44155 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 44155 13086 16 0 208590 0 vsize: 834424 [startup+1160.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 101279 86 0 0 17 0 10 0 778398770 854450176 44263 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44263 13086 16 0 208590 0 vsize: 834424 [startup+1170.22 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 102165 87 0 0 17 0 10 0 778398770 854450176 44379 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44379 13086 16 0 208590 0 vsize: 834424 [startup+1180.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 103056 87 0 0 17 0 10 0 778398770 854450176 44489 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44489 13086 16 0 208590 0 vsize: 834424 [startup+1190.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 103947 88 0 0 17 0 10 0 778398770 854450176 44544 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44544 13086 16 0 208590 0 vsize: 834424 [startup+1200.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 104833 88 0 0 17 0 10 0 778398770 854450176 44682 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44682 13086 16 0 208590 0 vsize: 834424 [startup+1210.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 105724 88 0 0 17 0 10 0 778398770 854450176 44796 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44796 13086 16 0 208590 0 vsize: 834424 [startup+1220.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 106622 89 0 0 17 0 10 0 778398770 854450176 44902 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44902 13086 16 0 208590 0 vsize: 834424 [startup+1230.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 107515 89 0 0 17 0 10 0 778398770 854450176 44985 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 44985 13086 16 0 208590 0 vsize: 834424 [startup+1240.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 108407 89 0 0 17 0 10 0 778398770 854450176 45101 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208606 45101 13086 16 0 208590 0 vsize: 834424 [startup+1250.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 109303 90 0 0 17 0 10 0 778398770 854450176 45201 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45201 13086 16 0 208590 0 vsize: 834424 [startup+1260.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 110195 90 0 0 17 0 10 0 778398770 854450176 45261 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45261 13086 16 0 208590 0 vsize: 834424 [startup+1270.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 111088 90 0 0 17 0 10 0 778398770 854450176 45406 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45406 13086 16 0 208590 0 vsize: 834424 [startup+1280.23 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 111982 90 0 0 17 0 10 0 778398770 854450176 45493 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45493 13086 16 0 208590 0 vsize: 834424 [startup+1290.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 112875 91 0 0 17 0 10 0 778398770 854450176 45604 4294967295 134512640 134569956 3221224352 3221214416 1131267823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45604 13086 16 0 208590 0 vsize: 834424 [startup+1300.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 113768 91 0 0 17 0 10 0 778398770 854450176 45720 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45720 13086 16 0 208590 0 vsize: 834424 [startup+1310.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 114665 91 0 0 17 0 10 0 778398770 854450176 45831 4294967295 134512640 134569956 3221224352 3221214096 1076461015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45831 13086 16 0 208590 0 vsize: 834424 [startup+1320.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 115565 91 0 0 17 0 10 0 778398770 854450176 45926 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45926 13086 16 0 208590 0 vsize: 834424 [startup+1330.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 116466 92 0 0 17 0 10 0 778398770 854450176 45998 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 45998 13086 16 0 208590 0 vsize: 834424 [startup+1340.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 117360 93 0 0 17 0 10 0 778398770 854450176 46070 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 46070 13086 16 0 208590 0 vsize: 834424 [startup+1350.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 118257 93 0 0 17 0 10 0 778398770 854450176 46210 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 46210 13086 16 0 208590 0 vsize: 834424 [startup+1360.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 119158 93 0 0 17 0 10 0 778398770 854450176 46320 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 46320 13086 16 0 208590 0 vsize: 834424 [startup+1370.24 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 4779 Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 120057 94 0 0 17 0 10 0 778398770 854450176 46403 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208606 46403 13086 16 0 208590 0 vsize: 834424 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1370.38 s] Raw data (loadavg): 1.00 0.99 0.99 1/54 4781 Raw data (stat): 4770 (java) Z 4769 25568 25567 0 -1 1036 18038 29617 1 0 120062 102 17174 89 17 0 1 0 778398770 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): 1370.38 CPU time (s): 1374.29 CPU user time (s): 1372.37 CPU system time (s): 1.91671 CPU usage (%): 100.285 Max. virtual memory (Kb): 835328 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####