Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb |
MD5SUM | c3974db7e8a7a7dcf1a342d47c14e34f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 376 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 762 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 762 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 762 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03584 |
Number of variables | 762 |
Total number of constraints | 7299 |
Number of constraints which are clauses | 7299 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-13 16:29:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1350 boxname=wulflinc4 idbench=150 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c3974db7e8a7a7dcf1a342d47c14e34f /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb IDLAUNCH: 1350 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 451.169 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: 934180 kB Buffers: 32972 kB Cached: 48084 kB SwapCached: 0 kB Active: 43548 kB Inactive: 40364 kB HighTotal: 131008 kB HighFree: 79156 kB LowTotal: 903652 kB LowFree: 855024 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6920 kB Slab: 11092 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:50:33 (client local time) WITH STATUS 143 IN SECONDS stats: 1350 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb c reading problem c [nbvar=762] c [nbconstr=7299] c time 4.427 c #vars 762 c #clauses 7299 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=379 c Current CPU time (ms) : 53.317 c starts : 5 c conflicts : 833 c decisions : 3992 c propagations : 150834 c inspects : 833118 c learned literals : 1 c learned binary clauses : 12 c learned ternary clauses : 2 c learned clauses : 832 c root simplifications : 6 c c CURRENT OPTIMUM=378 c Current CPU time (ms) : 55.077 c starts : 6 c conflicts : 862 c decisions : 4035 c propagations : 154799 c inspects : 858652 c learned literals : 1 c learned binary clauses : 12 c learned ternary clauses : 2 c learned clauses : 861 c root simplifications : 7 c c CURRENT OPTIMUM=377 c Current CPU time (ms) : 328.992 c starts : 14 c conflicts : 4381 c decisions : 9020 c propagations : 637660 c inspects : 4631232 c learned literals : 1 c learned binary clauses : 69 c learned ternary clauses : 29 c learned clauses : 4380 c root simplifications : 22 c c CURRENT OPTIMUM=376 c Current CPU time (ms) : 457.632 c starts : 18 c conflicts : 4985 c decisions : 10137 c propagations : 724123 c inspects : 5587258 c learned literals : 1 c learned binary clauses : 91 c learned ternary clauses : 39 c learned clauses : 4984 c root simplifications : 27 #### 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.92 0.98 0.88 2/54 6314 Raw data (stat): 6314 (runsolver) R 6313 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419174234 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0216 s] Raw data (loadavg): 1.09 1.02 0.89 3/64 6324 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 16833 0 1 0 577 41 0 0 25 0 11 0 419174234 863678464 19640 4294967295 134512640 134569956 3221224416 3221214752 1131354363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210859 19641 13073 16 0 210843 0 vsize: 843436 [startup+20.0678 s] Raw data (loadavg): 1.08 1.02 0.90 2/64 6324 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18079 0 1 0 1525 45 0 0 25 0 11 0 419174234 862859264 22481 4294967295 134512640 134569956 3221224416 3221214760 1131239662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 22481 13073 16 0 210643 0 vsize: 842636 [startup+30.0684 s] Raw data (loadavg): 1.07 1.01 0.90 2/64 6324 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18079 0 1 0 2489 45 0 0 24 0 11 0 419174234 862859264 23079 4294967295 134512640 134569956 3221224416 3221214744 1131355221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 23079 13073 16 0 210643 0 vsize: 842636 [startup+40.0697 s] Raw data (loadavg): 1.06 1.01 0.90 2/64 6324 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 0 1 0 3459 45 0 0 25 0 11 0 419174234 862859264 23176 4294967295 134512640 134569956 3221224416 3221214736 1131412432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 23176 13073 16 0 210643 0 vsize: 842636 [startup+50.0706 s] Raw data (loadavg): 1.12 1.03 0.90 2/64 6324 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 0 1 0 4427 45 0 0 25 0 11 0 419174234 862859264 23511 4294967295 134512640 134569956 3221224416 3221214744 1131355338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 23511 13073 16 0 210643 0 vsize: 842636 [startup+60.071 s] Raw data (loadavg): 1.10 1.03 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 5386 46 0 0 25 0 11 0 419174234 867389440 24936 4294967295 134512640 134569956 3221224416 3221214688 1131209605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211765 24936 13073 16 0 211749 0 vsize: 847060 [startup+70.0724 s] Raw data (loadavg): 1.08 1.03 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 6335 46 0 0 25 0 11 0 419174234 862859264 24104 4294967295 134512640 134569956 3221224416 3221214784 1131381001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 24104 13073 16 0 210643 0 vsize: 842636 [startup+80.0733 s] Raw data (loadavg): 1.07 1.03 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 7291 46 0 0 25 0 11 0 419174234 862859264 24204 4294967295 134512640 134569956 3221224416 3221214784 1131380875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 24204 13073 16 0 210643 0 vsize: 842636 [startup+90.0743 s] Raw data (loadavg): 1.06 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 8238 47 0 0 25 0 11 0 419174234 862859264 24493 4294967295 134512640 134569956 3221224416 3221214856 1131340839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 24493 13073 16 0 210643 0 vsize: 842636 [startup+100.075 s] Raw data (loadavg): 1.05 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 9193 47 0 0 25 0 11 0 419174234 862859264 24912 4294967295 134512640 134569956 3221224416 3221214688 1131209601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 24912 13073 16 0 210643 0 vsize: 842636 [startup+110.076 s] Raw data (loadavg): 1.04 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 10150 48 0 0 25 0 11 0 419174234 862859264 25198 4294967295 134512640 134569956 3221224416 3221214784 1131380953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 25198 13073 16 0 210643 0 vsize: 842636 [startup+120.077 s] Raw data (loadavg): 1.04 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 11106 48 0 0 25 0 11 0 419174234 862859264 25457 4294967295 134512640 134569956 3221224416 3221214760 1131240237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 25457 13073 16 0 210643 0 vsize: 842636 [startup+130.077 s] Raw data (loadavg): 1.03 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 12061 48 0 0 25 0 11 0 419174234 862859264 25777 4294967295 134512640 134569956 3221224416 3221214824 1131376123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 25777 13073 16 0 210643 0 vsize: 842636 [startup+140.078 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 13010 49 0 0 25 0 11 0 419174234 862859264 26015 4294967295 134512640 134569956 3221224416 3221214704 1131606028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26015 13073 16 0 210643 0 vsize: 842636 [startup+150.079 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 13967 49 0 0 25 0 11 0 419174234 862859264 26209 4294967295 134512640 134569956 3221224416 3221214688 1131209726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26209 13073 16 0 210643 0 vsize: 842636 [startup+160.079 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 14916 49 0 0 25 0 11 0 419174234 862859264 26410 4294967295 134512640 134569956 3221224416 3221214856 1131341303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26410 13073 16 0 210643 0 vsize: 842636 [startup+170.08 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 15870 49 0 0 25 0 11 0 419174234 862859264 26564 4294967295 134512640 134569956 3221224416 3221214416 1076461221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26564 13073 16 0 210643 0 vsize: 842636 [startup+180.08 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 16814 50 0 0 25 0 11 0 419174234 862859264 26761 4294967295 134512640 134569956 3221224416 3221214680 1131422894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26761 13073 16 0 210643 0 vsize: 842636 [startup+190.081 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 17764 50 0 0 25 0 11 0 419174234 862859264 26960 4294967295 134512640 134569956 3221224416 3221214816 1131459063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 26960 13073 16 0 210643 0 vsize: 842636 [startup+200.081 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 18713 51 0 0 25 0 11 0 419174234 862859264 27127 4294967295 134512640 134569956 3221224416 3221214856 1131341140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 27127 13073 16 0 210643 0 vsize: 842636 [startup+210.082 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 19661 51 0 0 25 0 11 0 419174234 862859264 27426 4294967295 134512640 134569956 3221224416 3221214856 1131340866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 27426 13073 16 0 210643 0 vsize: 842636 [startup+220.083 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 20611 52 0 0 25 0 11 0 419174234 862859264 27663 4294967295 134512640 134569956 3221224416 3221214704 1131606032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 27663 13073 16 0 210643 0 vsize: 842636 [startup+230.083 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 21556 52 0 0 25 0 11 0 419174234 862859264 27955 4294967295 134512640 134569956 3221224416 3221214688 1131210115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 27955 13073 16 0 210643 0 vsize: 842636 [startup+240.084 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 22502 53 0 0 25 0 11 0 419174234 862859264 28187 4294967295 134512640 134569956 3221224416 3221214784 1131380751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 28187 13073 16 0 210643 0 vsize: 842636 [startup+250.084 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 23457 53 0 0 25 0 11 0 419174234 862859264 28487 4294967295 134512640 134569956 3221224416 3221214688 1131209983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 28487 13073 16 0 210643 0 vsize: 842636 [startup+260.086 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 24402 54 0 0 25 0 11 0 419174234 862859264 28788 4294967295 134512640 134569956 3221224416 3221214688 1131210575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 28788 13073 16 0 210643 0 vsize: 842636 [startup+270.087 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 25353 54 0 0 25 0 11 0 419174234 862859264 29129 4294967295 134512640 134569956 3221224416 3221214688 1131209641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 29129 13073 16 0 210643 0 vsize: 842636 [startup+280.086 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 26299 54 0 0 25 0 11 0 419174234 862859264 29377 4294967295 134512640 134569956 3221224416 3221214696 1131144337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 29377 13073 16 0 210643 0 vsize: 842636 [startup+290.088 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 27252 54 0 0 25 0 11 0 419174234 862859264 29593 4294967295 134512640 134569956 3221224416 3221214784 1131381801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 29593 13073 16 0 210643 0 vsize: 842636 [startup+300.089 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 28204 54 0 0 25 0 11 0 419174234 862859264 29792 4294967295 134512640 134569956 3221224416 3221214688 1131239479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 29792 13073 16 0 210643 0 vsize: 842636 [startup+310.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 29155 54 0 0 25 0 11 0 419174234 862859264 29967 4294967295 134512640 134569956 3221224416 3221214704 1131606176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 29967 13073 16 0 210643 0 vsize: 842636 [startup+320.091 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6326 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 30094 54 0 0 25 0 11 0 419174234 862859264 30228 4294967295 134512640 134569956 3221224416 3221214856 1131341039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30228 13073 16 0 210643 0 vsize: 842636 [startup+330.092 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 31039 54 0 0 25 0 11 0 419174234 862859264 30413 4294967295 134512640 134569956 3221224416 3221214108 1131608779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30413 13073 16 0 210643 0 vsize: 842636 [startup+340.092 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 32020 54 0 0 25 0 11 0 419174234 862859264 30514 4294967295 134512640 134569956 3221224416 3221214688 1131210251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30514 13073 16 0 210643 0 vsize: 842636 [startup+350.092 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 32985 54 0 0 25 0 11 0 419174234 862859264 30572 4294967295 134512640 134569956 3221224416 3221214248 1085679359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30572 13073 16 0 210643 0 vsize: 842636 [startup+360.094 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 33950 54 0 0 25 0 11 0 419174234 862859264 30679 4294967295 134512640 134569956 3221224416 3221214056 1131608845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 30679 13073 16 0 210643 0 vsize: 842636 [startup+370.094 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 34915 54 0 0 25 0 11 0 419174234 862859264 30772 4294967295 134512640 134569956 3221224416 3221214744 1131355211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30772 13073 16 0 210643 0 vsize: 842636 [startup+380.094 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 35880 54 0 0 25 0 11 0 419174234 862859264 30898 4294967295 134512640 134569956 3221224416 3221214784 1131382960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30898 13073 16 0 210643 0 vsize: 842636 [startup+390.095 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 36854 54 0 0 25 0 11 0 419174234 862859264 30965 4294967295 134512640 134569956 3221224416 3221214688 1131209983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 30965 13073 16 0 210643 0 vsize: 842636 [startup+400.095 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 37811 54 0 0 25 0 11 0 419174234 862859264 31061 4294967295 134512640 134569956 3221224416 3221214088 1131608785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31061 13073 16 0 210643 0 vsize: 842636 [startup+410.096 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 38769 54 0 0 25 0 11 0 419174234 862859264 31253 4294967295 134512640 134569956 3221224416 3221214784 1131380914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31253 13073 16 0 210643 0 vsize: 842636 [startup+420.097 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 39730 54 0 0 25 0 11 0 419174234 862859264 31331 4294967295 134512640 134569956 3221224416 3221214784 1131380921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31331 13073 16 0 210643 0 vsize: 842636 [startup+430.098 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 40692 54 0 0 25 0 11 0 419174234 862859264 31446 4294967295 134512640 134569956 3221224416 3221214688 1131210646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31446 13073 16 0 210643 0 vsize: 842636 [startup+440.099 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 41648 55 0 0 25 0 11 0 419174234 862859264 31606 4294967295 134512640 134569956 3221224416 3221214856 1131340846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31606 13073 16 0 210643 0 vsize: 842636 [startup+450.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6327 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 42594 55 0 0 25 0 11 0 419174234 862859264 31771 4294967295 134512640 134569956 3221224416 3221214892 1080204224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31771 13073 16 0 210643 0 vsize: 842636 [startup+460.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 43563 55 0 0 25 0 11 0 419174234 862859264 31855 4294967295 134512640 134569956 3221224416 3221214408 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 31855 13073 16 0 210643 0 vsize: 842636 [startup+470.101 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 44555 55 0 0 25 0 11 0 419174234 862859264 31879 4294967295 134512640 134569956 3221224416 3221214192 1131644888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 31879 13073 16 0 210643 0 vsize: 842636 [startup+480.102 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 45514 55 0 0 20 0 11 0 419174234 862859264 32026 4294967295 134512640 134569956 3221224416 3221214736 1131209813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32026 13073 16 0 210643 0 vsize: 842636 [startup+490.102 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 46473 55 0 0 25 0 11 0 419174234 862859264 32110 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32110 13073 16 0 210643 0 vsize: 842636 [startup+500.102 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 47434 55 0 0 25 0 11 0 419174234 862859264 32206 4294967295 134512640 134569956 3221224416 3221214736 1131209983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32206 13073 16 0 210643 0 vsize: 842636 [startup+510.104 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 48396 55 0 0 25 0 11 0 419174234 862859264 32342 4294967295 134512640 134569956 3221224416 3221214736 1131210169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32342 13073 16 0 210643 0 vsize: 842636 [startup+520.105 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 49360 55 0 0 25 0 11 0 419174234 862859264 32411 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32411 13073 16 0 210643 0 vsize: 842636 [startup+530.105 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 50332 55 0 0 25 0 11 0 419174234 862859264 32474 4294967295 134512640 134569956 3221224416 3221214508 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32474 13073 16 0 210643 0 vsize: 842636 [startup+540.106 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 51294 55 0 0 24 0 11 0 419174234 862859264 32642 4294967295 134512640 134569956 3221224416 3221214832 1131382869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32642 13073 16 0 210643 0 vsize: 842636 [startup+550.106 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 52264 55 0 0 25 0 11 0 419174234 862859264 32688 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 32688 13073 16 0 210643 0 vsize: 842636 [startup+560.108 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 53229 55 0 0 25 0 11 0 419174234 862859264 32761 4294967295 134512640 134569956 3221224416 3221214736 1131209968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32761 13073 16 0 210643 0 vsize: 842636 [startup+570.109 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 54205 55 0 0 25 0 11 0 419174234 862859264 32805 4294967295 134512640 134569956 3221224416 3221214736 1131209726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 32805 13073 16 0 210643 0 vsize: 842636 [startup+580.108 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 55174 55 0 0 25 0 11 0 419174234 862859264 32875 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 32875 13073 16 0 210643 0 vsize: 842636 [startup+590.108 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 56142 55 0 0 25 0 11 0 419174234 862859264 32945 4294967295 134512640 134569956 3221224416 3221214736 1131209932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 32945 13073 16 0 210643 0 vsize: 842636 [startup+600.11 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 57106 55 0 0 25 0 11 0 419174234 862859264 33000 4294967295 134512640 134569956 3221224416 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33000 13073 16 0 210643 0 vsize: 842636 [startup+610.11 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 58084 56 0 0 25 0 11 0 419174234 862859264 33033 4294967295 134512640 134569956 3221224416 3221213768 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33033 13073 16 0 210643 0 vsize: 842636 [startup+620.11 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 59046 57 0 0 25 0 11 0 419174234 862859264 33079 4294967295 134512640 134569956 3221224416 3221213904 1085679346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33079 13073 16 0 210643 0 vsize: 842636 [startup+630.11 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 60008 57 0 0 25 0 11 0 419174234 862859264 33135 4294967295 134512640 134569956 3221224416 3221214736 1131209716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33135 13073 16 0 210643 0 vsize: 842636 [startup+640.111 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 60971 57 0 0 25 0 11 0 419174234 862859264 33223 4294967295 134512640 134569956 3221224416 3221213984 1131647852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210659 33223 13073 16 0 210643 0 vsize: 842636 [startup+650.111 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 61929 57 0 0 25 0 11 0 419174234 862859264 33318 4294967295 134512640 134569956 3221224416 3221214156 1131608784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33318 13073 16 0 210643 0 vsize: 842636 [startup+660.112 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 62889 58 0 0 25 0 11 0 419174234 862859264 33460 4294967295 134512640 134569956 3221224416 3221214408 1085679538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33460 13073 16 0 210643 0 vsize: 842636 [startup+670.112 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 63866 58 0 0 25 0 11 0 419174234 862859264 33504 4294967295 134512640 134569956 3221224416 3221214736 1131209641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33504 13073 16 0 210643 0 vsize: 842636 [startup+680.112 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 64837 59 0 0 25 0 11 0 419174234 862859264 33557 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33557 13073 16 0 210643 0 vsize: 842636 [startup+690.113 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 65808 59 0 0 25 0 11 0 419174234 862859264 33590 4294967295 134512640 134569956 3221224416 3221214380 1085632316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33590 13073 16 0 210643 0 vsize: 842636 [startup+700.114 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 66773 60 0 0 25 0 11 0 419174234 862859264 33637 4294967295 134512640 134569956 3221224416 3221214548 1131608784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33637 13073 16 0 210643 0 vsize: 842636 [startup+710.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) S 6313 5897 5896 0 -1 0 18086 3 1 0 67741 60 0 0 25 0 11 0 419174234 862859264 33689 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33689 13073 16 0 210643 0 vsize: 842636 [startup+720.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 68705 60 0 0 25 0 11 0 419174234 862859264 33737 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33737 13073 16 0 210643 0 vsize: 842636 [startup+730.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 69682 60 0 0 25 0 11 0 419174234 862859264 33773 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33773 13073 16 0 210643 0 vsize: 842636 [startup+740.116 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 70654 61 0 0 25 0 11 0 419174234 862859264 33850 4294967295 134512640 134569956 3221224416 3221214736 1131209928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33850 13073 16 0 210643 0 vsize: 842636 [startup+750.116 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 71627 61 0 0 25 0 11 0 419174234 862859264 33904 4294967295 134512640 134569956 3221224416 3221214216 1131608785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33904 13073 16 0 210643 0 vsize: 842636 [startup+760.118 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 72588 61 0 0 24 0 11 0 419174234 862859264 33951 4294967295 134512640 134569956 3221224416 3221214832 1131382901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 33951 13073 16 0 210643 0 vsize: 842636 [startup+770.119 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 73556 62 0 0 25 0 11 0 419174234 862859264 34012 4294967295 134512640 134569956 3221224416 3221214832 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34012 13073 16 0 210643 0 vsize: 842636 [startup+780.118 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 74524 62 0 0 25 0 11 0 419174234 862859264 34041 4294967295 134512640 134569956 3221224416 3221214492 1131608779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34041 13073 16 0 210643 0 vsize: 842636 [startup+790.119 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 75492 62 0 0 25 0 11 0 419174234 862859264 34079 4294967295 134512640 134569956 3221224416 3221214832 1131381031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34079 13073 16 0 210643 0 vsize: 842636 [startup+800.12 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 76465 62 0 0 25 0 11 0 419174234 862859264 34127 4294967295 134512640 134569956 3221224416 3221214324 1131608779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34127 13073 16 0 210643 0 vsize: 842636 [startup+810.121 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 77439 63 0 0 25 0 11 0 419174234 862859264 34174 4294967295 134512640 134569956 3221224416 3221214408 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34174 13073 16 0 210643 0 vsize: 842636 [startup+820.121 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 78412 63 0 0 25 0 11 0 419174234 862859264 34208 4294967295 134512640 134569956 3221224416 3221214464 1085679284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34208 13073 16 0 210643 0 vsize: 842636 [startup+830.121 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 79379 63 0 0 25 0 11 0 419174234 862859264 34252 4294967295 134512640 134569956 3221224416 3221213932 1131608720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34252 13073 16 0 210643 0 vsize: 842636 [startup+840.122 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 80351 63 0 0 25 0 11 0 419174234 862859264 34283 4294967295 134512640 134569956 3221224416 3221214576 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34283 13073 16 0 210643 0 vsize: 842636 [startup+850.122 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 81317 64 0 0 25 0 11 0 419174234 862859264 34330 4294967295 134512640 134569956 3221224416 3221214832 1131380751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34330 13073 16 0 210643 0 vsize: 842636 [startup+860.122 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 82279 64 0 0 25 0 11 0 419174234 862859264 34374 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34374 13073 16 0 210643 0 vsize: 842636 [startup+870.123 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 83252 64 0 0 25 0 11 0 419174234 862859264 34430 4294967295 134512640 134569956 3221224416 3221214828 1131209580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34430 13073 16 0 210643 0 vsize: 842636 [startup+880.123 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 84220 64 0 0 25 0 11 0 419174234 862859264 34493 4294967295 134512640 134569956 3221224416 3221214040 1131647786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34493 13073 16 0 210643 0 vsize: 842636 [startup+890.124 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 85188 64 0 0 25 0 11 0 419174234 862859264 34525 4294967295 134512640 134569956 3221224416 3221214736 1131210646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34525 13073 16 0 210643 0 vsize: 842636 [startup+900.124 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 86152 65 0 0 25 0 11 0 419174234 862859264 34588 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34588 13073 16 0 210643 0 vsize: 842636 [startup+910.126 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 87122 65 0 0 25 0 11 0 419174234 862859264 34620 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34620 13073 16 0 210643 0 vsize: 842636 [startup+920.126 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 88092 65 0 0 25 0 11 0 419174234 862859264 34658 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34658 13073 16 0 210643 0 vsize: 842636 [startup+930.126 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 89067 65 0 0 25 0 11 0 419174234 862859264 34689 4294967295 134512640 134569956 3221224416 3221214736 1131210096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34689 13073 16 0 210643 0 vsize: 842636 [startup+940.128 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 90042 65 0 0 25 0 11 0 419174234 862859264 34726 4294967295 134512640 134569956 3221224416 3221214832 1131382842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34726 13073 16 0 210643 0 vsize: 842636 [startup+950.128 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 91010 66 0 0 25 0 11 0 419174234 862859264 34744 4294967295 134512640 134569956 3221224416 3221214736 1131209923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34744 13073 16 0 210643 0 vsize: 842636 [startup+960.129 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) S 6313 5897 5896 0 -1 0 18086 3 1 0 91982 66 0 0 25 0 11 0 419174234 862859264 34762 4294967295 134512640 134569956 3221224416 3221213376 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34762 13073 16 0 210643 0 vsize: 842636 [startup+970.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 92955 66 0 0 25 0 11 0 419174234 862859264 34781 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34781 13073 16 0 210643 0 vsize: 842636 [startup+980.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 93925 67 0 0 25 0 11 0 419174234 862859264 34812 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34812 13073 16 0 210643 0 vsize: 842636 [startup+990.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 94896 67 0 0 25 0 11 0 419174234 862859264 34848 4294967295 134512640 134569956 3221224416 3221213856 1131608823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34848 13073 16 0 210643 0 vsize: 842636 [startup+1000.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 95862 68 0 0 25 0 11 0 419174234 862859264 34906 4294967295 134512640 134569956 3221224416 3221214736 1131209932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34906 13073 16 0 210643 0 vsize: 842636 [startup+1010.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 96827 68 0 0 25 0 11 0 419174234 862859264 34969 4294967295 134512640 134569956 3221224416 3221214832 1131381953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 34969 13073 16 0 210643 0 vsize: 842636 [startup+1020.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 97795 68 0 0 25 0 11 0 419174234 862859264 35002 4294967295 134512640 134569956 3221224416 3221214352 1085679429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35002 13073 16 0 210643 0 vsize: 842636 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 98766 68 0 0 25 0 11 0 419174234 862859264 35028 4294967295 134512640 134569956 3221224416 3221214480 1131648008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35028 13073 16 0 210643 0 vsize: 842636 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 99743 68 0 0 25 0 11 0 419174234 862859264 35082 4294967295 134512640 134569956 3221224416 3221214384 1131608705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35082 13073 16 0 210643 0 vsize: 842636 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 100716 69 0 0 25 0 11 0 419174234 862859264 35103 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35103 13073 16 0 210643 0 vsize: 842636 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 101688 69 0 0 25 0 11 0 419174234 862859264 35125 4294967295 134512640 134569956 3221224416 3221214832 1131380953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35125 13073 16 0 210643 0 vsize: 842636 [startup+1070.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 102652 69 0 0 25 0 11 0 419174234 862859264 35162 4294967295 134512640 134569956 3221224416 3221214832 1131381950 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35162 13073 16 0 210643 0 vsize: 842636 [startup+1080.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 103617 70 0 0 25 0 11 0 419174234 862859264 35197 4294967295 134512640 134569956 3221224416 3221214736 1131209641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35197 13073 16 0 210643 0 vsize: 842636 [startup+1090.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 104582 70 0 0 25 0 11 0 419174234 862859264 35261 4294967295 134512640 134569956 3221224416 3221214952 1131543816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35261 13073 16 0 210643 0 vsize: 842636 [startup+1100.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 105554 70 0 0 25 0 11 0 419174234 862859264 35297 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35297 13073 16 0 210643 0 vsize: 842636 [startup+1110.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 106526 70 0 0 25 0 11 0 419174234 862859264 35343 4294967295 134512640 134569956 3221224416 3221213912 1131608724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35343 13073 16 0 210643 0 vsize: 842636 [startup+1120.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 107492 70 0 0 25 0 11 0 419174234 862859264 35388 4294967295 134512640 134569956 3221224416 3221214832 1131380959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35388 13073 16 0 210643 0 vsize: 842636 [startup+1130.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 108464 70 0 0 25 0 11 0 419174234 862859264 35417 4294967295 134512640 134569956 3221224416 3221214736 1131210169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35417 13073 16 0 210643 0 vsize: 842636 [startup+1140.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 109429 71 0 0 25 0 11 0 419174234 862859264 35463 4294967295 134512640 134569956 3221224416 3221214832 1131381787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35463 13073 16 0 210643 0 vsize: 842636 [startup+1150.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 110400 71 0 0 25 0 11 0 419174234 862859264 35488 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35488 13073 16 0 210643 0 vsize: 842636 [startup+1160.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 111370 71 0 0 25 0 11 0 419174234 862859264 35519 4294967295 134512640 134569956 3221224416 3221214736 1131209691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35519 13073 16 0 210643 0 vsize: 842636 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 112334 72 0 0 25 0 11 0 419174234 862859264 35589 4294967295 134512640 134569956 3221224416 3221214328 1131608785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35589 13073 16 0 210643 0 vsize: 842636 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 113316 72 0 0 25 0 11 0 419174234 862859264 35619 4294967295 134512640 134569956 3221224416 3221214736 1131210033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35619 13073 16 0 210643 0 vsize: 842636 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 114272 73 0 0 25 0 11 0 419174234 862859264 35683 4294967295 134512640 134569956 3221224416 3221214736 1131210802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35683 13073 16 0 210643 0 vsize: 842636 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 115239 73 0 0 25 0 11 0 419174234 862859264 35714 4294967295 134512640 134569956 3221224416 3221214792 1131354444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35714 13073 16 0 210643 0 vsize: 842636 [startup+1210.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 116208 74 0 0 25 0 11 0 419174234 862859264 35757 4294967295 134512640 134569956 3221224416 3221214068 1131508672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35757 13073 16 0 210643 0 vsize: 842636 [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 117169 74 0 0 24 0 11 0 419174234 862859264 35813 4294967295 134512640 134569956 3221224416 3221214736 1131209983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35813 13073 16 0 210643 0 vsize: 842636 [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 118136 75 0 0 25 0 11 0 419174234 862859264 35878 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35878 13073 16 0 210643 0 vsize: 842636 [startup+1240.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 119105 75 0 0 25 0 11 0 419174234 862859264 35958 4294967295 134512640 134569956 3221224416 3221214832 1131382939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35958 13073 16 0 210643 0 vsize: 842636 [startup+1250.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 6328 Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 120074 75 0 0 25 0 11 0 419174234 862859264 35995 4294967295 134512640 134569956 3221224416 3221214608 1131608689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210659 35995 13073 16 0 210643 0 vsize: 842636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.26 s] Raw data (loadavg): 1.00 1.00 0.91 1/54 6330 Raw data (stat): 6314 (java) Z 6313 5897 5896 0 -1 1036 18086 26421 1 0 120079 82 6121 70 25 0 1 0 419174234 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): 1250.26 CPU time (s): 1263.53 CPU user time (s): 1262.01 CPU system time (s): 1.52977 CPU usage (%): 101.062 Max. virtual memory (Kb): 847060 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####