Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb |
MD5SUM | d90fce7408f7990dccb3ba4f8fa1c8f6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23403520 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 744 |
Biggest coefficient in the objective function | 151934468096 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 3470370333536 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 151934468096 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 3470370333536 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1247.15 |
Number of variables | 744 |
Total number of constraints | 34 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 34 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 180 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-21 22:28:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13997 boxname=wulflinc10 idbench=1077 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: d90fce7408f7990dccb3ba4f8fa1c8f6 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-gr4x6.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-gr4x6.opb IDLAUNCH: 13997 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 735044 kB Buffers: 18488 kB Cached: 258952 kB SwapCached: 0 kB Active: 43408 kB Inactive: 236580 kB HighTotal: 131008 kB HighFree: 1008 kB LowTotal: 903652 kB LowFree: 734036 kB SwapTotal: 2097136 kB SwapFree: 2096784 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6412 kB Slab: 14016 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 22:48:45 (client local time) WITH STATUS 143 IN 1252.22 SECONDS stats: 13997 7 1252.22 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-gr4x6.opb c reading problem c [nbvar=744] c [nbconstr=34] c time 2.01 c #vars 744 c #clauses 45 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=31255002 c Current CPU time (ms) : 4.443 c starts : 1 c conflicts : 2 c decisions : 189 c propagations : 1041 c inspects : 1099 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 3 c c CURRENT OPTIMUM=31197658 c Current CPU time (ms) : 7.525 c starts : 2 c conflicts : 3 c decisions : 251 c propagations : 1462 c inspects : 1849 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 4 #### 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.81 0.95 0.97 2/54 6125 Raw data (stat): 6125 (runsolver) R 6124 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490465943 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0496 s] Raw data (loadavg): 1.14 1.02 0.99 4/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18066 3 1 0 679 39 0 0 24 0 11 0 490465943 859856896 20195 4294967295 134512640 134569956 3221224400 3221212580 1077073926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209926 20195 13073 16 0 209910 0 vsize: 839704 [startup+20.0505 s] Raw data (loadavg): 1.12 1.02 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18067 3 1 0 1634 40 0 0 25 0 11 0 490465943 859856896 20326 4294967295 134512640 134569956 3221224400 3221214552 1131388063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209926 20326 13073 16 0 209910 0 vsize: 839704 [startup+30.0512 s] Raw data (loadavg): 1.10 1.02 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 2590 40 0 0 25 0 11 0 490465943 867196928 22359 4294967295 134512640 134569956 3221224400 3221214528 1131361381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211718 22359 13073 16 0 211702 0 vsize: 846872 [startup+40.0512 s] Raw data (loadavg): 1.09 1.02 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 3550 40 0 0 25 0 11 0 490465943 861954048 21534 4294967295 134512640 134569956 3221224400 3221214552 1131232043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210438 21534 13073 16 0 210422 0 vsize: 841752 [startup+50.0523 s] Raw data (loadavg): 1.07 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 4524 40 0 0 25 0 11 0 490465943 861954048 21611 4294967295 134512640 134569956 3221224400 3221214728 1131169469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210438 21611 13073 16 0 210422 0 vsize: 841752 [startup+60.0519 s] Raw data (loadavg): 1.06 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 5499 40 0 0 25 0 11 0 490465943 861954048 21657 4294967295 134512640 134569956 3221224400 3221214680 1131201145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210438 21657 13073 16 0 210422 0 vsize: 841752 [startup+70.052 s] Raw data (loadavg): 1.05 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 6465 40 0 0 25 0 11 0 490465943 860905472 21515 4294967295 134512640 134569956 3221224400 3221214520 1131361302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 21515 13073 16 0 210166 0 vsize: 840728 [startup+80.053 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18071 3 1 0 7431 40 0 0 25 0 11 0 490465943 860905472 21624 4294967295 134512640 134569956 3221224400 3221214552 1131232001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 21624 13073 16 0 210166 0 vsize: 840728 [startup+90.0538 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 8399 41 0 0 24 0 11 0 490465943 860905472 21712 4294967295 134512640 134569956 3221224400 3221214776 1131270188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 21712 13073 16 0 210166 0 vsize: 840728 [startup+100.054 s] Raw data (loadavg): 1.03 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 9368 41 0 0 25 0 11 0 490465943 860905472 21836 4294967295 134512640 134569956 3221224400 3221214656 1131493483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 21836 13073 16 0 210166 0 vsize: 840728 [startup+110.062 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 10343 41 0 0 24 0 11 0 490465943 860905472 21951 4294967295 134512640 134569956 3221224400 3221214544 1131388228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 21951 13073 16 0 210166 0 vsize: 840728 [startup+120.068 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 11321 41 0 0 25 0 11 0 490465943 860905472 22031 4294967295 134512640 134569956 3221224400 3221214656 1131493421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22031 13073 16 0 210166 0 vsize: 840728 [startup+130.068 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 12295 41 0 0 25 0 11 0 490465943 860905472 22103 4294967295 134512640 134569956 3221224400 3221214808 1131319985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22103 13073 16 0 210166 0 vsize: 840728 [startup+140.069 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 13269 41 0 0 25 0 11 0 490465943 860905472 22174 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22174 13073 16 0 210166 0 vsize: 840728 [startup+150.07 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 14240 41 0 0 25 0 11 0 490465943 860905472 22282 4294967295 134512640 134569956 3221224400 3221214808 1131322010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22282 13073 16 0 210166 0 vsize: 840728 [startup+160.07 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 15215 42 0 0 25 0 11 0 490465943 860905472 22374 4294967295 134512640 134569956 3221224400 3221214808 1131320014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22374 13073 16 0 210166 0 vsize: 840728 [startup+170.071 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 16190 42 0 0 25 0 11 0 490465943 860905472 22471 4294967295 134512640 134569956 3221224400 3221214552 1131232036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22471 13073 16 0 210166 0 vsize: 840728 [startup+180.072 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 17166 42 0 0 25 0 11 0 490465943 860905472 22555 4294967295 134512640 134569956 3221224400 3221214776 1131269166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22555 13073 16 0 210166 0 vsize: 840728 [startup+190.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 18140 42 0 0 25 0 11 0 490465943 860905472 22639 4294967295 134512640 134569956 3221224400 3221214776 1131271063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22639 13073 16 0 210166 0 vsize: 840728 [startup+200.075 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 19112 42 0 0 25 0 11 0 490465943 860905472 22729 4294967295 134512640 134569956 3221224400 3221214680 1131200901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22729 13073 16 0 210166 0 vsize: 840728 [startup+210.075 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 20084 42 0 0 25 0 11 0 490465943 860905472 22811 4294967295 134512640 134569956 3221224400 3221214612 1131455264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22811 13073 16 0 210166 0 vsize: 840728 [startup+220.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 21058 42 0 0 25 0 11 0 490465943 860905472 22917 4294967295 134512640 134569956 3221224400 3221214656 1131495450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 22917 13073 16 0 210166 0 vsize: 840728 [startup+230.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 22031 42 0 0 25 0 11 0 490465943 860905472 23013 4294967295 134512640 134569956 3221224400 3221214544 1131389052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23013 13073 16 0 210166 0 vsize: 840728 [startup+240.077 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 23002 43 0 0 25 0 11 0 490465943 860905472 23109 4294967295 134512640 134569956 3221224400 3221214680 1131201276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23109 13073 16 0 210166 0 vsize: 840728 [startup+250.078 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 23965 43 0 0 24 0 11 0 490465943 860905472 23218 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23218 13073 16 0 210166 0 vsize: 840728 [startup+260.078 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 24935 43 0 0 24 0 11 0 490465943 860905472 23390 4294967295 134512640 134569956 3221224400 3221214544 1131386754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23390 13073 16 0 210166 0 vsize: 840728 [startup+270.078 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 25914 43 0 0 24 0 11 0 490465943 860905472 23536 4294967295 134512640 134569956 3221224400 3221214816 1131266856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23536 13073 16 0 210166 0 vsize: 840728 [startup+280.078 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 26898 43 0 0 25 0 11 0 490465943 860905472 23629 4294967295 134512640 134569956 3221224400 3221214776 1131269895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23629 13073 16 0 210166 0 vsize: 840728 [startup+290.079 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 27883 43 0 0 25 0 11 0 490465943 860905472 23680 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23680 13073 16 0 210166 0 vsize: 840728 [startup+300.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 28867 43 0 0 25 0 11 0 490465943 860905472 23708 4294967295 134512640 134569956 3221224400 3221214552 1131232036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23708 13073 16 0 210166 0 vsize: 840728 [startup+310.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 29843 44 0 0 25 0 11 0 490465943 860905472 23769 4294967295 134512640 134569956 3221224400 3221214776 1131270876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23769 13073 16 0 210166 0 vsize: 840728 [startup+320.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 30818 44 0 0 25 0 11 0 490465943 860905472 23840 4294967295 134512640 134569956 3221224400 3221214296 1131509777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23840 13073 16 0 210166 0 vsize: 840728 [startup+330.081 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 31787 44 0 0 25 0 11 0 490465943 860905472 23917 4294967295 134512640 134569956 3221224400 3221214552 1131232043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 23917 13073 16 0 210166 0 vsize: 840728 [startup+340.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 32758 44 0 0 25 0 11 0 490465943 860905472 24024 4294967295 134512640 134569956 3221224400 3221214656 1131495571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 24024 13073 16 0 210166 0 vsize: 840728 [startup+350.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 33729 44 0 0 25 0 11 0 490465943 860905472 24112 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 24112 13073 16 0 210166 0 vsize: 840728 [startup+360.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 34700 44 0 0 25 0 11 0 490465943 860905472 24215 4294967295 134512640 134569956 3221224400 3221214772 1131200300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 24215 13073 16 0 210166 0 vsize: 840728 [startup+370.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 35670 44 0 0 25 0 11 0 490465943 860905472 24292 4294967295 134512640 134569956 3221224400 3221214428 1131509776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 24292 13073 16 0 210166 0 vsize: 840728 [startup+380.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 36635 44 0 0 25 0 11 0 490465943 860905472 24425 4294967295 134512640 134569956 3221224400 3221214680 1131200921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210182 24425 13073 16 0 210166 0 vsize: 840728 [startup+390.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 37606 45 0 0 24 0 11 0 490465943 860905472 24543 4294967295 134512640 134569956 3221224400 3221214680 1131200353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 24543 13073 16 0 210166 0 vsize: 840728 [startup+400.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 38576 45 0 0 25 0 11 0 490465943 860905472 24666 4294967295 134512640 134569956 3221224400 3221214680 1131201526 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 24666 13073 16 0 210166 0 vsize: 840728 [startup+410.082 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 39546 45 0 0 25 0 11 0 490465943 860905472 24771 4294967295 134512640 134569956 3221224400 3221214680 1131201822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 24771 13073 16 0 210166 0 vsize: 840728 [startup+420.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 40511 46 0 0 25 0 11 0 490465943 860905472 24876 4294967295 134512640 134569956 3221224400 3221214680 1131200369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 24876 13073 16 0 210166 0 vsize: 840728 [startup+430.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 41472 46 0 0 25 0 11 0 490465943 860905472 24977 4294967295 134512640 134569956 3221224400 3221214680 1131200909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 24977 13073 16 0 210166 0 vsize: 840728 [startup+440.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 42434 47 0 0 25 0 11 0 490465943 860905472 25112 4294967295 134512640 134569956 3221224400 3221214680 1131200332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25112 13073 16 0 210166 0 vsize: 840728 [startup+450.083 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) S 6124 25347 25346 0 -1 0 18072 3 1 0 43404 47 0 0 25 0 11 0 490465943 860905472 25220 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25220 13073 16 0 210166 0 vsize: 840728 [startup+460.084 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) S 6124 25347 25346 0 -1 0 18072 3 1 0 44373 47 0 0 25 0 11 0 490465943 860905472 25368 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25368 13073 16 0 210166 0 vsize: 840728 [startup+470.084 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 45348 47 0 0 25 0 11 0 490465943 860905472 25439 4294967295 134512640 134569956 3221224400 3221214552 1131232043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25439 13073 16 0 210166 0 vsize: 840728 [startup+480.084 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 46326 47 0 0 25 0 11 0 490465943 860905472 25545 4294967295 134512640 134569956 3221224400 3221214776 1131270180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25545 13073 16 0 210166 0 vsize: 840728 [startup+490.085 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 47305 48 0 0 25 0 11 0 490465943 860905472 25589 4294967295 134512640 134569956 3221224400 3221214680 1131201276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25589 13073 16 0 210166 0 vsize: 840728 [startup+500.085 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 48281 48 0 0 25 0 11 0 490465943 860905472 25697 4294967295 134512640 134569956 3221224400 3221214680 1131200325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25697 13073 16 0 210166 0 vsize: 840728 [startup+510.085 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 49260 48 0 0 25 0 11 0 490465943 860905472 25758 4294967295 134512640 134569956 3221224400 3221214680 1131200325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25758 13073 16 0 210166 0 vsize: 840728 [startup+520.086 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 50235 49 0 0 24 0 11 0 490465943 860905472 25857 4294967295 134512640 134569956 3221224400 3221214680 1131200511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25857 13073 16 0 210166 0 vsize: 840728 [startup+530.086 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 51211 49 0 0 25 0 11 0 490465943 860905472 25906 4294967295 134512640 134569956 3221224400 3221214656 1131493296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 25906 13073 16 0 210166 0 vsize: 840728 [startup+540.087 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 52186 49 0 0 25 0 11 0 490465943 860905472 26017 4294967295 134512640 134569956 3221224400 3221214680 1131200408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26017 13073 16 0 210166 0 vsize: 840728 [startup+550.087 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 53162 50 0 0 25 0 11 0 490465943 860905472 26108 4294967295 134512640 134569956 3221224400 3221214728 1131169605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26108 13073 16 0 210166 0 vsize: 840728 [startup+560.087 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 54136 50 0 0 24 0 11 0 490465943 860905472 26228 4294967295 134512640 134569956 3221224400 3221214680 1131201563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26228 13073 16 0 210166 0 vsize: 840728 [startup+570.088 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 55115 50 0 0 25 0 11 0 490465943 860905472 26331 4294967295 134512640 134569956 3221224400 3221214680 1131200321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26331 13073 16 0 210166 0 vsize: 840728 [startup+580.088 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 56094 50 0 0 25 0 11 0 490465943 860905472 26417 4294967295 134512640 134569956 3221224400 3221214544 1131387317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26417 13073 16 0 210166 0 vsize: 840728 [startup+590.088 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 57070 51 0 0 25 0 11 0 490465943 860905472 26486 4294967295 134512640 134569956 3221224400 3221214680 1131200358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26486 13073 16 0 210166 0 vsize: 840728 [startup+600.089 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 58047 51 0 0 25 0 11 0 490465943 860905472 26530 4294967295 134512640 134569956 3221224400 3221214776 1131270180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26530 13073 16 0 210166 0 vsize: 840728 [startup+610.089 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 59023 52 0 0 25 0 11 0 490465943 860905472 26642 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26642 13073 16 0 210166 0 vsize: 840728 [startup+620.089 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 60001 52 0 0 25 0 11 0 490465943 860905472 26738 4294967295 134512640 134569956 3221224400 3221214656 1131495506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26738 13073 16 0 210166 0 vsize: 840728 [startup+630.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 60978 52 0 0 25 0 11 0 490465943 860905472 26821 4294967295 134512640 134569956 3221224400 3221214680 1131200426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26821 13073 16 0 210166 0 vsize: 840728 [startup+640.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 61956 52 0 0 25 0 11 0 490465943 860905472 26884 4294967295 134512640 134569956 3221224400 3221214728 1131169682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26884 13073 16 0 210166 0 vsize: 840728 [startup+650.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 62935 52 0 0 25 0 11 0 490465943 860905472 26965 4294967295 134512640 134569956 3221224400 3221214680 1131200664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 26965 13073 16 0 210166 0 vsize: 840728 [startup+660.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 63914 53 0 0 25 0 11 0 490465943 860905472 27041 4294967295 134512640 134569956 3221224400 3221214680 1131200921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27041 13073 16 0 210166 0 vsize: 840728 [startup+670.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 64889 53 0 0 25 0 11 0 490465943 860905472 27108 4294967295 134512640 134569956 3221224400 3221214776 1131275841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27108 13073 16 0 210166 0 vsize: 840728 [startup+680.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 65865 53 0 0 25 0 11 0 490465943 860905472 27182 4294967295 134512640 134569956 3221224400 3221214680 1131200681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27182 13073 16 0 210166 0 vsize: 840728 [startup+690.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 66843 54 0 0 25 0 11 0 490465943 860905472 27267 4294967295 134512640 134569956 3221224400 3221214552 1131232036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27267 13073 16 0 210166 0 vsize: 840728 [startup+700.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 67818 54 0 0 24 0 11 0 490465943 860905472 27354 4294967295 134512640 134569956 3221224400 3221214680 1131201566 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27354 13073 16 0 210166 0 vsize: 840728 [startup+710.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 68796 55 0 0 25 0 11 0 490465943 860905472 27440 4294967295 134512640 134569956 3221224400 3221214680 1131200681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27440 13073 16 0 210166 0 vsize: 840728 [startup+720.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 69775 55 0 0 25 0 11 0 490465943 860905472 27491 4294967295 134512640 134569956 3221224400 3221214776 1131270285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27491 13073 16 0 210166 0 vsize: 840728 [startup+730.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 70753 56 0 0 25 0 11 0 490465943 860905472 27569 4294967295 134512640 134569956 3221224400 3221214568 1131509655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27569 13073 16 0 210166 0 vsize: 840728 [startup+740.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 71726 56 0 0 25 0 11 0 490465943 860905472 27647 4294967295 134512640 134569956 3221224400 3221214760 1131489665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27647 13073 16 0 210166 0 vsize: 840728 [startup+750.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 72701 56 0 0 25 0 11 0 490465943 860905472 27725 4294967295 134512640 134569956 3221224400 3221214680 1131200353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27725 13073 16 0 210166 0 vsize: 840728 [startup+760.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 73675 56 0 0 25 0 11 0 490465943 860905472 27873 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27873 13073 16 0 210166 0 vsize: 840728 [startup+770.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 74650 57 0 0 25 0 11 0 490465943 860905472 27996 4294967295 134512640 134569956 3221224400 3221214680 1131200667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 27996 13073 16 0 210166 0 vsize: 840728 [startup+780.137 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 75627 57 0 0 25 0 11 0 490465943 860905472 28075 4294967295 134512640 134569956 3221224400 3221214552 1131232222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28075 13073 16 0 210166 0 vsize: 840728 [startup+790.137 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 76602 58 0 0 25 0 11 0 490465943 860905472 28213 4294967295 134512640 134569956 3221224400 3221214552 1131231699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28213 13073 16 0 210166 0 vsize: 840728 [startup+800.137 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 77577 58 0 0 25 0 11 0 490465943 860905472 28320 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28320 13073 16 0 210166 0 vsize: 840728 [startup+810.137 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 78548 58 0 0 25 0 11 0 490465943 860905472 28415 4294967295 134512640 134569956 3221224400 3221214552 1131232222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28415 13073 16 0 210166 0 vsize: 840728 [startup+820.138 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 79523 58 0 0 25 0 11 0 490465943 860905472 28519 4294967295 134512640 134569956 3221224400 3221214680 1131200463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28519 13073 16 0 210166 0 vsize: 840728 [startup+830.138 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 80498 58 0 0 25 0 11 0 490465943 860905472 28617 4294967295 134512640 134569956 3221224400 3221214680 1131200353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28617 13073 16 0 210166 0 vsize: 840728 [startup+840.139 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 81476 59 0 0 25 0 11 0 490465943 860905472 28716 4294967295 134512640 134569956 3221224400 3221214680 1131201672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28716 13073 16 0 210166 0 vsize: 840728 [startup+850.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 82450 59 0 0 25 0 11 0 490465943 860905472 28800 4294967295 134512640 134569956 3221224400 3221214656 1131495443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28800 13073 16 0 210166 0 vsize: 840728 [startup+860.139 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 83426 60 0 0 25 0 11 0 490465943 860905472 28893 4294967295 134512640 134569956 3221224400 3221214680 1131200679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28893 13073 16 0 210166 0 vsize: 840728 [startup+870.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 84401 60 0 0 25 0 11 0 490465943 860905472 28967 4294967295 134512640 134569956 3221224400 3221214680 1131200642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 28967 13073 16 0 210166 0 vsize: 840728 [startup+880.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 85377 61 0 0 25 0 11 0 490465943 860905472 29068 4294967295 134512640 134569956 3221224400 3221214680 1131200405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29068 13073 16 0 210166 0 vsize: 840728 [startup+890.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 86353 61 0 0 25 0 11 0 490465943 860905472 29154 4294967295 134512640 134569956 3221224400 3221214552 1131232123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29154 13073 16 0 210166 0 vsize: 840728 [startup+900.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 87322 61 0 0 25 0 11 0 490465943 860905472 29280 4294967295 134512640 134569956 3221224400 3221214776 1131269067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29280 13073 16 0 210166 0 vsize: 840728 [startup+910.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 88281 61 0 0 25 0 11 0 490465943 860905472 29358 4294967295 134512640 134569956 3221224400 3221214680 1131201276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29358 13073 16 0 210166 0 vsize: 840728 [startup+920.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 89239 62 0 0 25 0 11 0 490465943 860905472 29455 4294967295 134512640 134569956 3221224400 3221214776 1131275638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29455 13073 16 0 210166 0 vsize: 840728 [startup+930.143 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 90211 62 0 0 25 0 11 0 490465943 860905472 29593 4294967295 134512640 134569956 3221224400 3221214776 1131270326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29593 13073 16 0 210166 0 vsize: 840728 [startup+940.144 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 91180 62 0 0 25 0 11 0 490465943 860905472 29647 4294967295 134512640 134569956 3221224400 3221214776 1131275403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29647 13073 16 0 210166 0 vsize: 840728 [startup+950.144 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 92154 63 0 0 25 0 11 0 490465943 860905472 29731 4294967295 134512640 134569956 3221224400 3221214776 1131275711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29731 13073 16 0 210166 0 vsize: 840728 [startup+960.144 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 93132 63 0 0 25 0 11 0 490465943 860905472 29777 4294967295 134512640 134569956 3221224400 3221214680 1131200677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29777 13073 16 0 210166 0 vsize: 840728 [startup+970.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 94106 64 0 0 25 0 11 0 490465943 860905472 29826 4294967295 134512640 134569956 3221224400 3221214776 1131270112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29826 13073 16 0 210166 0 vsize: 840728 [startup+980.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 95082 64 0 0 25 0 11 0 490465943 860905472 29907 4294967295 134512640 134569956 3221224400 3221214680 1131200961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29907 13073 16 0 210166 0 vsize: 840728 [startup+990.146 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 96063 64 0 0 25 0 11 0 490465943 860905472 29975 4294967295 134512640 134569956 3221224400 3221214564 1131509776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 29975 13073 16 0 210166 0 vsize: 840728 [startup+1000.15 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 97044 64 0 0 25 0 11 0 490465943 860905472 30027 4294967295 134512640 134569956 3221224400 3221214680 1131200329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30027 13073 16 0 210166 0 vsize: 840728 [startup+1010.15 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 98026 64 0 0 25 0 11 0 490465943 860905472 30055 4294967295 134512640 134569956 3221224400 3221214680 1131200667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30055 13073 16 0 210166 0 vsize: 840728 [startup+1020.15 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 99001 65 0 0 25 0 11 0 490465943 860905472 30084 4294967295 134512640 134569956 3221224400 3221214776 1131269105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30084 13073 16 0 210166 0 vsize: 840728 [startup+1030.15 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 99978 65 0 0 25 0 11 0 490465943 860905472 30128 4294967295 134512640 134569956 3221224400 3221214808 1131294231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30128 13073 16 0 210166 0 vsize: 840728 [startup+1040.15 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 100960 65 0 0 25 0 11 0 490465943 860905472 30195 4294967295 134512640 134569956 3221224400 3221214776 1131269105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30195 13073 16 0 210166 0 vsize: 840728 [startup+1050.15 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 101937 65 0 0 25 0 11 0 490465943 860905472 30283 4294967295 134512640 134569956 3221224400 3221214728 1131169704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30283 13073 16 0 210166 0 vsize: 840728 [startup+1060.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 102920 66 0 0 25 0 11 0 490465943 860905472 30342 4294967295 134512640 134569956 3221224400 3221214680 1131200390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30342 13073 16 0 210166 0 vsize: 840728 [startup+1070.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 103900 66 0 0 25 0 11 0 490465943 860905472 30400 4294967295 134512640 134569956 3221224400 3221213884 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30400 13073 16 0 210166 0 vsize: 840728 [startup+1080.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) S 6124 25347 25346 0 -1 0 18072 3 1 0 104876 66 0 0 25 0 11 0 490465943 860905472 30452 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30452 13073 16 0 210166 0 vsize: 840728 [startup+1090.15 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 105846 66 0 0 25 0 11 0 490465943 860905472 30496 4294967295 134512640 134569956 3221224400 3221214160 1131509634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30496 13073 16 0 210166 0 vsize: 840728 [startup+1100.15 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 106811 66 0 0 25 0 11 0 490465943 860905472 30598 4294967295 134512640 134569956 3221224400 3221214340 1131510473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30598 13073 16 0 210166 0 vsize: 840728 [startup+1110.15 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 107774 66 0 0 25 0 11 0 490465943 860905472 30727 4294967295 134512640 134569956 3221224400 3221214336 1131561488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30727 13073 16 0 210166 0 vsize: 840728 [startup+1120.15 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 108742 67 0 0 25 0 11 0 490465943 860905472 30844 4294967295 134512640 134569956 3221224400 3221214568 1131509752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30844 13073 16 0 210166 0 vsize: 840728 [startup+1130.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 109721 67 0 0 25 0 11 0 490465943 860905472 30951 4294967295 134512640 134569956 3221224400 3221214680 1131201593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 30951 13073 16 0 210166 0 vsize: 840728 [startup+1140.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 110703 67 0 0 25 0 11 0 490465943 860905472 31032 4294967295 134512640 134569956 3221224400 3221214608 1131510485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31032 13073 16 0 210166 0 vsize: 840728 [startup+1150.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 111687 68 0 0 25 0 11 0 490465943 860905472 31066 4294967295 134512640 134569956 3221224400 3221214680 1131201620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31066 13073 16 0 210166 0 vsize: 840728 [startup+1160.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 112664 68 0 0 25 0 11 0 490465943 860905472 31098 4294967295 134512640 134569956 3221224400 3221214680 1131200681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31098 13073 16 0 210166 0 vsize: 840728 [startup+1170.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 113641 68 0 0 25 0 11 0 490465943 860905472 31117 4294967295 134512640 134569956 3221224400 3221214728 1131169591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31117 13073 16 0 210166 0 vsize: 840728 [startup+1180.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 114615 69 0 0 25 0 11 0 490465943 860905472 31154 4294967295 134512640 134569956 3221224400 3221214776 1131269105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31154 13073 16 0 210166 0 vsize: 840728 [startup+1190.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 115589 69 0 0 24 0 11 0 490465943 860905472 31235 4294967295 134512640 134569956 3221224400 3221214776 1131269105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31235 13073 16 0 210166 0 vsize: 840728 [startup+1200.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 116565 70 0 0 25 0 11 0 490465943 860905472 31286 4294967295 134512640 134569956 3221224400 3221214932 1130885124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31286 13073 16 0 210166 0 vsize: 840728 [startup+1210.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 117537 70 0 0 25 0 11 0 490465943 860905472 31333 4294967295 134512640 134569956 3221224400 3221214680 1131200729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31333 13073 16 0 210166 0 vsize: 840728 [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) S 6124 25347 25346 0 -1 0 18072 3 1 0 118506 71 0 0 25 0 11 0 490465943 860905472 31416 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31416 13073 16 0 210166 0 vsize: 840728 [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 119479 71 0 0 25 0 11 0 490465943 860905472 31487 4294967295 134512640 134569956 3221224400 3221214680 1131200679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31487 13073 16 0 210166 0 vsize: 840728 [startup+1240.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6137 Raw data (stat): 6125 (java) R 6124 25347 25346 0 -1 0 18072 3 1 0 120447 71 0 0 25 0 11 0 490465943 860905472 31623 4294967295 134512640 134569956 3221224400 3221214680 1131200901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210182 31623 13073 16 0 210166 0 vsize: 840728 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.27 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 6139 Raw data (stat): 6125 (java) Z 6124 25347 25346 0 -1 1036 18072 21281 1 0 120452 77 4625 66 25 0 1 0 490465943 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): 1240.27 CPU time (s): 1252.22 CPU user time (s): 1250.78 CPU system time (s): 1.43978 CPU usage (%): 100.964 Max. virtual memory (Kb): 846872 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####