Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb |
MD5SUM | e4be8a88d340bbbbfb27e034f74a6524 |
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 | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 56.8973 |
Number of variables | 40605 |
Total number of constraints | 118930 |
Number of constraints which are clauses | 117190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1740 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-13 17:38:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2808 boxname=wulflinc6 idbench=312 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e4be8a88d340bbbbfb27e034f74a6524 /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb IDLAUNCH: 2808 /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: 921940 kB Buffers: 33888 kB Cached: 56492 kB SwapCached: 2644 kB Active: 49872 kB Inactive: 45956 kB HighTotal: 131008 kB HighFree: 70700 kB LowTotal: 903652 kB LowFree: 851240 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 11348 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:00:20 (client local time) WITH STATUS 143 IN SECONDS stats: 2808 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb c reading problem c [nbvar=40605] c [nbconstr=118930] c time 712.264 c #vars 40605 c #clauses 118930 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.95 2/54 30840 Raw data (stat): 30840 (runsolver) R 30839 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419593208 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.87 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 826 42 0 0 21 0 10 0 419593208 854921216 20868 4294967295 134512640 134569956 3221224416 3221214560 1080020384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 20868 13073 16 0 208705 0 vsize: 834884 [startup+20.0015 s] Raw data (loadavg): 0.89 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 1696 43 0 0 19 0 10 0 419593208 854921216 21460 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 21460 13073 16 0 208705 0 vsize: 834884 [startup+30.0021 s] Raw data (loadavg): 0.91 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 2563 43 0 0 21 0 10 0 419593208 854921216 21948 4294967295 134512640 134569956 3221224416 3221214768 1131304515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 21948 13073 16 0 208705 0 vsize: 834884 [startup+40.0022 s] Raw data (loadavg): 0.92 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 3425 43 0 0 22 0 10 0 419593208 854921216 22369 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 22369 13073 16 0 208705 0 vsize: 834884 [startup+50.0029 s] Raw data (loadavg): 0.93 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 4287 44 0 0 21 0 10 0 419593208 854921216 22787 4294967295 134512640 134569956 3221224416 3221213800 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 22787 13073 16 0 208705 0 vsize: 834884 [startup+60.0047 s] Raw data (loadavg): 0.94 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 5158 44 0 0 17 0 10 0 419593208 854921216 23128 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 23128 13073 16 0 208705 0 vsize: 834884 [startup+70.0058 s] Raw data (loadavg): 0.95 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 6029 44 0 0 17 0 10 0 419593208 854921216 23405 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 23405 13073 16 0 208705 0 vsize: 834884 [startup+80.0064 s] Raw data (loadavg): 0.96 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 6899 45 0 0 19 0 10 0 419593208 854921216 23798 4294967295 134512640 134569956 3221224416 3221214512 1076461342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 23798 13073 16 0 208705 0 vsize: 834884 [startup+90.0101 s] Raw data (loadavg): 0.96 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 7773 46 0 0 22 0 10 0 419593208 854921216 24055 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 24055 13073 16 0 208705 0 vsize: 834884 [startup+100.012 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 8640 46 0 0 16 0 10 0 419593208 854921216 24317 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 24317 13073 16 0 208705 0 vsize: 834884 [startup+110.013 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 9512 47 0 0 16 0 10 0 419593208 854921216 24633 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 24633 13073 16 0 208705 0 vsize: 834884 [startup+120.015 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 10401 47 0 0 17 0 10 0 419593208 854921216 24870 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 24870 13073 16 0 208705 0 vsize: 834884 [startup+130.015 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 11284 47 0 0 17 0 10 0 419593208 854921216 25114 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 25114 13073 16 0 208705 0 vsize: 834884 [startup+140.015 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 12170 48 0 0 17 0 10 0 419593208 854921216 25345 4294967295 134512640 134569956 3221224416 3221214512 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 25345 13073 16 0 208705 0 vsize: 834884 [startup+150.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 13049 48 0 0 17 0 10 0 419593208 854921216 25559 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 25559 13073 16 0 208705 0 vsize: 834884 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 13931 48 0 0 17 0 10 0 419593208 854921216 25758 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 25758 13073 16 0 208705 0 vsize: 834884 [startup+170.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 14820 48 0 0 17 0 10 0 419593208 854921216 26054 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 26054 13073 16 0 208705 0 vsize: 834884 [startup+180.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 15717 48 0 0 17 0 10 0 419593208 854921216 26246 4294967295 134512640 134569956 3221224416 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 26246 13073 16 0 208705 0 vsize: 834884 [startup+190.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 16616 49 0 0 17 0 10 0 419593208 854921216 26425 4294967295 134512640 134569956 3221224416 3221214560 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 26425 13073 16 0 208705 0 vsize: 834884 [startup+200.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 17516 49 0 0 16 0 10 0 419593208 854921216 26598 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 26598 13073 16 0 208705 0 vsize: 834884 [startup+210.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 18415 49 0 0 16 0 10 0 419593208 854921216 26774 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 26774 13073 16 0 208705 0 vsize: 834884 [startup+220.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 19316 49 0 0 17 0 10 0 419593208 854921216 26946 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 26946 13073 16 0 208705 0 vsize: 834884 [startup+230.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 20217 49 0 0 17 0 10 0 419593208 854921216 27112 4294967295 134512640 134569956 3221224416 3221214556 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 27112 13073 16 0 208705 0 vsize: 834884 [startup+240.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 21121 50 0 0 17 0 10 0 419593208 854921216 27275 4294967295 134512640 134569956 3221224416 3221214576 1131155752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 27275 13073 16 0 208705 0 vsize: 834884 [startup+250.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 22026 50 0 0 17 0 10 0 419593208 854921216 27435 4294967295 134512640 134569956 3221224416 3221214576 1131155669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 27435 13073 16 0 208705 0 vsize: 834884 [startup+260.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 22932 50 0 0 17 0 10 0 419593208 854921216 27587 4294967295 134512640 134569956 3221224416 3221214576 1131155752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 27587 13073 16 0 208705 0 vsize: 834884 [startup+270.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 23839 50 0 0 17 0 10 0 419593208 854921216 27736 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 27736 13073 16 0 208705 0 vsize: 834884 [startup+280.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 24731 50 0 0 17 0 10 0 419593208 854921216 27875 4294967295 134512640 134569956 3221224416 3221214576 1131155706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 27875 13073 16 0 208705 0 vsize: 834884 [startup+290.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 25626 50 0 0 16 0 10 0 419593208 854921216 28013 4294967295 134512640 134569956 3221224416 3221214576 1131155717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28013 13073 16 0 208705 0 vsize: 834884 [startup+300.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 26522 51 0 0 16 0 10 0 419593208 854921216 28312 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28312 13073 16 0 208705 0 vsize: 834884 [startup+310.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 27426 52 0 0 16 0 10 0 419593208 854921216 28450 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28450 13073 16 0 208705 0 vsize: 834884 [startup+320.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 28331 52 0 0 16 0 10 0 419593208 854921216 28586 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28586 13073 16 0 208705 0 vsize: 834884 [startup+330.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 29230 53 0 0 16 0 10 0 419593208 854921216 28728 4294967295 134512640 134569956 3221224416 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28728 13073 16 0 208705 0 vsize: 834884 [startup+340.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 30138 53 0 0 16 0 10 0 419593208 854921216 28859 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28859 13073 16 0 208705 0 vsize: 834884 [startup+350.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 31045 53 0 0 16 0 10 0 419593208 854921216 28984 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 28984 13073 16 0 208705 0 vsize: 834884 [startup+360.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 31954 53 0 0 16 0 10 0 419593208 854921216 29101 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 29101 13073 16 0 208705 0 vsize: 834884 [startup+370.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 32857 54 0 0 16 0 10 0 419593208 854921216 29226 4294967295 134512640 134569956 3221224416 3221213800 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29226 13073 16 0 208705 0 vsize: 834884 [startup+380.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 33760 54 0 0 16 0 10 0 419593208 854921216 29357 4294967295 134512640 134569956 3221224416 3221214360 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29357 13073 16 0 208705 0 vsize: 834884 [startup+390.042 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 34667 55 0 0 16 0 10 0 419593208 854921216 29481 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29481 13073 16 0 208705 0 vsize: 834884 [startup+400.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 35575 55 0 0 16 0 10 0 419593208 854921216 29601 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29601 13073 16 0 208705 0 vsize: 834884 [startup+410.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 36482 56 0 0 16 0 10 0 419593208 854921216 29720 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29720 13073 16 0 208705 0 vsize: 834884 [startup+420.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 37389 57 0 0 17 0 10 0 419593208 854921216 29837 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29837 13073 16 0 208705 0 vsize: 834884 [startup+430.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 38288 57 0 0 16 0 10 0 419593208 854921216 29963 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 29963 13073 16 0 208705 0 vsize: 834884 [startup+440.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 39196 57 0 0 16 0 10 0 419593208 854921216 30080 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30080 13073 16 0 208705 0 vsize: 834884 [startup+450.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 40104 58 0 0 16 0 10 0 419593208 854921216 30191 4294967295 134512640 134569956 3221224416 3221214512 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30191 13073 16 0 208705 0 vsize: 834884 [startup+460.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 41011 58 0 0 16 0 10 0 419593208 854921216 30304 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30304 13073 16 0 208705 0 vsize: 834884 [startup+470.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 41919 58 0 0 16 0 10 0 419593208 854921216 30412 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30412 13073 16 0 208705 0 vsize: 834884 [startup+480.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 42820 59 0 0 16 0 10 0 419593208 854921216 30529 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30529 13073 16 0 208705 0 vsize: 834884 [startup+490.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 43728 59 0 0 16 0 10 0 419593208 854921216 30634 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30634 13073 16 0 208705 0 vsize: 834884 [startup+500.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 44638 60 0 0 16 0 10 0 419593208 854921216 30739 4294967295 134512640 134569956 3221224416 3221214576 1131155568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 30739 13073 16 0 208705 0 vsize: 834884 [startup+510.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 45531 60 0 0 17 0 10 0 419593208 854921216 30847 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 30847 13073 16 0 208705 0 vsize: 834884 [startup+520.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 46424 60 0 0 17 0 10 0 419593208 854921216 30950 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 30950 13073 16 0 208705 0 vsize: 834884 [startup+530.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 47325 60 0 0 17 0 10 0 419593208 854921216 31225 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 31225 13073 16 0 208705 0 vsize: 834884 [startup+540.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 48235 60 0 0 17 0 10 0 419593208 854921216 31325 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 31325 13073 16 0 208705 0 vsize: 834884 [startup+550.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 49145 61 0 0 17 0 10 0 419593208 854921216 31424 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 31424 13073 16 0 208705 0 vsize: 834884 [startup+560.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 50054 61 0 0 17 0 10 0 419593208 854921216 31524 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 31524 13073 16 0 208705 0 vsize: 834884 [startup+570.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 50964 61 0 0 17 0 10 0 419593208 854921216 31621 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 31621 13073 16 0 208705 0 vsize: 834884 [startup+580.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 51873 61 0 0 16 0 10 0 419593208 854921216 31717 4294967295 134512640 134569956 3221224416 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 31717 13073 16 0 208705 0 vsize: 834884 [startup+590.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 52780 62 0 0 16 0 10 0 419593208 854921216 31813 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 31813 13073 16 0 208705 0 vsize: 834884 [startup+600.065 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 53685 62 0 0 16 0 10 0 419593208 854921216 31908 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 31908 13073 16 0 208705 0 vsize: 834884 [startup+610.069 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 54590 63 0 0 16 0 10 0 419593208 854921216 32009 4294967295 134512640 134569956 3221224416 3221214576 1131155616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32009 13073 16 0 208705 0 vsize: 834884 [startup+620.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 55497 63 0 0 16 0 10 0 419593208 854921216 32102 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32102 13073 16 0 208705 0 vsize: 834884 [startup+630.071 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 56405 64 0 0 16 0 10 0 419593208 854921216 32194 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32194 13073 16 0 208705 0 vsize: 834884 [startup+640.071 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 57313 64 0 0 16 0 10 0 419593208 854921216 32283 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32283 13073 16 0 208705 0 vsize: 834884 [startup+650.072 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 58221 65 0 0 16 0 10 0 419593208 854921216 32374 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32374 13073 16 0 208705 0 vsize: 834884 [startup+660.073 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 59128 65 0 0 16 0 10 0 419593208 854921216 32461 4294967295 134512640 134569956 3221224416 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32461 13073 16 0 208705 0 vsize: 834884 [startup+670.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 60035 66 0 0 16 0 10 0 419593208 854921216 32551 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32551 13073 16 0 208705 0 vsize: 834884 [startup+680.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 60942 66 0 0 16 0 10 0 419593208 854921216 32641 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32641 13073 16 0 208705 0 vsize: 834884 [startup+690.075 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 61848 67 0 0 16 0 10 0 419593208 854921216 32731 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32731 13073 16 0 208705 0 vsize: 834884 [startup+700.076 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 62755 67 0 0 16 0 10 0 419593208 854921216 32812 4294967295 134512640 134569956 3221224416 3221214560 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32812 13073 16 0 208705 0 vsize: 834884 [startup+710.077 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 30849 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 63657 68 0 0 16 0 10 0 419593208 854921216 32900 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208721 32900 13073 16 0 208705 0 vsize: 834884 [startup+720.077 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18090 0 1 0 64584 68 0 0 20 0 11 0 419593208 862388224 35476 4294967295 134512640 134569956 3221224416 3221214872 1131393140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210544 35476 13073 16 0 210528 0 vsize: 842176 [startup+730.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 65553 69 0 0 23 0 11 0 419593208 858492928 34589 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209593 34589 13073 16 0 209577 0 vsize: 838372 [startup+740.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 66552 69 0 0 25 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214872 1131393038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209548 34514 13073 16 0 209532 0 vsize: 838192 [startup+750.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 67551 69 0 0 21 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 34514 13073 16 0 209532 0 vsize: 838192 [startup+760.079 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 68551 69 0 0 25 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214912 1131350474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 34514 13073 16 0 209532 0 vsize: 838192 [startup+770.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 69504 69 0 0 17 0 11 0 419593208 858308608 36121 4294967295 134512640 134569956 3221224416 3221214872 1131393047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 36121 13073 16 0 209532 0 vsize: 838192 [startup+780.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 70503 70 0 0 25 0 11 0 419593208 858308608 36121 4294967295 134512640 134569956 3221224416 3221214872 1131393305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 36121 13073 16 0 209532 0 vsize: 838192 [startup+790.079 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 71501 70 0 0 25 0 11 0 419593208 858308608 36123 4294967295 134512640 134569956 3221224416 3221214872 1131393153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 36123 13073 16 0 209532 0 vsize: 838192 [startup+800.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 72501 70 0 0 25 0 11 0 419593208 858308608 36123 4294967295 134512640 134569956 3221224416 3221214872 1131393151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 36123 13073 16 0 209532 0 vsize: 838192 [startup+810.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 73501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214872 1131393151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+820.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 74501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+830.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 75501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+840.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 76501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+850.081 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 77501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+860.081 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 78501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+870.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 79501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 36796 13073 16 0 210044 0 vsize: 840240 [startup+880.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 80472 70 0 0 18 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+890.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 81472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+900.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 82471 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+910.083 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 83472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+920.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 84472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+930.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 85472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+940.083 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 86472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37257 13073 16 0 210044 0 vsize: 840240 [startup+950.083 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 87441 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214872 1131392840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+960.084 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 88442 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+970.086 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 89442 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131393136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+980.086 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 90442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+990.086 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 91442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+1000.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 92442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+1010.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 93442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 37418 13073 16 0 210044 0 vsize: 840240 [startup+1020.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 94406 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1030.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 95407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1040.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 96407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1050.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 97407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1060.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 98408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1070.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 99408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1080.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 100407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1090.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 101407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1100.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 102408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1110.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 103408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1120.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 104408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38319 13073 16 0 210044 0 vsize: 840240 [startup+1130.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 105381 71 0 0 18 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38351 13073 16 0 210044 0 vsize: 840240 [startup+1140.09 s] Raw data (loadavg): 0.99 0.97 0.95 3/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 106381 71 0 0 25 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38351 13073 16 0 210044 0 vsize: 840240 [startup+1150.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 107382 71 0 0 25 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38351 13073 16 0 210044 0 vsize: 840240 [startup+1160.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 108350 71 0 0 17 0 11 0 419593208 860405760 38389 4294967295 134512640 134569956 3221224416 3221214872 1131393309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38389 13073 16 0 210044 0 vsize: 840240 [startup+1170.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 109350 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1180.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 110351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1190.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 111351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 112351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1210.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 113351 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1220.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 114352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1230.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 115352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1240.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 116352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1250.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 117353 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1260.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/64 30850 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 118353 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38381 13073 16 0 210044 0 vsize: 840240 [startup+1270.15 s] Raw data (loadavg): 1.07 0.99 0.96 3/67 30894 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 119326 72 0 0 25 0 11 0 419593208 860405760 38916 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38916 13073 16 0 210044 0 vsize: 840240 [startup+1280.15 s] Raw data (loadavg): 1.06 0.99 0.96 2/64 30903 Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 120326 72 0 0 25 0 11 0 419593208 860405760 38916 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 38916 13073 16 0 210044 0 vsize: 840240 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.24 s] Raw data (loadavg): 1.06 0.99 0.96 1/54 30905 Raw data (stat): 30840 (java) Z 30839 29653 29652 0 -1 1036 18092 22938 1 0 120327 72 8064 54 25 0 1 0 419593208 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): 1280.24 CPU time (s): 1285.19 CPU user time (s): 1283.92 CPU system time (s): 1.27581 CPU usage (%): 100.387 Max. virtual memory (Kb): 842176 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####