Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb |
MD5SUM | ff4c2c4c9f15b8f5e44f85b64f7c2f83 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 89133158 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2976 |
Biggest coefficient in the objective function | 412316860416 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 35253236940736 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 412316860416 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 35253236940736 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.8 |
Number of variables | 2976 |
Total number of constraints | 116 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-20 21:44:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13971 boxname=wulflinc21 idbench=1075 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ff4c2c4c9f15b8f5e44f85b64f7c2f83 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-bal8x12.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-bal8x12.opb IDLAUNCH: 13971 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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.161 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: 310136 kB Buffers: 17368 kB Cached: 683848 kB SwapCached: 0 kB Active: 106192 kB Inactive: 597920 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 309884 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6948 kB Slab: 14840 kB Committed_AS: 63780 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-20 22:05:17 (client local time) WITH STATUS 143 IN 1231.97 SECONDS stats: 13971 7 1231.97 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-bal8x12.opb c reading problem c [nbvar=2976] c [nbconstr=116] c time 5.789 c #vars 2976 c #clauses 137 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=184190623 c Current CPU time (ms) : 20.607 c starts : 1 c conflicts : 8 c decisions : 1744 c propagations : 6985 c inspects : 8323 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 7 c c CURRENT OPTIMUM=176861163 c Current CPU time (ms) : 31.706 c starts : 2 c conflicts : 9 c decisions : 2457 c propagations : 9578 c inspects : 13753 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 9 c c CURRENT OPTIMUM=150174913 c Current CPU time (ms) : 182.373 c starts : 3 c conflicts : 35 c decisions : 8498 c propagations : 25838 c inspects : 64084 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 35 c root simplifications : 27 c c CURRENT OPTIMUM=150174865 c Current CPU time (ms) : 195.231 c starts : 4 c conflicts : 36 c decisions : 8752 c propagations : 27319 c inspects : 68727 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 36 c root simplifications : 28 c c CURRENT OPTIMUM=135193603 c Current CPU time (ms) : 296.231 c starts : 5 c conflicts : 66 c decisions : 11140 c propagations : 33596 c inspects : 96112 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 66 c root simplifications : 34 c c CURRENT OPTIMUM=131464947 c Current CPU time (ms) : 442.721 c starts : 6 c conflicts : 73 c decisions : 13339 c propagations : 41337 c inspects : 136481 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 73 c root simplifications : 42 c c CURRENT OPTIMUM=129416947 c Current CPU time (ms) : 473.212 c starts : 7 c conflicts : 74 c decisions : 13702 c propagations : 42865 c inspects : 144535 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 74 c root simplifications : 43 #### 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.73 0.91 0.89 2/55 29536 Raw data (stat): 29536 (runsolver) R 29535 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 417042818 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0005 s] Raw data (loadavg): 0.93 0.94 0.90 4/65 29546 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18070 0 1 0 785 43 0 0 25 0 11 0 417042818 863551488 21120 4294967295 134512640 134569956 3221224400 3221214656 1131221973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210828 21120 13073 16 0 210812 0 vsize: 843312 [startup+20.0011 s] Raw data (loadavg): 0.94 0.94 0.90 2/65 29546 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18086 0 1 0 1723 43 0 0 25 0 11 0 417042818 862711808 21525 4294967295 134512640 134569956 3221224400 3221214776 1131305398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 21525 13073 16 0 210607 0 vsize: 842492 [startup+30.0009 s] Raw data (loadavg): 0.95 0.95 0.90 2/65 29547 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18086 3 1 0 2647 44 0 0 25 0 11 0 417042818 862711808 21697 4294967295 134512640 134569956 3221224400 3221214680 1131221747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 21697 13073 16 0 210607 0 vsize: 842492 [startup+40.0006 s] Raw data (loadavg): 1.04 0.96 0.91 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18086 3 1 0 3571 44 0 0 25 0 11 0 417042818 862711808 22023 4294967295 134512640 134569956 3221224400 3221214680 1131221496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22023 13073 16 0 210607 0 vsize: 842492 [startup+50.0014 s] Raw data (loadavg): 1.19 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 4531 44 0 0 25 0 11 0 417042818 862711808 22323 4294967295 134512640 134569956 3221224400 3221214680 1131352612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22323 13073 16 0 210607 0 vsize: 842492 [startup+60.0026 s] Raw data (loadavg): 1.16 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 5502 44 0 0 25 0 11 0 417042818 862711808 22426 4294967295 134512640 134569956 3221224400 3221214472 1131233866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22426 13073 16 0 210607 0 vsize: 842492 [startup+70.0048 s] Raw data (loadavg): 1.14 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) S 29535 30927 30926 0 -1 0 18087 3 1 0 6481 44 0 0 25 0 11 0 417042818 862711808 22501 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22501 13073 16 0 210607 0 vsize: 842492 [startup+80.0065 s] Raw data (loadavg): 1.11 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 7458 44 0 0 25 0 11 0 417042818 862711808 22505 4294967295 134512640 134569956 3221224400 3221214776 1131306913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22505 13073 16 0 210607 0 vsize: 842492 [startup+90.0063 s] Raw data (loadavg): 1.10 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 8438 44 0 0 25 0 11 0 417042818 862711808 22565 4294967295 134512640 134569956 3221224400 3221214680 1131221821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22565 13073 16 0 210607 0 vsize: 842492 [startup+100.006 s] Raw data (loadavg): 1.08 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 9423 44 0 0 25 0 11 0 417042818 862711808 22664 4294967295 134512640 134569956 3221224400 3221214720 1131188241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22664 13073 16 0 210607 0 vsize: 842492 [startup+110.007 s] Raw data (loadavg): 1.07 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 10413 44 0 0 25 0 11 0 417042818 862711808 22687 4294967295 134512640 134569956 3221224400 3221214680 1131221496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22687 13073 16 0 210607 0 vsize: 842492 [startup+120.008 s] Raw data (loadavg): 1.06 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 11404 44 0 0 25 0 11 0 417042818 862711808 22717 4294967295 134512640 134569956 3221224400 3221214680 1131221420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22717 13073 16 0 210607 0 vsize: 842492 [startup+130.007 s] Raw data (loadavg): 1.05 1.00 0.92 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 12397 44 0 0 25 0 11 0 417042818 862711808 22734 4294967295 134512640 134569956 3221224400 3221214680 1131221916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22734 13073 16 0 210607 0 vsize: 842492 [startup+140.007 s] Raw data (loadavg): 1.11 1.01 0.93 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 13389 44 0 0 25 0 11 0 417042818 862711808 22753 4294967295 134512640 134569956 3221224400 3221214776 1131306085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22753 13073 16 0 210607 0 vsize: 842492 [startup+150.007 s] Raw data (loadavg): 1.10 1.01 0.93 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 14380 44 0 0 25 0 11 0 417042818 862711808 22760 4294967295 134512640 134569956 3221224400 3221214680 1131221420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22760 13073 16 0 210607 0 vsize: 842492 [startup+160.007 s] Raw data (loadavg): 1.08 1.01 0.93 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 15367 45 0 0 25 0 11 0 417042818 862711808 22774 4294967295 134512640 134569956 3221224400 3221214680 1131221821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22774 13073 16 0 210607 0 vsize: 842492 [startup+170.007 s] Raw data (loadavg): 1.07 1.01 0.93 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 16355 45 0 0 25 0 11 0 417042818 862711808 22801 4294967295 134512640 134569956 3221224400 3221214680 1131221821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22801 13073 16 0 210607 0 vsize: 842492 [startup+180.007 s] Raw data (loadavg): 1.06 1.01 0.93 2/65 29548 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18087 3 1 0 17342 45 0 0 25 0 11 0 417042818 862711808 22853 4294967295 134512640 134569956 3221224400 3221214680 1131221872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 22853 13073 16 0 210607 0 vsize: 842492 [startup+190.008 s] Raw data (loadavg): 1.05 1.01 0.93 2/65 29549 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 18315 45 0 0 25 0 11 0 417042818 862711808 22912 4294967295 134512640 134569956 3221224400 3221214680 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 22912 13073 16 0 210607 0 vsize: 842492 [startup+200.007 s] Raw data (loadavg): 1.04 1.01 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 19292 45 0 0 25 0 11 0 417042818 862711808 22935 4294967295 134512640 134569956 3221224400 3221214680 1131221422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 22935 13073 16 0 210607 0 vsize: 842492 [startup+210.008 s] Raw data (loadavg): 1.03 1.01 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 20264 46 0 0 25 0 11 0 417042818 862711808 22953 4294967295 134512640 134569956 3221224400 3221214776 1131305348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 22953 13073 16 0 210607 0 vsize: 842492 [startup+220.009 s] Raw data (loadavg): 1.03 1.01 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 21251 46 0 0 25 0 11 0 417042818 862711808 23014 4294967295 134512640 134569956 3221224400 3221214568 1131233802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23014 13073 16 0 210607 0 vsize: 842492 [startup+230.009 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 22239 46 0 0 25 0 11 0 417042818 862711808 23021 4294967295 134512640 134569956 3221224400 3221214664 1131586768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23021 13073 16 0 210607 0 vsize: 842492 [startup+240.01 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 23226 47 0 0 24 0 11 0 417042818 862711808 23140 4294967295 134512640 134569956 3221224400 3221214680 1131222082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23140 13073 16 0 210607 0 vsize: 842492 [startup+250.01 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 24213 47 0 0 25 0 11 0 417042818 862711808 23171 4294967295 134512640 134569956 3221224400 3221214680 1131221420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23171 13073 16 0 210607 0 vsize: 842492 [startup+260.011 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 25201 47 0 0 25 0 11 0 417042818 862711808 23218 4294967295 134512640 134569956 3221224400 3221214720 1131188224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23218 13073 16 0 210607 0 vsize: 842492 [startup+270.011 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 26192 47 0 0 25 0 11 0 417042818 862711808 23249 4294967295 134512640 134569956 3221224400 3221214680 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23249 13073 16 0 210607 0 vsize: 842492 [startup+280.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 27182 47 0 0 25 0 11 0 417042818 862711808 23264 4294967295 134512640 134569956 3221224400 3221214680 1131221710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23264 13073 16 0 210607 0 vsize: 842492 [startup+290.011 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29550 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 28173 47 0 0 25 0 11 0 417042818 862711808 23285 4294967295 134512640 134569956 3221224400 3221214680 1131221973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23285 13073 16 0 210607 0 vsize: 842492 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 29162 48 0 0 24 0 11 0 417042818 862711808 23318 4294967295 134512640 134569956 3221224400 3221214680 1131188267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23318 13073 16 0 210607 0 vsize: 842492 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 30147 48 0 0 25 0 11 0 417042818 862711808 23334 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23334 13073 16 0 210607 0 vsize: 842492 [startup+320.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 31136 48 0 0 25 0 11 0 417042818 862711808 23337 4294967295 134512640 134569956 3221224400 3221214544 1131233753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23337 13073 16 0 210607 0 vsize: 842492 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 32126 48 0 0 25 0 11 0 417042818 862711808 23349 4294967295 134512640 134569956 3221224400 3221214528 1131325538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23349 13073 16 0 210607 0 vsize: 842492 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 33120 48 0 0 25 0 11 0 417042818 862711808 23419 4294967295 134512640 134569956 3221224400 3221214640 1131221409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23419 13073 16 0 210607 0 vsize: 842492 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 34111 48 0 0 25 0 11 0 417042818 862711808 23420 4294967295 134512640 134569956 3221224400 3221214640 1131221405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23420 13073 16 0 210607 0 vsize: 842492 [startup+360.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 35098 48 0 0 18 0 11 0 417042818 862711808 23420 4294967295 134512640 134569956 3221224400 3221214640 1131221766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23420 13073 16 0 210607 0 vsize: 842492 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 36088 49 0 0 25 0 11 0 417042818 862711808 23466 4294967295 134512640 134569956 3221224400 3221214736 1131304247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23466 13073 16 0 210607 0 vsize: 842492 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 37081 49 0 0 25 0 11 0 417042818 862711808 23494 4294967295 134512640 134569956 3221224400 3221214640 1131222941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23494 13073 16 0 210607 0 vsize: 842492 [startup+390.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 38076 49 0 0 25 0 11 0 417042818 862711808 23500 4294967295 134512640 134569956 3221224400 3221214640 1131222043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23500 13073 16 0 210607 0 vsize: 842492 [startup+400.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18088 3 1 0 39070 49 0 0 25 0 11 0 417042818 862711808 23530 4294967295 134512640 134569956 3221224400 3221214640 1131222701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23530 13073 16 0 210607 0 vsize: 842492 [startup+410.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 40061 49 0 0 25 0 11 0 417042818 862711808 23540 4294967295 134512640 134569956 3221224400 3221214640 1131221733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23540 13073 16 0 210607 0 vsize: 842492 [startup+420.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 41055 49 0 0 25 0 11 0 417042818 862711808 23556 4294967295 134512640 134569956 3221224400 3221214640 1131221457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23556 13073 16 0 210607 0 vsize: 842492 [startup+430.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 42048 50 0 0 25 0 11 0 417042818 862711808 23573 4294967295 134512640 134569956 3221224400 3221214736 1131304031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23573 13073 16 0 210607 0 vsize: 842492 [startup+440.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29551 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 43043 50 0 0 25 0 11 0 417042818 862711808 23575 4294967295 134512640 134569956 3221224400 3221214736 1131304308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23575 13073 16 0 210607 0 vsize: 842492 [startup+450.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29552 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 44031 50 0 0 25 0 11 0 417042818 862711808 23598 4294967295 134512640 134569956 3221224400 3221214640 1131221420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23598 13073 16 0 210607 0 vsize: 842492 [startup+460.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29552 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 45015 50 0 0 25 0 11 0 417042818 862711808 23602 4294967295 134512640 134569956 3221224400 3221214680 1131188249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23602 13073 16 0 210607 0 vsize: 842492 [startup+470.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29552 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 46001 50 0 0 25 0 11 0 417042818 862711808 23620 4294967295 134512640 134569956 3221224400 3221214640 1131221838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23620 13073 16 0 210607 0 vsize: 842492 [startup+480.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 46986 50 0 0 25 0 11 0 417042818 862711808 23698 4294967295 134512640 134569956 3221224400 3221214640 1131222754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23698 13073 16 0 210607 0 vsize: 842492 [startup+490.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 47966 51 0 0 25 0 11 0 417042818 862711808 23701 4294967295 134512640 134569956 3221224400 3221214736 1131304236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23701 13073 16 0 210607 0 vsize: 842492 [startup+500.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 48945 51 0 0 25 0 11 0 417042818 862711808 23708 4294967295 134512640 134569956 3221224400 3221214528 1131327193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23708 13073 16 0 210607 0 vsize: 842492 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 49933 51 0 0 25 0 11 0 417042818 862711808 23827 4294967295 134512640 134569956 3221224400 3221214608 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23827 13073 16 0 210607 0 vsize: 842492 [startup+520.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 50926 52 0 0 25 0 11 0 417042818 862711808 23842 4294967295 134512640 134569956 3221224400 3221214736 1131305372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23842 13073 16 0 210607 0 vsize: 842492 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 51919 52 0 0 25 0 11 0 417042818 862711808 23854 4294967295 134512640 134569956 3221224400 3221214640 1131221441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23854 13073 16 0 210607 0 vsize: 842492 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 52913 52 0 0 25 0 11 0 417042818 862711808 23864 4294967295 134512640 134569956 3221224400 3221214736 1131305348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23864 13073 16 0 210607 0 vsize: 842492 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 53908 52 0 0 25 0 11 0 417042818 862711808 23877 4294967295 134512640 134569956 3221224400 3221214640 1131222031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23877 13073 16 0 210607 0 vsize: 842492 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 54904 52 0 0 25 0 11 0 417042818 862711808 23890 4294967295 134512640 134569956 3221224400 3221214544 1131233443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23890 13073 16 0 210607 0 vsize: 842492 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 55900 52 0 0 25 0 11 0 417042818 862711808 23896 4294967295 134512640 134569956 3221224400 3221214544 1131234432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23896 13073 16 0 210607 0 vsize: 842492 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 56897 52 0 0 25 0 11 0 417042818 862711808 23906 4294967295 134512640 134569956 3221224400 3221214544 1131233711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23906 13073 16 0 210607 0 vsize: 842492 [startup+590.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 57892 53 0 0 25 0 11 0 417042818 862711808 23908 4294967295 134512640 134569956 3221224400 3221214544 1131233713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23908 13073 16 0 210607 0 vsize: 842492 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 58885 53 0 0 25 0 11 0 417042818 862711808 23910 4294967295 134512640 134569956 3221224400 3221214528 1131326431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23910 13073 16 0 210607 0 vsize: 842492 [startup+610.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 59875 53 0 0 25 0 11 0 417042818 862711808 23930 4294967295 134512640 134569956 3221224400 3221214640 1131222735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23930 13073 16 0 210607 0 vsize: 842492 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 60846 53 0 0 25 0 11 0 417042818 862711808 23940 4294967295 134512640 134569956 3221224400 3221214544 1131234428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23940 13073 16 0 210607 0 vsize: 842492 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 61818 53 0 0 25 0 11 0 417042818 862711808 23951 4294967295 134512640 134569956 3221224400 3221214640 1131585166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23951 13073 16 0 210607 0 vsize: 842492 [startup+640.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 62793 53 0 0 25 0 11 0 417042818 862711808 23981 4294967295 134512640 134569956 3221224400 3221214736 1131304031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 23981 13073 16 0 210607 0 vsize: 842492 [startup+650.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 63760 54 0 0 25 0 11 0 417042818 862711808 24119 4294967295 134512640 134569956 3221224400 3221214736 1131304243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24119 13073 16 0 210607 0 vsize: 842492 [startup+660.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 64741 54 0 0 25 0 11 0 417042818 862711808 24185 4294967295 134512640 134569956 3221224400 3221214936 1131144153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24185 13073 16 0 210607 0 vsize: 842492 [startup+670.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 65728 54 0 0 25 0 11 0 417042818 862711808 24275 4294967295 134512640 134569956 3221224400 3221214640 1131222072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24275 13073 16 0 210607 0 vsize: 842492 [startup+680.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 66715 54 0 0 25 0 11 0 417042818 862711808 24298 4294967295 134512640 134569956 3221224400 3221214640 1131222707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24298 13073 16 0 210607 0 vsize: 842492 [startup+690.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 67698 54 0 0 25 0 11 0 417042818 862711808 24305 4294967295 134512640 134569956 3221224400 3221214736 1131304308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24305 13073 16 0 210607 0 vsize: 842492 [startup+700.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 68681 54 0 0 25 0 11 0 417042818 862711808 24322 4294967295 134512640 134569956 3221224400 3221214640 1131221838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24322 13073 16 0 210607 0 vsize: 842492 [startup+710.031 s] Raw data (loadavg): 1.08 1.02 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 69673 54 0 0 25 0 11 0 417042818 862711808 24385 4294967295 134512640 134569956 3221224400 3221214736 1131306852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24385 13073 16 0 210607 0 vsize: 842492 [startup+720.031 s] Raw data (loadavg): 1.07 1.02 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 70666 54 0 0 25 0 11 0 417042818 862711808 24409 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24409 13073 16 0 210607 0 vsize: 842492 [startup+730.032 s] Raw data (loadavg): 1.06 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 71660 54 0 0 25 0 11 0 417042818 862711808 24415 4294967295 134512640 134569956 3221224400 3221214736 1131305352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24415 13073 16 0 210607 0 vsize: 842492 [startup+740.031 s] Raw data (loadavg): 1.05 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 72655 54 0 0 25 0 11 0 417042818 862711808 24425 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210623 24425 13073 16 0 210607 0 vsize: 842492 [startup+750.031 s] Raw data (loadavg): 1.04 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 73649 55 0 0 25 0 11 0 417042818 862711808 24450 4294967295 134512640 134569956 3221224400 3221214640 1131586752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24450 13073 16 0 210607 0 vsize: 842492 [startup+760.032 s] Raw data (loadavg): 1.03 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 74643 55 0 0 25 0 11 0 417042818 862711808 24454 4294967295 134512640 134569956 3221224400 3221214640 1131221420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24454 13073 16 0 210607 0 vsize: 842492 [startup+770.031 s] Raw data (loadavg): 1.03 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 75635 55 0 0 25 0 11 0 417042818 862711808 24461 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24461 13073 16 0 210607 0 vsize: 842492 [startup+780.047 s] Raw data (loadavg): 1.02 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 76625 55 0 0 25 0 11 0 417042818 862711808 24470 4294967295 134512640 134569956 3221224400 3221214640 1131221977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24470 13073 16 0 210607 0 vsize: 842492 [startup+790.048 s] Raw data (loadavg): 1.02 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 77615 56 0 0 25 0 11 0 417042818 862711808 24506 4294967295 134512640 134569956 3221224400 3221214640 1131221420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24506 13073 16 0 210607 0 vsize: 842492 [startup+800.052 s] Raw data (loadavg): 1.02 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 78608 56 0 0 25 0 11 0 417042818 862711808 24540 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24540 13073 16 0 210607 0 vsize: 842492 [startup+810.053 s] Raw data (loadavg): 1.01 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 79601 56 0 0 25 0 11 0 417042818 862711808 24561 4294967295 134512640 134569956 3221224400 3221214736 1131305330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24561 13073 16 0 210607 0 vsize: 842492 [startup+820.052 s] Raw data (loadavg): 1.01 1.01 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 80595 56 0 0 25 0 11 0 417042818 862711808 24585 4294967295 134512640 134569956 3221224400 3221214736 1131304039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24585 13073 16 0 210607 0 vsize: 842492 [startup+830.053 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 81590 57 0 0 25 0 11 0 417042818 862711808 24595 4294967295 134512640 134569956 3221224400 3221214736 1131305305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24595 13073 16 0 210607 0 vsize: 842492 [startup+840.053 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 82585 57 0 0 25 0 11 0 417042818 862711808 24602 4294967295 134512640 134569956 3221224400 3221214640 1131221441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24602 13073 16 0 210607 0 vsize: 842492 [startup+850.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 83576 57 0 0 25 0 11 0 417042818 862711808 24602 4294967295 134512640 134569956 3221224400 3221214640 1131221973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24602 13073 16 0 210607 0 vsize: 842492 [startup+860.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 84564 57 0 0 25 0 11 0 417042818 862711808 24605 4294967295 134512640 134569956 3221224400 3221214736 1131304243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24605 13073 16 0 210607 0 vsize: 842492 [startup+870.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 85555 57 0 0 25 0 11 0 417042818 862711808 24660 4294967295 134512640 134569956 3221224400 3221214640 1131221699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24660 13073 16 0 210607 0 vsize: 842492 [startup+880.061 s] Raw data (loadavg): 1.08 1.02 0.94 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 86549 57 0 0 25 0 11 0 417042818 862711808 24674 4294967295 134512640 134569956 3221224400 3221214640 1131221866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24674 13073 16 0 210607 0 vsize: 842492 [startup+890.061 s] Raw data (loadavg): 1.07 1.02 0.94 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 87544 58 0 0 25 0 11 0 417042818 862711808 24681 4294967295 134512640 134569956 3221224400 3221214528 1131325303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24681 13073 16 0 210607 0 vsize: 842492 [startup+900.063 s] Raw data (loadavg): 1.06 1.01 0.94 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 88537 58 0 0 25 0 11 0 417042818 862711808 24683 4294967295 134512640 134569956 3221224400 3221214312 1131643040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24683 13073 16 0 210607 0 vsize: 842492 [startup+910.064 s] Raw data (loadavg): 1.05 1.01 0.94 2/65 29553 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 89524 58 0 0 25 0 11 0 417042818 862711808 24697 4294967295 134512640 134569956 3221224400 3221214640 1131221405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24697 13073 16 0 210607 0 vsize: 842492 [startup+920.063 s] Raw data (loadavg): 1.04 1.01 0.94 2/65 29606 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 90509 61 0 0 25 0 11 0 417042818 862711808 24723 4294967295 134512640 134569956 3221224400 3221214640 1131221758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24723 13073 16 0 210607 0 vsize: 842492 [startup+930.064 s] Raw data (loadavg): 1.03 1.01 0.94 2/65 29606 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 91501 61 0 0 25 0 11 0 417042818 862711808 24778 4294967295 134512640 134569956 3221224400 3221214640 1131221514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24778 13073 16 0 210607 0 vsize: 842492 [startup+940.065 s] Raw data (loadavg): 1.03 1.01 0.94 2/65 29606 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 92496 61 0 0 25 0 11 0 417042818 862711808 24790 4294967295 134512640 134569956 3221224400 3221214640 1131222089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24790 13073 16 0 210607 0 vsize: 842492 [startup+950.064 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 29606 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 93490 62 0 0 25 0 11 0 417042818 862711808 24794 4294967295 134512640 134569956 3221224400 3221214528 1131327193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24794 13073 16 0 210607 0 vsize: 842492 [startup+960.066 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 29606 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 94481 62 0 0 25 0 11 0 417042818 862711808 24814 4294967295 134512640 134569956 3221224400 3221214176 1079300753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24814 13073 16 0 210607 0 vsize: 842492 [startup+970.067 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 29608 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 95460 64 0 0 25 0 11 0 417042818 862711808 24816 4294967295 134512640 134569956 3221224400 3221214636 1131252192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24816 13073 16 0 210607 0 vsize: 842492 [startup+980.067 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 29608 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 96437 64 0 0 25 0 11 0 417042818 862711808 24824 4294967295 134512640 134569956 3221224400 3221214680 1131233583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24824 13073 16 0 210607 0 vsize: 842492 [startup+990.068 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 29608 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 97409 64 0 0 25 0 11 0 417042818 862711808 24852 4294967295 134512640 134569956 3221224400 3221214736 1131305348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 24852 13073 16 0 210607 0 vsize: 842492 [startup+1000.07 s] Raw data (loadavg): 1.01 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 98383 65 0 0 25 0 11 0 417042818 862711808 25006 4294967295 134512640 134569956 3221224400 3221214640 1131221527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25006 13073 16 0 210607 0 vsize: 842492 [startup+1010.07 s] Raw data (loadavg): 1.01 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 99374 65 0 0 25 0 11 0 417042818 862711808 25037 4294967295 134512640 134569956 3221224400 3221214640 1131221838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25037 13073 16 0 210607 0 vsize: 842492 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 100366 65 0 0 25 0 11 0 417042818 862711808 25047 4294967295 134512640 134569956 3221224400 3221214736 1131304243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25047 13073 16 0 210607 0 vsize: 842492 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 101360 65 0 0 25 0 11 0 417042818 862711808 25060 4294967295 134512640 134569956 3221224400 3221214736 1131305330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25060 13073 16 0 210607 0 vsize: 842492 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 102353 65 0 0 25 0 11 0 417042818 862711808 25075 4294967295 134512640 134569956 3221224400 3221214736 1131305145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25075 13073 16 0 210607 0 vsize: 842492 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 103346 65 0 0 25 0 11 0 417042818 862711808 25077 4294967295 134512640 134569956 3221224400 3221214736 1131306872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25077 13073 16 0 210607 0 vsize: 842492 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 104336 66 0 0 25 0 11 0 417042818 862711808 25101 4294967295 134512640 134569956 3221224400 3221214736 1131304243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25101 13073 16 0 210607 0 vsize: 842492 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 105326 66 0 0 17 0 11 0 417042818 862711808 25107 4294967295 134512640 134569956 3221224400 3221214640 1131586768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25107 13073 16 0 210607 0 vsize: 842492 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 106320 66 0 0 25 0 11 0 417042818 862711808 25135 4294967295 134512640 134569956 3221224400 3221214528 1131325148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25135 13073 16 0 210607 0 vsize: 842492 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 107310 66 0 0 25 0 11 0 417042818 862711808 25163 4294967295 134512640 134569956 3221224400 3221214640 1131222082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25163 13073 16 0 210607 0 vsize: 842492 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 108303 66 0 0 25 0 11 0 417042818 862711808 25178 4294967295 134512640 134569956 3221224400 3221214640 1131222376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25178 13073 16 0 210607 0 vsize: 842492 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 109292 66 0 0 25 0 11 0 417042818 862711808 25205 4294967295 134512640 134569956 3221224400 3221214680 1131188241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25205 13073 16 0 210607 0 vsize: 842492 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 110283 66 0 0 25 0 11 0 417042818 862711808 25218 4294967295 134512640 134569956 3221224400 3221214640 1131586908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25218 13073 16 0 210607 0 vsize: 842492 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 111273 66 0 0 25 0 11 0 417042818 862711808 25252 4294967295 134512640 134569956 3221224400 3221214736 1131305308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25252 13073 16 0 210607 0 vsize: 842492 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 112263 66 0 0 25 0 11 0 417042818 862711808 25268 4294967295 134512640 134569956 3221224400 3221214632 1131419961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25268 13073 16 0 210607 0 vsize: 842492 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 113250 67 0 0 25 0 11 0 417042818 862711808 25296 4294967295 134512640 134569956 3221224400 3221214736 1131306140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25296 13073 16 0 210607 0 vsize: 842492 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 114240 67 0 0 25 0 11 0 417042818 862711808 25333 4294967295 134512640 134569956 3221224400 3221214640 1131222108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25333 13073 16 0 210607 0 vsize: 842492 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 115231 67 0 0 25 0 11 0 417042818 862711808 25347 4294967295 134512640 134569956 3221224400 3221214640 1131221725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25347 13073 16 0 210607 0 vsize: 842492 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 116222 67 0 0 25 0 11 0 417042818 862711808 25356 4294967295 134512640 134569956 3221224400 3221214560 1131547157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25356 13073 16 0 210607 0 vsize: 842492 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 117216 67 0 0 25 0 11 0 417042818 862711808 25395 4294967295 134512640 134569956 3221224400 3221214640 1131221877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25395 13073 16 0 210607 0 vsize: 842492 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 118207 68 0 0 25 0 11 0 417042818 862711808 25418 4294967295 134512640 134569956 3221224400 3221214640 1131221821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25418 13073 16 0 210607 0 vsize: 842492 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 119199 68 0 0 25 0 11 0 417042818 862711808 25433 4294967295 134512640 134569956 3221224400 3221214640 1131221405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25433 13073 16 0 210607 0 vsize: 842492 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 29610 Raw data (stat): 29536 (java) R 29535 30927 30926 0 -1 0 18089 3 1 0 120193 68 0 0 25 0 11 0 417042818 862711808 25446 4294967295 134512640 134569956 3221224400 3221214528 1131325320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210623 25446 13073 16 0 210607 0 vsize: 842492 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 29612 Raw data (stat): 29536 (java) Z 29535 30927 30926 0 -1 1036 18089 12065 1 0 120197 72 2884 41 25 0 1 0 417042818 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): 1220.16 CPU time (s): 1231.97 CPU user time (s): 1230.82 CPU system time (s): 1.14982 CPU usage (%): 100.968 Max. virtual memory (Kb): 843312 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####