Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb |
MD5SUM | 15670523760c6351fb6de07139f11abe |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824000000000000000000 |
Number of bits of the biggest number in a constraint | 90 |
Biggest sum of numbers in a constraint | 3221975665359866705114824704 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.11183 |
Number of variables | 27730 |
Total number of constraints | 3627 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 3291 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5701 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-21 21:58:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14400 boxname=wulflinc23 idbench=1108 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 15670523760c6351fb6de07139f11abe /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb IDLAUNCH: 14400 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 662456 kB Buffers: 14136 kB Cached: 333952 kB SwapCached: 548 kB Active: 102236 kB Inactive: 247908 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 662204 kB SwapTotal: 2097136 kB SwapFree: 2095732 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5104 kB Slab: 16416 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 22:19:15 (client local time) WITH STATUS 143 IN 1273.02 SECONDS stats: 14400 7 1273.02 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb c reading problem c [nbvar=27730] c [nbconstr=3627] c time 369.986 c #vars 27730 c #clauses 4160 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 #### 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.99 0.96 0.91 1/54 13714 Raw data (stat): 13714 (runsolver) D 13713 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 548498683 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99992 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17998 0 1 0 808 39 0 0 24 0 10 0 548498683 855916544 19823 4294967295 134512640 134569956 3221224400 3221214696 1131210971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208964 19823 13073 16 0 208948 0 vsize: 835856 [startup+20.001 s] Raw data (loadavg): 1.07 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17998 0 1 0 1703 40 0 0 25 0 10 0 548498683 855883776 20423 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 20423 13073 16 0 208940 0 vsize: 835824 [startup+30.0012 s] Raw data (loadavg): 1.06 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 2571 40 0 0 25 0 10 0 548498683 856932352 21080 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21080 13073 16 0 209196 0 vsize: 836848 [startup+40.0099 s] Raw data (loadavg): 1.05 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 3476 40 0 0 25 0 10 0 548498683 856932352 21346 4294967295 134512640 134569956 3221224400 3221214816 1131258419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 21346 13073 16 0 209196 0 vsize: 836848 [startup+50.0165 s] Raw data (loadavg): 1.04 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 4397 41 0 0 25 0 10 0 548498683 856932352 21504 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 21504 13073 16 0 209196 0 vsize: 836848 [startup+60.0201 s] Raw data (loadavg): 1.04 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 17999 0 1 0 5311 41 0 0 25 0 10 0 548498683 856932352 21637 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 21637 13073 16 0 209196 0 vsize: 836848 [startup+70.0199 s] Raw data (loadavg): 1.03 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 6239 41 0 0 25 0 10 0 548498683 857980928 22243 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209468 22243 13073 16 0 209452 0 vsize: 837872 [startup+80.0297 s] Raw data (loadavg): 1.02 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 7173 41 0 0 25 0 10 0 548498683 856932352 21993 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21993 13073 16 0 209196 0 vsize: 836848 [startup+90.0301 s] Raw data (loadavg): 1.02 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 8107 42 0 0 25 0 10 0 548498683 856932352 22086 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22086 13073 16 0 209196 0 vsize: 836848 [startup+100.03 s] Raw data (loadavg): 1.02 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 9041 42 0 0 25 0 10 0 548498683 855883776 22074 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208956 22074 13073 16 0 208940 0 vsize: 835824 [startup+110.03 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 13723 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 9976 42 0 0 25 0 10 0 548498683 855883776 22155 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208956 22155 13073 16 0 208940 0 vsize: 835824 [startup+120.032 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 13724 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 10911 42 0 0 25 0 10 0 548498683 855883776 22234 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208956 22234 13073 16 0 208940 0 vsize: 835824 [startup+130.032 s] Raw data (loadavg): 1.08 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 11844 43 0 0 25 0 10 0 548498683 855883776 22309 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22309 13073 16 0 208940 0 vsize: 835824 [startup+140.033 s] Raw data (loadavg): 1.07 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 12780 43 0 0 25 0 10 0 548498683 855883776 22379 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22379 13073 16 0 208940 0 vsize: 835824 [startup+150.033 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 13716 43 0 0 25 0 10 0 548498683 855883776 22447 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22447 13073 16 0 208940 0 vsize: 835824 [startup+160.034 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 14651 43 0 0 25 0 10 0 548498683 855883776 22511 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22511 13073 16 0 208940 0 vsize: 835824 [startup+170.034 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 15586 44 0 0 24 0 10 0 548498683 855883776 22573 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22573 13073 16 0 208940 0 vsize: 835824 [startup+180.035 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 16513 44 0 0 25 0 10 0 548498683 855883776 22629 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22629 13073 16 0 208940 0 vsize: 835824 [startup+190.035 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 13776 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 17429 44 0 0 25 0 10 0 548498683 855883776 22690 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22690 13073 16 0 208940 0 vsize: 835824 [startup+200.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 18352 44 0 0 24 0 10 0 548498683 855883776 22907 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 22907 13073 16 0 208940 0 vsize: 835824 [startup+210.036 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 19251 46 0 0 25 0 10 0 548498683 855883776 25977 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 25977 13073 16 0 208940 0 vsize: 835824 [startup+220.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 20115 49 0 0 25 0 10 0 548498683 855883776 30971 4294967295 134512640 134569956 3221224400 3221214776 1131148102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 30971 13073 16 0 208940 0 vsize: 835824 [startup+230.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 20977 54 0 0 25 0 10 0 548498683 855883776 36202 4294967295 134512640 134569956 3221224400 3221214836 1131145592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 36202 13073 16 0 208940 0 vsize: 835824 [startup+240.037 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 21878 54 0 0 25 0 10 0 548498683 855883776 38983 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 38983 13073 16 0 208940 0 vsize: 835824 [startup+250.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 22765 58 0 0 25 0 10 0 548498683 855883776 42776 4294967295 134512640 134569956 3221224400 3221213568 1131197315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 42776 13073 16 0 208940 0 vsize: 835824 [startup+260.04 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18000 0 1 0 23629 63 0 0 25 0 10 0 548498683 855883776 48554 4294967295 134512640 134569956 3221224400 3221212944 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 48554 13073 16 0 208940 0 vsize: 835824 [startup+270.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 24450 69 0 0 25 0 10 0 548498683 855883776 56675 4294967295 134512640 134569956 3221224400 3221214272 1131307526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208956 56675 13073 16 0 208940 0 vsize: 835824 [startup+280.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 25264 72 0 0 25 0 10 0 548498683 855883776 64944 4294967295 134512640 134569956 3221224400 3221213600 1131308511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 64944 13073 16 0 208940 0 vsize: 835824 [startup+290.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 26136 78 0 0 25 0 10 0 548498683 855883776 70477 4294967295 134512640 134569956 3221224400 3221213824 1131309108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208956 70477 13073 16 0 208940 0 vsize: 835824 [startup+300.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 26948 82 0 0 25 0 10 0 548498683 855883776 78581 4294967295 134512640 134569956 3221224400 3221213936 1131308130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 78581 13073 16 0 208940 0 vsize: 835824 [startup+310.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 27819 87 0 0 25 0 10 0 548498683 855883776 84011 4294967295 134512640 134569956 3221224400 3221214048 1131310545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 84011 13073 16 0 208940 0 vsize: 835824 [startup+320.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 28629 92 0 0 25 0 10 0 548498683 855883776 92124 4294967295 134512640 134569956 3221224400 3221214440 1131272775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 92124 13073 16 0 208940 0 vsize: 835824 [startup+330.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18001 0 1 0 29446 96 0 0 25 0 10 0 548498683 855883776 99851 4294967295 134512640 134569956 3221224400 3221213664 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 99853 13073 16 0 208940 0 vsize: 835824 [startup+340.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 30303 101 0 0 25 0 10 0 548498683 855883776 106026 4294967295 134512640 134569956 3221224400 3221214840 1131160519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 106026 13073 16 0 208940 0 vsize: 835824 [startup+350.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 31108 105 0 0 25 0 10 0 548498683 855883776 114336 4294967295 134512640 134569956 3221224400 3221213712 1131310443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 114336 13073 16 0 208940 0 vsize: 835824 [startup+360.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 31976 110 0 0 25 0 10 0 548498683 855883776 119829 4294967295 134512640 134569956 3221224400 3221214776 1131148072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 119829 13073 16 0 208940 0 vsize: 835824 [startup+370.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 13778 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 32780 115 0 0 25 0 10 0 548498683 855883776 127987 4294967295 134512640 134569956 3221224400 3221214480 1131293815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208956 127987 13073 16 0 208940 0 vsize: 835824 [startup+380.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 33675 116 0 0 24 0 11 0 548498683 856412160 132286 4294967295 134512640 134569956 3221224400 3221214672 1131264949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132286 13073 16 0 209069 0 vsize: 836340 [startup+390.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 34650 116 0 0 25 0 11 0 548498683 856412160 132286 4294967295 134512640 134569956 3221224400 3221214672 1131265041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132286 13073 16 0 209069 0 vsize: 836340 [startup+400.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 35622 117 0 0 24 0 11 0 548498683 856412160 132287 4294967295 134512640 134569956 3221224400 3221214696 1131264949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132287 13073 16 0 209069 0 vsize: 836340 [startup+410.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 36596 117 0 0 25 0 11 0 548498683 856412160 132293 4294967295 134512640 134569956 3221224400 3221214792 1131384815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132293 13073 16 0 209069 0 vsize: 836340 [startup+420.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 37567 117 0 0 24 0 11 0 548498683 856412160 132305 4294967295 134512640 134569956 3221224400 3221214696 1131265112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132305 13073 16 0 209069 0 vsize: 836340 [startup+430.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 38542 117 0 0 25 0 11 0 548498683 856412160 132316 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132316 13073 16 0 209069 0 vsize: 836340 [startup+440.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 39514 117 0 0 24 0 11 0 548498683 856412160 132325 4294967295 134512640 134569956 3221224400 3221214792 1131385116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132325 13073 16 0 209069 0 vsize: 836340 [startup+450.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 40487 118 0 0 25 0 11 0 548498683 856412160 132336 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132336 13073 16 0 209069 0 vsize: 836340 [startup+460.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 41459 118 0 0 25 0 11 0 548498683 856412160 132346 4294967295 134512640 134569956 3221224400 3221214696 1131265009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132346 13073 16 0 209069 0 vsize: 836340 [startup+470.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 42433 119 0 0 25 0 11 0 548498683 856412160 132358 4294967295 134512640 134569956 3221224400 3221214792 1131386961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132358 13073 16 0 209069 0 vsize: 836340 [startup+480.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 43404 120 0 0 25 0 11 0 548498683 856412160 132371 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132371 13073 16 0 209069 0 vsize: 836340 [startup+490.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13779 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 44378 120 0 0 25 0 11 0 548498683 856412160 132380 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132380 13073 16 0 209069 0 vsize: 836340 [startup+500.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 45348 121 0 0 25 0 11 0 548498683 856412160 132393 4294967295 134512640 134569956 3221224400 3221214696 1131265337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132393 13073 16 0 209069 0 vsize: 836340 [startup+510.047 s] Raw data (loadavg): 1.00 1.00 0.92 3/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 46322 121 0 0 25 0 11 0 548498683 856412160 132405 4294967295 134512640 134569956 3221224400 3221214696 1131265384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132405 13073 16 0 209069 0 vsize: 836340 [startup+520.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 47293 121 0 0 25 0 11 0 548498683 856412160 132415 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132415 13073 16 0 209069 0 vsize: 836340 [startup+530.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 48264 121 0 0 24 0 11 0 548498683 856412160 132429 4294967295 134512640 134569956 3221224400 3221214792 1131386961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132429 13073 16 0 209069 0 vsize: 836340 [startup+540.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 49238 122 0 0 25 0 11 0 548498683 856412160 132446 4294967295 134512640 134569956 3221224400 3221214792 1131386301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132446 13073 16 0 209069 0 vsize: 836340 [startup+550.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 50210 122 0 0 25 0 11 0 548498683 856412160 132456 4294967295 134512640 134569956 3221224400 3221214696 1131264815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132456 13073 16 0 209069 0 vsize: 836340 [startup+560.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 51184 123 0 0 25 0 11 0 548498683 856412160 132466 4294967295 134512640 134569956 3221224400 3221214792 1131386228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132466 13073 16 0 209069 0 vsize: 836340 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 52156 123 0 0 25 0 11 0 548498683 856412160 132478 4294967295 134512640 134569956 3221224400 3221214792 1131386242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132478 13073 16 0 209069 0 vsize: 836340 [startup+580.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 53129 124 0 0 25 0 11 0 548498683 856412160 132487 4294967295 134512640 134569956 3221224400 3221214792 1131385997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132487 13073 16 0 209069 0 vsize: 836340 [startup+590.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 54101 124 0 0 25 0 11 0 548498683 856412160 132502 4294967295 134512640 134569956 3221224400 3221214696 1131264817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132502 13073 16 0 209069 0 vsize: 836340 [startup+600.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 55072 124 0 0 24 0 11 0 548498683 856412160 132513 4294967295 134512640 134569956 3221224400 3221214736 1131254241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132513 13073 16 0 209069 0 vsize: 836340 [startup+610.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 56046 125 0 0 25 0 11 0 548498683 856412160 132525 4294967295 134512640 134569956 3221224400 3221214792 1131386132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132525 13073 16 0 209069 0 vsize: 836340 [startup+620.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 57019 125 0 0 25 0 11 0 548498683 856412160 132537 4294967295 134512640 134569956 3221224400 3221214696 1131264470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132537 13073 16 0 209069 0 vsize: 836340 [startup+630.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 57993 126 0 0 25 0 11 0 548498683 856412160 132548 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132548 13073 16 0 209069 0 vsize: 836340 [startup+640.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 58965 126 0 0 25 0 11 0 548498683 856412160 132556 4294967295 134512640 134569956 3221224400 3221214696 1131264719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132556 13073 16 0 209069 0 vsize: 836340 [startup+650.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 59937 127 0 0 24 0 11 0 548498683 856412160 132569 4294967295 134512640 134569956 3221224400 3221214792 1131386993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132569 13073 16 0 209069 0 vsize: 836340 [startup+660.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 60912 127 0 0 25 0 11 0 548498683 856412160 132579 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132579 13073 16 0 209069 0 vsize: 836340 [startup+670.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 61883 127 0 0 25 0 11 0 548498683 856412160 132588 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132588 13073 16 0 209069 0 vsize: 836340 [startup+680.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 62858 127 0 0 25 0 11 0 548498683 856412160 132600 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132600 13073 16 0 209069 0 vsize: 836340 [startup+690.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 63831 127 0 0 25 0 11 0 548498683 856412160 132614 4294967295 134512640 134569956 3221224400 3221214696 1131264778 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132614 13073 16 0 209069 0 vsize: 836340 [startup+700.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 64803 127 0 0 25 0 11 0 548498683 856412160 132621 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132621 13073 16 0 209069 0 vsize: 836340 [startup+710.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 65777 128 0 0 25 0 11 0 548498683 856412160 132630 4294967295 134512640 134569956 3221224400 3221214792 1131385182 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132630 13073 16 0 209069 0 vsize: 836340 [startup+720.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 66749 128 0 0 25 0 11 0 548498683 856412160 132645 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132645 13073 16 0 209069 0 vsize: 836340 [startup+730.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 67720 129 0 0 24 0 11 0 548498683 856412160 132655 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132655 13073 16 0 209069 0 vsize: 836340 [startup+740.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 68694 129 0 0 25 0 11 0 548498683 856412160 132666 4294967295 134512640 134569956 3221224400 3221214792 1131387036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132666 13073 16 0 209069 0 vsize: 836340 [startup+750.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 69664 129 0 0 25 0 11 0 548498683 856412160 132677 4294967295 134512640 134569956 3221224400 3221214696 1131265886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132677 13073 16 0 209069 0 vsize: 836340 [startup+760.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 70637 130 0 0 25 0 11 0 548498683 856412160 132691 4294967295 134512640 134569956 3221224400 3221214696 1131265376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132691 13073 16 0 209069 0 vsize: 836340 [startup+770.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 71607 130 0 0 25 0 11 0 548498683 856412160 132706 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132706 13073 16 0 209069 0 vsize: 836340 [startup+780.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 72578 131 0 0 25 0 11 0 548498683 856412160 132721 4294967295 134512640 134569956 3221224400 3221214792 1131384783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132721 13073 16 0 209069 0 vsize: 836340 [startup+790.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 73552 131 0 0 25 0 11 0 548498683 856412160 132739 4294967295 134512640 134569956 3221224400 3221214792 1131386150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132739 13073 16 0 209069 0 vsize: 836340 [startup+800.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 74524 132 0 0 25 0 11 0 548498683 856412160 132754 4294967295 134512640 134569956 3221224400 3221214696 1131265699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132754 13073 16 0 209069 0 vsize: 836340 [startup+810.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 75496 132 0 0 24 0 11 0 548498683 856412160 132763 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132763 13073 16 0 209069 0 vsize: 836340 [startup+820.062 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 76470 132 0 0 25 0 11 0 548498683 856412160 132772 4294967295 134512640 134569956 3221224400 3221214696 1131264949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132772 13073 16 0 209069 0 vsize: 836340 [startup+830.063 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 77440 133 0 0 25 0 11 0 548498683 856412160 132784 4294967295 134512640 134569956 3221224400 3221214696 1131265699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132784 13073 16 0 209069 0 vsize: 836340 [startup+840.063 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 78411 133 0 0 24 0 11 0 548498683 856412160 132798 4294967295 134512640 134569956 3221224400 3221214696 1131265021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132798 13073 16 0 209069 0 vsize: 836340 [startup+850.062 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 79385 134 0 0 25 0 11 0 548498683 856412160 132810 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132810 13073 16 0 209069 0 vsize: 836340 [startup+860.063 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 80356 134 0 0 25 0 11 0 548498683 856412160 132828 4294967295 134512640 134569956 3221224400 3221214696 1131265696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132828 13073 16 0 209069 0 vsize: 836340 [startup+870.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 81326 134 0 0 24 0 11 0 548498683 856412160 132840 4294967295 134512640 134569956 3221224400 3221214792 1131384970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132840 13073 16 0 209069 0 vsize: 836340 [startup+880.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 82299 134 0 0 25 0 11 0 548498683 856412160 132853 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132853 13073 16 0 209069 0 vsize: 836340 [startup+890.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 83269 135 0 0 25 0 11 0 548498683 856412160 132872 4294967295 134512640 134569956 3221224400 3221214696 1131264441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132872 13073 16 0 209069 0 vsize: 836340 [startup+900.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18029 0 1 0 84243 135 0 0 25 0 11 0 548498683 856412160 132886 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132886 13073 16 0 209069 0 vsize: 836340 [startup+910.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 85215 135 0 0 25 0 11 0 548498683 856412160 132897 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 132897 13073 16 0 209069 0 vsize: 836340 [startup+920.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 86187 136 0 0 25 0 11 0 548498683 856412160 132908 4294967295 134512640 134569956 3221224400 3221214704 1131346853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132908 13073 16 0 209069 0 vsize: 836340 [startup+930.066 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 87161 136 0 0 25 0 11 0 548498683 856412160 132923 4294967295 134512640 134569956 3221224400 3221214696 1131265890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132923 13073 16 0 209069 0 vsize: 836340 [startup+940.066 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 88132 136 0 0 25 0 11 0 548498683 856412160 132932 4294967295 134512640 134569956 3221224400 3221214792 1131385081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132932 13073 16 0 209069 0 vsize: 836340 [startup+950.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 89105 137 0 0 25 0 11 0 548498683 856412160 132945 4294967295 134512640 134569956 3221224400 3221214792 1131386034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132945 13073 16 0 209069 0 vsize: 836340 [startup+960.066 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 90076 137 0 0 25 0 11 0 548498683 856412160 132964 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132964 13073 16 0 209069 0 vsize: 836340 [startup+970.067 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 91049 137 0 0 25 0 11 0 548498683 856412160 132977 4294967295 134512640 134569956 3221224400 3221214792 1131385005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132977 13073 16 0 209069 0 vsize: 836340 [startup+980.068 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 92021 137 0 0 25 0 11 0 548498683 856412160 132997 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 132997 13073 16 0 209069 0 vsize: 836340 [startup+990.068 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 92995 137 0 0 25 0 11 0 548498683 856412160 133011 4294967295 134512640 134569956 3221224400 3221214792 1131386250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133011 13073 16 0 209069 0 vsize: 836340 [startup+1000.07 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 93967 137 0 0 25 0 11 0 548498683 856412160 133026 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133026 13073 16 0 209069 0 vsize: 836340 [startup+1010.07 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 94938 137 0 0 24 0 11 0 548498683 856412160 133042 4294967295 134512640 134569956 3221224400 3221214696 1131265059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133042 13073 16 0 209069 0 vsize: 836340 [startup+1020.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 95911 137 0 0 25 0 11 0 548498683 856412160 133055 4294967295 134512640 134569956 3221224400 3221214792 1131385016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133055 13073 16 0 209069 0 vsize: 836340 [startup+1030.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 96880 138 0 0 25 0 11 0 548498683 856412160 133069 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133069 13073 16 0 209069 0 vsize: 836340 [startup+1040.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 97853 138 0 0 25 0 11 0 548498683 856412160 133088 4294967295 134512640 134569956 3221224400 3221214792 1131385889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133088 13073 16 0 209069 0 vsize: 836340 [startup+1050.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 98823 138 0 0 25 0 11 0 548498683 856412160 133111 4294967295 134512640 134569956 3221224400 3221214792 1131386286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133111 13073 16 0 209069 0 vsize: 836340 [startup+1060.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 99796 138 0 0 25 0 11 0 548498683 856412160 133125 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133125 13073 16 0 209069 0 vsize: 836340 [startup+1070.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 100767 138 0 0 25 0 11 0 548498683 856412160 133147 4294967295 134512640 134569956 3221224400 3221214696 1131264817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133147 13073 16 0 209069 0 vsize: 836340 [startup+1080.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 101740 138 0 0 25 0 11 0 548498683 856412160 133163 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133163 13073 16 0 209069 0 vsize: 836340 [startup+1090.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 102711 138 0 0 25 0 11 0 548498683 856412160 133181 4294967295 134512640 134569956 3221224400 3221214696 1131265680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133181 13073 16 0 209069 0 vsize: 836340 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 103682 138 0 0 24 0 11 0 548498683 856412160 133200 4294967295 134512640 134569956 3221224400 3221214696 1131265720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133200 13073 16 0 209069 0 vsize: 836340 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 104655 138 0 0 25 0 11 0 548498683 856412160 133213 4294967295 134512640 134569956 3221224400 3221214696 1131265741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133213 13073 16 0 209069 0 vsize: 836340 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 105625 139 0 0 25 0 11 0 548498683 856412160 133229 4294967295 134512640 134569956 3221224400 3221214696 1131264881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133229 13073 16 0 209069 0 vsize: 836340 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 106598 139 0 0 25 0 11 0 548498683 856412160 133248 4294967295 134512640 134569956 3221224400 3221214656 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133248 13073 16 0 209069 0 vsize: 836340 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 107568 139 0 0 25 0 11 0 548498683 856412160 133266 4294967295 134512640 134569956 3221224400 3221214792 1131386095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133266 13073 16 0 209069 0 vsize: 836340 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 108540 139 0 0 25 0 11 0 548498683 856412160 133284 4294967295 134512640 134569956 3221224400 3221214792 1131387036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133284 13073 16 0 209069 0 vsize: 836340 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 109509 139 0 0 25 0 11 0 548498683 856412160 133303 4294967295 134512640 134569956 3221224400 3221214696 1131264533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 133303 13073 16 0 209069 0 vsize: 836340 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 110477 139 0 0 24 0 11 0 548498683 856412160 133324 4294967295 134512640 134569956 3221224400 3221214696 1131264470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133324 13073 16 0 209069 0 vsize: 836340 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 111450 139 0 0 25 0 11 0 548498683 856412160 133348 4294967295 134512640 134569956 3221224400 3221214696 1131265057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133348 13073 16 0 209069 0 vsize: 836340 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 112419 139 0 0 25 0 11 0 548498683 856412160 133366 4294967295 134512640 134569956 3221224400 3221214792 1131384966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133366 13073 16 0 209069 0 vsize: 836340 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 113392 139 0 0 25 0 11 0 548498683 856412160 133387 4294967295 134512640 134569956 3221224400 3221214792 1131386054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133387 13073 16 0 209069 0 vsize: 836340 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 114362 140 0 0 25 0 11 0 548498683 856412160 133407 4294967295 134512640 134569956 3221224400 3221214696 1131265029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133407 13073 16 0 209069 0 vsize: 836340 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 115335 140 0 0 25 0 11 0 548498683 856412160 133423 4294967295 134512640 134569956 3221224400 3221214696 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133423 13073 16 0 209069 0 vsize: 836340 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 116305 140 0 0 25 0 11 0 548498683 856412160 133445 4294967295 134512640 134569956 3221224400 3221214696 1131265886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209085 133445 13073 16 0 209069 0 vsize: 836340 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 117275 140 0 0 25 0 11 0 548498683 856412160 133463 4294967295 134512640 134569956 3221224400 3221214696 1131265029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133463 13073 16 0 209069 0 vsize: 836340 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 118248 140 0 0 25 0 11 0 548498683 856412160 133480 4294967295 134512640 134569956 3221224400 3221214792 1131386098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133480 13073 16 0 209069 0 vsize: 836340 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 119217 140 0 0 25 0 11 0 548498683 856412160 133497 4294967295 134512640 134569956 3221224400 3221214696 1131265041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133497 13073 16 0 209069 0 vsize: 836340 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13781 Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 120190 140 0 0 25 0 11 0 548498683 856412160 133517 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209085 133517 13073 16 0 209069 0 vsize: 836340 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.39 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 13782 Raw data (stat): 13714 (java) Z 13713 3260 3259 0 -1 1036 18029 116809 1 0 120194 140 6713 253 25 0 1 0 548498683 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): 1270.39 CPU time (s): 1273.02 CPU user time (s): 1269.08 CPU system time (s): 3.9414 CPU usage (%): 100.207 Max. virtual memory (Kb): 837872 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####