Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb |
MD5SUM | 7604157ea8afc3404bc57ce8776c9667 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16763904 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1503282307720 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1503282307720 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1225.15 |
Number of variables | 7936 |
Total number of constraints | 324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 324 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1920 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-04-20 21:22:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14348 boxname=wulflinc3 idbench=1104 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7604157ea8afc3404bc57ce8776c9667 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb IDLAUNCH: 14348 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 408152 kB Buffers: 33988 kB Cached: 568560 kB SwapCached: 0 kB Active: 158536 kB Inactive: 446760 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 407900 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6840 kB Slab: 15552 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 21:42:36 (client local time) WITH STATUS 143 IN 1217.17 SECONDS stats: 14348 7 1217.17 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb c reading problem c [nbvar=7936] c [nbconstr=324] c time 23.221 c #vars 7936 c #clauses 393 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=16367528 c Current CPU time (ms) : 49.87 c starts : 1 c conflicts : 2 c decisions : 2471 c propagations : 10468 c inspects : 5486 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 3 c c CURRENT OPTIMUM=16321514 c Current CPU time (ms) : 73.847 c starts : 2 c conflicts : 3 c decisions : 3245 c propagations : 14307 c inspects : 9612 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 4 #### 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.93 0.99 0.91 2/54 32534 Raw data (stat): 32534 (runsolver) R 32533 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481417317 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.0006 s] Raw data (loadavg): 0.94 0.99 0.91 2/63 32543 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 17988 0 1 0 874 41 0 0 25 0 10 0 481417317 853250048 19156 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208313 19156 13073 16 0 208297 0 vsize: 833252 [startup+20.0133 s] Raw data (loadavg): 1.03 1.00 0.91 2/63 32543 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 17991 0 1 0 1760 41 0 0 25 0 10 0 481417317 854298624 19940 4294967295 134512640 134569956 3221224400 3221214584 1131200575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208569 19940 13073 16 0 208553 0 vsize: 834276 [startup+30.0138 s] Raw data (loadavg): 1.17 1.04 0.93 2/64 32544 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18099 0 1 0 2510 42 0 0 25 0 11 0 481417317 867557376 24054 4294967295 134512640 134569956 3221224400 3221214856 1131257066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211806 24054 13073 16 0 211790 0 vsize: 847224 [startup+40.0142 s] Raw data (loadavg): 1.15 1.03 0.93 2/64 32544 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18099 0 1 0 3399 43 0 0 25 0 11 0 481417317 867262464 23870 4294967295 134512640 134569956 3221224400 3221214800 1131305701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211734 23870 13073 16 0 211718 0 vsize: 846936 [startup+50.0159 s] Raw data (loadavg): 1.12 1.03 0.93 2/64 32544 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18099 0 1 0 4290 43 0 0 25 0 11 0 481417317 867262464 24031 4294967295 134512640 134569956 3221224400 3221214800 1131305802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211734 24031 13073 16 0 211718 0 vsize: 846936 [startup+60.0163 s] Raw data (loadavg): 1.10 1.03 0.93 2/64 32545 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18100 4 1 0 5201 43 0 0 25 0 11 0 481417317 867262464 24757 4294967295 134512640 134569956 3221224400 3221214800 1131306063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211734 24757 13073 16 0 211718 0 vsize: 846936 [startup+70.0176 s] Raw data (loadavg): 1.09 1.03 0.93 2/64 32545 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18100 4 1 0 6171 44 0 0 25 0 11 0 481417317 867262464 24765 4294967295 134512640 134569956 3221224400 3221214800 1131306001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211734 24765 13073 16 0 211718 0 vsize: 846936 [startup+80.0194 s] Raw data (loadavg): 1.15 1.04 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 7125 44 0 0 25 0 11 0 481417317 869359616 25253 4294967295 134512640 134569956 3221224400 3221214800 1131306162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25253 13073 16 0 212230 0 vsize: 848984 [startup+90.0198 s] Raw data (loadavg): 1.12 1.04 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 8068 44 0 0 25 0 11 0 481417317 869359616 25406 4294967295 134512640 134569956 3221224400 3221214800 1131306269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25406 13073 16 0 212230 0 vsize: 848984 [startup+100.029 s] Raw data (loadavg): 1.10 1.04 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 9019 45 0 0 25 0 11 0 481417317 869359616 25409 4294967295 134512640 134569956 3221224400 3221214800 1131306065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25409 13073 16 0 212230 0 vsize: 848984 [startup+110.038 s] Raw data (loadavg): 1.09 1.04 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 9996 45 0 0 25 0 11 0 481417317 869359616 25731 4294967295 134512640 134569956 3221224400 3221214800 1131306657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25731 13073 16 0 212230 0 vsize: 848984 [startup+120.038 s] Raw data (loadavg): 1.07 1.04 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 10990 45 0 0 25 0 11 0 481417317 869359616 25733 4294967295 134512640 134569956 3221224400 3221214800 1131306622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25733 13073 16 0 212230 0 vsize: 848984 [startup+130.039 s] Raw data (loadavg): 1.06 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 11986 45 0 0 25 0 11 0 481417317 869359616 25748 4294967295 134512640 134569956 3221224400 3221214800 1131305734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25748 13073 16 0 212230 0 vsize: 848984 [startup+140.039 s] Raw data (loadavg): 1.05 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 12981 45 0 0 25 0 11 0 481417317 869359616 25751 4294967295 134512640 134569956 3221224400 3221214800 1131306341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25751 13073 16 0 212230 0 vsize: 848984 [startup+150.046 s] Raw data (loadavg): 1.04 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 13976 45 0 0 25 0 11 0 481417317 869359616 25762 4294967295 134512640 134569956 3221224400 3221214800 1131306013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25762 13073 16 0 212230 0 vsize: 848984 [startup+160.047 s] Raw data (loadavg): 1.04 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 14973 45 0 0 25 0 11 0 481417317 869359616 25772 4294967295 134512640 134569956 3221224400 3221214800 1131306947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25772 13073 16 0 212230 0 vsize: 848984 [startup+170.046 s] Raw data (loadavg): 1.03 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 15970 45 0 0 25 0 11 0 481417317 869359616 25772 4294967295 134512640 134569956 3221224400 3221214800 1131306345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25772 13073 16 0 212230 0 vsize: 848984 [startup+180.048 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 16966 45 0 0 25 0 11 0 481417317 869359616 25775 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25775 13073 16 0 212230 0 vsize: 848984 [startup+190.055 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 17963 45 0 0 25 0 11 0 481417317 869359616 25780 4294967295 134512640 134569956 3221224400 3221214800 1131306990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25780 13073 16 0 212230 0 vsize: 848984 [startup+200.056 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 18960 45 0 0 25 0 11 0 481417317 869359616 25787 4294967295 134512640 134569956 3221224400 3221214856 1131257218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25787 13073 16 0 212230 0 vsize: 848984 [startup+210.057 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 19955 45 0 0 25 0 11 0 481417317 869359616 25790 4294967295 134512640 134569956 3221224400 3221214896 1131397645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25790 13073 16 0 212230 0 vsize: 848984 [startup+220.057 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 20950 45 0 0 25 0 11 0 481417317 869359616 25796 4294967295 134512640 134569956 3221224400 3221214800 1131306315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25796 13073 16 0 212230 0 vsize: 848984 [startup+230.057 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 21946 45 0 0 25 0 11 0 481417317 869359616 25808 4294967295 134512640 134569956 3221224400 3221214800 1131306197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25808 13073 16 0 212230 0 vsize: 848984 [startup+240.058 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 22942 45 0 0 25 0 11 0 481417317 869359616 25815 4294967295 134512640 134569956 3221224400 3221214896 1131398440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25815 13073 16 0 212230 0 vsize: 848984 [startup+250.059 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 23938 45 0 0 25 0 11 0 481417317 869359616 25827 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25827 13073 16 0 212230 0 vsize: 848984 [startup+260.061 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 24933 45 0 0 25 0 11 0 481417317 869359616 25828 4294967295 134512640 134569956 3221224400 3221214856 1131257066 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25828 13073 16 0 212230 0 vsize: 848984 [startup+270.061 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 25929 46 0 0 25 0 11 0 481417317 869359616 25849 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25849 13073 16 0 212230 0 vsize: 848984 [startup+280.062 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 26926 46 0 0 25 0 11 0 481417317 869359616 25850 4294967295 134512640 134569956 3221224400 3221214800 1131305708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25850 13073 16 0 212230 0 vsize: 848984 [startup+290.062 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 27920 46 0 0 25 0 11 0 481417317 869359616 25850 4294967295 134512640 134569956 3221224400 3221214800 1131306216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25850 13073 16 0 212230 0 vsize: 848984 [startup+300.064 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 28913 46 0 0 25 0 11 0 481417317 869359616 25858 4294967295 134512640 134569956 3221224400 3221214800 1131306297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25858 13073 16 0 212230 0 vsize: 848984 [startup+310.064 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 29909 46 0 0 25 0 11 0 481417317 869359616 25873 4294967295 134512640 134569956 3221224400 3221214800 1131306013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25873 13073 16 0 212230 0 vsize: 848984 [startup+320.064 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 30906 46 0 0 25 0 11 0 481417317 869359616 25879 4294967295 134512640 134569956 3221224400 3221214800 1131305788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25879 13073 16 0 212230 0 vsize: 848984 [startup+330.065 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 31900 46 0 0 24 0 11 0 481417317 869359616 25880 4294967295 134512640 134569956 3221224400 3221214848 1131464931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25880 13073 16 0 212230 0 vsize: 848984 [startup+340.066 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18101 4 1 0 32885 46 0 0 25 0 11 0 481417317 869359616 25892 4294967295 134512640 134569956 3221224400 3221214488 1131292695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25892 13073 16 0 212230 0 vsize: 848984 [startup+350.066 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 33870 46 0 0 25 0 11 0 481417317 869359616 25897 4294967295 134512640 134569956 3221224400 3221214744 1131474184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25897 13073 16 0 212230 0 vsize: 848984 [startup+360.068 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 34854 46 0 0 25 0 11 0 481417317 869359616 25899 4294967295 134512640 134569956 3221224400 3221214648 1131438348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25899 13073 16 0 212230 0 vsize: 848984 [startup+370.068 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 35817 46 0 0 25 0 11 0 481417317 869359616 25903 4294967295 134512640 134569956 3221224400 3221214800 1131306044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25903 13073 16 0 212230 0 vsize: 848984 [startup+380.068 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 36794 46 0 0 25 0 11 0 481417317 869359616 25996 4294967295 134512640 134569956 3221224400 3221214800 1131306189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25996 13073 16 0 212230 0 vsize: 848984 [startup+390.068 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 37776 46 0 0 25 0 11 0 481417317 869359616 25996 4294967295 134512640 134569956 3221224400 3221214800 1131305741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 25996 13073 16 0 212230 0 vsize: 848984 [startup+400.07 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 38764 46 0 0 25 0 11 0 481417317 869359616 26063 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26063 13073 16 0 212230 0 vsize: 848984 [startup+410.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 39760 46 0 0 25 0 11 0 481417317 869359616 26068 4294967295 134512640 134569956 3221224400 3221214800 1131306063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26068 13073 16 0 212230 0 vsize: 848984 [startup+420.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 40756 47 0 0 25 0 11 0 481417317 869359616 26071 4294967295 134512640 134569956 3221224400 3221214800 1131306297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26071 13073 16 0 212230 0 vsize: 848984 [startup+430.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 41753 47 0 0 25 0 11 0 481417317 869359616 26087 4294967295 134512640 134569956 3221224400 3221214936 1131221401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26087 13073 16 0 212230 0 vsize: 848984 [startup+440.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 42750 47 0 0 25 0 11 0 481417317 869359616 26089 4294967295 134512640 134569956 3221224400 3221214856 1131257045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26089 13073 16 0 212230 0 vsize: 848984 [startup+450.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 43747 47 0 0 25 0 11 0 481417317 869359616 26089 4294967295 134512640 134569956 3221224400 3221214800 1131306124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26089 13073 16 0 212230 0 vsize: 848984 [startup+460.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 44744 47 0 0 25 0 11 0 481417317 869359616 26095 4294967295 134512640 134569956 3221224400 3221214728 1131521114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26095 13073 16 0 212230 0 vsize: 848984 [startup+470.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 45724 47 0 0 25 0 11 0 481417317 869359616 26096 4294967295 134512640 134569956 3221224400 3221214744 1131475106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26096 13073 16 0 212230 0 vsize: 848984 [startup+480.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 46690 47 0 0 25 0 11 0 481417317 869359616 26100 4294967295 134512640 134569956 3221224400 3221214480 1131292766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26100 13073 16 0 212230 0 vsize: 848984 [startup+490.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 47665 47 0 0 25 0 11 0 481417317 869359616 26103 4294967295 134512640 134569956 3221224400 3221214576 1131645557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26103 13073 16 0 212230 0 vsize: 848984 [startup+500.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 48640 47 0 0 25 0 11 0 481417317 869359616 26107 4294967295 134512640 134569956 3221224400 3221214480 1131292620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26107 13073 16 0 212230 0 vsize: 848984 [startup+510.078 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 49624 47 0 0 25 0 11 0 481417317 869359616 26118 4294967295 134512640 134569956 3221224400 3221214656 1130863144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26118 13073 16 0 212230 0 vsize: 848984 [startup+520.078 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 50604 47 0 0 25 0 11 0 481417317 869359616 26403 4294967295 134512640 134569956 3221224400 3221214584 1131595111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26403 13073 16 0 212230 0 vsize: 848984 [startup+530.078 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 51601 47 0 0 25 0 11 0 481417317 869359616 26404 4294967295 134512640 134569956 3221224400 3221214480 1131292562 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26404 13073 16 0 212230 0 vsize: 848984 [startup+540.079 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 52598 47 0 0 25 0 11 0 481417317 869359616 26404 4294967295 134512640 134569956 3221224400 3221214592 1131544563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26404 13073 16 0 212230 0 vsize: 848984 [startup+550.079 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 53596 47 0 0 25 0 11 0 481417317 869359616 26404 4294967295 134512640 134569956 3221224400 3221214576 1131644001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26404 13073 16 0 212230 0 vsize: 848984 [startup+560.08 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 54591 47 0 0 25 0 11 0 481417317 869359616 26404 4294967295 134512640 134569956 3221224400 3221214728 1131521122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26404 13073 16 0 212230 0 vsize: 848984 [startup+570.08 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 55579 47 0 0 25 0 11 0 481417317 869359616 26405 4294967295 134512640 134569956 3221224400 3221214800 1131306289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26405 13073 16 0 212230 0 vsize: 848984 [startup+580.081 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 56567 47 0 0 25 0 11 0 481417317 869359616 26405 4294967295 134512640 134569956 3221224400 3221214800 1131306212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26405 13073 16 0 212230 0 vsize: 848984 [startup+590.081 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 57555 47 0 0 25 0 11 0 481417317 869359616 26453 4294967295 134512640 134569956 3221224400 3221214800 1131306293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26453 13073 16 0 212230 0 vsize: 848984 [startup+600.083 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 58553 47 0 0 25 0 11 0 481417317 869359616 26454 4294967295 134512640 134569956 3221224400 3221214856 1131257112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26454 13073 16 0 212230 0 vsize: 848984 [startup+610.083 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 59551 47 0 0 25 0 11 0 481417317 869359616 26454 4294967295 134512640 134569956 3221224400 3221214800 1131306406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26454 13073 16 0 212230 0 vsize: 848984 [startup+620.083 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 60547 47 0 0 25 0 11 0 481417317 869359616 26455 4294967295 134512640 134569956 3221224400 3221214800 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26455 13073 16 0 212230 0 vsize: 848984 [startup+630.084 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 61543 47 0 0 25 0 11 0 481417317 869359616 26458 4294967295 134512640 134569956 3221224400 3221214800 1131306542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26458 13073 16 0 212230 0 vsize: 848984 [startup+640.085 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 62540 47 0 0 25 0 11 0 481417317 869359616 26475 4294967295 134512640 134569956 3221224400 3221214800 1131307048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26475 13073 16 0 212230 0 vsize: 848984 [startup+650.085 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 63536 47 0 0 25 0 11 0 481417317 869359616 26478 4294967295 134512640 134569956 3221224400 3221214800 1131305782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26478 13073 16 0 212230 0 vsize: 848984 [startup+660.086 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 64527 47 0 0 25 0 11 0 481417317 869359616 26480 4294967295 134512640 134569956 3221224400 3221214800 1131306812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26480 13073 16 0 212230 0 vsize: 848984 [startup+670.086 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 65518 47 0 0 25 0 11 0 481417317 869359616 26483 4294967295 134512640 134569956 3221224400 3221214872 1131327997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26483 13073 16 0 212230 0 vsize: 848984 [startup+680.087 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 66510 47 0 0 25 0 11 0 481417317 869359616 26500 4294967295 134512640 134569956 3221224400 3221214800 1131306947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26500 13073 16 0 212230 0 vsize: 848984 [startup+690.087 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 67506 48 0 0 25 0 11 0 481417317 869359616 26501 4294967295 134512640 134569956 3221224400 3221214800 1131306238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26501 13073 16 0 212230 0 vsize: 848984 [startup+700.087 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 68503 48 0 0 25 0 11 0 481417317 869359616 26503 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26503 13073 16 0 212230 0 vsize: 848984 [startup+710.087 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 69500 48 0 0 25 0 11 0 481417317 869359616 26505 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26505 13073 16 0 212230 0 vsize: 848984 [startup+720.088 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 70497 48 0 0 25 0 11 0 481417317 869359616 26508 4294967295 134512640 134569956 3221224400 3221214856 1131257152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26508 13073 16 0 212230 0 vsize: 848984 [startup+730.088 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 71494 48 0 0 25 0 11 0 481417317 869359616 26510 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26510 13073 16 0 212230 0 vsize: 848984 [startup+740.089 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 72487 48 0 0 25 0 11 0 481417317 869359616 26510 4294967295 134512640 134569956 3221224400 3221214856 1131257100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26510 13073 16 0 212230 0 vsize: 848984 [startup+750.089 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 73477 48 0 0 25 0 11 0 481417317 869359616 26513 4294967295 134512640 134569956 3221224400 3221214856 1131257017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26513 13073 16 0 212230 0 vsize: 848984 [startup+760.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 74467 48 0 0 25 0 11 0 481417317 869359616 26518 4294967295 134512640 134569956 3221224400 3221214800 1131305701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26518 13073 16 0 212230 0 vsize: 848984 [startup+770.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 75463 48 0 0 25 0 11 0 481417317 869359616 26553 4294967295 134512640 134569956 3221224400 3221214896 1131397909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26553 13073 16 0 212230 0 vsize: 848984 [startup+780.092 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 76461 48 0 0 25 0 11 0 481417317 869359616 26554 4294967295 134512640 134569956 3221224400 3221214800 1131306665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26554 13073 16 0 212230 0 vsize: 848984 [startup+790.092 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 77459 48 0 0 25 0 11 0 481417317 869359616 26560 4294967295 134512640 134569956 3221224400 3221214896 1131398629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26560 13073 16 0 212230 0 vsize: 848984 [startup+800.092 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 78456 48 0 0 25 0 11 0 481417317 869359616 26560 4294967295 134512640 134569956 3221224400 3221214800 1131306673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26560 13073 16 0 212230 0 vsize: 848984 [startup+810.092 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 79453 48 0 0 25 0 11 0 481417317 869359616 26562 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26562 13073 16 0 212230 0 vsize: 848984 [startup+820.093 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 80451 48 0 0 25 0 11 0 481417317 869359616 26570 4294967295 134512640 134569956 3221224400 3221214856 1131257041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26570 13073 16 0 212230 0 vsize: 848984 [startup+830.093 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 81449 49 0 0 25 0 11 0 481417317 869359616 26572 4294967295 134512640 134569956 3221224400 3221214800 1131305802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26572 13073 16 0 212230 0 vsize: 848984 [startup+840.094 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 82444 49 0 0 25 0 11 0 481417317 869359616 26572 4294967295 134512640 134569956 3221224400 3221214744 1131474385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26572 13073 16 0 212230 0 vsize: 848984 [startup+850.093 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 83427 49 0 0 25 0 11 0 481417317 869359616 26572 4294967295 134512640 134569956 3221224400 3221214576 1131293504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26572 13073 16 0 212230 0 vsize: 848984 [startup+860.094 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 84410 49 0 0 25 0 11 0 481417317 869359616 26572 4294967295 134512640 134569956 3221224400 3221214576 1131643996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26572 13073 16 0 212230 0 vsize: 848984 [startup+870.094 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 85396 49 0 0 25 0 11 0 481417317 869359616 26573 4294967295 134512640 134569956 3221224400 3221214576 1131292421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212246 26573 13073 16 0 212230 0 vsize: 848984 [startup+880.095 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 86381 49 0 0 25 0 11 0 481417317 869359616 26583 4294967295 134512640 134569956 3221224400 3221214576 1131643993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26583 13073 16 0 212230 0 vsize: 848984 [startup+890.095 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 87367 49 0 0 25 0 11 0 481417317 869359616 26720 4294967295 134512640 134569956 3221224400 3221214576 1131643996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26720 13073 16 0 212230 0 vsize: 848984 [startup+900.096 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 88364 49 0 0 25 0 11 0 481417317 869359616 26721 4294967295 134512640 134569956 3221224400 3221214496 1130907169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212246 26721 13073 16 0 212230 0 vsize: 848984 [startup+910.096 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 89361 49 0 0 25 0 11 0 481417317 869359616 26721 4294967295 134512640 134569956 3221224400 3221214576 1131644846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26721 13073 16 0 212230 0 vsize: 848984 [startup+920.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 90358 49 0 0 25 0 11 0 481417317 869359616 26721 4294967295 134512640 134569956 3221224400 3221214688 1131676695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26721 13073 16 0 212230 0 vsize: 848984 [startup+930.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 91356 49 0 0 25 0 11 0 481417317 869359616 26721 4294967295 134512640 134569956 3221224400 3221214576 1131644658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26721 13073 16 0 212230 0 vsize: 848984 [startup+940.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 92351 49 0 0 25 0 11 0 481417317 869359616 26723 4294967295 134512640 134569956 3221224400 3221214576 1131644640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26723 13073 16 0 212230 0 vsize: 848984 [startup+950.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 93348 49 0 0 25 0 11 0 481417317 869359616 26723 4294967295 134512640 134569956 3221224400 3221214688 1131676563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26723 13073 16 0 212230 0 vsize: 848984 [startup+960.098 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 94344 50 0 0 25 0 11 0 481417317 869359616 26723 4294967295 134512640 134569956 3221224400 3221214576 1131292728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26723 13073 16 0 212230 0 vsize: 848984 [startup+970.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 95340 50 0 0 25 0 11 0 481417317 869359616 26723 4294967295 134512640 134569956 3221224400 3221214680 1131701791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26723 13073 16 0 212230 0 vsize: 848984 [startup+980.098 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 96335 50 0 0 25 0 11 0 481417317 869359616 26765 4294967295 134512640 134569956 3221224400 3221214584 1131292726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26765 13073 16 0 212230 0 vsize: 848984 [startup+990.098 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 97334 50 0 0 25 0 11 0 481417317 869359616 26765 4294967295 134512640 134569956 3221224400 3221214744 1131472827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26765 13073 16 0 212230 0 vsize: 848984 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 98333 50 0 0 25 0 11 0 481417317 869359616 26765 4294967295 134512640 134569956 3221224400 3221214688 1131676563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26765 13073 16 0 212230 0 vsize: 848984 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 99332 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214680 1131701808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 100331 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214688 1131676544 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 101329 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214688 1131676563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 102328 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214688 1131676695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 103326 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214688 1131676705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 104325 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214688 1131676574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 105323 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214728 1131521130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 106315 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 107306 50 0 0 25 0 11 0 481417317 869359616 26766 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26766 13073 16 0 212230 0 vsize: 848984 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 108297 50 0 0 25 0 11 0 481417317 869359616 26778 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26778 13073 16 0 212230 0 vsize: 848984 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 109294 51 0 0 25 0 11 0 481417317 869359616 26781 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26781 13073 16 0 212230 0 vsize: 848984 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 110291 51 0 0 25 0 11 0 481417317 869359616 26784 4294967295 134512640 134569956 3221224400 3221214800 1131306435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26784 13073 16 0 212230 0 vsize: 848984 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 111288 51 0 0 25 0 11 0 481417317 869359616 26785 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26785 13073 16 0 212230 0 vsize: 848984 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 112286 51 0 0 25 0 11 0 481417317 869359616 26786 4294967295 134512640 134569956 3221224400 3221214800 1131305697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26786 13073 16 0 212230 0 vsize: 848984 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 113283 51 0 0 25 0 11 0 481417317 869359616 26787 4294967295 134512640 134569956 3221224400 3221214800 1131305786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26787 13073 16 0 212230 0 vsize: 848984 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 114280 51 0 0 25 0 11 0 481417317 869359616 26788 4294967295 134512640 134569956 3221224400 3221214800 1131305967 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26788 13073 16 0 212230 0 vsize: 848984 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 115277 51 0 0 25 0 11 0 481417317 869359616 26792 4294967295 134512640 134569956 3221224400 3221214896 1131398492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26792 13073 16 0 212230 0 vsize: 848984 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 116266 51 0 0 25 0 11 0 481417317 869359616 26798 4294967295 134512640 134569956 3221224400 3221214800 1131306230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26798 13073 16 0 212230 0 vsize: 848984 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 117255 51 0 0 25 0 11 0 481417317 869359616 26800 4294967295 134512640 134569956 3221224400 3221214800 1131306109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26800 13073 16 0 212230 0 vsize: 848984 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 118246 51 0 0 25 0 11 0 481417317 869359616 26841 4294967295 134512640 134569956 3221224400 3221214856 1131257024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26841 13073 16 0 212230 0 vsize: 848984 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 119243 52 0 0 25 0 11 0 481417317 869359616 26842 4294967295 134512640 134569956 3221224400 3221214800 1131306289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26842 13073 16 0 212230 0 vsize: 848984 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 32546 Raw data (stat): 32534 (java) R 32533 10720 10719 0 -1 0 18102 4 1 0 120240 52 0 0 25 0 11 0 481417317 869359616 26844 4294967295 134512640 134569956 3221224400 3221214896 1131397943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212246 26844 13073 16 0 212230 0 vsize: 848984 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 32548 Raw data (stat): 32534 (java) Z 32533 10720 10719 0 -1 1036 18102 5019 1 0 120242 52 1399 22 25 0 1 0 481417317 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.18 CPU time (s): 1217.17 CPU user time (s): 1216.42 CPU system time (s): 0.749886 CPU usage (%): 99.7528 Max. virtual memory (Kb): 848984 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####