Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 3fce91583b30a82646d8d8e778b97a89 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 288 |
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 | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05884 |
Number of variables | 2112 |
Total number of constraints | 7132 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 2328 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-04-20 21:04:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14647 boxname=wulflinc1 idbench=1127 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 3fce91583b30a82646d8d8e778b97a89 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb IDLAUNCH: 14647 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 825148 kB Buffers: 19228 kB Cached: 162536 kB SwapCached: 0 kB Active: 84832 kB Inactive: 100092 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 824896 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 36 kB Writeback: 0 kB Mapped: 7220 kB Slab: 18740 kB Committed_AS: 92820 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 21:25:26 (client local time) WITH STATUS 143 IN 1226.56 SECONDS stats: 14647 7 1226.56 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb c reading problem c [nbvar=2112] c [nbconstr=7132] c time 6.566 c #vars 2112 c #clauses 5120 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=51 c Current CPU time (ms) : 17.691 c starts : 2 c conflicts : 152 c decisions : 4262 c propagations : 18424 c inspects : 27944 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 152 c root simplifications : 4 c c CURRENT OPTIMUM=46 c Current CPU time (ms) : 41.716 c starts : 4 c conflicts : 303 c decisions : 8051 c propagations : 37242 c inspects : 52555 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 303 c root simplifications : 6 c c CURRENT OPTIMUM=45 c Current CPU time (ms) : 65.332 c starts : 6 c conflicts : 436 c decisions : 12201 c propagations : 57426 c inspects : 78535 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 436 c root simplifications : 9 c c CURRENT OPTIMUM=41 c Current CPU time (ms) : 90.2 c starts : 8 c conflicts : 573 c decisions : 15775 c propagations : 75194 c inspects : 107092 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 573 c root simplifications : 12 c c CURRENT OPTIMUM=39 c Current CPU time (ms) : 146.833 c starts : 10 c conflicts : 707 c decisions : 18562 c propagations : 96471 c inspects : 144177 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 707 c root simplifications : 14 c c CURRENT OPTIMUM=37 c Current CPU time (ms) : 210.504 c starts : 11 c conflicts : 802 c decisions : 20267 c propagations : 115001 c inspects : 176251 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 802 c root simplifications : 15 #### 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.61 0.87 0.85 2/56 13691 Raw data (stat): 13691 (runsolver) R 13690 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 424462713 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.90 0.92 0.87 4/66 13701 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18076 0 1 0 727 40 0 0 25 0 11 0 424462713 863776768 20979 4294967295 134512640 134569956 3221224400 3221214576 1130899842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210883 20979 13073 16 0 210867 0 vsize: 843532 [startup+20.0013 s] Raw data (loadavg): 1.22 0.99 0.89 3/66 13704 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 1561 40 0 0 25 0 11 0 424462713 868311040 23612 4294967295 134512640 134569956 3221224400 3221214856 1131256406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211990 23612 13073 16 0 211974 0 vsize: 847960 [startup+30.002 s] Raw data (loadavg): 1.26 1.00 0.89 2/66 13704 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 2456 41 0 0 25 0 11 0 424462713 868286464 23821 4294967295 134512640 134569956 3221224400 3221214696 1131683441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211984 23821 13073 16 0 211968 0 vsize: 847936 [startup+40.0017 s] Raw data (loadavg): 1.22 1.00 0.90 2/66 13704 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 3386 41 0 0 25 0 11 0 424462713 868286464 23823 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211984 23823 13073 16 0 211968 0 vsize: 847936 [startup+50.0031 s] Raw data (loadavg): 1.26 1.02 0.90 2/66 13705 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 4310 41 0 0 25 0 11 0 424462713 878002176 26803 4294967295 134512640 134569956 3221224400 3221214840 1131330147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214356 26803 13073 16 0 214340 0 vsize: 857424 [startup+60.0034 s] Raw data (loadavg): 1.22 1.02 0.90 2/66 13705 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18086 4 1 0 5264 41 0 0 25 0 11 0 424462713 874242048 25953 4294967295 134512640 134569956 3221224400 3221214736 1131427217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213438 25953 13073 16 0 213422 0 vsize: 853752 [startup+70.0042 s] Raw data (loadavg): 1.27 1.03 0.91 2/66 13706 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 6222 41 0 0 25 0 11 0 424462713 874242048 26123 4294967295 134512640 134569956 3221224400 3221214736 1131427742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213438 26123 13073 16 0 213422 0 vsize: 853752 [startup+80.0049 s] Raw data (loadavg): 1.22 1.03 0.91 2/66 13706 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 7175 41 0 0 25 0 11 0 424462713 871534592 25509 4294967295 134512640 134569956 3221224400 3221214736 1131428441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212777 25509 13073 16 0 212761 0 vsize: 851108 [startup+90.0047 s] Raw data (loadavg): 1.19 1.03 0.91 2/66 13706 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 8132 41 0 0 24 0 11 0 424462713 871534592 25637 4294967295 134512640 134569956 3221224400 3221214840 1131330457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212777 25637 13073 16 0 212761 0 vsize: 851108 [startup+100.005 s] Raw data (loadavg): 1.16 1.03 0.91 2/66 13707 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 9078 42 0 0 25 0 11 0 424462713 870977536 25528 4294967295 134512640 134569956 3221224400 3221214624 1131467466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212641 25528 13073 16 0 212625 0 vsize: 850564 [startup+110.007 s] Raw data (loadavg): 1.13 1.03 0.91 2/66 13707 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 10024 42 0 0 25 0 11 0 424462713 868286464 25068 4294967295 134512640 134569956 3221224400 3221214672 1131409707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25068 13073 16 0 211968 0 vsize: 847936 [startup+120.007 s] Raw data (loadavg): 1.11 1.03 0.91 2/66 13707 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 10990 42 0 0 25 0 11 0 424462713 868286464 25112 4294967295 134512640 134569956 3221224400 3221214624 1131465361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25112 13073 16 0 211968 0 vsize: 847936 [startup+130.008 s] Raw data (loadavg): 1.10 1.02 0.91 2/66 13707 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 11950 42 0 0 25 0 11 0 424462713 868286464 25335 4294967295 134512640 134569956 3221224400 3221214504 1131607768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25335 13073 16 0 211968 0 vsize: 847936 [startup+140.008 s] Raw data (loadavg): 1.08 1.02 0.91 2/66 13707 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 12937 42 0 0 25 0 11 0 424462713 868286464 25381 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25381 13073 16 0 211968 0 vsize: 847936 [startup+150.013 s] Raw data (loadavg): 1.07 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 13918 42 0 0 25 0 11 0 424462713 868286464 25406 4294967295 134512640 134569956 3221224400 3221214612 1080204192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25406 13073 16 0 211968 0 vsize: 847936 [startup+160.013 s] Raw data (loadavg): 1.06 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 14881 43 0 0 25 0 11 0 424462713 868286464 25433 4294967295 134512640 134569956 3221224400 3221214840 1131330144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25433 13073 16 0 211968 0 vsize: 847936 [startup+170.013 s] Raw data (loadavg): 1.05 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 15843 43 0 0 25 0 11 0 424462713 868286464 25458 4294967295 134512640 134569956 3221224400 3221214736 1131427077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25458 13073 16 0 211968 0 vsize: 847936 [startup+180.014 s] Raw data (loadavg): 1.04 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 16810 43 0 0 25 0 11 0 424462713 868286464 25481 4294967295 134512640 134569956 3221224400 3221214896 1131702512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25481 13073 16 0 211968 0 vsize: 847936 [startup+190.018 s] Raw data (loadavg): 1.03 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 17786 43 0 0 25 0 11 0 424462713 868286464 25661 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25661 13073 16 0 211968 0 vsize: 847936 [startup+200.019 s] Raw data (loadavg): 1.03 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 18774 43 0 0 24 0 11 0 424462713 868286464 25694 4294967295 134512640 134569956 3221224400 3221214612 1080204206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25694 13073 16 0 211968 0 vsize: 847936 [startup+210.019 s] Raw data (loadavg): 1.02 1.02 0.91 2/66 13708 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 19764 43 0 0 25 0 11 0 424462713 868286464 25715 4294967295 134512640 134569956 3221224400 3221214664 1131214757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25715 13073 16 0 211968 0 vsize: 847936 [startup+220.023 s] Raw data (loadavg): 1.02 1.02 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 20733 44 0 0 25 0 11 0 424462713 868286464 25740 4294967295 134512640 134569956 3221224400 3221214672 1131416313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25740 13073 16 0 211968 0 vsize: 847936 [startup+230.024 s] Raw data (loadavg): 1.02 1.02 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 21697 44 0 0 25 0 11 0 424462713 868286464 25762 4294967295 134512640 134569956 3221224400 3221214736 1131430931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25762 13073 16 0 211968 0 vsize: 847936 [startup+240.024 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 22664 44 0 0 25 0 11 0 424462713 868286464 25788 4294967295 134512640 134569956 3221224400 3221214600 1131215291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25788 13073 16 0 211968 0 vsize: 847936 [startup+250.025 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 23628 44 0 0 25 0 11 0 424462713 868286464 25957 4294967295 134512640 134569956 3221224400 3221214736 1131429507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25957 13073 16 0 211968 0 vsize: 847936 [startup+260.026 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 24615 44 0 0 25 0 11 0 424462713 868286464 25990 4294967295 134512640 134569956 3221224400 3221214688 1131543458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 25990 13073 16 0 211968 0 vsize: 847936 [startup+270.026 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 25600 44 0 0 25 0 11 0 424462713 868286464 26022 4294967295 134512640 134569956 3221224400 3221214624 1131467456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26022 13073 16 0 211968 0 vsize: 847936 [startup+280.026 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 26578 44 0 0 25 0 11 0 424462713 868286464 26058 4294967295 134512640 134569956 3221224400 3221214736 1131429450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26058 13073 16 0 211968 0 vsize: 847936 [startup+290.028 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 27554 44 0 0 25 0 11 0 424462713 868286464 26087 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26087 13073 16 0 211968 0 vsize: 847936 [startup+300.028 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 28532 44 0 0 24 0 11 0 424462713 868286464 26116 4294967295 134512640 134569956 3221224400 3221214504 1131507615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26116 13073 16 0 211968 0 vsize: 847936 [startup+310.028 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13709 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 29513 44 0 0 22 0 11 0 424462713 868286464 26196 4294967295 134512640 134569956 3221224400 3221214624 1131465716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26196 13073 16 0 211968 0 vsize: 847936 [startup+320.028 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 30498 45 0 0 25 0 11 0 424462713 868286464 26233 4294967295 134512640 134569956 3221224400 3221214736 1131427111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26233 13073 16 0 211968 0 vsize: 847936 [startup+330.028 s] Raw data (loadavg): 1.00 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 31486 45 0 0 25 0 11 0 424462713 868286464 26255 4294967295 134512640 134569956 3221224400 3221214736 1131428441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26255 13073 16 0 211968 0 vsize: 847936 [startup+340.028 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 32472 45 0 0 25 0 11 0 424462713 868286464 26277 4294967295 134512640 134569956 3221224400 3221214736 1131430716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26277 13073 16 0 211968 0 vsize: 847936 [startup+350.029 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 33458 45 0 0 25 0 11 0 424462713 868286464 26301 4294967295 134512640 134569956 3221224400 3221214504 1131506948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26301 13073 16 0 211968 0 vsize: 847936 [startup+360.031 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 34443 46 0 0 25 0 11 0 424462713 868286464 26325 4294967295 134512640 134569956 3221224400 3221214736 1131428707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26325 13073 16 0 211968 0 vsize: 847936 [startup+370.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 35429 46 0 0 25 0 11 0 424462713 868286464 26352 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26352 13073 16 0 211968 0 vsize: 847936 [startup+380.031 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 36417 46 0 0 25 0 11 0 424462713 868286464 26371 4294967295 134512640 134569956 3221224400 3221214624 1131469131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26371 13073 16 0 211968 0 vsize: 847936 [startup+390.031 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 37405 46 0 0 25 0 11 0 424462713 868286464 26397 4294967295 134512640 134569956 3221224400 3221214624 1131470129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26397 13073 16 0 211968 0 vsize: 847936 [startup+400.032 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 38392 46 0 0 25 0 11 0 424462713 868286464 26429 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26429 13073 16 0 211968 0 vsize: 847936 [startup+410.037 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 39378 46 0 0 25 0 11 0 424462713 868286464 26451 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26451 13073 16 0 211968 0 vsize: 847936 [startup+420.037 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 40359 47 0 0 25 0 11 0 424462713 868286464 26469 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26469 13073 16 0 211968 0 vsize: 847936 [startup+430.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 41340 47 0 0 25 0 11 0 424462713 868286464 26489 4294967295 134512640 134569956 3221224400 3221214840 1131330454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26489 13073 16 0 211968 0 vsize: 847936 [startup+440.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 42318 47 0 0 25 0 11 0 424462713 868286464 26513 4294967295 134512640 134569956 3221224400 3221214600 1131248871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26513 13073 16 0 211968 0 vsize: 847936 [startup+450.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 43301 47 0 0 25 0 11 0 424462713 868286464 26581 4294967295 134512640 134569956 3221224400 3221214840 1131330355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26581 13073 16 0 211968 0 vsize: 847936 [startup+460.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 44284 47 0 0 25 0 11 0 424462713 868286464 26614 4294967295 134512640 134569956 3221224400 3221214672 1131417241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26614 13073 16 0 211968 0 vsize: 847936 [startup+470.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 45271 47 0 0 25 0 11 0 424462713 868286464 26638 4294967295 134512640 134569956 3221224400 3221214696 1131683424 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26638 13073 16 0 211968 0 vsize: 847936 [startup+480.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 46251 48 0 0 24 0 11 0 424462713 868286464 26672 4294967295 134512640 134569956 3221224400 3221214688 1131543555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26672 13073 16 0 211968 0 vsize: 847936 [startup+490.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 47231 48 0 0 25 0 11 0 424462713 868286464 26717 4294967295 134512640 134569956 3221224400 3221214736 1131431570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26717 13073 16 0 211968 0 vsize: 847936 [startup+500.049 s] Raw data (loadavg): 1.07 1.02 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 48208 48 0 0 25 0 11 0 424462713 868286464 26746 4294967295 134512640 134569956 3221224400 3221214592 1131616381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26746 13073 16 0 211968 0 vsize: 847936 [startup+510.048 s] Raw data (loadavg): 1.06 1.02 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 49188 48 0 0 25 0 11 0 424462713 868286464 26791 4294967295 134512640 134569956 3221224400 3221214624 1131467490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26791 13073 16 0 211968 0 vsize: 847936 [startup+520.048 s] Raw data (loadavg): 1.05 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 50167 48 0 0 25 0 11 0 424462713 868286464 26837 4294967295 134512640 134569956 3221224400 3221214592 1131616527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26837 13073 16 0 211968 0 vsize: 847936 [startup+530.049 s] Raw data (loadavg): 1.04 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 51149 49 0 0 25 0 11 0 424462713 868286464 26923 4294967295 134512640 134569956 3221224400 3221214672 1131417290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26923 13073 16 0 211968 0 vsize: 847936 [startup+540.05 s] Raw data (loadavg): 1.04 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 52135 49 0 0 25 0 11 0 424462713 868286464 26953 4294967295 134512640 134569956 3221224400 3221214592 1131617605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26953 13073 16 0 211968 0 vsize: 847936 [startup+550.049 s] Raw data (loadavg): 1.03 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 53121 49 0 0 25 0 11 0 424462713 868286464 26985 4294967295 134512640 134569956 3221224400 3221214736 1131427252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 26985 13073 16 0 211968 0 vsize: 847936 [startup+560.049 s] Raw data (loadavg): 1.02 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 54108 49 0 0 25 0 11 0 424462713 868286464 27015 4294967295 134512640 134569956 3221224400 3221214624 1131465541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27015 13073 16 0 211968 0 vsize: 847936 [startup+570.05 s] Raw data (loadavg): 1.02 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 55094 49 0 0 25 0 11 0 424462713 868286464 27045 4294967295 134512640 134569956 3221224400 3221214736 1131426991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27045 13073 16 0 211968 0 vsize: 847936 [startup+580.051 s] Raw data (loadavg): 1.02 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 56079 49 0 0 25 0 11 0 424462713 868286464 27072 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27072 13073 16 0 211968 0 vsize: 847936 [startup+590.051 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 57067 49 0 0 25 0 11 0 424462713 868286464 27093 4294967295 134512640 134569956 3221224400 3221214624 1131469603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27093 13073 16 0 211968 0 vsize: 847936 [startup+600.051 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 58047 50 0 0 25 0 11 0 424462713 868286464 27120 4294967295 134512640 134569956 3221224400 3221214600 1131248731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27120 13073 16 0 211968 0 vsize: 847936 [startup+610.051 s] Raw data (loadavg): 1.01 1.01 0.91 2/66 13711 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 59023 50 0 0 25 0 11 0 424462713 868286464 27144 4294967295 134512640 134569956 3221224400 3221214600 1131248954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27144 13073 16 0 211968 0 vsize: 847936 [startup+620.051 s] Raw data (loadavg): 1.01 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 59994 50 0 0 25 0 11 0 424462713 868286464 27170 4294967295 134512640 134569956 3221224400 3221214840 1131330438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27170 13073 16 0 211968 0 vsize: 847936 [startup+630.052 s] Raw data (loadavg): 1.01 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 60965 50 0 0 25 0 11 0 424462713 868286464 27196 4294967295 134512640 134569956 3221224400 3221214736 1131429352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27196 13073 16 0 211968 0 vsize: 847936 [startup+640.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 61946 50 0 0 25 0 11 0 424462713 868286464 27289 4294967295 134512640 134569956 3221224400 3221214624 1131469732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27289 13073 16 0 211968 0 vsize: 847936 [startup+650.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 62931 51 0 0 25 0 11 0 424462713 868286464 27342 4294967295 134512640 134569956 3221224400 3221214624 1131466162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27342 13073 16 0 211968 0 vsize: 847936 [startup+660.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 63918 51 0 0 25 0 11 0 424462713 868286464 27371 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27371 13073 16 0 211968 0 vsize: 847936 [startup+670.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 64906 51 0 0 25 0 11 0 424462713 868286464 27405 4294967295 134512640 134569956 3221224400 3221214624 1131466693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27405 13073 16 0 211968 0 vsize: 847936 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 65892 51 0 0 25 0 11 0 424462713 868286464 27438 4294967295 134512640 134569956 3221224400 3221214736 1131428683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27438 13073 16 0 211968 0 vsize: 847936 [startup+690.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 66878 51 0 0 25 0 11 0 424462713 868286464 27474 4294967295 134512640 134569956 3221224400 3221214672 1131409702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27474 13073 16 0 211968 0 vsize: 847936 [startup+700.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 67865 52 0 0 25 0 11 0 424462713 868286464 27501 4294967295 134512640 134569956 3221224400 3221214624 1131465374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27501 13073 16 0 211968 0 vsize: 847936 [startup+710.061 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 68852 52 0 0 25 0 11 0 424462713 868286464 27534 4294967295 134512640 134569956 3221224400 3221214624 1131465459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27534 13073 16 0 211968 0 vsize: 847936 [startup+720.062 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 69839 52 0 0 25 0 11 0 424462713 868286464 27564 4294967295 134512640 134569956 3221224400 3221214624 1131465188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27564 13073 16 0 211968 0 vsize: 847936 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 70824 52 0 0 25 0 11 0 424462713 868286464 27597 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27597 13073 16 0 211968 0 vsize: 847936 [startup+740.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 71808 52 0 0 25 0 11 0 424462713 868286464 27626 4294967295 134512640 134569956 3221224400 3221214736 1131430071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27626 13073 16 0 211968 0 vsize: 847936 [startup+750.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 72794 52 0 0 25 0 11 0 424462713 868286464 27655 4294967295 134512640 134569956 3221224400 3221214624 1131470071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27655 13073 16 0 211968 0 vsize: 847936 [startup+760.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 73779 53 0 0 25 0 11 0 424462713 868286464 27696 4294967295 134512640 134569956 3221224400 3221214736 1131428687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27696 13073 16 0 211968 0 vsize: 847936 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 74764 53 0 0 25 0 11 0 424462713 868286464 27732 4294967295 134512640 134569956 3221224400 3221214884 1080204274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27732 13073 16 0 211968 0 vsize: 847936 [startup+780.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 75752 53 0 0 25 0 11 0 424462713 868286464 27763 4294967295 134512640 134569956 3221224400 3221214624 1131466223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27763 13073 16 0 211968 0 vsize: 847936 [startup+790.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 76736 53 0 0 25 0 11 0 424462713 868286464 27793 4294967295 134512640 134569956 3221224400 3221214612 1080204216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27793 13073 16 0 211968 0 vsize: 847936 [startup+800.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 77721 53 0 0 25 0 11 0 424462713 868286464 27835 4294967295 134512640 134569956 3221224400 3221214592 1131618362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27835 13073 16 0 211968 0 vsize: 847936 [startup+810.086 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 78709 53 0 0 25 0 11 0 424462713 868286464 27872 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27872 13073 16 0 211968 0 vsize: 847936 [startup+820.085 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 79694 54 0 0 25 0 11 0 424462713 868286464 27908 4294967295 134512640 134569956 3221224400 3221214840 1131330363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27908 13073 16 0 211968 0 vsize: 847936 [startup+830.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 80678 54 0 0 25 0 11 0 424462713 868286464 27944 4294967295 134512640 134569956 3221224400 3221214616 1080203753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27944 13073 16 0 211968 0 vsize: 847936 [startup+840.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 81664 54 0 0 25 0 11 0 424462713 868286464 27988 4294967295 134512640 134569956 3221224400 3221214672 1131417089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 27988 13073 16 0 211968 0 vsize: 847936 [startup+850.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 82640 54 0 0 25 0 11 0 424462713 868286464 28025 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28025 13073 16 0 211968 0 vsize: 847936 [startup+860.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 83612 54 0 0 24 0 11 0 424462713 868286464 28063 4294967295 134512640 134569956 3221224400 3221214624 1131465279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28063 13073 16 0 211968 0 vsize: 847936 [startup+870.086 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 84591 54 0 0 25 0 11 0 424462713 868286464 28091 4294967295 134512640 134569956 3221224400 3221214600 1131248864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28091 13073 16 0 211968 0 vsize: 847936 [startup+880.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 85564 55 0 0 25 0 11 0 424462713 868286464 28117 4294967295 134512640 134569956 3221224400 3221214760 1131347696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28117 13073 16 0 211968 0 vsize: 847936 [startup+890.095 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 86542 55 0 0 25 0 11 0 424462713 868286464 28212 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28212 13073 16 0 211968 0 vsize: 847936 [startup+900.095 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 87527 55 0 0 25 0 11 0 424462713 868286464 28266 4294967295 134512640 134569956 3221224400 3221214600 1131249142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28266 13073 16 0 211968 0 vsize: 847936 [startup+910.094 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13713 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 88515 55 0 0 25 0 11 0 424462713 868286464 28293 4294967295 134512640 134569956 3221224400 3221214696 1131683533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28293 13073 16 0 211968 0 vsize: 847936 [startup+920.103 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 89505 55 0 0 25 0 11 0 424462713 868286464 28313 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28313 13073 16 0 211968 0 vsize: 847936 [startup+930.104 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 90491 55 0 0 25 0 11 0 424462713 868286464 28343 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28343 13073 16 0 211968 0 vsize: 847936 [startup+940.104 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 91479 56 0 0 25 0 11 0 424462713 868286464 28367 4294967295 134512640 134569956 3221224400 3221214624 1131468354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28367 13073 16 0 211968 0 vsize: 847936 [startup+950.135 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 92470 56 0 0 25 0 11 0 424462713 868286464 28384 4294967295 134512640 134569956 3221224400 3221214672 1131591103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28384 13073 16 0 211968 0 vsize: 847936 [startup+960.135 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 93460 56 0 0 25 0 11 0 424462713 868286464 28398 4294967295 134512640 134569956 3221224400 3221214624 1131470129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28398 13073 16 0 211968 0 vsize: 847936 [startup+970.135 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 94447 56 0 0 25 0 11 0 424462713 868286464 28433 4294967295 134512640 134569956 3221224400 3221214592 1131616222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28433 13073 16 0 211968 0 vsize: 847936 [startup+980.136 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 95433 56 0 0 25 0 11 0 424462713 868286464 28457 4294967295 134512640 134569956 3221224400 3221214736 1131428277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28457 13073 16 0 211968 0 vsize: 847936 [startup+990.139 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 96421 56 0 0 25 0 11 0 424462713 868286464 28483 4294967295 134512640 134569956 3221224400 3221214840 1131330594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28483 13073 16 0 211968 0 vsize: 847936 [startup+1000.14 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 97407 56 0 0 25 0 11 0 424462713 868286464 28505 4294967295 134512640 134569956 3221224400 3221214736 1131429507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28505 13073 16 0 211968 0 vsize: 847936 [startup+1010.15 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 98394 56 0 0 25 0 11 0 424462713 868286464 28546 4294967295 134512640 134569956 3221224400 3221214672 1131416381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28546 13073 16 0 211968 0 vsize: 847936 [startup+1020.17 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 99383 57 0 0 25 0 11 0 424462713 868286464 28569 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28569 13073 16 0 211968 0 vsize: 847936 [startup+1030.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 100370 57 0 0 25 0 11 0 424462713 868286464 28601 4294967295 134512640 134569956 3221224400 3221214600 1131249661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28601 13073 16 0 211968 0 vsize: 847936 [startup+1040.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 101358 57 0 0 25 0 11 0 424462713 868286464 28632 4294967295 134512640 134569956 3221224400 3221214696 1131683439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28632 13073 16 0 211968 0 vsize: 847936 [startup+1050.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 102347 57 0 0 25 0 11 0 424462713 868286464 28655 4294967295 134512640 134569956 3221224400 3221214592 1131616575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28655 13073 16 0 211968 0 vsize: 847936 [startup+1060.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 103336 58 0 0 25 0 11 0 424462713 868286464 28681 4294967295 134512640 134569956 3221224400 3221214592 1131615900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211984 28681 13073 16 0 211968 0 vsize: 847936 [startup+1070.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 104324 58 0 0 25 0 11 0 424462713 868286464 28705 4294967295 134512640 134569956 3221224400 3221214696 1131685070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28705 13073 16 0 211968 0 vsize: 847936 [startup+1080.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 105313 58 0 0 25 0 11 0 424462713 868286464 28727 4294967295 134512640 134569956 3221224400 3221214840 1131330461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28727 13073 16 0 211968 0 vsize: 847936 [startup+1090.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 106299 58 0 0 25 0 11 0 424462713 868286464 28745 4294967295 134512640 134569956 3221224400 3221214592 1131615900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28745 13073 16 0 211968 0 vsize: 847936 [startup+1100.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 107284 58 0 0 25 0 11 0 424462713 868286464 28773 4294967295 134512640 134569956 3221224400 3221214592 1131616649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28773 13073 16 0 211968 0 vsize: 847936 [startup+1110.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 108272 58 0 0 25 0 11 0 424462713 868286464 28805 4294967295 134512640 134569956 3221224400 3221214840 1131330144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28805 13073 16 0 211968 0 vsize: 847936 [startup+1120.18 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 109253 59 0 0 24 0 11 0 424462713 868286464 28839 4294967295 134512640 134569956 3221224400 3221214736 1131427183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28839 13073 16 0 211968 0 vsize: 847936 [startup+1130.19 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 110237 59 0 0 25 0 11 0 424462713 868286464 28865 4294967295 134512640 134569956 3221224400 3221214736 1131430566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28865 13073 16 0 211968 0 vsize: 847936 [startup+1140.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 111229 59 0 0 25 0 11 0 424462713 868286464 28893 4294967295 134512640 134569956 3221224400 3221214696 1131683548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28893 13073 16 0 211968 0 vsize: 847936 [startup+1150.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 112209 60 0 0 25 0 11 0 424462713 868286464 28927 4294967295 134512640 134569956 3221224400 3221214696 1131683456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28927 13073 16 0 211968 0 vsize: 847936 [startup+1160.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 113189 60 0 0 25 0 11 0 424462713 868286464 28971 4294967295 134512640 134569956 3221224400 3221214696 1131683447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 28971 13073 16 0 211968 0 vsize: 847936 [startup+1170.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 114171 60 0 0 25 0 11 0 424462713 868286464 29014 4294967295 134512640 134569956 3221224400 3221214664 1131214525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29014 13073 16 0 211968 0 vsize: 847936 [startup+1180.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 115147 60 0 0 25 0 11 0 424462713 868286464 29067 4294967295 134512640 134569956 3221224400 3221214696 1131683533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29067 13073 16 0 211968 0 vsize: 847936 [startup+1190.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 116126 60 0 0 25 0 11 0 424462713 868286464 29104 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29104 13073 16 0 211968 0 vsize: 847936 [startup+1200.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 117103 60 0 0 25 0 11 0 424462713 868286464 29139 4294967295 134512640 134569956 3221224400 3221214736 1131376648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211984 29139 13073 16 0 211968 0 vsize: 847936 [startup+1210.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13715 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 118078 60 0 0 25 0 11 0 424462713 868286464 29179 4294967295 134512640 134569956 3221224400 3221214600 1131249691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29179 13073 16 0 211968 0 vsize: 847936 [startup+1220.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13717 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 119054 61 0 0 25 0 11 0 424462713 868286464 29231 4294967295 134512640 134569956 3221224400 3221214840 1131330152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29231 13073 16 0 211968 0 vsize: 847936 [startup+1230.29 s] Raw data (loadavg): 1.00 1.00 0.91 2/66 13717 Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 120033 61 0 0 25 0 11 0 424462713 868286464 29280 4294967295 134512640 134569956 3221224400 3221214736 1131433203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211984 29280 13073 16 0 211968 0 vsize: 847936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.42 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 13719 Raw data (stat): 13691 (java) Z 13690 12452 12451 0 -1 1036 18087 7394 1 0 120037 61 2528 28 25 0 1 0 424462713 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): 1230.42 CPU time (s): 1226.56 CPU user time (s): 1225.66 CPU system time (s): 0.902862 CPU usage (%): 99.6865 Max. virtual memory (Kb): 857424 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####