Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb |
MD5SUM | 1457dc2646bff5e87c0f4b32dfb926ba |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 310 |
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 | 310 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 310 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.681895 |
Number of variables | 309 |
Total number of constraints | 976 |
Number of constraints which are clauses | 963 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 87 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-04-13 15:53:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=540 boxname=wulflinc13 idbench=60 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 1457dc2646bff5e87c0f4b32dfb926ba /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb IDLAUNCH: 540 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 937444 kB Buffers: 32224 kB Cached: 45244 kB SwapCached: 392 kB Active: 42100 kB Inactive: 38572 kB HighTotal: 131008 kB HighFree: 81424 kB LowTotal: 903652 kB LowFree: 856020 kB SwapTotal: 2097136 kB SwapFree: 2096744 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10960 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:14:27 (client local time) WITH STATUS 143 IN SECONDS stats: 540 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb c reading problem c [nbvar=310] c [nbconstr=976] c time 3.656 c #vars 310 c #clauses 963 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=13 c Current CPU time (ms) : 5.895 c starts : 1 c conflicts : 2 c decisions : 194 c propagations : 372 c inspects : 6378 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 1 c c CURRENT OPTIMUM=12 c Current CPU time (ms) : 8.663 c starts : 2 c conflicts : 5 c decisions : 207 c propagations : 1003 c inspects : 8261 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5 c root simplifications : 2 c c CURRENT OPTIMUM=6 c Current CPU time (ms) : 8.907 c starts : 3 c conflicts : 6 c decisions : 284 c propagations : 1325 c inspects : 9953 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6 c root simplifications : 3 c c CURRENT OPTIMUM=5 c Current CPU time (ms) : 25.37 c starts : 4 c conflicts : 82 c decisions : 2111 c propagations : 5566 c inspects : 32511 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 82 c root simplifications : 5 #### 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): 1.02 0.33 0.11 2/54 30949 Raw data (stat): 30949 (runsolver) R 30948 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418965945 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.99964 s] Raw data (loadavg): 1.33 0.42 0.14 3/64 30962 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 14828 3 1 0 650 40 0 0 25 0 11 0 418965945 867131392 18342 4294967295 134512640 134569956 3221224416 3221214704 1131313953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211702 18334 13073 16 0 211686 0 vsize: 846808 [startup+20.0007 s] Raw data (loadavg): 1.28 0.44 0.15 2/64 30962 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18090 3 1 0 1579 50 0 0 25 0 11 0 418965945 861282304 20977 4294967295 134512640 134569956 3221224416 3221214672 1131403789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 20977 13073 16 0 210258 0 vsize: 841096 [startup+30.0009 s] Raw data (loadavg): 1.23 0.45 0.16 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 2524 50 0 0 25 0 11 0 418965945 861282304 21278 4294967295 134512640 134569956 3221224416 3221214856 1131340775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 21278 13073 16 0 210258 0 vsize: 841096 [startup+40.0015 s] Raw data (loadavg): 1.20 0.47 0.17 3/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 3464 50 0 0 25 0 11 0 418965945 861282304 21447 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 21447 13073 16 0 210258 0 vsize: 841096 [startup+50.0119 s] Raw data (loadavg): 1.17 0.49 0.18 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 4411 51 0 0 25 0 11 0 418965945 861282304 21816 4294967295 134512640 134569956 3221224416 3221214800 1131353742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 21816 13073 16 0 210258 0 vsize: 841096 [startup+60.0118 s] Raw data (loadavg): 1.14 0.51 0.19 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 5361 51 0 0 24 0 11 0 418965945 861282304 21965 4294967295 134512640 134569956 3221224416 3221214704 1131312972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 21965 13073 16 0 210258 0 vsize: 841096 [startup+70.0124 s] Raw data (loadavg): 1.12 0.52 0.20 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 6311 52 0 0 25 0 11 0 418965945 861282304 22086 4294967295 134512640 134569956 3221224416 3221214576 1131594868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22086 13073 16 0 210258 0 vsize: 841096 [startup+80.0135 s] Raw data (loadavg): 1.10 0.54 0.20 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 7261 52 0 0 25 0 11 0 418965945 861282304 22185 4294967295 134512640 134569956 3221224416 3221214576 1131595718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22185 13073 16 0 210258 0 vsize: 841096 [startup+90.0137 s] Raw data (loadavg): 1.08 0.55 0.21 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 8215 52 0 0 25 0 11 0 418965945 861282304 22354 4294967295 134512640 134569956 3221224416 3221214704 1131313369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22354 13073 16 0 210258 0 vsize: 841096 [startup+100.013 s] Raw data (loadavg): 1.07 0.57 0.22 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 9186 52 0 0 25 0 11 0 418965945 861282304 22497 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22497 13073 16 0 210258 0 vsize: 841096 [startup+110.015 s] Raw data (loadavg): 1.06 0.58 0.23 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 10159 52 0 0 24 0 11 0 418965945 861282304 22553 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22553 13073 16 0 210258 0 vsize: 841096 [startup+120.016 s] Raw data (loadavg): 1.05 0.59 0.23 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 11130 52 0 0 25 0 11 0 418965945 861282304 22614 4294967295 134512640 134569956 3221224416 3221214616 1131371108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22614 13073 16 0 210258 0 vsize: 841096 [startup+130.015 s] Raw data (loadavg): 1.04 0.61 0.24 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 12088 52 0 0 25 0 11 0 418965945 861282304 22647 4294967295 134512640 134569956 3221224416 3221214752 1131479828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22647 13073 16 0 210258 0 vsize: 841096 [startup+140.016 s] Raw data (loadavg): 1.03 0.62 0.25 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 13044 52 0 0 25 0 11 0 418965945 861282304 22745 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22745 13073 16 0 210258 0 vsize: 841096 [startup+150.017 s] Raw data (loadavg): 1.03 0.63 0.26 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 14000 52 0 0 25 0 11 0 418965945 861282304 22856 4294967295 134512640 134569956 3221224416 3221214584 1131240844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 22856 13073 16 0 210258 0 vsize: 841096 [startup+160.016 s] Raw data (loadavg): 1.02 0.64 0.27 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 14967 52 0 0 25 0 11 0 418965945 861282304 23021 4294967295 134512640 134569956 3221224416 3221214688 1131312961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23021 13073 16 0 210258 0 vsize: 841096 [startup+170.017 s] Raw data (loadavg): 1.09 0.67 0.28 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 15937 52 0 0 25 0 11 0 418965945 861282304 23084 4294967295 134512640 134569956 3221224416 3221214408 1078033063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23084 13073 16 0 210258 0 vsize: 841096 [startup+180.017 s] Raw data (loadavg): 1.08 0.68 0.29 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 16903 52 0 0 25 0 11 0 418965945 861282304 23137 4294967295 134512640 134569956 3221224416 3221214672 1131400951 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23137 13073 16 0 210258 0 vsize: 841096 [startup+190.017 s] Raw data (loadavg): 1.07 0.69 0.29 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 17860 52 0 0 25 0 11 0 418965945 861282304 23176 4294967295 134512640 134569956 3221224416 3221214576 1131595713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23176 13073 16 0 210258 0 vsize: 841096 [startup+200.017 s] Raw data (loadavg): 1.06 0.70 0.30 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 18819 52 0 0 25 0 11 0 418965945 861282304 23276 4294967295 134512640 134569956 3221224416 3221214752 1131477941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23276 13073 16 0 210258 0 vsize: 841096 [startup+210.016 s] Raw data (loadavg): 1.05 0.71 0.31 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 19783 52 0 0 25 0 11 0 418965945 861282304 23379 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23379 13073 16 0 210258 0 vsize: 841096 [startup+220.017 s] Raw data (loadavg): 1.04 0.72 0.31 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 20740 52 0 0 25 0 11 0 418965945 861282304 23481 4294967295 134512640 134569956 3221224416 3221214584 1131241017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23481 13073 16 0 210258 0 vsize: 841096 [startup+230.017 s] Raw data (loadavg): 1.03 0.73 0.32 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 21696 53 0 0 24 0 11 0 418965945 861282304 23550 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23550 13073 16 0 210258 0 vsize: 841096 [startup+240.017 s] Raw data (loadavg): 1.03 0.74 0.33 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 22655 53 0 0 25 0 11 0 418965945 861282304 23633 4294967295 134512640 134569956 3221224416 3221214680 1131636608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23633 13073 16 0 210258 0 vsize: 841096 [startup+250.017 s] Raw data (loadavg): 1.02 0.74 0.33 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 23617 53 0 0 25 0 11 0 418965945 861282304 23781 4294967295 134512640 134569956 3221224416 3221214672 1131400225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23781 13073 16 0 210258 0 vsize: 841096 [startup+260.017 s] Raw data (loadavg): 1.02 0.75 0.34 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 24582 53 0 0 25 0 11 0 418965945 861282304 23871 4294967295 134512640 134569956 3221224416 3221214760 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23871 13073 16 0 210258 0 vsize: 841096 [startup+270.017 s] Raw data (loadavg): 1.02 0.76 0.35 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 25547 53 0 0 25 0 11 0 418965945 861282304 23953 4294967295 134512640 134569956 3221224416 3221214672 1131401105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 23953 13073 16 0 210258 0 vsize: 841096 [startup+280.017 s] Raw data (loadavg): 1.01 0.77 0.35 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 26509 53 0 0 25 0 11 0 418965945 861282304 24048 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 24048 13073 16 0 210258 0 vsize: 841096 [startup+290.018 s] Raw data (loadavg): 1.01 0.77 0.36 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 27477 53 0 0 25 0 11 0 418965945 861282304 24117 4294967295 134512640 134569956 3221224416 3221214576 1131594100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 24117 13073 16 0 210258 0 vsize: 841096 [startup+300.018 s] Raw data (loadavg): 1.01 0.78 0.37 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 28439 53 0 0 25 0 11 0 418965945 861282304 24213 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 24213 13073 16 0 210258 0 vsize: 841096 [startup+310.018 s] Raw data (loadavg): 1.01 0.79 0.37 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 29404 53 0 0 25 0 11 0 418965945 861282304 24311 4294967295 134512640 134569956 3221224416 3221214688 1131313250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24311 13073 16 0 210258 0 vsize: 841096 [startup+320.018 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 30360 54 0 0 25 0 11 0 418965945 861282304 24370 4294967295 134512640 134569956 3221224416 3221214672 1131400789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 24370 13073 16 0 210258 0 vsize: 841096 [startup+330.018 s] Raw data (loadavg): 1.00 0.80 0.38 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 31323 54 0 0 25 0 11 0 418965945 861282304 24462 4294967295 134512640 134569956 3221224416 3221214648 1131577908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24462 13073 16 0 210258 0 vsize: 841096 [startup+340.019 s] Raw data (loadavg): 1.00 0.81 0.39 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 32290 54 0 0 25 0 11 0 418965945 861282304 24563 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24563 13073 16 0 210258 0 vsize: 841096 [startup+350.019 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 33264 54 0 0 25 0 11 0 418965945 861282304 24685 4294967295 134512640 134569956 3221224416 3221214576 1131595645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24685 13073 16 0 210258 0 vsize: 841096 [startup+360.019 s] Raw data (loadavg): 1.00 0.82 0.40 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 34240 55 0 0 25 0 11 0 418965945 861282304 24714 4294967295 134512640 134569956 3221224416 3221214576 1131593522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24714 13073 16 0 210258 0 vsize: 841096 [startup+370.02 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 30963 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 35210 55 0 0 25 0 11 0 418965945 861282304 24758 4294967295 134512640 134569956 3221224416 3221214584 1131241219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24758 13073 16 0 210258 0 vsize: 841096 [startup+380.019 s] Raw data (loadavg): 1.08 0.85 0.42 2/66 30971 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 36177 58 0 0 25 0 11 0 418965945 861282304 24831 4294967295 134512640 134569956 3221224416 3221214680 1131636624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 24831 13073 16 0 210258 0 vsize: 841096 [startup+390.02 s] Raw data (loadavg): 1.07 0.85 0.42 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 37147 59 0 0 25 0 11 0 418965945 861282304 24899 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24899 13073 16 0 210258 0 vsize: 841096 [startup+400.021 s] Raw data (loadavg): 1.06 0.85 0.43 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 38120 59 0 0 25 0 11 0 418965945 861282304 24959 4294967295 134512640 134569956 3221224416 3221214680 1131636757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 24959 13073 16 0 210258 0 vsize: 841096 [startup+410.021 s] Raw data (loadavg): 1.05 0.86 0.44 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 39093 59 0 0 25 0 11 0 418965945 861282304 25033 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25033 13073 16 0 210258 0 vsize: 841096 [startup+420.021 s] Raw data (loadavg): 1.04 0.86 0.44 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 40064 60 0 0 25 0 11 0 418965945 861282304 25074 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25074 13073 16 0 210258 0 vsize: 841096 [startup+430.022 s] Raw data (loadavg): 1.03 0.87 0.45 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 41031 60 0 0 25 0 11 0 418965945 861282304 25107 4294967295 134512640 134569956 3221224416 3221214592 1131457521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25107 13073 16 0 210258 0 vsize: 841096 [startup+440.023 s] Raw data (loadavg): 1.03 0.87 0.45 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 41999 60 0 0 25 0 11 0 418965945 861282304 25178 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 25178 13073 16 0 210258 0 vsize: 841096 [startup+450.023 s] Raw data (loadavg): 1.02 0.87 0.46 2/64 31016 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 42971 61 0 0 25 0 11 0 418965945 861282304 25298 4294967295 134512640 134569956 3221224416 3221214504 1131627558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25298 13073 16 0 210258 0 vsize: 841096 [startup+460.023 s] Raw data (loadavg): 1.02 0.88 0.46 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 43949 61 0 0 25 0 11 0 418965945 861282304 25355 4294967295 134512640 134569956 3221224416 3221214584 1131241219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25355 13073 16 0 210258 0 vsize: 841096 [startup+470.024 s] Raw data (loadavg): 1.02 0.88 0.47 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 44927 62 0 0 25 0 11 0 418965945 861282304 25394 4294967295 134512640 134569956 3221224416 3221214680 1131636631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 25394 13073 16 0 210258 0 vsize: 841096 [startup+480.024 s] Raw data (loadavg): 1.01 0.89 0.47 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 45908 63 0 0 25 0 11 0 418965945 861282304 25434 4294967295 134512640 134569956 3221224416 3221214688 1131313369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25434 13073 16 0 210258 0 vsize: 841096 [startup+490.024 s] Raw data (loadavg): 1.01 0.89 0.48 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 46884 63 0 0 25 0 11 0 418965945 861282304 25479 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25479 13073 16 0 210258 0 vsize: 841096 [startup+500.025 s] Raw data (loadavg): 1.01 0.89 0.48 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 47857 63 0 0 25 0 11 0 418965945 861282304 25511 4294967295 134512640 134569956 3221224416 3221214660 1080203688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25511 13073 16 0 210258 0 vsize: 841096 [startup+510.025 s] Raw data (loadavg): 1.01 0.89 0.49 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 48831 64 0 0 25 0 11 0 418965945 861282304 25543 4294967295 134512640 134569956 3221224416 3221214388 1076461027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25543 13073 16 0 210258 0 vsize: 841096 [startup+520.025 s] Raw data (loadavg): 1.00 0.90 0.49 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 49804 64 0 0 25 0 11 0 418965945 861282304 25597 4294967295 134512640 134569956 3221224416 3221214688 1131313039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25597 13073 16 0 210258 0 vsize: 841096 [startup+530.025 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 50778 65 0 0 25 0 11 0 418965945 861282304 25670 4294967295 134512640 134569956 3221224416 3221214688 1131312997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25670 13073 16 0 210258 0 vsize: 841096 [startup+540.027 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 51751 65 0 0 25 0 11 0 418965945 861282304 25735 4294967295 134512640 134569956 3221224416 3221214680 1131642806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25735 13073 16 0 210258 0 vsize: 841096 [startup+550.026 s] Raw data (loadavg): 1.00 0.91 0.51 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 52737 65 0 0 25 0 11 0 418965945 861282304 25752 4294967295 134512640 134569956 3221224416 3221214216 1131687328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25752 13073 16 0 210258 0 vsize: 841096 [startup+560.026 s] Raw data (loadavg): 1.00 0.91 0.51 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 53718 66 0 0 25 0 11 0 418965945 861282304 25804 4294967295 134512640 134569956 3221224416 3221214056 1131689004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25804 13073 16 0 210258 0 vsize: 841096 [startup+570.027 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 54702 66 0 0 25 0 11 0 418965945 861282304 25835 4294967295 134512640 134569956 3221224416 3221214688 1131313107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25835 13073 16 0 210258 0 vsize: 841096 [startup+580.026 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 55684 66 0 0 25 0 11 0 418965945 861282304 25859 4294967295 134512640 134569956 3221224416 3221214688 1131312965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25859 13073 16 0 210258 0 vsize: 841096 [startup+590.028 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 56664 66 0 0 25 0 11 0 418965945 861282304 25892 4294967295 134512640 134569956 3221224416 3221214680 1131642872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25892 13073 16 0 210258 0 vsize: 841096 [startup+600.028 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 57630 66 0 0 25 0 11 0 418965945 861282304 25927 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25927 13073 16 0 210258 0 vsize: 841096 [startup+610.028 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 58595 66 0 0 25 0 11 0 418965945 861282304 25999 4294967295 134512640 134569956 3221224416 3221214384 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 25999 13073 16 0 210258 0 vsize: 841096 [startup+620.029 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 59562 67 0 0 25 0 11 0 418965945 861282304 26101 4294967295 134512640 134569956 3221224416 3221214688 1131313288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26101 13073 16 0 210258 0 vsize: 841096 [startup+630.029 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 60530 67 0 0 25 0 11 0 418965945 861282304 26205 4294967295 134512640 134569956 3221224416 3221214472 1131656683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26205 13073 16 0 210258 0 vsize: 841096 [startup+640.029 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 61498 67 0 0 25 0 11 0 418965945 861282304 26250 4294967295 134512640 134569956 3221224416 3221214576 1131593901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26250 13073 16 0 210258 0 vsize: 841096 [startup+650.029 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 62464 68 0 0 25 0 11 0 418965945 861282304 26307 4294967295 134512640 134569956 3221224416 3221214324 1131688976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26307 13073 16 0 210258 0 vsize: 841096 [startup+660.028 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 63433 69 0 0 25 0 11 0 418965945 861282304 26381 4294967295 134512640 134569956 3221224416 3221214552 1131428303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26381 13073 16 0 210258 0 vsize: 841096 [startup+670.029 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 64397 69 0 0 25 0 11 0 418965945 861282304 26469 4294967295 134512640 134569956 3221224416 3221214688 1131313398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26469 13073 16 0 210258 0 vsize: 841096 [startup+680.03 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 65358 70 0 0 25 0 11 0 418965945 861282304 26549 4294967295 134512640 134569956 3221224416 3221214904 1131543160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26549 13073 16 0 210258 0 vsize: 841096 [startup+690.03 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 31018 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 66322 70 0 0 24 0 11 0 418965945 861282304 26634 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26634 13073 16 0 210258 0 vsize: 841096 [startup+700.03 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 67292 71 0 0 25 0 11 0 418965945 861282304 26748 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 26748 13073 16 0 210258 0 vsize: 841096 [startup+710.03 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 31020 Raw data (stat): 30949 (java) S 30948 30701 30700 0 -1 0 18091 3 1 0 68261 71 0 0 25 0 11 0 418965945 861282304 26797 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26797 13073 16 0 210258 0 vsize: 841096 [startup+720.03 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 69232 71 0 0 25 0 11 0 418965945 861282304 26857 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26857 13073 16 0 210258 0 vsize: 841096 [startup+730.03 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 31020 Raw data (stat): 30949 (java) S 30948 30701 30700 0 -1 0 18091 3 1 0 70200 72 0 0 25 0 11 0 418965945 861282304 26913 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26916 13073 16 0 210258 0 vsize: 841096 [startup+740.03 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 71168 72 0 0 25 0 11 0 418965945 861282304 26976 4294967295 134512640 134569956 3221224416 3221214848 1131692895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 26976 13073 16 0 210258 0 vsize: 841096 [startup+750.031 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 72132 72 0 0 24 0 11 0 418965945 861282304 27048 4294967295 134512640 134569956 3221224416 3221214584 1131241034 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27048 13073 16 0 210258 0 vsize: 841096 [startup+760.031 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 73100 73 0 0 25 0 11 0 418965945 861282304 27122 4294967295 134512640 134569956 3221224416 3221214640 1131639106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27122 13073 16 0 210258 0 vsize: 841096 [startup+770.032 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 74063 73 0 0 25 0 11 0 418965945 861282304 27188 4294967295 134512640 134569956 3221224416 3221214672 1131423745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27188 13073 16 0 210258 0 vsize: 841096 [startup+780.032 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 75034 74 0 0 25 0 11 0 418965945 861282304 27263 4294967295 134512640 134569956 3221224416 3221214688 1131313058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27263 13073 16 0 210258 0 vsize: 841096 [startup+790.033 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 76008 74 0 0 25 0 11 0 418965945 861282304 27340 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27340 13073 16 0 210258 0 vsize: 841096 [startup+800.032 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 76984 74 0 0 25 0 11 0 418965945 861282304 27416 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27416 13073 16 0 210258 0 vsize: 841096 [startup+810.032 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 77966 75 0 0 25 0 11 0 418965945 861282304 27428 4294967295 134512640 134569956 3221224416 3221214272 1131688897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210274 27428 13073 16 0 210258 0 vsize: 841096 [startup+820.033 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 78941 75 0 0 25 0 11 0 418965945 861282304 27484 4294967295 134512640 134569956 3221224416 3221214584 1131241664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27484 13073 16 0 210258 0 vsize: 841096 [startup+830.033 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 79914 76 0 0 25 0 11 0 418965945 861282304 27535 4294967295 134512640 134569956 3221224416 3221214944 1131521546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27535 13073 16 0 210258 0 vsize: 841096 [startup+840.033 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 80891 76 0 0 25 0 11 0 418965945 861282304 27569 4294967295 134512640 134569956 3221224416 3221214904 1131543160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27569 13073 16 0 210258 0 vsize: 841096 [startup+850.034 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 81868 76 0 0 25 0 11 0 418965945 861282304 27627 4294967295 134512640 134569956 3221224416 3221214440 1131671640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27627 13073 16 0 210258 0 vsize: 841096 [startup+860.033 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 82841 77 0 0 25 0 11 0 418965945 861282304 27701 4294967295 134512640 134569956 3221224416 3221214680 1131636631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27701 13073 16 0 210258 0 vsize: 841096 [startup+870.034 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 83818 77 0 0 25 0 11 0 418965945 861282304 27734 4294967295 134512640 134569956 3221224416 3221214560 1131536329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27734 13073 16 0 210258 0 vsize: 841096 [startup+880.035 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 84794 77 0 0 25 0 11 0 418965945 861282304 27788 4294967295 134512640 134569956 3221224416 3221214784 1131354824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27788 13073 16 0 210258 0 vsize: 841096 [startup+890.036 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 85765 77 0 0 25 0 11 0 418965945 861282304 27836 4294967295 134512640 134569956 3221224416 3221214784 1131355598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27836 13073 16 0 210258 0 vsize: 841096 [startup+900.036 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 86740 78 0 0 25 0 11 0 418965945 861282304 27893 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27893 13073 16 0 210258 0 vsize: 841096 [startup+910.035 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 87708 78 0 0 25 0 11 0 418965945 861282304 27989 4294967295 134512640 134569956 3221224416 3221214552 1131627647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 27989 13073 16 0 210258 0 vsize: 841096 [startup+920.036 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 88684 78 0 0 25 0 11 0 418965945 861282304 28049 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28049 13073 16 0 210258 0 vsize: 841096 [startup+930.036 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 89661 78 0 0 25 0 11 0 418965945 861282304 28101 4294967295 134512640 134569956 3221224416 3221214584 1131241650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28101 13073 16 0 210258 0 vsize: 841096 [startup+940.036 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 90637 79 0 0 25 0 11 0 418965945 861282304 28158 4294967295 134512640 134569956 3221224416 3221214384 1131688869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28158 13073 16 0 210258 0 vsize: 841096 [startup+950.038 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 91612 79 0 0 23 0 11 0 418965945 861282304 28196 4294967295 134512640 134569956 3221224416 3221214752 1131474843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28196 13073 16 0 210258 0 vsize: 841096 [startup+960.037 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 92587 79 0 0 25 0 11 0 418965945 861282304 28243 4294967295 134512640 134569956 3221224416 3221214504 1131677084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28243 13073 16 0 210258 0 vsize: 841096 [startup+970.037 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 93565 80 0 0 25 0 11 0 418965945 861282304 28279 4294967295 134512640 134569956 3221224416 3221214472 1131656787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28279 13073 16 0 210258 0 vsize: 841096 [startup+980.037 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 94537 80 0 0 25 0 11 0 418965945 861282304 28324 4294967295 134512640 134569956 3221224416 3221214584 1131241230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28324 13073 16 0 210258 0 vsize: 841096 [startup+990.038 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 95512 80 0 0 25 0 11 0 418965945 861282304 28401 4294967295 134512640 134569956 3221224416 3221214504 1131702298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28401 13073 16 0 210258 0 vsize: 841096 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 96488 81 0 0 25 0 11 0 418965945 861282304 28434 4294967295 134512640 134569956 3221224416 3221214264 1080217202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28434 13073 16 0 210258 0 vsize: 841096 [startup+1010.04 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 97469 81 0 0 24 0 11 0 418965945 861282304 28494 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28494 13073 16 0 210258 0 vsize: 841096 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 98453 81 0 0 25 0 11 0 418965945 861282304 28525 4294967295 134512640 134569956 3221224416 3221214112 1131688825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28525 13073 16 0 210258 0 vsize: 841096 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 99433 81 0 0 25 0 11 0 418965945 861282304 28545 4294967295 134512640 134569956 3221224416 3221214652 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28545 13073 16 0 210258 0 vsize: 841096 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 100415 82 0 0 25 0 11 0 418965945 861282304 28563 4294967295 134512640 134569956 3221224416 3221214576 1131594701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28563 13073 16 0 210258 0 vsize: 841096 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 101389 82 0 0 25 0 11 0 418965945 861282304 28598 4294967295 134512640 134569956 3221224416 3221214600 1131612309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28598 13073 16 0 210258 0 vsize: 841096 [startup+1060.04 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 102368 82 0 0 25 0 11 0 418965945 861282304 28645 4294967295 134512640 134569956 3221224416 3221214428 1131689408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28645 13073 16 0 210258 0 vsize: 841096 [startup+1070.04 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 103352 83 0 0 25 0 11 0 418965945 861282304 28676 4294967295 134512640 134569956 3221224416 3221214188 1131685331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28676 13073 16 0 210258 0 vsize: 841096 [startup+1080.04 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 104319 84 0 0 25 0 11 0 418965945 861282304 28760 4294967295 134512640 134569956 3221224416 3221214524 1131602355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28760 13073 16 0 210258 0 vsize: 841096 [startup+1090.04 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 105289 84 0 0 24 0 11 0 418965945 861282304 28821 4294967295 134512640 134569956 3221224416 3221214680 1131636701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28821 13073 16 0 210258 0 vsize: 841096 [startup+1100.04 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 106260 85 0 0 25 0 11 0 418965945 861282304 28888 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28888 13073 16 0 210258 0 vsize: 841096 [startup+1110.04 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 107243 85 0 0 25 0 11 0 418965945 861282304 28953 4294967295 134512640 134569956 3221224416 3221213968 1085679346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28953 13073 16 0 210258 0 vsize: 841096 [startup+1120.04 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 108227 86 0 0 25 0 11 0 418965945 861282304 28971 4294967295 134512640 134569956 3221224416 3221214600 1131687370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28971 13073 16 0 210258 0 vsize: 841096 [startup+1130.04 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 109206 86 0 0 25 0 11 0 418965945 861282304 28995 4294967295 134512640 134569956 3221224416 3221214728 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 28995 13073 16 0 210258 0 vsize: 841096 [startup+1140.04 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 110180 86 0 0 25 0 11 0 418965945 861282304 29011 4294967295 134512640 134569956 3221224416 3221214680 1131636747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29011 13073 16 0 210258 0 vsize: 841096 [startup+1150.05 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 111156 87 0 0 25 0 11 0 418965945 861282304 29030 4294967295 134512640 134569956 3221224416 3221214584 1131241639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29030 13073 16 0 210258 0 vsize: 841096 [startup+1160.05 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 112126 87 0 0 25 0 11 0 418965945 861282304 29087 4294967295 134512640 134569956 3221224416 3221214240 1080217319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29087 13073 16 0 210258 0 vsize: 841096 [startup+1170.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 113107 88 0 0 25 0 11 0 418965945 861282304 29137 4294967295 134512640 134569956 3221224416 3221214740 1080204224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29137 13073 16 0 210258 0 vsize: 841096 [startup+1180.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 114081 88 0 0 25 0 11 0 418965945 861282304 29220 4294967295 134512640 134569956 3221224416 3221214584 1131240721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29220 13073 16 0 210258 0 vsize: 841096 [startup+1190.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 115056 89 0 0 25 0 11 0 418965945 861282304 29260 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29260 13073 16 0 210258 0 vsize: 841096 [startup+1200.05 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 116033 89 0 0 25 0 11 0 418965945 861282304 29282 4294967295 134512640 134569956 3221224416 3221214680 1131636713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29282 13073 16 0 210258 0 vsize: 841096 [startup+1210.05 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 117009 89 0 0 25 0 11 0 418965945 861282304 29332 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29332 13073 16 0 210258 0 vsize: 841096 [startup+1220.05 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 117989 90 0 0 25 0 11 0 418965945 861282304 29365 4294967295 134512640 134569956 3221224416 3221214752 1131479260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29365 13073 16 0 210258 0 vsize: 841096 [startup+1230.05 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 118968 90 0 0 25 0 11 0 418965945 861282304 29413 4294967295 134512640 134569956 3221224416 3221214440 1131688952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29413 13073 16 0 210258 0 vsize: 841096 [startup+1240.05 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 31020 Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 119950 91 0 0 25 0 11 0 418965945 861282304 29444 4294967295 134512640 134569956 3221224416 3221214584 1131241160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210274 29444 13073 16 0 210258 0 vsize: 841096 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.16 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 31022 Raw data (stat): 30949 (java) Z 30948 30701 30700 0 -1 1036 18091 14320 1 1 119953 91 4385 45 25 0 1 0 418965945 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): 1240.16 CPU time (s): 1244.76 CPU user time (s): 1243.39 CPU system time (s): 1.37579 CPU usage (%): 100.372 Max. virtual memory (Kb): 846808 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####