Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 270e069f649d19b0da4e4d23c0e1ebfc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 wulflinc13 THE 2005-04-13 17:42:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2925 boxname=wulflinc13 idbench=325 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 270e069f649d19b0da4e4d23c0e1ebfc /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb IDLAUNCH: 2925 /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: 925724 kB Buffers: 33332 kB Cached: 55628 kB SwapCached: 392 kB Active: 46116 kB Inactive: 46124 kB HighTotal: 131008 kB HighFree: 71400 kB LowTotal: 903652 kB LowFree: 854324 kB SwapTotal: 2097136 kB SwapFree: 2096744 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6928 kB Slab: 11148 kB Committed_AS: 63448 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:04:38 (client local time) WITH STATUS 143 IN SECONDS stats: 2925 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb c reading problem c [nbvar=760] c [nbconstr=41263] c time 7.643 c #vars 760 c #clauses 41263 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) : 8.045 c starts : 1 c conflicts : 0 c decisions : 760 c propagations : 760 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) : 8.371 c starts : 2 c conflicts : 0 c decisions : 1519 c propagations : 1520 c inspects : 184 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) : 12.695 c starts : 3 c conflicts : 18 c decisions : 2278 c propagations : 2469 c inspects : 2325 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 18 c root simplifications : 3 c c CURRENT OPTIMUM=-30 c Current CPU time (ms) : 12.841 c starts : 4 c conflicts : 18 c decisions : 2308 c propagations : 3229 c inspects : 5438 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 18 c root simplifications : 4 c c CURRENT OPTIMUM=-31 c Current CPU time (ms) : 15.405 c starts : 5 c conflicts : 36 c decisions : 2356 c propagations : 4095 c inspects : 12456 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 36 c root simplifications : 5 c c CURRENT OPTIMUM=-32 c Current CPU time (ms) : 365.085 c starts : 10 c conflicts : 866 c decisions : 3362 c propagations : 13464 c inspects : 527337 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 866 c root simplifications : 10 c c CURRENT OPTIMUM=-33 c Current CPU time (ms) : 579.224 c starts : 13 c conflicts : 1224 c decisions : 3846 c propagations : 18278 c inspects : 893046 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1224 c root simplifications : 13 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.98 2/54 32102 Raw data (stat): 32102 (runsolver) R 32101 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419619144 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0018 s] Raw data (loadavg): 0.87 0.97 0.98 4/64 32114 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18072 3 1 0 718 50 0 0 25 0 11 0 419619144 858251264 22869 4294967295 134512640 134569956 3221224416 3221213984 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209534 22869 13073 16 0 209518 0 vsize: 838136 [startup+20.003 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18077 3 1 0 1484 50 0 0 24 0 11 0 419619144 859541504 26956 4294967295 134512640 134569956 3221224416 3221214504 1076461328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 26956 13073 16 0 209833 0 vsize: 839396 [startup+30.0036 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 2371 51 0 0 25 0 11 0 419619144 859541504 27128 4294967295 134512640 134569956 3221224416 3221214584 1131415092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 27128 13073 16 0 209833 0 vsize: 839396 [startup+40.0028 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 3278 51 0 0 25 0 11 0 419619144 859541504 27465 4294967295 134512640 134569956 3221224416 3221214728 1131390904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 27465 13073 16 0 209833 0 vsize: 839396 [startup+50.0041 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 4154 51 0 0 25 0 11 0 419619144 859541504 27981 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 27981 13073 16 0 209833 0 vsize: 839396 [startup+60.0046 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 5029 52 0 0 25 0 11 0 419619144 859541504 28360 4294967295 134512640 134569956 3221224416 3221214824 1131425899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 28360 13073 16 0 209833 0 vsize: 839396 [startup+70.0049 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 5911 52 0 0 25 0 11 0 419619144 859541504 28993 4294967295 134512640 134569956 3221224416 3221214824 1131425453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 28993 13073 16 0 209833 0 vsize: 839396 [startup+80.0059 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 6788 52 0 0 25 0 11 0 419619144 859541504 29341 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 29341 13073 16 0 209833 0 vsize: 839396 [startup+90.0056 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 7657 53 0 0 25 0 11 0 419619144 859541504 29703 4294967295 134512640 134569956 3221224416 3221214808 1131358769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 29703 13073 16 0 209833 0 vsize: 839396 [startup+100.006 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 8525 54 0 0 24 0 11 0 419619144 859541504 30049 4294967295 134512640 134569956 3221224416 3221214808 1131357884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 30049 13073 16 0 209833 0 vsize: 839396 [startup+110.007 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 9414 54 0 0 25 0 11 0 419619144 859541504 30292 4294967295 134512640 134569956 3221224416 3221214712 1131179572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 30292 13073 16 0 209833 0 vsize: 839396 [startup+120.008 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 10295 54 0 0 25 0 11 0 419619144 859541504 30563 4294967295 134512640 134569956 3221224416 3221214712 1131178557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 30563 13073 16 0 209833 0 vsize: 839396 [startup+130.008 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 11178 54 0 0 25 0 11 0 419619144 859541504 30891 4294967295 134512640 134569956 3221224416 3221214712 1131178855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 30891 13073 16 0 209833 0 vsize: 839396 [startup+140.008 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 12066 54 0 0 25 0 11 0 419619144 859541504 31137 4294967295 134512640 134569956 3221224416 3221214712 1131178961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 31137 13073 16 0 209833 0 vsize: 839396 [startup+150.009 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 12952 55 0 0 25 0 11 0 419619144 859541504 31413 4294967295 134512640 134569956 3221224416 3221214824 1131369534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 31413 13073 16 0 209833 0 vsize: 839396 [startup+160.009 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 13838 55 0 0 25 0 11 0 419619144 859541504 31696 4294967295 134512640 134569956 3221224416 3221214712 1131178766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 31696 13073 16 0 209833 0 vsize: 839396 [startup+170.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 14723 55 0 0 25 0 11 0 419619144 859541504 31903 4294967295 134512640 134569956 3221224416 3221214808 1131357573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 31903 13073 16 0 209833 0 vsize: 839396 [startup+180.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 15603 56 0 0 25 0 11 0 419619144 859541504 32280 4294967295 134512640 134569956 3221224416 3221214712 1131178753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 32280 13073 16 0 209833 0 vsize: 839396 [startup+190.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 16496 56 0 0 25 0 11 0 419619144 859541504 32536 4294967295 134512640 134569956 3221224416 3221214712 1131178861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 32536 13073 16 0 209833 0 vsize: 839396 [startup+200.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 17397 56 0 0 25 0 11 0 419619144 859541504 32757 4294967295 134512640 134569956 3221224416 3221214692 1131537523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 32757 13073 16 0 209833 0 vsize: 839396 [startup+210.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 18295 57 0 0 25 0 11 0 419619144 859541504 32958 4294967295 134512640 134569956 3221224416 3221214808 1131357575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 32958 13073 16 0 209833 0 vsize: 839396 [startup+220.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 19197 57 0 0 25 0 11 0 419619144 859541504 33251 4294967295 134512640 134569956 3221224416 3221214712 1131179517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 33251 13073 16 0 209833 0 vsize: 839396 [startup+230.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 20101 57 0 0 25 0 11 0 419619144 859541504 33454 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 33454 13073 16 0 209833 0 vsize: 839396 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 21005 58 0 0 25 0 11 0 419619144 859541504 33711 4294967295 134512640 134569956 3221224416 3221214712 1131178867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 33711 13073 16 0 209833 0 vsize: 839396 [startup+250.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 21911 58 0 0 25 0 11 0 419619144 859541504 33914 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 33914 13073 16 0 209833 0 vsize: 839396 [startup+260.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 22820 58 0 0 25 0 11 0 419619144 859541504 34181 4294967295 134512640 134569956 3221224416 3221214824 1131423671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 34181 13073 16 0 209833 0 vsize: 839396 [startup+270.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 23736 59 0 0 25 0 11 0 419619144 859541504 34336 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 34336 13073 16 0 209833 0 vsize: 839396 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 24650 59 0 0 25 0 11 0 419619144 859541504 34536 4294967295 134512640 134569956 3221224416 3221214576 1131539928 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 34536 13073 16 0 209833 0 vsize: 839396 [startup+290.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 25557 59 0 0 25 0 11 0 419619144 859541504 34781 4294967295 134512640 134569956 3221224416 3221214812 1080203710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 34781 13073 16 0 209833 0 vsize: 839396 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 26474 60 0 0 25 0 11 0 419619144 859541504 34958 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 34958 13073 16 0 209833 0 vsize: 839396 [startup+310.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 27383 60 0 0 25 0 11 0 419619144 859541504 35223 4294967295 134512640 134569956 3221224416 3221214616 1131240751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 35223 13073 16 0 209833 0 vsize: 839396 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 28303 60 0 0 25 0 11 0 419619144 859541504 35328 4294967295 134512640 134569956 3221224416 3221214824 1131425756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 35328 13073 16 0 209833 0 vsize: 839396 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 29222 61 0 0 25 0 11 0 419619144 859541504 35548 4294967295 134512640 134569956 3221224416 3221214712 1131179086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 35548 13073 16 0 209833 0 vsize: 839396 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 30134 62 0 0 25 0 11 0 419619144 859541504 35743 4294967295 134512640 134569956 3221224416 3221214576 1131540502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 35743 13073 16 0 209833 0 vsize: 839396 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 31054 62 0 0 25 0 11 0 419619144 859541504 35923 4294967295 134512640 134569956 3221224416 3221214712 1131179140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 35923 13073 16 0 209833 0 vsize: 839396 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32117 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 31965 62 0 0 25 0 11 0 419619144 859541504 36152 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 36152 13073 16 0 209833 0 vsize: 839396 [startup+370.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 32869 63 0 0 25 0 11 0 419619144 859541504 36324 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 36324 13073 16 0 209833 0 vsize: 839396 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 33774 63 0 0 25 0 11 0 419619144 859541504 36537 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 36537 13073 16 0 209833 0 vsize: 839396 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 34675 64 0 0 25 0 11 0 419619144 859541504 36596 4294967295 134512640 134569956 3221224416 3221214712 1131179351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 36596 13073 16 0 209833 0 vsize: 839396 [startup+400.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 35556 64 0 0 25 0 11 0 419619144 859541504 36873 4294967295 134512640 134569956 3221224416 3221214712 1131179874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 36873 13073 16 0 209833 0 vsize: 839396 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 36450 64 0 0 25 0 11 0 419619144 859541504 37030 4294967295 134512640 134569956 3221224416 3221214712 1131178753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 37030 13073 16 0 209833 0 vsize: 839396 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 37351 65 0 0 25 0 11 0 419619144 859541504 37279 4294967295 134512640 134569956 3221224416 3221214808 1131357841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 37279 13073 16 0 209833 0 vsize: 839396 [startup+430.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 38248 65 0 0 23 0 11 0 419619144 859541504 37575 4294967295 134512640 134569956 3221224416 3221214712 1131179545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 37575 13073 16 0 209833 0 vsize: 839396 [startup+440.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 39160 66 0 0 25 0 11 0 419619144 859541504 37810 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 37810 13073 16 0 209833 0 vsize: 839396 [startup+450.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 40078 66 0 0 25 0 11 0 419619144 859541504 38037 4294967295 134512640 134569956 3221224416 3221214808 1131357705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38037 13073 16 0 209833 0 vsize: 839396 [startup+460.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 40989 66 0 0 24 0 11 0 419619144 859541504 38089 4294967295 134512640 134569956 3221224416 3221214712 1131179104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38089 13073 16 0 209833 0 vsize: 839396 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 41898 67 0 0 25 0 11 0 419619144 859541504 38237 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38237 13073 16 0 209833 0 vsize: 839396 [startup+480.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 42806 67 0 0 25 0 11 0 419619144 859541504 38472 4294967295 134512640 134569956 3221224416 3221214808 1131357804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38472 13073 16 0 209833 0 vsize: 839396 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 43729 68 0 0 25 0 11 0 419619144 859541504 38712 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38712 13073 16 0 209833 0 vsize: 839396 [startup+500.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 44654 68 0 0 25 0 11 0 419619144 859541504 38873 4294967295 134512640 134569956 3221224416 3221214808 1131358722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38873 13073 16 0 209833 0 vsize: 839396 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 45580 68 0 0 25 0 11 0 419619144 859541504 38994 4294967295 134512640 134569956 3221224416 3221214712 1131179324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 38994 13073 16 0 209833 0 vsize: 839396 [startup+520.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 46505 69 0 0 24 0 11 0 419619144 859541504 39182 4294967295 134512640 134569956 3221224416 3221214712 1131179122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39182 13073 16 0 209833 0 vsize: 839396 [startup+530.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 47430 69 0 0 25 0 11 0 419619144 859541504 39332 4294967295 134512640 134569956 3221224416 3221214808 1131357870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39332 13073 16 0 209833 0 vsize: 839396 [startup+540.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 48347 69 0 0 25 0 11 0 419619144 859541504 39460 4294967295 134512640 134569956 3221224416 3221214808 1131357921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39460 13073 16 0 209833 0 vsize: 839396 [startup+550.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 49244 70 0 0 24 0 11 0 419619144 859541504 39626 4294967295 134512640 134569956 3221224416 3221214808 1131358707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39626 13073 16 0 209833 0 vsize: 839396 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 50147 70 0 0 25 0 11 0 419619144 859541504 39782 4294967295 134512640 134569956 3221224416 3221214776 1131640724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39782 13073 16 0 209833 0 vsize: 839396 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32118 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 51037 70 0 0 25 0 11 0 419619144 859541504 39923 4294967295 134512640 134569956 3221224416 3221214712 1131178842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 39923 13073 16 0 209833 0 vsize: 839396 [startup+580.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 51925 70 0 0 25 0 11 0 419619144 859541504 40159 4294967295 134512640 134569956 3221224416 3221214712 1131179133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 40159 13073 16 0 209833 0 vsize: 839396 [startup+590.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 52808 71 0 0 25 0 11 0 419619144 859541504 40419 4294967295 134512640 134569956 3221224416 3221214712 1131179570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 40419 13073 16 0 209833 0 vsize: 839396 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 53699 72 0 0 24 0 11 0 419619144 859541504 40734 4294967295 134512640 134569956 3221224416 3221214808 1131358733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 40734 13073 16 0 209833 0 vsize: 839396 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 54619 72 0 0 25 0 11 0 419619144 859541504 41014 4294967295 134512640 134569956 3221224416 3221214712 1131179320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41014 13073 16 0 209833 0 vsize: 839396 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 55543 72 0 0 25 0 11 0 419619144 859541504 41071 4294967295 134512640 134569956 3221224416 3221214808 1131358765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41071 13073 16 0 209833 0 vsize: 839396 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 56461 73 0 0 25 0 11 0 419619144 859541504 41161 4294967295 134512640 134569956 3221224416 3221214716 1080204182 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41161 13073 16 0 209833 0 vsize: 839396 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 57371 73 0 0 25 0 11 0 419619144 859541504 41386 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41386 13073 16 0 209833 0 vsize: 839396 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 58288 74 0 0 24 0 11 0 419619144 859541504 41551 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41551 13073 16 0 209833 0 vsize: 839396 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 59211 74 0 0 25 0 11 0 419619144 859541504 41773 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41773 13073 16 0 209833 0 vsize: 839396 [startup+670.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 60134 74 0 0 25 0 11 0 419619144 859541504 41895 4294967295 134512640 134569956 3221224416 3221214712 1131179255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 41895 13073 16 0 209833 0 vsize: 839396 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 61056 75 0 0 25 0 11 0 419619144 859541504 42079 4294967295 134512640 134569956 3221224416 3221214784 1131372676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42079 13073 16 0 209833 0 vsize: 839396 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 61974 75 0 0 25 0 11 0 419619144 859541504 42231 4294967295 134512640 134569956 3221224416 3221214824 1131425132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42231 13073 16 0 209833 0 vsize: 839396 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 62895 76 0 0 25 0 11 0 419619144 859541504 42260 4294967295 134512640 134569956 3221224416 3221214712 1131179116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42260 13073 16 0 209833 0 vsize: 839396 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 63807 76 0 0 25 0 11 0 419619144 859541504 42454 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42454 13073 16 0 209833 0 vsize: 839396 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 64717 76 0 0 25 0 11 0 419619144 859541504 42717 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42717 13073 16 0 209833 0 vsize: 839396 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 65625 77 0 0 25 0 11 0 419619144 859541504 42839 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42839 13073 16 0 209833 0 vsize: 839396 [startup+740.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 66525 77 0 0 25 0 11 0 419619144 859541504 42984 4294967295 134512640 134569956 3221224416 3221214672 1131235909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 42984 13073 16 0 209833 0 vsize: 839396 [startup+750.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 67422 78 0 0 25 0 11 0 419619144 859541504 43254 4294967295 134512640 134569956 3221224416 3221214680 1131374151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 43254 13073 16 0 209833 0 vsize: 839396 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 68309 78 0 0 25 0 11 0 419619144 859541504 43395 4294967295 134512640 134569956 3221224416 3221214712 1131179894 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 43395 13073 16 0 209833 0 vsize: 839396 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 69217 78 0 0 25 0 11 0 419619144 859541504 43771 4294967295 134512640 134569956 3221224416 3221214808 1131357705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 43771 13073 16 0 209833 0 vsize: 839396 [startup+780.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 70148 79 0 0 25 0 11 0 419619144 859541504 43940 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 43940 13073 16 0 209833 0 vsize: 839396 [startup+790.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 71079 79 0 0 25 0 11 0 419619144 859541504 44072 4294967295 134512640 134569956 3221224416 3221214808 1131358755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44072 13073 16 0 209833 0 vsize: 839396 [startup+800.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 72006 80 0 0 25 0 11 0 419619144 859541504 44095 4294967295 134512640 134569956 3221224416 3221214712 1131179572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44095 13073 16 0 209833 0 vsize: 839396 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 72932 80 0 0 25 0 11 0 419619144 859541504 44287 4294967295 134512640 134569956 3221224416 3221214536 1131154704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44287 13073 16 0 209833 0 vsize: 839396 [startup+820.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 73864 80 0 0 25 0 11 0 419619144 859541504 44469 4294967295 134512640 134569956 3221224416 3221214712 1131179517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44469 13073 16 0 209833 0 vsize: 839396 [startup+830.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 74793 80 0 0 25 0 11 0 419619144 859541504 44587 4294967295 134512640 134569956 3221224416 3221214856 1131381585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44587 13073 16 0 209833 0 vsize: 839396 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 75720 81 0 0 25 0 11 0 419619144 859541504 44731 4294967295 134512640 134569956 3221224416 3221214712 1131179933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44731 13073 16 0 209833 0 vsize: 839396 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 76650 81 0 0 25 0 11 0 419619144 859541504 44881 4294967295 134512640 134569956 3221224416 3221214804 1131180038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 44881 13073 16 0 209833 0 vsize: 839396 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 77579 82 0 0 24 0 11 0 419619144 859541504 45042 4294967295 134512640 134569956 3221224416 3221214808 1131357936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45042 13073 16 0 209833 0 vsize: 839396 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 78518 82 0 0 25 0 11 0 419619144 859541504 45189 4294967295 134512640 134569956 3221224416 3221214712 1131178971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45189 13073 16 0 209833 0 vsize: 839396 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 79461 82 0 0 25 0 11 0 419619144 859541504 45345 4294967295 134512640 134569956 3221224416 3221214624 1131506596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45345 13073 16 0 209833 0 vsize: 839396 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 80406 83 0 0 25 0 11 0 419619144 859541504 45415 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45415 13073 16 0 209833 0 vsize: 839396 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 81351 83 0 0 25 0 11 0 419619144 859541504 45526 4294967295 134512640 134569956 3221224416 3221214808 1131357884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45526 13073 16 0 209833 0 vsize: 839396 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 82291 84 0 0 24 0 11 0 419619144 859541504 45676 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45676 13073 16 0 209833 0 vsize: 839396 [startup+920.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 83246 84 0 0 25 0 11 0 419619144 859541504 45784 4294967295 134512640 134569956 3221224416 3221214712 1131179349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45784 13073 16 0 209833 0 vsize: 839396 [startup+930.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 84189 84 0 0 25 0 11 0 419619144 859541504 45873 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45873 13073 16 0 209833 0 vsize: 839396 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 85125 85 0 0 25 0 11 0 419619144 859541504 45940 4294967295 134512640 134569956 3221224416 3221214808 1131357824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 45940 13073 16 0 209833 0 vsize: 839396 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 86065 85 0 0 25 0 11 0 419619144 859541504 46101 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46101 13073 16 0 209833 0 vsize: 839396 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 87009 85 0 0 25 0 11 0 419619144 859541504 46246 4294967295 134512640 134569956 3221224416 3221214808 1131357824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46246 13073 16 0 209833 0 vsize: 839396 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 87949 85 0 0 25 0 11 0 419619144 859541504 46398 4294967295 134512640 134569956 3221224416 3221214808 1131357437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46398 13073 16 0 209833 0 vsize: 839396 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 88880 86 0 0 25 0 11 0 419619144 859541504 46425 4294967295 134512640 134569956 3221224416 3221214712 1131179073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46425 13073 16 0 209833 0 vsize: 839396 [startup+990.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 89795 87 0 0 25 0 11 0 419619144 859541504 46578 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46578 13073 16 0 209833 0 vsize: 839396 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 90734 87 0 0 25 0 11 0 419619144 859541504 46768 4294967295 134512640 134569956 3221224416 3221214824 1131427372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46768 13073 16 0 209833 0 vsize: 839396 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 91678 87 0 0 25 0 11 0 419619144 859541504 46892 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46892 13073 16 0 209833 0 vsize: 839396 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 92602 88 0 0 18 0 11 0 419619144 859541504 46920 4294967295 134512640 134569956 3221224416 3221214712 1131179086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 46920 13073 16 0 209833 0 vsize: 839396 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 93520 88 0 0 25 0 11 0 419619144 859541504 47021 4294967295 134512640 134569956 3221224416 3221214808 1131357437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 47021 13073 16 0 209833 0 vsize: 839396 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32119 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 94449 88 0 0 25 0 11 0 419619144 859541504 47205 4294967295 134512640 134569956 3221224416 3221214712 1131179098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 47205 13073 16 0 209833 0 vsize: 839396 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 5/68 32135 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 95380 92 0 0 25 0 11 0 419619144 859541504 47377 4294967295 134512640 134569956 3221224416 3221214728 1131390775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209849 47377 13073 16 0 209833 0 vsize: 839396 [startup+1060.06 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 96303 99 0 0 25 0 11 0 419619144 859541504 47448 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 47448 13073 16 0 209833 0 vsize: 839396 [startup+1070.07 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 97224 99 0 0 25 0 11 0 419619144 859541504 47567 4294967295 134512640 134569956 3221224416 3221214712 1131178746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209849 47567 13073 16 0 209833 0 vsize: 839396 [startup+1080.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 98137 99 0 0 25 0 11 0 419619144 859541504 47732 4294967295 134512640 134569956 3221224416 3221214168 1076460986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 47732 13073 16 0 209833 0 vsize: 839396 [startup+1090.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 99059 99 0 0 25 0 11 0 419619144 859541504 47900 4294967295 134512640 134569956 3221224416 3221214712 1131178943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 47900 13073 16 0 209833 0 vsize: 839396 [startup+1100.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 99996 99 0 0 25 0 11 0 419619144 859541504 48116 4294967295 134512640 134569956 3221224416 3221214712 1131179098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48116 13073 16 0 209833 0 vsize: 839396 [startup+1110.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32172 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 100938 99 0 0 24 0 11 0 419619144 859541504 48221 4294967295 134512640 134569956 3221224416 3221214576 1131541381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48221 13073 16 0 209833 0 vsize: 839396 [startup+1120.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 101889 100 0 0 25 0 11 0 419619144 859541504 48299 4294967295 134512640 134569956 3221224416 3221214712 1131179236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48299 13073 16 0 209833 0 vsize: 839396 [startup+1130.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 102836 100 0 0 25 0 11 0 419619144 859541504 48401 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48401 13073 16 0 209833 0 vsize: 839396 [startup+1140.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 103786 100 0 0 25 0 11 0 419619144 859541504 48483 4294967295 134512640 134569956 3221224416 3221214712 1131178569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48483 13073 16 0 209833 0 vsize: 839396 [startup+1150.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 104726 100 0 0 25 0 11 0 419619144 859541504 48565 4294967295 134512640 134569956 3221224416 3221214764 1080204267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209849 48565 13073 16 0 209833 0 vsize: 839396 [startup+1160.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 105657 100 0 0 25 0 11 0 419619144 859541504 48670 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48670 13073 16 0 209833 0 vsize: 839396 [startup+1170.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 106583 100 0 0 25 0 11 0 419619144 859541504 48758 4294967295 134512640 134569956 3221224416 3221214808 1131357997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48758 13073 16 0 209833 0 vsize: 839396 [startup+1180.09 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 107512 101 0 0 25 0 11 0 419619144 859541504 48970 4294967295 134512640 134569956 3221224416 3221214808 1131358707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 48970 13073 16 0 209833 0 vsize: 839396 [startup+1190.09 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 108442 101 0 0 24 0 11 0 419619144 859541504 49099 4294967295 134512640 134569956 3221224416 3221214440 1080217364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49099 13073 16 0 209833 0 vsize: 839396 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 109376 101 0 0 25 0 11 0 419619144 859541504 49204 4294967295 134512640 134569956 3221224416 3221214856 1131640724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49204 13073 16 0 209833 0 vsize: 839396 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 110310 101 0 0 25 0 11 0 419619144 859541504 49342 4294967295 134512640 134569956 3221224416 3221214504 1080217015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49342 13073 16 0 209833 0 vsize: 839396 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 111244 101 0 0 25 0 11 0 419619144 859541504 49416 4294967295 134512640 134569956 3221224416 3221214968 1131516288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49416 13073 16 0 209833 0 vsize: 839396 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 112185 101 0 0 25 0 11 0 419619144 859541504 49608 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49608 13073 16 0 209833 0 vsize: 839396 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 113131 101 0 0 25 0 11 0 419619144 859541504 49668 4294967295 134512640 134569956 3221224416 3221214808 1131358788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49668 13073 16 0 209833 0 vsize: 839396 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 114064 101 0 0 25 0 11 0 419619144 859541504 49783 4294967295 134512640 134569956 3221224416 3221214824 1131424994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49783 13073 16 0 209833 0 vsize: 839396 [startup+1260.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 115005 101 0 0 25 0 11 0 419619144 859541504 49870 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 49870 13073 16 0 209833 0 vsize: 839396 [startup+1270.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 115947 101 0 0 25 0 11 0 419619144 859541504 50008 4294967295 134512640 134569956 3221224416 3221214824 1131424083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50008 13073 16 0 209833 0 vsize: 839396 [startup+1280.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 116894 101 0 0 25 0 11 0 419619144 859541504 50097 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50097 13073 16 0 209833 0 vsize: 839396 [startup+1290.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 117837 102 0 0 24 0 11 0 419619144 859541504 50223 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50223 13073 16 0 209833 0 vsize: 839396 [startup+1300.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 118787 102 0 0 25 0 11 0 419619144 859541504 50304 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50304 13073 16 0 209833 0 vsize: 839396 [startup+1310.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 119736 102 0 0 25 0 11 0 419619144 859541504 50392 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50392 13073 16 0 209833 0 vsize: 839396 [startup+1320.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32174 Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 120663 102 0 0 25 0 11 0 419619144 859541504 50483 4294967295 134512640 134569956 3221224416 3221214712 1131179324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209849 50483 13073 16 0 209833 0 vsize: 839396 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1320.25 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 32176 Raw data (stat): 32102 (java) Z 32101 30701 30700 0 -1 1036 18078 35949 1 0 120668 111 12038 90 25 0 1 0 419619144 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): 1320.25 CPU time (s): 1329.1 CPU user time (s): 1327.07 CPU system time (s): 2.02069 CPU usage (%): 100.67 Max. virtual memory (Kb): 839396 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####