Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
MD5SUM | a592293d47471ef0e8a1691df160b1e8 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13241344 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1568780661323 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1568780661323 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1233.27 |
Number of variables | 7998 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-21 22:12:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14361 boxname=wulflinc5 idbench=1105 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a592293d47471ef0e8a1691df160b1e8 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran6x43.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran6x43.opb IDLAUNCH: 14361 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 577384 kB Buffers: 27776 kB Cached: 407864 kB SwapCached: 444 kB Active: 78200 kB Inactive: 359504 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 577132 kB SwapTotal: 2097136 kB SwapFree: 2095948 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5200 kB Slab: 13900 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 22:32:40 (client local time) WITH STATUS 143 IN 1244.4 SECONDS stats: 14361 7 1244.4 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran6x43.opb c reading problem c [nbvar=7998] c [nbconstr=307] c time 23.577 c #vars 7998 c #clauses 357 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=12778666 c Current CPU time (ms) : 142.618 c starts : 1 c conflicts : 10 c decisions : 2938 c propagations : 21947 c inspects : 31217 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 10 c root simplifications : 11 #### 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.65 0.88 0.95 2/54 2679 Raw data (stat): 2679 (runsolver) R 2678 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490363550 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.0012 s] Raw data (loadavg): 0.70 0.89 0.95 2/63 2688 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 17979 0 1 0 891 39 0 0 25 0 10 0 490363550 853663744 19165 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208414 19165 13073 16 0 208398 0 vsize: 833656 [startup+20.0153 s] Raw data (loadavg): 0.82 0.91 0.96 3/63 2688 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 17982 0 1 0 1784 39 0 0 25 0 10 0 490363550 853630976 19652 4294967295 134512640 134569956 3221224400 3221214428 1130904538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208406 19652 13073 16 0 208390 0 vsize: 833624 [startup+30.0251 s] Raw data (loadavg): 1.08 0.96 0.97 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18083 0 1 0 2473 41 0 0 25 0 11 0 490363550 875966464 25906 4294967295 134512640 134569956 3221224400 3221214680 1131297761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213859 25906 13073 16 0 213843 0 vsize: 855436 [startup+40.0266 s] Raw data (loadavg): 1.14 0.97 0.98 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 3360 41 0 0 25 0 11 0 490363550 864886784 23473 4294967295 134512640 134569956 3221224400 3221214680 1131298311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 23473 13073 16 0 211138 0 vsize: 844616 [startup+50.0267 s] Raw data (loadavg): 1.19 0.99 0.98 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 4250 41 0 0 25 0 11 0 490363550 864886784 23601 4294967295 134512640 134569956 3221224400 3221214680 1131298116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 23601 13073 16 0 211138 0 vsize: 844616 [startup+60.0274 s] Raw data (loadavg): 1.16 0.99 0.98 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 5163 41 0 0 24 0 11 0 490363550 864886784 24378 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24378 13073 16 0 211138 0 vsize: 844616 [startup+70.0285 s] Raw data (loadavg): 1.22 1.01 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 6142 42 0 0 25 0 11 0 490363550 873275392 26407 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213202 26407 13073 16 0 213186 0 vsize: 852808 [startup+80.0289 s] Raw data (loadavg): 1.18 1.01 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 7129 42 0 0 25 0 11 0 490363550 864886784 24466 4294967295 134512640 134569956 3221224400 3221214728 1131247616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24466 13073 16 0 211138 0 vsize: 844616 [startup+90.0297 s] Raw data (loadavg): 1.15 1.01 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 8117 43 0 0 25 0 11 0 490363550 864886784 24492 4294967295 134512640 134569956 3221224400 3221214680 1131297765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24492 13073 16 0 211138 0 vsize: 844616 [startup+100.03 s] Raw data (loadavg): 1.13 1.00 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 9105 43 0 0 25 0 11 0 490363550 864886784 24516 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24516 13073 16 0 211138 0 vsize: 844616 [startup+110.031 s] Raw data (loadavg): 1.11 1.00 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 10094 43 0 0 25 0 11 0 490363550 864886784 24546 4294967295 134512640 134569956 3221224400 3221214680 1131298685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24546 13073 16 0 211138 0 vsize: 844616 [startup+120.032 s] Raw data (loadavg): 1.09 1.00 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 11084 44 0 0 25 0 11 0 490363550 864886784 24579 4294967295 134512640 134569956 3221224400 3221214776 1131357752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24579 13073 16 0 211138 0 vsize: 844616 [startup+130.035 s] Raw data (loadavg): 1.08 1.00 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 12074 44 0 0 25 0 11 0 490363550 864886784 24587 4294967295 134512640 134569956 3221224400 3221214680 1131298350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24587 13073 16 0 211138 0 vsize: 844616 [startup+140.035 s] Raw data (loadavg): 1.06 1.00 0.99 2/64 2689 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 13066 45 0 0 25 0 11 0 490363550 864886784 24615 4294967295 134512640 134569956 3221224400 3221214772 1131297747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24615 13073 16 0 211138 0 vsize: 844616 [startup+150.036 s] Raw data (loadavg): 1.05 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 14034 45 0 0 25 0 11 0 490363550 864886784 24625 4294967295 134512640 134569956 3221224400 3221214776 1131358822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24625 13073 16 0 211138 0 vsize: 844616 [startup+160.038 s] Raw data (loadavg): 1.05 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) S 2678 24215 24214 0 -1 0 18085 4 1 0 15002 45 0 0 25 0 11 0 490363550 864886784 24636 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24636 13073 16 0 211138 0 vsize: 844616 [startup+170.038 s] Raw data (loadavg): 1.04 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 15969 46 0 0 25 0 11 0 490363550 864886784 24640 4294967295 134512640 134569956 3221224400 3221214680 1131298021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24640 13073 16 0 211138 0 vsize: 844616 [startup+180.037 s] Raw data (loadavg): 1.03 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 16956 46 0 0 25 0 11 0 490363550 864886784 24854 4294967295 134512640 134569956 3221224400 3221214744 1131303106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24854 13073 16 0 211138 0 vsize: 844616 [startup+190.039 s] Raw data (loadavg): 1.10 1.02 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 17941 46 0 0 25 0 11 0 490363550 864886784 24856 4294967295 134512640 134569956 3221224400 3221214712 1131378047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24856 13073 16 0 211138 0 vsize: 844616 [startup+200.039 s] Raw data (loadavg): 1.08 1.02 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 18919 46 0 0 25 0 11 0 490363550 864886784 24864 4294967295 134512640 134569956 3221224400 3221214680 1131299035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24864 13073 16 0 211138 0 vsize: 844616 [startup+210.04 s] Raw data (loadavg): 1.07 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 19887 47 0 0 25 0 11 0 490363550 864886784 24867 4294967295 134512640 134569956 3221224400 3221214776 1131358758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24867 13073 16 0 211138 0 vsize: 844616 [startup+220.041 s] Raw data (loadavg): 1.06 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 20858 47 0 0 25 0 11 0 490363550 864886784 24983 4294967295 134512640 134569956 3221224400 3221214680 1131298627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 24983 13073 16 0 211138 0 vsize: 844616 [startup+230.041 s] Raw data (loadavg): 1.05 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 21845 48 0 0 25 0 11 0 490363550 864886784 25044 4294967295 134512640 134569956 3221224400 3221214680 1131299107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25044 13073 16 0 211138 0 vsize: 844616 [startup+240.042 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 22838 48 0 0 25 0 11 0 490363550 864886784 25059 4294967295 134512640 134569956 3221224400 3221214680 1131297793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25059 13073 16 0 211138 0 vsize: 844616 [startup+250.043 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 23831 49 0 0 25 0 11 0 490363550 864886784 25074 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25074 13073 16 0 211138 0 vsize: 844616 [startup+260.043 s] Raw data (loadavg): 1.03 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 24825 49 0 0 25 0 11 0 490363550 864886784 25076 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25076 13073 16 0 211138 0 vsize: 844616 [startup+270.043 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 25817 49 0 0 25 0 11 0 490363550 864886784 25077 4294967295 134512640 134569956 3221224400 3221214680 1131298234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25077 13073 16 0 211138 0 vsize: 844616 [startup+280.045 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 26814 50 0 0 25 0 11 0 490363550 864886784 25089 4294967295 134512640 134569956 3221224400 3221214680 1131298068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25089 13073 16 0 211138 0 vsize: 844616 [startup+290.045 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 27809 50 0 0 25 0 11 0 490363550 864886784 25104 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25104 13073 16 0 211138 0 vsize: 844616 [startup+300.044 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 28803 51 0 0 25 0 11 0 490363550 864886784 25107 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25107 13073 16 0 211138 0 vsize: 844616 [startup+310.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 29798 51 0 0 25 0 11 0 490363550 864886784 25120 4294967295 134512640 134569956 3221224400 3221214680 1131298135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25120 13073 16 0 211138 0 vsize: 844616 [startup+320.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 30794 52 0 0 25 0 11 0 490363550 864886784 25136 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25136 13073 16 0 211138 0 vsize: 844616 [startup+330.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 31791 52 0 0 25 0 11 0 490363550 864886784 25139 4294967295 134512640 134569956 3221224400 3221214680 1131297862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25139 13073 16 0 211138 0 vsize: 844616 [startup+340.047 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 32787 52 0 0 25 0 11 0 490363550 864886784 25142 4294967295 134512640 134569956 3221224400 3221214680 1131298178 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25142 13073 16 0 211138 0 vsize: 844616 [startup+350.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 33783 52 0 0 25 0 11 0 490363550 864886784 25159 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25159 13073 16 0 211138 0 vsize: 844616 [startup+360.048 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 34780 53 0 0 25 0 11 0 490363550 864886784 25161 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25161 13073 16 0 211138 0 vsize: 844616 [startup+370.049 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 35776 53 0 0 25 0 11 0 490363550 864886784 25165 4294967295 134512640 134569956 3221224400 3221214776 1131358778 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25165 13073 16 0 211138 0 vsize: 844616 [startup+380.048 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 36773 54 0 0 25 0 11 0 490363550 864886784 25165 4294967295 134512640 134569956 3221224400 3221214680 1131299305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25165 13073 16 0 211138 0 vsize: 844616 [startup+390.049 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 37769 55 0 0 25 0 11 0 490363550 864886784 25178 4294967295 134512640 134569956 3221224400 3221214776 1131357752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25178 13073 16 0 211138 0 vsize: 844616 [startup+400.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 38765 55 0 0 25 0 11 0 490363550 864886784 25180 4294967295 134512640 134569956 3221224400 3221214680 1131297817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25180 13073 16 0 211138 0 vsize: 844616 [startup+410.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 39761 56 0 0 25 0 11 0 490363550 864886784 25184 4294967295 134512640 134569956 3221224400 3221214728 1131247785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25184 13073 16 0 211138 0 vsize: 844616 [startup+420.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 40758 56 0 0 25 0 11 0 490363550 864886784 25195 4294967295 134512640 134569956 3221224400 3221214680 1131298522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25195 13073 16 0 211138 0 vsize: 844616 [startup+430.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 41755 57 0 0 25 0 11 0 490363550 864886784 25201 4294967295 134512640 134569956 3221224400 3221214956 1131234022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25201 13073 16 0 211138 0 vsize: 844616 [startup+440.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 42751 58 0 0 25 0 11 0 490363550 864886784 25208 4294967295 134512640 134569956 3221224400 3221214680 1131298374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25208 13073 16 0 211138 0 vsize: 844616 [startup+450.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 43747 58 0 0 25 0 11 0 490363550 864886784 25208 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25208 13073 16 0 211138 0 vsize: 844616 [startup+460.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 44744 58 0 0 25 0 11 0 490363550 864886784 25211 4294967295 134512640 134569956 3221224400 3221214680 1131297854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25211 13073 16 0 211138 0 vsize: 844616 [startup+470.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 45741 59 0 0 25 0 11 0 490363550 864886784 25216 4294967295 134512640 134569956 3221224400 3221214776 1131359507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25216 13073 16 0 211138 0 vsize: 844616 [startup+480.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 46738 59 0 0 25 0 11 0 490363550 864886784 25218 4294967295 134512640 134569956 3221224400 3221214680 1131298354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25218 13073 16 0 211138 0 vsize: 844616 [startup+490.062 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 47734 60 0 0 25 0 11 0 490363550 864886784 25237 4294967295 134512640 134569956 3221224400 3221214904 1131523595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25237 13073 16 0 211138 0 vsize: 844616 [startup+500.062 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 48730 60 0 0 25 0 11 0 490363550 864886784 25238 4294967295 134512640 134569956 3221224400 3221214680 1131298354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25238 13073 16 0 211138 0 vsize: 844616 [startup+510.063 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 49726 61 0 0 25 0 11 0 490363550 864886784 25238 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25238 13073 16 0 211138 0 vsize: 844616 [startup+520.065 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 50722 61 0 0 25 0 11 0 490363550 864886784 25244 4294967295 134512640 134569956 3221224400 3221214680 1131299100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25244 13073 16 0 211138 0 vsize: 844616 [startup+530.064 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 51719 61 0 0 25 0 11 0 490363550 864886784 25257 4294967295 134512640 134569956 3221224400 3221214680 1131299126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25257 13073 16 0 211138 0 vsize: 844616 [startup+540.065 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 52717 61 0 0 25 0 11 0 490363550 864886784 25258 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25258 13073 16 0 211138 0 vsize: 844616 [startup+550.068 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 53713 62 0 0 25 0 11 0 490363550 864886784 25259 4294967295 134512640 134569956 3221224400 3221214680 1131298989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25259 13073 16 0 211138 0 vsize: 844616 [startup+560.069 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 54708 63 0 0 25 0 11 0 490363550 864886784 25265 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25265 13073 16 0 211138 0 vsize: 844616 [startup+570.068 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 55703 63 0 0 25 0 11 0 490363550 864886784 25274 4294967295 134512640 134569956 3221224400 3221214776 1131358890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25274 13073 16 0 211138 0 vsize: 844616 [startup+580.069 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 56701 63 0 0 25 0 11 0 490363550 864886784 25292 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25292 13073 16 0 211138 0 vsize: 844616 [startup+590.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 57697 64 0 0 25 0 11 0 490363550 864886784 25293 4294967295 134512640 134569956 3221224400 3221214680 1131298319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25293 13073 16 0 211138 0 vsize: 844616 [startup+600.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 58693 65 0 0 25 0 11 0 490363550 864886784 25293 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25293 13073 16 0 211138 0 vsize: 844616 [startup+610.095 s] Raw data (loadavg): 1.00 1.00 0.99 3/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 59677 65 0 0 25 0 11 0 490363550 864886784 25312 4294967295 134512640 134569956 3221224400 3221214480 1131303185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211154 25312 13073 16 0 211138 0 vsize: 844616 [startup+620.102 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 60663 65 0 0 25 0 11 0 490363550 864886784 25314 4294967295 134512640 134569956 3221224400 3221214576 1131627974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25314 13073 16 0 211138 0 vsize: 844616 [startup+630.101 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 61648 66 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214488 1131302796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25318 13073 16 0 211138 0 vsize: 844616 [startup+640.102 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 62626 66 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214680 1131298137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25318 13073 16 0 211138 0 vsize: 844616 [startup+650.103 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 63598 67 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214776 1131358772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25318 13073 16 0 211138 0 vsize: 844616 [startup+660.104 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 64570 67 0 0 25 0 11 0 490363550 864886784 25434 4294967295 134512640 134569956 3221224400 3221214680 1131299020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25434 13073 16 0 211138 0 vsize: 844616 [startup+670.104 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 65562 68 0 0 25 0 11 0 490363550 864886784 25487 4294967295 134512640 134569956 3221224400 3221214680 1131299040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25487 13073 16 0 211138 0 vsize: 844616 [startup+680.104 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 66555 68 0 0 25 0 11 0 490363550 864886784 25488 4294967295 134512640 134569956 3221224400 3221214680 1131297959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25488 13073 16 0 211138 0 vsize: 844616 [startup+690.105 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 67549 69 0 0 25 0 11 0 490363550 864886784 25499 4294967295 134512640 134569956 3221224400 3221214728 1131247616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25499 13073 16 0 211138 0 vsize: 844616 [startup+700.106 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 68543 69 0 0 25 0 11 0 490363550 864886784 25501 4294967295 134512640 134569956 3221224400 3221214728 1131247697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25501 13073 16 0 211138 0 vsize: 844616 [startup+710.107 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 69536 70 0 0 25 0 11 0 490363550 864886784 25507 4294967295 134512640 134569956 3221224400 3221214680 1131298254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25507 13073 16 0 211138 0 vsize: 844616 [startup+720.108 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 70530 70 0 0 25 0 11 0 490363550 864886784 25517 4294967295 134512640 134569956 3221224400 3221214680 1131298350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25517 13073 16 0 211138 0 vsize: 844616 [startup+730.109 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 71527 70 0 0 25 0 11 0 490363550 864886784 25531 4294967295 134512640 134569956 3221224400 3221214776 1131358868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25531 13073 16 0 211138 0 vsize: 844616 [startup+740.11 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 72521 70 0 0 25 0 11 0 490363550 864886784 25534 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25534 13073 16 0 211138 0 vsize: 844616 [startup+750.11 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 73514 71 0 0 25 0 11 0 490363550 864886784 25536 4294967295 134512640 134569956 3221224400 3221214776 1131359674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25536 13073 16 0 211138 0 vsize: 844616 [startup+760.111 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 74508 71 0 0 25 0 11 0 490363550 864886784 25550 4294967295 134512640 134569956 3221224400 3221214776 1131360348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25550 13073 16 0 211138 0 vsize: 844616 [startup+770.111 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 75505 72 0 0 25 0 11 0 490363550 864886784 25553 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25553 13073 16 0 211138 0 vsize: 844616 [startup+780.11 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 76502 72 0 0 25 0 11 0 490363550 864886784 25558 4294967295 134512640 134569956 3221224400 3221214680 1131298619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25558 13073 16 0 211138 0 vsize: 844616 [startup+790.111 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 77498 72 0 0 25 0 11 0 490363550 864886784 25559 4294967295 134512640 134569956 3221224400 3221214776 1131358822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25559 13073 16 0 211138 0 vsize: 844616 [startup+800.112 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 78493 73 0 0 25 0 11 0 490363550 864886784 25574 4294967295 134512640 134569956 3221224400 3221214680 1131298068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25574 13073 16 0 211138 0 vsize: 844616 [startup+810.111 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 79489 73 0 0 25 0 11 0 490363550 864886784 25581 4294967295 134512640 134569956 3221224400 3221214680 1131298408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25581 13073 16 0 211138 0 vsize: 844616 [startup+820.112 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 80485 74 0 0 25 0 11 0 490363550 864886784 25585 4294967295 134512640 134569956 3221224400 3221214680 1131298402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25585 13073 16 0 211138 0 vsize: 844616 [startup+830.112 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 81482 75 0 0 25 0 11 0 490363550 864886784 25595 4294967295 134512640 134569956 3221224400 3221214680 1131297765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25595 13073 16 0 211138 0 vsize: 844616 [startup+840.113 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 82480 75 0 0 25 0 11 0 490363550 864886784 25595 4294967295 134512640 134569956 3221224400 3221214776 1131358872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25595 13073 16 0 211138 0 vsize: 844616 [startup+850.113 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 83476 75 0 0 25 0 11 0 490363550 864886784 25596 4294967295 134512640 134569956 3221224400 3221214680 1131298311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25596 13073 16 0 211138 0 vsize: 844616 [startup+860.113 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 84472 75 0 0 25 0 11 0 490363550 864886784 25598 4294967295 134512640 134569956 3221224400 3221214680 1131297761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211154 25598 13073 16 0 211138 0 vsize: 844616 [startup+870.113 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 85469 76 0 0 25 0 11 0 490363550 864886784 25599 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25599 13073 16 0 211138 0 vsize: 844616 [startup+880.115 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 86467 76 0 0 25 0 11 0 490363550 864886784 25603 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25603 13073 16 0 211138 0 vsize: 844616 [startup+890.115 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 87464 76 0 0 25 0 11 0 490363550 864886784 25603 4294967295 134512640 134569956 3221224400 3221214680 1131297852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25603 13073 16 0 211138 0 vsize: 844616 [startup+900.116 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 88461 76 0 0 25 0 11 0 490363550 864886784 25604 4294967295 134512640 134569956 3221224400 3221214680 1131298297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25604 13073 16 0 211138 0 vsize: 844616 [startup+910.116 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 89457 77 0 0 25 0 11 0 490363550 864886784 25604 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25604 13073 16 0 211138 0 vsize: 844616 [startup+920.117 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 90452 77 0 0 25 0 11 0 490363550 864886784 25620 4294967295 134512640 134569956 3221224400 3221214680 1131298627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25620 13073 16 0 211138 0 vsize: 844616 [startup+930.116 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 91447 78 0 0 25 0 11 0 490363550 864886784 25622 4294967295 134512640 134569956 3221224400 3221214680 1131298436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25622 13073 16 0 211138 0 vsize: 844616 [startup+940.128 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 92445 78 0 0 25 0 11 0 490363550 864886784 25631 4294967295 134512640 134569956 3221224400 3221214728 1131247752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25631 13073 16 0 211138 0 vsize: 844616 [startup+950.128 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 93440 79 0 0 25 0 11 0 490363550 864886784 25632 4294967295 134512640 134569956 3221224400 3221214776 1131360356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25632 13073 16 0 211138 0 vsize: 844616 [startup+960.128 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 94436 79 0 0 25 0 11 0 490363550 864886784 25658 4294967295 134512640 134569956 3221224400 3221214776 1131360377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25658 13073 16 0 211138 0 vsize: 844616 [startup+970.129 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 95430 80 0 0 25 0 11 0 490363550 864886784 25688 4294967295 134512640 134569956 3221224400 3221214680 1131297798 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25688 13073 16 0 211138 0 vsize: 844616 [startup+980.128 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 96424 80 0 0 25 0 11 0 490363550 864886784 25700 4294967295 134512640 134569956 3221224400 3221214680 1131299060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25700 13073 16 0 211138 0 vsize: 844616 [startup+990.129 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 97418 81 0 0 25 0 11 0 490363550 864886784 25701 4294967295 134512640 134569956 3221224400 3221214776 1131357691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25701 13073 16 0 211138 0 vsize: 844616 [startup+1000.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 98414 81 0 0 25 0 11 0 490363550 864886784 25734 4294967295 134512640 134569956 3221224400 3221214776 1131357473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25734 13073 16 0 211138 0 vsize: 844616 [startup+1010.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 99411 81 0 0 25 0 11 0 490363550 864886784 25740 4294967295 134512640 134569956 3221224400 3221214680 1131298258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25740 13073 16 0 211138 0 vsize: 844616 [startup+1020.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 100409 82 0 0 25 0 11 0 490363550 864886784 25755 4294967295 134512640 134569956 3221224400 3221214680 1131297793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25755 13073 16 0 211138 0 vsize: 844616 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 101405 82 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214592 1131470461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25756 13073 16 0 211138 0 vsize: 844616 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 102403 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214592 1131470320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25756 13073 16 0 211138 0 vsize: 844616 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 103400 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214584 1131533671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25756 13073 16 0 211138 0 vsize: 844616 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 104394 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214480 1131302796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25756 13073 16 0 211138 0 vsize: 844616 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 105391 83 0 0 25 0 11 0 490363550 864886784 25763 4294967295 134512640 134569956 3221224400 3221214488 1131302902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211154 25763 13073 16 0 211138 0 vsize: 844616 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 106386 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214440 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25767 13073 16 0 211138 0 vsize: 844616 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 107383 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214480 1131302796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25767 13073 16 0 211138 0 vsize: 844616 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 108380 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214576 1131628947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25767 13073 16 0 211138 0 vsize: 844616 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 109375 85 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214576 1131627707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25767 13073 16 0 211138 0 vsize: 844616 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 110373 85 0 0 25 0 11 0 490363550 864886784 25775 4294967295 134512640 134569956 3221224400 3221214688 1131740140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25775 13073 16 0 211138 0 vsize: 844616 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 111371 85 0 0 25 0 11 0 490363550 864886784 25776 4294967295 134512640 134569956 3221224400 3221214768 1131385962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25776 13073 16 0 211138 0 vsize: 844616 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 112364 85 0 0 25 0 11 0 490363550 864886784 25777 4294967295 134512640 134569956 3221224400 3221214680 1131299005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25777 13073 16 0 211138 0 vsize: 844616 [startup+1150.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 113358 85 0 0 25 0 11 0 490363550 864886784 25777 4294967295 134512640 134569956 3221224400 3221214680 1131298196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25777 13073 16 0 211138 0 vsize: 844616 [startup+1160.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 114349 86 0 0 25 0 11 0 490363550 864886784 25791 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25791 13073 16 0 211138 0 vsize: 844616 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 115346 86 0 0 25 0 11 0 490363550 864886784 25792 4294967295 134512640 134569956 3221224400 3221214680 1131298033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25792 13073 16 0 211138 0 vsize: 844616 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 116342 87 0 0 25 0 11 0 490363550 864886784 25795 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25795 13073 16 0 211138 0 vsize: 844616 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 117339 87 0 0 25 0 11 0 490363550 864886784 25796 4294967295 134512640 134569956 3221224400 3221214680 1131298989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25796 13073 16 0 211138 0 vsize: 844616 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 118335 87 0 0 25 0 11 0 490363550 864886784 25797 4294967295 134512640 134569956 3221224400 3221214680 1131299069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25797 13073 16 0 211138 0 vsize: 844616 [startup+1210.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 119327 88 0 0 25 0 11 0 490363550 864886784 25806 4294967295 134512640 134569956 3221224400 3221214680 1131298137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25806 13073 16 0 211138 0 vsize: 844616 [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 2690 Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 120317 88 0 0 25 0 11 0 490363550 864886784 25807 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211154 25807 13073 16 0 211138 0 vsize: 844616 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.25 s] Raw data (loadavg): 1.00 1.00 0.99 1/54 2692 Raw data (stat): 2679 (java) Z 2678 24215 24214 0 -1 1036 18086 26629 1 0 120322 93 3945 78 25 0 1 0 490363550 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.25 CPU time (s): 1244.4 CPU user time (s): 1242.68 CPU system time (s): 1.71674 CPU usage (%): 101.979 Max. virtual memory (Kb): 855436 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####