Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 05874b307d1504e7159d47fddfd8a0be |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 482 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04784 |
Number of variables | 1372 |
Total number of constraints | 6316 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 1372 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-20 21:48:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13893 boxname=wulflinc4 idbench=1069 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 05874b307d1504e7159d47fddfd8a0be /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb IDLAUNCH: 13893 /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: 643572 kB Buffers: 36920 kB Cached: 330552 kB SwapCached: 0 kB Active: 179776 kB Inactive: 190592 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 643320 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 14908 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:10:00 (client local time) WITH STATUS 143 IN 1291.51 SECONDS stats: 13893 7 1291.51 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb c reading problem c [nbvar=1372] c [nbconstr=6316] c time 4.995 c #vars 1372 c #clauses 4944 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=502 c Current CPU time (ms) : 5.678 c starts : 1 c conflicts : 0 c decisions : 870 c propagations : 1372 c inspects : 15371 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=501 c Current CPU time (ms) : 10.92 c starts : 2 c conflicts : 8 c decisions : 1737 c propagations : 2928 c inspects : 19352 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 2 c c CURRENT OPTIMUM=486 c Current CPU time (ms) : 14.427 c starts : 3 c conflicts : 8 c decisions : 2626 c propagations : 4183 c inspects : 29271 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 3 c c CURRENT OPTIMUM=485 c Current CPU time (ms) : 15.759 c starts : 4 c conflicts : 13 c decisions : 3523 c propagations : 5473 c inspects : 31025 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 4 c c CURRENT OPTIMUM=483 c Current CPU time (ms) : 19.354 c starts : 5 c conflicts : 13 c decisions : 4412 c propagations : 6728 c inspects : 37323 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 5 c c CURRENT OPTIMUM=482 c Current CPU time (ms) : 20.471 c starts : 6 c conflicts : 17 c decisions : 5312 c propagations : 8022 c inspects : 39194 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 6 c c CURRENT OPTIMUM=481 c Current CPU time (ms) : 22.109 c starts : 7 c conflicts : 17 c decisions : 6203 c propagations : 9277 c inspects : 42078 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 7 c c CURRENT OPTIMUM=480 c Current CPU time (ms) : 74.933 c starts : 8 c conflicts : 109 c decisions : 7588 c propagations : 12096 c inspects : 50747 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 109 c root simplifications : 8 c c CURRENT OPTIMUM=479 c Current CPU time (ms) : 105.952 c starts : 9 c conflicts : 154 c decisions : 8569 c propagations : 13935 c inspects : 71286 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 154 c root simplifications : 9 c c CURRENT OPTIMUM=478 c Current CPU time (ms) : 137.726 c starts : 10 c conflicts : 165 c decisions : 9483 c propagations : 15361 c inspects : 94830 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 10 c c CURRENT OPTIMUM=476 c Current CPU time (ms) : 159.428 c starts : 11 c conflicts : 165 c decisions : 10380 c propagations : 16616 c inspects : 115578 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 11 c c CURRENT OPTIMUM=475 c Current CPU time (ms) : 163.27 c starts : 12 c conflicts : 180 c decisions : 11305 c propagations : 18167 c inspects : 118301 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 180 c root simplifications : 12 c c CURRENT OPTIMUM=474 c Current CPU time (ms) : 204.33 c starts : 13 c conflicts : 203 c decisions : 12230 c propagations : 20054 c inspects : 150112 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 203 c root simplifications : 13 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.11 1.02 0.93 2/54 26779 Raw data (stat): 26779 (runsolver) R 26778 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481575520 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.0013 s] Raw data (loadavg): 1.40 1.08 0.95 3/64 26790 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18070 4 1 0 722 39 0 0 25 0 11 0 481575520 860852224 21169 4294967295 134512640 134569956 3221224400 3221214736 1131281968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210169 21169 13073 16 0 210153 0 vsize: 840676 [startup+20.0336 s] Raw data (loadavg): 1.34 1.08 0.95 4/64 26794 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18071 4 1 0 1628 39 0 0 25 0 11 0 481575520 859766784 22008 4294967295 134512640 134569956 3221224400 3221214840 1131167370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209904 22008 13073 16 0 209888 0 vsize: 839616 [startup+30.0745 s] Raw data (loadavg): 1.29 1.08 0.95 2/64 26796 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18073 4 1 0 2522 40 0 0 24 0 11 0 481575520 863961088 23417 4294967295 134512640 134569956 3221224400 3221214544 1131413504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 23417 13073 16 0 210912 0 vsize: 843712 [startup+40.075 s] Raw data (loadavg): 1.24 1.07 0.95 2/64 26796 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18073 4 1 0 3417 40 0 0 25 0 11 0 481575520 863961088 23798 4294967295 134512640 134569956 3221224400 3221214648 1131216835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 23798 13073 16 0 210912 0 vsize: 843712 [startup+50.0768 s] Raw data (loadavg): 1.28 1.09 0.96 2/64 26796 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18074 4 1 0 4338 40 0 0 25 0 11 0 481575520 863961088 24004 4294967295 134512640 134569956 3221224400 3221214560 1131589471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24004 13073 16 0 210912 0 vsize: 843712 [startup+60.0773 s] Raw data (loadavg): 1.24 1.08 0.96 2/64 26796 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 5268 40 0 0 25 0 11 0 481575520 863961088 24008 4294967295 134512640 134569956 3221224400 3221214876 1080204306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24008 13073 16 0 210912 0 vsize: 843712 [startup+70.0799 s] Raw data (loadavg): 1.20 1.08 0.96 2/64 26796 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 6183 40 0 0 25 0 11 0 481575520 863961088 24410 4294967295 134512640 134569956 3221224400 3221214712 1131282253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24410 13073 16 0 210912 0 vsize: 843712 [startup+80.0815 s] Raw data (loadavg): 1.17 1.08 0.96 2/64 26797 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 7085 40 0 0 25 0 11 0 481575520 863961088 25519 4294967295 134512640 134569956 3221224400 3221214840 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 25519 13073 16 0 210912 0 vsize: 843712 [startup+90.082 s] Raw data (loadavg): 1.14 1.08 0.96 2/64 26797 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 7992 40 0 0 25 0 11 0 481575520 863961088 25519 4294967295 134512640 134569956 3221224400 3221214792 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 25519 13073 16 0 210912 0 vsize: 843712 [startup+100.083 s] Raw data (loadavg): 1.12 1.07 0.96 2/64 26797 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 8890 41 0 0 25 0 11 0 481575520 863961088 25779 4294967295 134512640 134569956 3221224400 3221214688 1131405252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 25779 13073 16 0 210912 0 vsize: 843712 [startup+110.084 s] Raw data (loadavg): 1.10 1.07 0.96 2/64 26798 Raw data (stat): 26779 (java) S 26778 5897 5896 0 -1 0 18075 4 1 0 9790 41 0 0 25 0 11 0 481575520 863961088 26651 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 26651 13073 16 0 210912 0 vsize: 843712 [startup+120.086 s] Raw data (loadavg): 1.08 1.07 0.96 2/64 26798 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 10700 41 0 0 25 0 11 0 481575520 863961088 26651 4294967295 134512640 134569956 3221224400 3221214840 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 26651 13073 16 0 210912 0 vsize: 843712 [startup+130.086 s] Raw data (loadavg): 1.07 1.06 0.96 2/64 26798 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 11607 42 0 0 25 0 11 0 481575520 863961088 26651 4294967295 134512640 134569956 3221224400 3221214792 1131259693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 26651 13073 16 0 210912 0 vsize: 843712 [startup+140.087 s] Raw data (loadavg): 1.06 1.06 0.96 2/64 26799 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 12517 42 0 0 25 0 11 0 481575520 863961088 27376 4294967295 134512640 134569956 3221224400 3221214840 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 27376 13073 16 0 210912 0 vsize: 843712 [startup+150.088 s] Raw data (loadavg): 1.05 1.06 0.96 2/64 26799 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 13476 43 0 0 24 0 11 0 481575520 863961088 27489 4294967295 134512640 134569956 3221224400 3221214792 1131259554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 27489 13073 16 0 210912 0 vsize: 843712 [startup+160.088 s] Raw data (loadavg): 1.04 1.06 0.96 3/63 26799 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 14433 43 0 0 25 0 10 0 481575520 863961088 27498 4294967295 134512640 134569956 3221224400 3221206152 1073952961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27498 13073 16 0 210912 0 vsize: 843712 [startup+170.09 s] Raw data (loadavg): 1.04 1.05 0.96 2/64 26801 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 15378 43 0 0 25 0 11 0 481575520 863961088 27512 4294967295 134512640 134569956 3221224400 3221214880 1131167411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 27512 13073 16 0 210912 0 vsize: 843712 [startup+180.09 s] Raw data (loadavg): 1.03 1.05 0.96 2/64 26801 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 16308 43 0 0 25 0 11 0 481575520 863961088 27796 4294967295 134512640 134569956 3221224400 3221214832 1131258945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 27796 13073 16 0 210912 0 vsize: 843712 [startup+190.091 s] Raw data (loadavg): 1.02 1.05 0.96 2/64 26801 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 17251 44 0 0 24 0 11 0 481575520 863961088 27803 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 27803 13073 16 0 210912 0 vsize: 843712 [startup+200.092 s] Raw data (loadavg): 1.02 1.05 0.96 2/64 26801 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 18186 44 0 0 25 0 11 0 481575520 863961088 28178 4294967295 134512640 134569956 3221224400 3221214880 1131167411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28178 13073 16 0 210912 0 vsize: 843712 [startup+210.093 s] Raw data (loadavg): 1.02 1.05 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 19120 45 0 0 25 0 11 0 481575520 863961088 28188 4294967295 134512640 134569956 3221224400 3221214832 1131259560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28188 13073 16 0 210912 0 vsize: 843712 [startup+220.094 s] Raw data (loadavg): 1.01 1.04 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 20049 46 0 0 25 0 11 0 481575520 863961088 28194 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28194 13073 16 0 210912 0 vsize: 843712 [startup+230.095 s] Raw data (loadavg): 1.01 1.04 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 20956 46 0 0 25 0 11 0 481575520 863961088 28198 4294967295 134512640 134569956 3221224400 3221214832 1131259417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28198 13073 16 0 210912 0 vsize: 843712 [startup+240.095 s] Raw data (loadavg): 1.01 1.04 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 21867 46 0 0 25 0 11 0 481575520 863961088 28896 4294967295 134512640 134569956 3221224400 3221214924 1131167552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28896 13073 16 0 210912 0 vsize: 843712 [startup+250.096 s] Raw data (loadavg): 1.01 1.04 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 22802 46 0 0 25 0 11 0 481575520 863961088 29072 4294967295 134512640 134569956 3221224400 3221214652 1080203670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29072 13073 16 0 210912 0 vsize: 843712 [startup+260.098 s] Raw data (loadavg): 1.01 1.04 0.96 2/64 26802 Raw data (stat): 26779 (java) S 26778 5897 5896 0 -1 0 18075 4 1 0 23701 47 0 0 25 0 11 0 481575520 863961088 29322 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29322 13073 16 0 210912 0 vsize: 843712 [startup+270.098 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 24586 47 0 0 25 0 11 0 481575520 863961088 29956 4294967295 134512640 134569956 3221224400 3221214832 1131259408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29956 13073 16 0 210912 0 vsize: 843712 [startup+280.099 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 25501 48 0 0 25 0 11 0 481575520 863961088 30602 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30602 13073 16 0 210912 0 vsize: 843712 [startup+290.1 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 26440 48 0 0 25 0 11 0 481575520 863961088 30689 4294967295 134512640 134569956 3221224400 3221214832 1131260103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30689 13073 16 0 210912 0 vsize: 843712 [startup+300.101 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 27360 48 0 0 25 0 11 0 481575520 863961088 30689 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30689 13073 16 0 210912 0 vsize: 843712 [startup+310.1 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 28268 49 0 0 25 0 11 0 481575520 863961088 30817 4294967295 134512640 134569956 3221224400 3221214928 1131327701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30817 13073 16 0 210912 0 vsize: 843712 [startup+320.101 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 29231 49 0 0 25 0 11 0 481575520 863961088 31511 4294967295 134512640 134569956 3221224400 3221214832 1131259263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31511 13073 16 0 210912 0 vsize: 843712 [startup+330.102 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 30218 50 0 0 25 0 11 0 481575520 863961088 31528 4294967295 134512640 134569956 3221224400 3221214928 1131328138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31528 13073 16 0 210912 0 vsize: 843712 [startup+340.102 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 31206 50 0 0 25 0 11 0 481575520 863961088 31541 4294967295 134512640 134569956 3221224400 3221214832 1131259118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31541 13073 16 0 210912 0 vsize: 843712 [startup+350.102 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 32150 50 0 0 25 0 11 0 481575520 863961088 31549 4294967295 134512640 134569956 3221224400 3221214728 1131405298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31549 13073 16 0 210912 0 vsize: 843712 [startup+360.11 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 33030 51 0 0 24 0 11 0 481575520 863961088 33251 4294967295 134512640 134569956 3221224400 3221214848 1131407880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 33251 13073 16 0 210912 0 vsize: 843712 [startup+370.109 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 33937 51 0 0 25 0 11 0 481575520 863961088 33878 4294967295 134512640 134569956 3221224400 3221214928 1131327862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 33878 13073 16 0 210912 0 vsize: 843712 [startup+380.11 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 34831 51 0 0 25 0 11 0 481575520 863961088 34514 4294967295 134512640 134569956 3221224400 3221214880 1131167370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34514 13073 16 0 210912 0 vsize: 843712 [startup+390.111 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 35782 52 0 0 25 0 11 0 481575520 863961088 34948 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34948 13073 16 0 210912 0 vsize: 843712 [startup+400.113 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 36724 52 0 0 25 0 11 0 481575520 863961088 34948 4294967295 134512640 134569956 3221224400 3221214880 1131167370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34948 13073 16 0 210912 0 vsize: 843712 [startup+410.113 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 37643 52 0 0 24 0 11 0 481575520 863961088 34948 4294967295 134512640 134569956 3221224400 3221214880 1131167454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34948 13073 16 0 210912 0 vsize: 843712 [startup+420.113 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 38561 53 0 0 25 0 11 0 481575520 863961088 35060 4294967295 134512640 134569956 3221224400 3221214832 1131260189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35060 13073 16 0 210912 0 vsize: 843712 [startup+430.114 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 39517 53 0 0 25 0 11 0 481575520 863961088 35734 4294967295 134512640 134569956 3221224400 3221214832 1131260154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35734 13073 16 0 210912 0 vsize: 843712 [startup+440.114 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 40501 53 0 0 25 0 11 0 481575520 863961088 35773 4294967295 134512640 134569956 3221224400 3221214832 1131259514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35773 13073 16 0 210912 0 vsize: 843712 [startup+450.115 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 41487 53 0 0 25 0 11 0 481575520 863961088 35796 4294967295 134512640 134569956 3221224400 3221214832 1131258949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35796 13073 16 0 210912 0 vsize: 843712 [startup+460.115 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 42473 53 0 0 25 0 11 0 481575520 863961088 35814 4294967295 134512640 134569956 3221224400 3221214880 1131167363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35814 13073 16 0 210912 0 vsize: 843712 [startup+470.116 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 43461 54 0 0 25 0 11 0 481575520 863961088 35823 4294967295 134512640 134569956 3221224400 3221214832 1131258977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35823 13073 16 0 210912 0 vsize: 843712 [startup+480.117 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 44430 54 0 0 25 0 11 0 481575520 863961088 35839 4294967295 134512640 134569956 3221224400 3221214736 1131423289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35839 13073 16 0 210912 0 vsize: 843712 [startup+490.117 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 45370 54 0 0 25 0 11 0 481575520 863961088 35843 4294967295 134512640 134569956 3221224400 3221214928 1131328184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35843 13073 16 0 210912 0 vsize: 843712 [startup+500.118 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 46270 54 0 0 25 0 11 0 481575520 863961088 36067 4294967295 134512640 134569956 3221224400 3221214664 1131370174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 36067 13073 16 0 210912 0 vsize: 843712 [startup+510.119 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 47169 54 0 0 25 0 11 0 481575520 863961088 36568 4294967295 134512640 134569956 3221224400 3221214664 1131369353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 36568 13073 16 0 210912 0 vsize: 843712 [startup+520.124 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 48085 55 0 0 25 0 11 0 481575520 863961088 36848 4294967295 134512640 134569956 3221224400 3221214608 1131282233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 36848 13073 16 0 210912 0 vsize: 843712 [startup+530.133 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 49018 55 0 0 24 0 11 0 481575520 863961088 36885 4294967295 134512640 134569956 3221224400 3221214608 1131281563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 36885 13073 16 0 210912 0 vsize: 843712 [startup+540.137 s] Raw data (loadavg): 1.06 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 49949 55 0 0 25 0 11 0 481575520 863961088 37116 4294967295 134512640 134569956 3221224400 3221214728 1131405347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 37116 13073 16 0 210912 0 vsize: 843712 [startup+550.138 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) S 26778 5897 5896 0 -1 0 18075 4 1 0 50894 56 0 0 25 0 11 0 481575520 863961088 37448 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 37448 13073 16 0 210912 0 vsize: 843712 [startup+560.138 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 51842 57 0 0 25 0 11 0 481575520 863961088 37509 4294967295 134512640 134569956 3221224400 3221214880 1131167531 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 37509 13073 16 0 210912 0 vsize: 843712 [startup+570.141 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 52786 57 0 0 25 0 11 0 481575520 863961088 37636 4294967295 134512640 134569956 3221224400 3221214832 1131386645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 37636 13073 16 0 210912 0 vsize: 843712 [startup+580.14 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 53692 58 0 0 25 0 11 0 481575520 863961088 38105 4294967295 134512640 134569956 3221224400 3221214832 1131260100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38105 13073 16 0 210912 0 vsize: 843712 [startup+590.141 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 54602 58 0 0 24 0 11 0 481575520 863961088 38805 4294967295 134512640 134569956 3221224400 3221214608 1131281533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38805 13073 16 0 210912 0 vsize: 843712 [startup+600.141 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 55526 58 0 0 25 0 11 0 481575520 863961088 38969 4294967295 134512640 134569956 3221224400 3221214832 1131259957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38969 13073 16 0 210912 0 vsize: 843712 [startup+610.142 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 56456 58 0 0 25 0 11 0 481575520 863961088 38969 4294967295 134512640 134569956 3221224400 3221214608 1131282061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 38969 13073 16 0 210912 0 vsize: 843712 [startup+620.142 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 57373 58 0 0 25 0 11 0 481575520 863961088 39113 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 39113 13073 16 0 210912 0 vsize: 843712 [startup+630.142 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 58294 58 0 0 25 0 11 0 481575520 863961088 39618 4294967295 134512640 134569956 3221224400 3221214600 1131587312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 39618 13073 16 0 210912 0 vsize: 843712 [startup+640.154 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) S 26778 5897 5896 0 -1 0 18075 4 1 0 59247 59 0 0 25 0 11 0 481575520 863961088 39724 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 39724 13073 16 0 210912 0 vsize: 843712 [startup+650.154 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 60199 59 0 0 25 0 11 0 481575520 863961088 39776 4294967295 134512640 134569956 3221224400 3221214608 1131282061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 39776 13073 16 0 210912 0 vsize: 843712 [startup+660.154 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 61158 59 0 0 25 0 11 0 481575520 863961088 39958 4294967295 134512640 134569956 3221224400 3221214608 1131282022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 39958 13073 16 0 210912 0 vsize: 843712 [startup+670.157 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 62124 59 0 0 25 0 11 0 481575520 863961088 40138 4294967295 134512640 134569956 3221224400 3221214584 1131386633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40138 13073 16 0 210912 0 vsize: 843712 [startup+680.157 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 63098 59 0 0 25 0 11 0 481575520 863961088 40180 4294967295 134512640 134569956 3221224400 3221214704 1131658967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40180 13073 16 0 210912 0 vsize: 843712 [startup+690.17 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26802 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 64082 59 0 0 25 0 11 0 481575520 863961088 40200 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40200 13073 16 0 210912 0 vsize: 843712 [startup+700.171 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 65048 75 0 0 25 0 11 0 481575520 863961088 40231 4294967295 134512640 134569956 3221224400 3221214928 1131327896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40231 13073 16 0 210912 0 vsize: 843712 [startup+710.172 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 66023 75 0 0 25 0 11 0 481575520 863961088 40272 4294967295 134512640 134569956 3221224400 3221214928 1131328138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40272 13073 16 0 210912 0 vsize: 843712 [startup+720.187 s] Raw data (loadavg): 1.06 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 66998 75 0 0 25 0 11 0 481575520 863961088 40313 4294967295 134512640 134569956 3221224400 3221214832 1131259549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40313 13073 16 0 210912 0 vsize: 843712 [startup+730.188 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 67973 75 0 0 25 0 11 0 481575520 863961088 40371 4294967295 134512640 134569956 3221224400 3221214832 1131259137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40371 13073 16 0 210912 0 vsize: 843712 [startup+740.188 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 68954 75 0 0 25 0 11 0 481575520 863961088 40482 4294967295 134512640 134569956 3221224400 3221214832 1131260096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40482 13073 16 0 210912 0 vsize: 843712 [startup+750.19 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 69942 75 0 0 25 0 11 0 481575520 863961088 40505 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40505 13073 16 0 210912 0 vsize: 843712 [startup+760.19 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 26855 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 70932 75 0 0 25 0 11 0 481575520 863961088 40515 4294967295 134512640 134569956 3221224400 3221214928 1131327877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40515 13073 16 0 210912 0 vsize: 843712 [startup+770.19 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 71921 75 0 0 25 0 11 0 481575520 863961088 40523 4294967295 134512640 134569956 3221224400 3221214832 1131259917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40523 13073 16 0 210912 0 vsize: 843712 [startup+780.191 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 72912 75 0 0 25 0 11 0 481575520 863961088 40533 4294967295 134512640 134569956 3221224400 3221214880 1131167411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40533 13073 16 0 210912 0 vsize: 843712 [startup+790.191 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 73901 75 0 0 25 0 11 0 481575520 863961088 40540 4294967295 134512640 134569956 3221224400 3221214832 1131260058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40540 13073 16 0 210912 0 vsize: 843712 [startup+800.191 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 74892 75 0 0 25 0 11 0 481575520 863961088 40551 4294967295 134512640 134569956 3221224400 3221214928 1131328047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40551 13073 16 0 210912 0 vsize: 843712 [startup+810.193 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 75883 75 0 0 25 0 11 0 481575520 863961088 40558 4294967295 134512640 134569956 3221224400 3221214832 1131260181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40558 13073 16 0 210912 0 vsize: 843712 [startup+820.193 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 76872 75 0 0 16 0 11 0 481575520 863961088 40568 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40568 13073 16 0 210912 0 vsize: 843712 [startup+830.193 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 77863 75 0 0 25 0 11 0 481575520 863961088 40572 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40572 13073 16 0 210912 0 vsize: 843712 [startup+840.193 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 78852 75 0 0 25 0 11 0 481575520 863961088 40579 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40579 13073 16 0 210912 0 vsize: 843712 [startup+850.194 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 79842 75 0 0 23 0 11 0 481575520 863961088 40588 4294967295 134512640 134569956 3221224400 3221214832 1131260036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40588 13073 16 0 210912 0 vsize: 843712 [startup+860.194 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 80830 75 0 0 25 0 11 0 481575520 863961088 40596 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40596 13073 16 0 210912 0 vsize: 843712 [startup+870.194 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 81818 76 0 0 25 0 11 0 481575520 863961088 40603 4294967295 134512640 134569956 3221224400 3221214928 1131327877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40603 13073 16 0 210912 0 vsize: 843712 [startup+880.195 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 82806 76 0 0 25 0 11 0 481575520 863961088 40611 4294967295 134512640 134569956 3221224400 3221214880 1131167411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40611 13073 16 0 210912 0 vsize: 843712 [startup+890.195 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 83792 76 0 0 24 0 11 0 481575520 863961088 40623 4294967295 134512640 134569956 3221224400 3221214832 1131258989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40623 13073 16 0 210912 0 vsize: 843712 [startup+900.197 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 84779 76 0 0 25 0 11 0 481575520 863961088 40629 4294967295 134512640 134569956 3221224400 3221214880 1131167422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40629 13073 16 0 210912 0 vsize: 843712 [startup+910.197 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 85766 76 0 0 25 0 11 0 481575520 863961088 40637 4294967295 134512640 134569956 3221224400 3221214832 1131258949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40637 13073 16 0 210912 0 vsize: 843712 [startup+920.197 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 86754 76 0 0 25 0 11 0 481575520 863961088 40646 4294967295 134512640 134569956 3221224400 3221214832 1131259568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40646 13073 16 0 210912 0 vsize: 843712 [startup+930.197 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 87727 76 0 0 25 0 11 0 481575520 863961088 40656 4294967295 134512640 134569956 3221224400 3221214832 1131260096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40656 13073 16 0 210912 0 vsize: 843712 [startup+940.197 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 88681 76 0 0 25 0 11 0 481575520 863961088 40663 4294967295 134512640 134569956 3221224400 3221214696 1131351875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40663 13073 16 0 210912 0 vsize: 843712 [startup+950.198 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 89614 77 0 0 25 0 11 0 481575520 863961088 40669 4294967295 134512640 134569956 3221224400 3221214832 1131259417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 40669 13073 16 0 210912 0 vsize: 843712 [startup+960.199 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 90532 77 0 0 25 0 11 0 481575520 863961088 40822 4294967295 134512640 134569956 3221224400 3221214664 1131370101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40822 13073 16 0 210912 0 vsize: 843712 [startup+970.198 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 91428 77 0 0 25 0 11 0 481575520 863961088 41286 4294967295 134512640 134569956 3221224400 3221214664 1131370598 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 41286 13073 16 0 210912 0 vsize: 843712 [startup+980.198 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 92339 77 0 0 24 0 11 0 481575520 863961088 41627 4294967295 134512640 134569956 3221224400 3221214880 1131167393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 41627 13073 16 0 210912 0 vsize: 843712 [startup+990.199 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 93251 77 0 0 25 0 11 0 481575520 863961088 42182 4294967295 134512640 134569956 3221224400 3221214928 1131327877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 42182 13073 16 0 210912 0 vsize: 843712 [startup+1000.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 94164 77 0 0 25 0 11 0 481575520 863961088 42465 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 42465 13073 16 0 210912 0 vsize: 843712 [startup+1010.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 95079 78 0 0 25 0 11 0 481575520 863961088 42765 4294967295 134512640 134569956 3221224400 3221214600 1131587343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 42765 13073 16 0 210912 0 vsize: 843712 [startup+1020.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 96009 78 0 0 25 0 11 0 481575520 863961088 42765 4294967295 134512640 134569956 3221224400 3221214928 1131328061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 42765 13073 16 0 210912 0 vsize: 843712 [startup+1030.21 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 96933 78 0 0 25 0 11 0 481575520 863961088 43194 4294967295 134512640 134569956 3221224400 3221214928 1131327877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43194 13073 16 0 210912 0 vsize: 843712 [startup+1040.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 97875 78 0 0 25 0 11 0 481575520 863961088 43413 4294967295 134512640 134569956 3221224400 3221214832 1131258949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43413 13073 16 0 210912 0 vsize: 843712 [startup+1050.21 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 98806 78 0 0 25 0 11 0 481575520 863961088 43498 4294967295 134512640 134569956 3221224400 3221214544 1131388251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43498 13073 16 0 210912 0 vsize: 843712 [startup+1060.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26857 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 99722 79 0 0 25 0 11 0 481575520 863961088 43750 4294967295 134512640 134569956 3221224400 3221214608 1131281537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43750 13073 16 0 210912 0 vsize: 843712 [startup+1070.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 100644 80 0 0 25 0 11 0 481575520 863961088 43773 4294967295 134512640 134569956 3221224400 3221214832 1131259156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43773 13073 16 0 210912 0 vsize: 843712 [startup+1080.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 101576 80 0 0 25 0 11 0 481575520 863961088 44046 4294967295 134512640 134569956 3221224400 3221214728 1131405325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44046 13073 16 0 210912 0 vsize: 843712 [startup+1090.26 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 102498 80 0 0 25 0 11 0 481575520 863961088 44187 4294967295 134512640 134569956 3221224400 3221214608 1131281878 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44187 13073 16 0 210912 0 vsize: 843712 [startup+1100.26 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 103439 80 0 0 25 0 11 0 481575520 863961088 44570 4294967295 134512640 134569956 3221224400 3221214928 1131327891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44570 13073 16 0 210912 0 vsize: 843712 [startup+1110.3 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 104387 81 0 0 25 0 11 0 481575520 863961088 44653 4294967295 134512640 134569956 3221224400 3221214696 1131351966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44653 13073 16 0 210912 0 vsize: 843712 [startup+1120.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 105327 81 0 0 25 0 11 0 481575520 863961088 44788 4294967295 134512640 134569956 3221224400 3221214704 1131656985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44788 13073 16 0 210912 0 vsize: 843712 [startup+1130.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 106283 82 0 0 25 0 11 0 481575520 863961088 44973 4294967295 134512640 134569956 3221224400 3221214880 1131167360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44973 13073 16 0 210912 0 vsize: 843712 [startup+1140.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 107235 82 0 0 25 0 11 0 481575520 863961088 45070 4294967295 134512640 134569956 3221224400 3221214832 1131259465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45070 13073 16 0 210912 0 vsize: 843712 [startup+1150.32 s] Raw data (loadavg): 1.08 1.02 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 108186 82 0 0 25 0 11 0 481575520 863961088 45225 4294967295 134512640 134569956 3221224400 3221214608 1131282753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45225 13073 16 0 210912 0 vsize: 843712 [startup+1160.32 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 109140 83 0 0 25 0 11 0 481575520 863961088 45315 4294967295 134512640 134569956 3221224400 3221214608 1131282061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45315 13073 16 0 210912 0 vsize: 843712 [startup+1170.32 s] Raw data (loadavg): 1.06 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 110092 83 0 0 25 0 11 0 481575520 863961088 45405 4294967295 134512640 134569956 3221224400 3221214832 1131260100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45405 13073 16 0 210912 0 vsize: 843712 [startup+1180.33 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 111042 83 0 0 25 0 11 0 481575520 863961088 45539 4294967295 134512640 134569956 3221224400 3221214600 1131587659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45539 13073 16 0 210912 0 vsize: 843712 [startup+1190.33 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 111996 84 0 0 25 0 11 0 481575520 863961088 45585 4294967295 134512640 134569956 3221224400 3221214880 1131167481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45585 13073 16 0 210912 0 vsize: 843712 [startup+1200.33 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 112936 84 0 0 25 0 11 0 481575520 863961088 45752 4294967295 134512640 134569956 3221224400 3221214832 1131258993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45752 13073 16 0 210912 0 vsize: 843712 [startup+1210.33 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 113884 84 0 0 25 0 11 0 481575520 863961088 45791 4294967295 134512640 134569956 3221224400 3221214600 1131588646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45791 13073 16 0 210912 0 vsize: 843712 [startup+1220.33 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 114821 84 0 0 25 0 11 0 481575520 863961088 46000 4294967295 134512640 134569956 3221224400 3221214880 1131167411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 46000 13073 16 0 210912 0 vsize: 843712 [startup+1230.44 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 115784 84 0 0 25 0 11 0 481575520 863961088 46105 4294967295 134512640 134569956 3221224400 3221214608 1131282061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46105 13073 16 0 210912 0 vsize: 843712 [startup+1240.44 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 116749 84 0 0 25 0 11 0 481575520 863961088 46275 4294967295 134512640 134569956 3221224400 3221214832 1131259417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46275 13073 16 0 210912 0 vsize: 843712 [startup+1250.45 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 117724 85 0 0 25 0 11 0 481575520 863961088 46368 4294967295 134512640 134569956 3221224400 3221214728 1131405347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46368 13073 16 0 210912 0 vsize: 843712 [startup+1260.45 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 118703 85 0 0 25 0 11 0 481575520 863961088 46413 4294967295 134512640 134569956 3221224400 3221214832 1131258967 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46413 13073 16 0 210912 0 vsize: 843712 [startup+1270.45 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 119684 85 0 0 24 0 11 0 481575520 863961088 46454 4294967295 134512640 134569956 3221224400 3221214608 1131282061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46454 13073 16 0 210912 0 vsize: 843712 [startup+1280.45 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 26859 Raw data (stat): 26779 (java) R 26778 5897 5896 0 -1 0 18075 4 1 0 120667 85 0 0 25 0 11 0 481575520 863961088 46485 4294967295 134512640 134569956 3221224400 3221214608 1131281896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46485 13073 16 0 210912 0 vsize: 843712 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.56 s] Raw data (loadavg): 1.01 1.00 0.98 1/54 26861 Raw data (stat): 26779 (java) Z 26778 5897 5896 0 -1 1036 18075 34048 1 0 120668 85 8315 81 25 0 1 0 481575520 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): 1280.56 CPU time (s): 1291.51 CPU user time (s): 1289.83 CPU system time (s): 1.67574 CPU usage (%): 100.855 Max. virtual memory (Kb): 843712 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####