Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | baa7b619e2dc55a18c674a719d78c00c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.12 |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-04-13 17:58:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3069 boxname=wulflinc28 idbench=341 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: baa7b619e2dc55a18c674a719d78c00c /oldhome/oroussel/tmp/wulflinc28/normalized-frb53-24-3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-frb53-24-3.opb IDLAUNCH: 3069 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 911480 kB Buffers: 33708 kB Cached: 53192 kB SwapCached: 4 kB Active: 46964 kB Inactive: 42756 kB HighTotal: 131008 kB HighFree: 74312 kB LowTotal: 903652 kB LowFree: 837168 kB SwapTotal: 2097640 kB SwapFree: 2097636 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 27924 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:20:38 (client local time) WITH STATUS 143 IN SECONDS stats: 3069 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-frb53-24-3.opb c reading problem c [nbvar=1272] c [nbconstr=94127] c time 13.375 c #vars 1272 c #clauses 94127 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=0 c Current CPU time (ms) : 13.848 c starts : 1 c conflicts : 0 c decisions : 1272 c propagations : 1272 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-1 c Current CPU time (ms) : 14.052 c starts : 2 c conflicts : 0 c decisions : 2543 c propagations : 2544 c inspects : 142 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-2 c Current CPU time (ms) : 19.708 c starts : 3 c conflicts : 23 c decisions : 3814 c propagations : 4115 c inspects : 3494 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 23 c root simplifications : 3 c c CURRENT OPTIMUM=-38 c Current CPU time (ms) : 19.94 c starts : 4 c conflicts : 23 c decisions : 3852 c propagations : 5387 c inspects : 8914 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 23 c root simplifications : 4 c c CURRENT OPTIMUM=-39 c Current CPU time (ms) : 21.712 c starts : 5 c conflicts : 31 c decisions : 3903 c propagations : 6707 c inspects : 16812 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 31 c root simplifications : 5 c c CURRENT OPTIMUM=-40 c Current CPU time (ms) : 577.995 c starts : 10 c conflicts : 881 c decisions : 5080 c propagations : 19030 c inspects : 595763 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 881 c root simplifications : 10 c c CURRENT OPTIMUM=-41 c Current CPU time (ms) : 853.056 c starts : 13 c conflicts : 1131 c decisions : 5461 c propagations : 24482 c inspects : 970146 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1131 c root simplifications : 13 c c CURRENT OPTIMUM=-42 c Current CPU time (ms) : 880.095 c starts : 14 c conflicts : 1170 c decisions : 5567 c propagations : 26064 c inspects : 1004759 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1170 c root simplifications : 14 #### 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.93 0.99 0.99 2/54 11496 Raw data (stat): 11496 (runsolver) R 11495 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477936348 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+9.99995 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 11505 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 17995 0 1 0 841 46 0 0 25 0 10 0 477936348 853929984 21501 4294967295 134512640 134569956 3221224416 3221213536 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 21501 13073 16 0 208463 0 vsize: 833916 [startup+20.0017 s] Raw data (loadavg): 1.22 1.06 1.01 2/64 11508 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18064 3 1 0 1478 48 0 0 25 0 11 0 477936348 860889088 33502 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210178 33502 13073 16 0 210162 0 vsize: 840712 [startup+30.0027 s] Raw data (loadavg): 1.18 1.06 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 2361 48 0 0 25 0 11 0 477936348 860266496 33532 4294967295 134512640 134569956 3221224416 3221214760 1131422393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 33532 13073 16 0 210010 0 vsize: 840104 [startup+40.003 s] Raw data (loadavg): 1.16 1.05 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 3254 48 0 0 25 0 11 0 477936348 860266496 34212 4294967295 134512640 134569956 3221224416 3221214688 1131205506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 34212 13073 16 0 210010 0 vsize: 840104 [startup+50.0027 s] Raw data (loadavg): 1.13 1.05 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 4141 49 0 0 25 0 11 0 477936348 860266496 34712 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 34712 13073 16 0 210010 0 vsize: 840104 [startup+60.0038 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 5020 49 0 0 25 0 11 0 477936348 860266496 35094 4294967295 134512640 134569956 3221224416 3221214828 1131332946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 35094 13073 16 0 210010 0 vsize: 840104 [startup+70.0041 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 5892 49 0 0 25 0 11 0 477936348 860266496 35743 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 35743 13073 16 0 210010 0 vsize: 840104 [startup+80.0048 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 11511 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 6774 49 0 0 24 0 11 0 477936348 860266496 36357 4294967295 134512640 134569956 3221224416 3221214688 1131205473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 36357 13073 16 0 210010 0 vsize: 840104 [startup+90.007 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 11511 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18067 3 1 0 7669 49 0 0 25 0 11 0 477936348 860266496 36798 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 36798 13073 16 0 210010 0 vsize: 840104 [startup+100.007 s] Raw data (loadavg): 1.14 1.06 1.01 3/67 11546 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 8556 50 0 0 25 0 11 0 477936348 860266496 37359 4294967295 134512640 134569956 3221224416 3221214648 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 37359 13073 16 0 210010 0 vsize: 840104 [startup+110.007 s] Raw data (loadavg): 1.11 1.06 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 9445 53 0 0 25 0 11 0 477936348 860266496 37612 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 37612 13073 16 0 210010 0 vsize: 840104 [startup+120.007 s] Raw data (loadavg): 1.10 1.06 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 10313 53 0 0 24 0 11 0 477936348 860266496 38141 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 38141 13073 16 0 210010 0 vsize: 840104 [startup+130.008 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 11173 54 0 0 25 0 11 0 477936348 860266496 38252 4294967295 134512640 134569956 3221224416 3221214736 1131206069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 38252 13073 16 0 210010 0 vsize: 840104 [startup+140.008 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 12049 54 0 0 25 0 11 0 477936348 860266496 38672 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 38672 13073 16 0 210010 0 vsize: 840104 [startup+150.008 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 12919 55 0 0 24 0 11 0 477936348 860266496 39098 4294967295 134512640 134569956 3221224416 3221214688 1131204893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 39098 13073 16 0 210010 0 vsize: 840104 [startup+160.009 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 11564 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 13812 55 0 0 25 0 11 0 477936348 860266496 39386 4294967295 134512640 134569956 3221224416 3221214760 1131424111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 39386 13073 16 0 210010 0 vsize: 840104 [startup+170.009 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 14703 55 0 0 25 0 11 0 477936348 860266496 39807 4294967295 134512640 134569956 3221224416 3221214600 1131516501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 39807 13073 16 0 210010 0 vsize: 840104 [startup+180.01 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 15598 56 0 0 25 0 11 0 477936348 860266496 39976 4294967295 134512640 134569956 3221224416 3221214688 1131205691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 39976 13073 16 0 210010 0 vsize: 840104 [startup+190.011 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 16480 56 0 0 25 0 11 0 477936348 860266496 40220 4294967295 134512640 134569956 3221224416 3221214832 1131393661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 40220 13073 16 0 210010 0 vsize: 840104 [startup+200.01 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 17374 56 0 0 25 0 11 0 477936348 860266496 40526 4294967295 134512640 134569956 3221224416 3221214832 1131392511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 40526 13073 16 0 210010 0 vsize: 840104 [startup+210.011 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 18266 56 0 0 25 0 11 0 477936348 860266496 40812 4294967295 134512640 134569956 3221224416 3221214704 1131653143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 40812 13073 16 0 210010 0 vsize: 840104 [startup+220.012 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 19158 56 0 0 25 0 11 0 477936348 860266496 41158 4294967295 134512640 134569956 3221224416 3221214704 1131653143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 41158 13073 16 0 210010 0 vsize: 840104 [startup+230.012 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 20049 57 0 0 25 0 11 0 477936348 860266496 41474 4294967295 134512640 134569956 3221224416 3221214584 1131376201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 41474 13073 16 0 210010 0 vsize: 840104 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 20947 57 0 0 25 0 11 0 477936348 860266496 41757 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 41757 13073 16 0 210010 0 vsize: 840104 [startup+250.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 21846 57 0 0 25 0 11 0 477936348 860266496 41983 4294967295 134512640 134569956 3221224416 3221214776 1131338721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 41983 13073 16 0 210010 0 vsize: 840104 [startup+260.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 22741 57 0 0 25 0 11 0 477936348 860266496 42230 4294967295 134512640 134569956 3221224416 3221214780 1131283667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 42230 13073 16 0 210010 0 vsize: 840104 [startup+270.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 23601 58 0 0 25 0 11 0 477936348 860266496 42611 4294967295 134512640 134569956 3221224416 3221214688 1131205480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 42611 13073 16 0 210010 0 vsize: 840104 [startup+280.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 24479 58 0 0 25 0 11 0 477936348 860266496 42836 4294967295 134512640 134569956 3221224416 3221214704 1131592327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 42836 13073 16 0 210010 0 vsize: 840104 [startup+290.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 25351 59 0 0 25 0 11 0 477936348 860266496 43097 4294967295 134512640 134569956 3221224416 3221214688 1131205140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 43097 13073 16 0 210010 0 vsize: 840104 [startup+300.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 26233 59 0 0 25 0 11 0 477936348 860266496 43375 4294967295 134512640 134569956 3221224416 3221214680 1131246017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 43375 13073 16 0 210010 0 vsize: 840104 [startup+310.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 27110 59 0 0 24 0 11 0 477936348 860266496 43685 4294967295 134512640 134569956 3221224416 3221214760 1131423932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 43685 13073 16 0 210010 0 vsize: 840104 [startup+320.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 28001 60 0 0 25 0 11 0 477936348 860266496 44010 4294967295 134512640 134569956 3221224416 3221214784 1131223394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 44010 13073 16 0 210010 0 vsize: 840104 [startup+330.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 28883 60 0 0 25 0 11 0 477936348 860266496 44215 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 44215 13073 16 0 210010 0 vsize: 840104 [startup+340.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 29778 60 0 0 25 0 11 0 477936348 860266496 44497 4294967295 134512640 134569956 3221224416 3221214744 1131442572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 44497 13073 16 0 210010 0 vsize: 840104 [startup+350.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 30676 61 0 0 25 0 11 0 477936348 860266496 44768 4294967295 134512640 134569956 3221224416 3221214688 1131204931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 44768 13073 16 0 210010 0 vsize: 840104 [startup+360.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 31570 61 0 0 25 0 11 0 477936348 860266496 45072 4294967295 134512640 134569956 3221224416 3221214824 1080203753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 45072 13073 16 0 210010 0 vsize: 840104 [startup+370.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 32474 61 0 0 25 0 11 0 477936348 860266496 45378 4294967295 134512640 134569956 3221224416 3221214832 1131392807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 45378 13073 16 0 210010 0 vsize: 840104 [startup+380.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 33368 61 0 0 25 0 11 0 477936348 860266496 45519 4294967295 134512640 134569956 3221224416 3221214832 1131394068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 45519 13073 16 0 210010 0 vsize: 840104 [startup+390.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 34262 62 0 0 25 0 11 0 477936348 860266496 45811 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 45811 13073 16 0 210010 0 vsize: 840104 [startup+400.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 35162 62 0 0 25 0 11 0 477936348 860266496 46113 4294967295 134512640 134569956 3221224416 3221214784 1131354382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 46113 13073 16 0 210010 0 vsize: 840104 [startup+410.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11566 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 36062 63 0 0 24 0 11 0 477936348 860266496 46345 4294967295 134512640 134569956 3221224416 3221214688 1131205166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 46345 13073 16 0 210010 0 vsize: 840104 [startup+420.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 36972 63 0 0 25 0 11 0 477936348 860266496 46520 4294967295 134512640 134569956 3221224416 3221214688 1131205593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 46520 13073 16 0 210010 0 vsize: 840104 [startup+430.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 37886 64 0 0 22 0 11 0 477936348 860266496 46737 4294967295 134512640 134569956 3221224416 3221214688 1131205706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 46737 13073 16 0 210010 0 vsize: 840104 [startup+440.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 38803 64 0 0 25 0 11 0 477936348 860266496 47001 4294967295 134512640 134569956 3221224416 3221214784 1131354448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47001 13073 16 0 210010 0 vsize: 840104 [startup+450.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 39726 64 0 0 25 0 11 0 477936348 860266496 47191 4294967295 134512640 134569956 3221224416 3221214688 1131204944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47191 13073 16 0 210010 0 vsize: 840104 [startup+460.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 40644 64 0 0 25 0 11 0 477936348 860266496 47416 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47416 13073 16 0 210010 0 vsize: 840104 [startup+470.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 41571 65 0 0 17 0 11 0 477936348 860266496 47593 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47593 13073 16 0 210010 0 vsize: 840104 [startup+480.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 42499 65 0 0 25 0 11 0 477936348 860266496 47751 4294967295 134512640 134569956 3221224416 3221214600 1131516501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47751 13073 16 0 210010 0 vsize: 840104 [startup+490.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 43432 65 0 0 25 0 11 0 477936348 860266496 47922 4294967295 134512640 134569956 3221224416 3221214728 1131246112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 47922 13073 16 0 210010 0 vsize: 840104 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 44358 65 0 0 25 0 11 0 477936348 860266496 48100 4294967295 134512640 134569956 3221224416 3221214648 1131238175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48100 13073 16 0 210010 0 vsize: 840104 [startup+510.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 45285 66 0 0 25 0 11 0 477936348 860266496 48291 4294967295 134512640 134569956 3221224416 3221214688 1131205533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48291 13073 16 0 210010 0 vsize: 840104 [startup+520.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 46220 66 0 0 25 0 11 0 477936348 860266496 48425 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48425 13073 16 0 210010 0 vsize: 840104 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 47136 66 0 0 25 0 11 0 477936348 860266496 48613 4294967295 134512640 134569956 3221224416 3221214784 1131354390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48613 13073 16 0 210010 0 vsize: 840104 [startup+540.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 48054 66 0 0 25 0 11 0 477936348 860266496 48739 4294967295 134512640 134569956 3221224416 3221214784 1131354423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48739 13073 16 0 210010 0 vsize: 840104 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 48934 66 0 0 25 0 11 0 477936348 860266496 48923 4294967295 134512640 134569956 3221224416 3221214688 1131205613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 48923 13073 16 0 210010 0 vsize: 840104 [startup+560.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 49833 67 0 0 25 0 11 0 477936348 860266496 49235 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 49235 13073 16 0 210010 0 vsize: 840104 [startup+570.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11568 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 50739 67 0 0 25 0 11 0 477936348 860266496 49519 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 49519 13073 16 0 210010 0 vsize: 840104 [startup+580.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 51638 67 0 0 25 0 11 0 477936348 860266496 49559 4294967295 134512640 134569956 3221224416 3221214688 1131206156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 49559 13073 16 0 210010 0 vsize: 840104 [startup+590.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 52503 68 0 0 25 0 11 0 477936348 860266496 49574 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 49574 13073 16 0 210010 0 vsize: 840104 [startup+600.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 53368 68 0 0 25 0 11 0 477936348 860266496 49934 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 49934 13073 16 0 210010 0 vsize: 840104 [startup+610.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 54268 68 0 0 25 0 11 0 477936348 860266496 50382 4294967295 134512640 134569956 3221224416 3221214688 1131206011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 50382 13073 16 0 210010 0 vsize: 840104 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 55189 68 0 0 25 0 11 0 477936348 860266496 50416 4294967295 134512640 134569956 3221224416 3221214784 1131354515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 50416 13073 16 0 210010 0 vsize: 840104 [startup+630.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 56069 68 0 0 24 0 11 0 477936348 860266496 50682 4294967295 134512640 134569956 3221224416 3221214688 1131205541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 50682 13073 16 0 210010 0 vsize: 840104 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 56964 69 0 0 25 0 11 0 477936348 860266496 50901 4294967295 134512640 134569956 3221224416 3221214640 1131245982 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 50901 13073 16 0 210010 0 vsize: 840104 [startup+650.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 57845 69 0 0 25 0 11 0 477936348 860266496 51190 4294967295 134512640 134569956 3221224416 3221214724 1131373452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 51190 13073 16 0 210010 0 vsize: 840104 [startup+660.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 58726 69 0 0 25 0 11 0 477936348 860266496 51416 4294967295 134512640 134569956 3221224416 3221214784 1131354548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 51416 13073 16 0 210010 0 vsize: 840104 [startup+670.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 59606 69 0 0 24 0 11 0 477936348 860266496 51774 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 51774 13073 16 0 210010 0 vsize: 840104 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 60498 69 0 0 25 0 11 0 477936348 860266496 52086 4294967295 134512640 134569956 3221224416 3221214688 1131205390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52086 13073 16 0 210010 0 vsize: 840104 [startup+690.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 61418 70 0 0 25 0 11 0 477936348 860266496 52270 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52270 13073 16 0 210010 0 vsize: 840104 [startup+700.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 62365 70 0 0 25 0 11 0 477936348 860266496 52442 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52442 13073 16 0 210010 0 vsize: 840104 [startup+710.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 63294 70 0 0 25 0 11 0 477936348 860266496 52472 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52472 13073 16 0 210010 0 vsize: 840104 [startup+720.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 64207 70 0 0 25 0 11 0 477936348 860266496 52497 4294967295 134512640 134569956 3221224416 3221214688 1131204901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52497 13073 16 0 210010 0 vsize: 840104 [startup+730.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 65118 71 0 0 25 0 11 0 477936348 860266496 52711 4294967295 134512640 134569956 3221224416 3221214688 1131205193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52711 13073 16 0 210010 0 vsize: 840104 [startup+740.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 66026 71 0 0 25 0 11 0 477936348 860266496 52951 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 52951 13073 16 0 210010 0 vsize: 840104 [startup+750.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 66936 71 0 0 21 0 11 0 477936348 860266496 53089 4294967295 134512640 134569956 3221224416 3221214728 1131253424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 53089 13073 16 0 210010 0 vsize: 840104 [startup+760.051 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 67841 71 0 0 25 0 11 0 477936348 860266496 53310 4294967295 134512640 134569956 3221224416 3221214760 1131425033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 53310 13073 16 0 210010 0 vsize: 840104 [startup+770.051 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 68748 72 0 0 25 0 11 0 477936348 860266496 53476 4294967295 134512640 134569956 3221224416 3221214784 1131354423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 53476 13073 16 0 210010 0 vsize: 840104 [startup+780.052 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 69636 72 0 0 25 0 11 0 477936348 860266496 53646 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 53646 13073 16 0 210010 0 vsize: 840104 [startup+790.052 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 70528 72 0 0 25 0 11 0 477936348 860266496 53873 4294967295 134512640 134569956 3221224416 3221214784 1131354494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 53873 13073 16 0 210010 0 vsize: 840104 [startup+800.052 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 71420 73 0 0 25 0 11 0 477936348 860266496 54156 4294967295 134512640 134569956 3221224416 3221214688 1131204910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210026 54156 13073 16 0 210010 0 vsize: 840104 [startup+810.053 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 72308 73 0 0 25 0 11 0 477936348 860266496 54351 4294967295 134512640 134569956 3221224416 3221214688 1131205603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 54351 13073 16 0 210010 0 vsize: 840104 [startup+820.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 73207 73 0 0 25 0 11 0 477936348 860266496 54580 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 54580 13073 16 0 210010 0 vsize: 840104 [startup+830.054 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 74113 74 0 0 25 0 11 0 477936348 860266496 54877 4294967295 134512640 134569956 3221224416 3221214688 1131206177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 54877 13073 16 0 210010 0 vsize: 840104 [startup+840.055 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 75022 74 0 0 25 0 11 0 477936348 860266496 55063 4294967295 134512640 134569956 3221224416 3221214688 1131205307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55063 13073 16 0 210010 0 vsize: 840104 [startup+850.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11569 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 75944 74 0 0 25 0 11 0 477936348 860266496 55259 4294967295 134512640 134569956 3221224416 3221214688 1131205706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55259 13073 16 0 210010 0 vsize: 840104 [startup+860.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11570 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 76873 75 0 0 24 0 11 0 477936348 860266496 55383 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55383 13073 16 0 210010 0 vsize: 840104 [startup+870.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11570 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 77769 75 0 0 25 0 11 0 477936348 860266496 55403 4294967295 134512640 134569956 3221224416 3221214688 1131205140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55403 13073 16 0 210010 0 vsize: 840104 [startup+880.057 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11570 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 78660 76 0 0 25 0 11 0 477936348 860266496 55415 4294967295 134512640 134569956 3221224416 3221214688 1131204897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55415 13073 16 0 210010 0 vsize: 840104 [startup+890.058 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 79525 76 0 0 25 0 11 0 477936348 860266496 55674 4294967295 134512640 134569956 3221224416 3221214688 1131205402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55674 13073 16 0 210010 0 vsize: 840104 [startup+900.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 80411 76 0 0 25 0 11 0 477936348 860266496 55923 4294967295 134512640 134569956 3221224416 3221214784 1131354348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 55923 13073 16 0 210010 0 vsize: 840104 [startup+910.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 81314 77 0 0 25 0 11 0 477936348 860266496 56275 4294967295 134512640 134569956 3221224416 3221214968 1131490280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56275 13073 16 0 210010 0 vsize: 840104 [startup+920.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 82270 77 0 0 24 0 11 0 477936348 860266496 56322 4294967295 134512640 134569956 3221224416 3221214968 1131490287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56322 13073 16 0 210010 0 vsize: 840104 [startup+930.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 83201 78 0 0 25 0 11 0 477936348 860266496 56348 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56348 13073 16 0 210010 0 vsize: 840104 [startup+940.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 84107 78 0 0 25 0 11 0 477936348 860266496 56373 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56373 13073 16 0 210010 0 vsize: 840104 [startup+950.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 84995 79 0 0 25 0 11 0 477936348 860266496 56519 4294967295 134512640 134569956 3221224416 3221214648 1131237248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56519 13073 16 0 210010 0 vsize: 840104 [startup+960.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 85897 79 0 0 25 0 11 0 477936348 860266496 56769 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 56769 13073 16 0 210010 0 vsize: 840104 [startup+970.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 86798 80 0 0 25 0 11 0 477936348 860266496 57003 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 57003 13073 16 0 210010 0 vsize: 840104 [startup+980.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 87703 80 0 0 25 0 11 0 477936348 860266496 57227 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 57227 13073 16 0 210010 0 vsize: 840104 [startup+990.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 88614 80 0 0 25 0 11 0 477936348 860266496 57458 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 57458 13073 16 0 210010 0 vsize: 840104 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 89529 81 0 0 25 0 11 0 477936348 860266496 57649 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 57649 13073 16 0 210010 0 vsize: 840104 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 90435 81 0 0 25 0 11 0 477936348 860266496 57851 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 57851 13073 16 0 210010 0 vsize: 840104 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 91335 81 0 0 25 0 11 0 477936348 860266496 58044 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58044 13073 16 0 210010 0 vsize: 840104 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 92248 82 0 0 25 0 11 0 477936348 860266496 58285 4294967295 134512640 134569956 3221224416 3221214688 1131204938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58285 13073 16 0 210010 0 vsize: 840104 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 93204 82 0 0 25 0 11 0 477936348 860266496 58443 4294967295 134512640 134569956 3221224416 3221214760 1131423830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58443 13073 16 0 210010 0 vsize: 840104 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 94147 82 0 0 25 0 11 0 477936348 860266496 58472 4294967295 134512640 134569956 3221224416 3221214784 1131355462 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58472 13073 16 0 210010 0 vsize: 840104 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 95066 83 0 0 25 0 11 0 477936348 860266496 58492 4294967295 134512640 134569956 3221224416 3221214688 1131205603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58492 13073 16 0 210010 0 vsize: 840104 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 95966 83 0 0 25 0 11 0 477936348 860266496 58630 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58630 13073 16 0 210010 0 vsize: 840104 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 96870 84 0 0 25 0 11 0 477936348 860266496 58872 4294967295 134512640 134569956 3221224416 3221214688 1131204893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 58872 13073 16 0 210010 0 vsize: 840104 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 97773 84 0 0 25 0 11 0 477936348 860266496 59032 4294967295 134512640 134569956 3221224416 3221214688 1131206039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 59032 13073 16 0 210010 0 vsize: 840104 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 98683 84 0 0 25 0 11 0 477936348 860266496 59214 4294967295 134512640 134569956 3221224416 3221214688 1131205411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 59214 13073 16 0 210010 0 vsize: 840104 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 99587 84 0 0 25 0 11 0 477936348 860266496 59437 4294967295 134512640 134569956 3221224416 3221214688 1131206156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 59437 13073 16 0 210010 0 vsize: 840104 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 100497 84 0 0 25 0 11 0 477936348 860266496 59626 4294967295 134512640 134569956 3221224416 3221214688 1131205394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 59626 13073 16 0 210010 0 vsize: 840104 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 101409 84 0 0 25 0 11 0 477936348 860266496 59846 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 59846 13073 16 0 210010 0 vsize: 840104 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 102325 85 0 0 25 0 11 0 477936348 860266496 60009 4294967295 134512640 134569956 3221224416 3221214784 1131354458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60009 13073 16 0 210010 0 vsize: 840104 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 103250 85 0 0 25 0 11 0 477936348 860266496 60202 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60202 13073 16 0 210010 0 vsize: 840104 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 104173 85 0 0 25 0 11 0 477936348 860266496 60346 4294967295 134512640 134569956 3221224416 3221214688 1131205411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60346 13073 16 0 210010 0 vsize: 840104 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 105096 86 0 0 19 0 11 0 477936348 860266496 60526 4294967295 134512640 134569956 3221224416 3221214688 1131206008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60526 13073 16 0 210010 0 vsize: 840104 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 106022 86 0 0 25 0 11 0 477936348 860266496 60689 4294967295 134512640 134569956 3221224416 3221214688 1131205541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60689 13073 16 0 210010 0 vsize: 840104 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 106959 87 0 0 25 0 11 0 477936348 860266496 60852 4294967295 134512640 134569956 3221224416 3221214688 1131205397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60852 13073 16 0 210010 0 vsize: 840104 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 107894 88 0 0 25 0 11 0 477936348 860266496 60961 4294967295 134512640 134569956 3221224416 3221214600 1131516450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 60961 13073 16 0 210010 0 vsize: 840104 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 108819 88 0 0 25 0 11 0 477936348 860266496 61040 4294967295 134512640 134569956 3221224416 3221214680 1131384356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61040 13073 16 0 210010 0 vsize: 840104 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 109724 88 0 0 25 0 11 0 477936348 860266496 61185 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61185 13073 16 0 210010 0 vsize: 840104 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 110635 89 0 0 25 0 11 0 477936348 860266496 61392 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61392 13073 16 0 210010 0 vsize: 840104 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 111565 89 0 0 25 0 11 0 477936348 860266496 61616 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61616 13073 16 0 210010 0 vsize: 840104 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 112531 89 0 0 25 0 11 0 477936348 860266496 61652 4294967295 134512640 134569956 3221224416 3221214688 1131204926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61652 13073 16 0 210010 0 vsize: 840104 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 113501 89 0 0 25 0 11 0 477936348 860266496 61677 4294967295 134512640 134569956 3221224416 3221214688 1131206137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61677 13073 16 0 210010 0 vsize: 840104 [startup+1270.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 114452 90 0 0 25 0 11 0 477936348 860266496 61698 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61698 13073 16 0 210010 0 vsize: 840104 [startup+1280.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 115383 90 0 0 25 0 11 0 477936348 860266496 61723 4294967295 134512640 134569956 3221224416 3221214688 1131205394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61723 13073 16 0 210010 0 vsize: 840104 [startup+1290.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 116300 90 0 0 25 0 11 0 477936348 860266496 61749 4294967295 134512640 134569956 3221224416 3221214864 1131377443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61749 13073 16 0 210010 0 vsize: 840104 [startup+1300.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 117212 91 0 0 25 0 11 0 477936348 860266496 61988 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 61988 13073 16 0 210010 0 vsize: 840104 [startup+1310.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 118131 92 0 0 25 0 11 0 477936348 860266496 62171 4294967295 134512640 134569956 3221224416 3221214688 1131204923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 62171 13073 16 0 210010 0 vsize: 840104 [startup+1320.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 119054 92 0 0 25 0 11 0 477936348 860266496 62341 4294967295 134512640 134569956 3221224416 3221214736 1131150929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 62341 13073 16 0 210010 0 vsize: 840104 [startup+1330.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11571 Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 119986 92 0 0 25 0 11 0 477936348 860266496 62504 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210026 62504 13073 16 0 210010 0 vsize: 840104 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.24 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11573 Raw data (stat): 11496 (java) Z 11495 10614 10613 0 -1 1036 18068 50061 1 0 119988 104 13844 117 25 0 1 0 477936348 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): 1330.24 CPU time (s): 1340.55 CPU user time (s): 1338.33 CPU system time (s): 2.21766 CPU usage (%): 100.775 Max. virtual memory (Kb): 840712 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####