Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb |
MD5SUM | cb52c3dd346b4d656b5e715b686fba39 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8401 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.27 |
Number of variables | 10724 |
Total number of constraints | 12778 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 12255 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 23:14:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13607 boxname=wulflinc4 idbench=1047 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: cb52c3dd346b4d656b5e715b686fba39 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb IDLAUNCH: 13607 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 585528 kB Buffers: 32012 kB Cached: 395344 kB SwapCached: 364 kB Active: 108196 kB Inactive: 321624 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 585276 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6404 kB Slab: 13656 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 23:34:42 (client local time) WITH STATUS 143 IN 1223.56 SECONDS stats: 13607 7 1223.56 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb c reading problem c [nbvar=10724] c [nbconstr=12778] c time 46.966 c #vars 10724 c #clauses 2045 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=10203 c Current CPU time (ms) : 238.02 c starts : 6 c conflicts : 1617 c decisions : 235131 c propagations : 901282 c inspects : 597927 c learned literals : 0 c learned binary clauses : 8 c learned ternary clauses : 0 c learned clauses : 1617 c root simplifications : 361 #### 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.67 0.89 0.89 2/54 19648 Raw data (stat): 19648 (runsolver) R 19647 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490729989 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.0013 s] Raw data (loadavg): 0.72 0.90 0.89 2/63 19657 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 17980 0 1 0 884 38 0 0 25 0 10 0 490729989 853860352 19217 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208462 19217 13073 16 0 208446 0 vsize: 833848 [startup+20.0016 s] Raw data (loadavg): 0.76 0.90 0.89 2/63 19657 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 17980 0 1 0 1774 39 0 0 25 0 10 0 490729989 853868544 19726 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208464 19726 13073 16 0 208448 0 vsize: 833856 [startup+30.0031 s] Raw data (loadavg): 0.96 0.94 0.90 4/63 19657 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18009 0 1 0 2599 39 0 0 25 0 10 0 490729989 868143104 23280 4294967295 134512640 134569956 3221224400 3221214352 1131261223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211949 23284 13073 16 0 211933 0 vsize: 847796 [startup+40.0038 s] Raw data (loadavg): 1.27 1.00 0.92 2/63 19657 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18012 0 1 0 3306 40 0 0 25 0 10 0 490729989 885030912 27837 4294967295 134512640 134569956 3221224400 3221214532 1130916001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216072 27837 13073 16 0 216056 0 vsize: 864288 [startup+50.0042 s] Raw data (loadavg): 1.39 1.04 0.93 3/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18078 0 1 0 4153 41 0 0 25 0 11 0 490729989 884330496 27919 4294967295 134512640 134569956 3221224400 3221214680 1131652990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215901 27919 13073 16 0 215885 0 vsize: 863604 [startup+60.0047 s] Raw data (loadavg): 1.40 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 5021 41 0 0 25 0 11 0 490729989 884330496 29436 4294967295 134512640 134569956 3221224400 3221214432 1131261319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215901 29436 13073 16 0 215885 0 vsize: 863604 [startup+70.0055 s] Raw data (loadavg): 1.34 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 5987 41 0 0 25 0 11 0 490729989 884330496 29369 4294967295 134512640 134569956 3221224400 3221214736 1131806177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215901 29369 13073 16 0 215885 0 vsize: 863604 [startup+80.0067 s] Raw data (loadavg): 1.29 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 6941 41 0 0 25 0 11 0 490729989 884330496 29369 4294967295 134512640 134569956 3221224400 3221214808 1131649015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215901 29369 13073 16 0 215885 0 vsize: 863604 [startup+90.0071 s] Raw data (loadavg): 1.24 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 7878 42 0 0 24 0 11 0 490729989 887476224 30243 4294967295 134512640 134569956 3221224400 3221214736 1131803474 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216669 30243 13073 16 0 216653 0 vsize: 866676 [startup+100.007 s] Raw data (loadavg): 1.28 1.06 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 8823 42 0 0 25 0 11 0 490729989 885379072 30027 4294967295 134512640 134569956 3221224400 3221214616 1131708801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30027 13073 16 0 216141 0 vsize: 864628 [startup+110.007 s] Raw data (loadavg): 1.24 1.06 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 9779 42 0 0 25 0 11 0 490729989 885379072 30027 4294967295 134512640 134569956 3221224400 3221214808 1131648863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30027 13073 16 0 216141 0 vsize: 864628 [startup+120.009 s] Raw data (loadavg): 1.20 1.06 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 10722 42 0 0 25 0 11 0 490729989 885379072 30143 4294967295 134512640 134569956 3221224400 3221214808 1131648852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30143 13073 16 0 216141 0 vsize: 864628 [startup+130.009 s] Raw data (loadavg): 1.17 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 11661 42 0 0 24 0 11 0 490729989 885379072 30302 4294967295 134512640 134569956 3221224400 3221214808 1131648759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30302 13073 16 0 216141 0 vsize: 864628 [startup+140.01 s] Raw data (loadavg): 1.14 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 12612 43 0 0 25 0 11 0 490729989 885379072 30457 4294967295 134512640 134569956 3221224400 3221214768 1131730687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30457 13073 16 0 216141 0 vsize: 864628 [startup+150.01 s] Raw data (loadavg): 1.12 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 13557 43 0 0 25 0 11 0 490729989 885379072 30593 4294967295 134512640 134569956 3221224400 3221214640 1131421665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30593 13073 16 0 216141 0 vsize: 864628 [startup+160.011 s] Raw data (loadavg): 1.10 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 14503 43 0 0 25 0 11 0 490729989 885379072 30749 4294967295 134512640 134569956 3221224400 3221214768 1131725884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30749 13073 16 0 216141 0 vsize: 864628 [startup+170.011 s] Raw data (loadavg): 1.08 1.05 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 15458 44 0 0 25 0 11 0 490729989 885379072 30859 4294967295 134512640 134569956 3221224400 3221214720 1131978316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30859 13073 16 0 216141 0 vsize: 864628 [startup+180.013 s] Raw data (loadavg): 1.07 1.04 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 16428 44 0 0 25 0 11 0 490729989 885379072 30935 4294967295 134512640 134569956 3221224400 3221214720 1131978316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 30935 13073 16 0 216141 0 vsize: 864628 [startup+190.015 s] Raw data (loadavg): 1.06 1.04 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 17380 45 0 0 24 0 11 0 490729989 885379072 31056 4294967295 134512640 134569956 3221224400 3221214640 1131421625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31056 13073 16 0 216141 0 vsize: 864628 [startup+200.014 s] Raw data (loadavg): 1.05 1.04 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 18326 45 0 0 25 0 11 0 490729989 885379072 31225 4294967295 134512640 134569956 3221224400 3221214624 1131688226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31225 13073 16 0 216141 0 vsize: 864628 [startup+210.014 s] Raw data (loadavg): 1.04 1.04 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 19281 45 0 0 25 0 11 0 490729989 885379072 31344 4294967295 134512640 134569956 3221224400 3221214640 1131421802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31344 13073 16 0 216141 0 vsize: 864628 [startup+220.015 s] Raw data (loadavg): 1.04 1.04 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 20228 46 0 0 25 0 11 0 490729989 885379072 31501 4294967295 134512640 134569956 3221224400 3221214640 1131421625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31501 13073 16 0 216141 0 vsize: 864628 [startup+230.016 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 19658 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 21176 46 0 0 25 0 11 0 490729989 885379072 31656 4294967295 134512640 134569956 3221224400 3221214720 1131978304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31656 13073 16 0 216141 0 vsize: 864628 [startup+240.016 s] Raw data (loadavg): 1.18 1.06 0.95 4/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 22103 47 0 0 25 0 11 0 490729989 888188928 32449 4294967295 134512640 134569956 3221224400 3221214144 1085679337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216843 32449 13073 16 0 216827 0 vsize: 867372 [startup+250.017 s] Raw data (loadavg): 1.16 1.06 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 23094 47 0 0 25 0 11 0 490729989 885379072 31827 4294967295 134512640 134569956 3221224400 3221214552 1131893058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 31827 13073 16 0 216141 0 vsize: 864628 [startup+260.017 s] Raw data (loadavg): 1.13 1.06 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 24094 47 0 0 25 0 11 0 490729989 885379072 31827 4294967295 134512640 134569956 3221224400 3221214408 1131987793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 31827 13073 16 0 216141 0 vsize: 864628 [startup+270.017 s] Raw data (loadavg): 1.11 1.06 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 25085 47 0 0 25 0 11 0 490729989 885379072 31847 4294967295 134512640 134569956 3221224400 3221213992 1085679346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 31847 13073 16 0 216141 0 vsize: 864628 [startup+280.018 s] Raw data (loadavg): 1.09 1.05 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 26068 47 0 0 25 0 11 0 490729989 885379072 31890 4294967295 134512640 134569956 3221224400 3221214032 1131987713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31890 13073 16 0 216141 0 vsize: 864628 [startup+290.019 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 19659 Raw data (stat): 19648 (java) S 19647 5897 5896 0 -1 0 18092 4 1 0 27048 47 0 0 25 0 11 0 490729989 885379072 31942 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 31942 13073 16 0 216141 0 vsize: 864628 [startup+300.019 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 28030 48 0 0 25 0 11 0 490729989 885379072 32230 4294967295 134512640 134569956 3221224400 3221214736 1131801211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32230 13073 16 0 216141 0 vsize: 864628 [startup+310.02 s] Raw data (loadavg): 1.06 1.05 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 29019 48 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221213992 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+320.019 s] Raw data (loadavg): 1.05 1.05 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 30018 48 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214176 1131987793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+330.02 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 31009 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214168 1131892856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+340.02 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 32009 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214552 1131895623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+350.02 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 32999 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214376 1085632281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+360.021 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 34000 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214000 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+370.022 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 34990 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214072 1131893920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+380.022 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 35990 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214080 1131982511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+390.023 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 36980 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214088 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+400.024 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 37980 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214416 1085679356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+410.024 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 38979 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214224 1131982448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32465 13073 16 0 216141 0 vsize: 864628 [startup+420.024 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 39968 49 0 0 25 0 11 0 490729989 885379072 32478 4294967295 134512640 134569956 3221224400 3221214544 1085679346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32478 13073 16 0 216141 0 vsize: 864628 [startup+430.025 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 40958 49 0 0 25 0 11 0 490729989 885379072 32504 4294967295 134512640 134569956 3221224400 3221214216 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32504 13073 16 0 216141 0 vsize: 864628 [startup+440.026 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 41958 49 0 0 25 0 11 0 490729989 885379072 32504 4294967295 134512640 134569956 3221224400 3221214208 1131987732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32504 13073 16 0 216141 0 vsize: 864628 [startup+450.025 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 42947 49 0 0 25 0 11 0 490729989 885379072 32529 4294967295 134512640 134569956 3221224400 3221214512 1131987744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32529 13073 16 0 216141 0 vsize: 864628 [startup+460.025 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 43947 49 0 0 25 0 11 0 490729989 885379072 32529 4294967295 134512640 134569956 3221224400 3221214136 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32529 13073 16 0 216141 0 vsize: 864628 [startup+470.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 44936 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214416 1131987793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32557 13073 16 0 216141 0 vsize: 864628 [startup+480.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 45936 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214512 1131987793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32557 13073 16 0 216141 0 vsize: 864628 [startup+490.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 46925 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214424 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32557 13073 16 0 216141 0 vsize: 864628 [startup+500.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 47925 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214328 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32557 13073 16 0 216141 0 vsize: 864628 [startup+510.028 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 48914 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214648 1131636117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+520.028 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 49904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214416 1131987754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+530.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 50904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214648 1131636117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+540.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 51904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214616 1085679759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+550.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 52893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214324 1131987792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+560.03 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 53893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214416 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+570.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 54893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214240 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32596 13073 16 0 216141 0 vsize: 864628 [startup+580.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 55882 50 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214608 1131987650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+590.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 56882 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214228 1131987792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+600.03 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 57882 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214192 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+610.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 58871 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214320 1131987793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+620.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 59870 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214552 1131893208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+630.032 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 60861 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214456 1131896164 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+640.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 61860 52 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214296 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32652 13073 16 0 216141 0 vsize: 864628 [startup+650.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 19659 Raw data (stat): 19648 (java) S 19647 5897 5896 0 -1 0 18092 4 1 0 62853 52 0 0 25 0 11 0 490729989 885379072 32666 4294967295 134512640 134569956 3221224400 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32666 13073 16 0 216141 0 vsize: 864628 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 63850 52 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214512 1131987772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32668 13073 16 0 216141 0 vsize: 864628 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 64850 52 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214376 1131982496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32668 13073 16 0 216141 0 vsize: 864628 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 65839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214608 1131987768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32668 13073 16 0 216141 0 vsize: 864628 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 66839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214640 1131422500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32668 13073 16 0 216141 0 vsize: 864628 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 67839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214512 1131987850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32668 13073 16 0 216141 0 vsize: 864628 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 68828 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 69829 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 70820 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214184 1131987740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 71819 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214196 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 72820 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214424 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 73810 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 74801 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214720 1131978408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 75801 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214752 1131893058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 76792 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 77793 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214808 1131648759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 78783 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214752 1131896329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 79783 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214328 1131987772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32870 13073 16 0 216141 0 vsize: 864628 [startup+830.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 80773 53 0 0 25 0 11 0 490729989 885379072 32898 4294967295 134512640 134569956 3221224400 3221214280 1131982524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32898 13073 16 0 216141 0 vsize: 864628 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 81774 53 0 0 25 0 11 0 490729989 885379072 32898 4294967295 134512640 134569956 3221224400 3221214520 1085679738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32898 13073 16 0 216141 0 vsize: 864628 [startup+850.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 82764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214744 1131636119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32906 13073 16 0 216141 0 vsize: 864628 [startup+860.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 83764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214456 1131894519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32906 13073 16 0 216141 0 vsize: 864628 [startup+870.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 84764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214752 1131896438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32906 13073 16 0 216141 0 vsize: 864628 [startup+880.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 85754 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214464 1131892856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32908 13073 16 0 216141 0 vsize: 864628 [startup+890.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 86754 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214368 1131893176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 32908 13073 16 0 216141 0 vsize: 864628 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 87744 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214624 1131425748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32908 13073 16 0 216141 0 vsize: 864628 [startup+910.043 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 88744 55 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214552 1131636117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32908 13073 16 0 216141 0 vsize: 864628 [startup+920.044 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 89734 55 0 0 25 0 11 0 490729989 885379072 32909 4294967295 134512640 134569956 3221224400 3221214456 1131636117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32909 13073 16 0 216141 0 vsize: 864628 [startup+930.045 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 90734 55 0 0 25 0 11 0 490729989 885379072 32909 4294967295 134512640 134569956 3221224400 3221214376 1131982448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 32909 13073 16 0 216141 0 vsize: 864628 [startup+940.045 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 91724 56 0 0 25 0 11 0 490729989 885379072 33077 4294967295 134512640 134569956 3221224400 3221214752 1131892358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33077 13073 16 0 216141 0 vsize: 864628 [startup+950.047 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 92724 56 0 0 25 0 11 0 490729989 885379072 33077 4294967295 134512640 134569956 3221224400 3221214320 1131982536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33077 13073 16 0 216141 0 vsize: 864628 [startup+960.048 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 93716 56 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214704 1131987793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33235 13073 16 0 216141 0 vsize: 864628 [startup+970.049 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 94716 56 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214512 1131987857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33235 13073 16 0 216141 0 vsize: 864628 [startup+980.049 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 95715 57 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214656 1131896116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33235 13073 16 0 216141 0 vsize: 864628 [startup+990.05 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 96708 57 0 0 25 0 11 0 490729989 885379072 33273 4294967295 134512640 134569956 3221224400 3221214656 1131892361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33273 13073 16 0 216141 0 vsize: 864628 [startup+1000.05 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 97703 57 0 0 25 0 11 0 490729989 885379072 33296 4294967295 134512640 134569956 3221224400 3221214416 1131987768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33296 13073 16 0 216141 0 vsize: 864628 [startup+1010.05 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 98703 57 0 0 25 0 11 0 490729989 885379072 33296 4294967295 134512640 134569956 3221224400 3221214328 1085679321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33296 13073 16 0 216141 0 vsize: 864628 [startup+1020.05 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 99696 57 0 0 25 0 11 0 490729989 885379072 33307 4294967295 134512640 134569956 3221224400 3221214808 1131648852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33307 13073 16 0 216141 0 vsize: 864628 [startup+1030.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 100692 57 0 0 25 0 11 0 490729989 885379072 33321 4294967295 134512640 134569956 3221224400 3221214424 1131987697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33321 13073 16 0 216141 0 vsize: 864628 [startup+1040.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 101692 57 0 0 25 0 11 0 490729989 885379072 33321 4294967295 134512640 134569956 3221224400 3221214552 1131894522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33321 13073 16 0 216141 0 vsize: 864628 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 102685 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214416 1131983775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33338 13073 16 0 216141 0 vsize: 864628 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 103686 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214328 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33338 13073 16 0 216141 0 vsize: 864628 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 104686 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214376 1131982524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33338 13073 16 0 216141 0 vsize: 864628 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 105680 58 0 0 25 0 11 0 490729989 885379072 33350 4294967295 134512640 134569956 3221224400 3221214412 1131987728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33350 13073 16 0 216141 0 vsize: 864628 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 106680 58 0 0 25 0 11 0 490729989 885379072 33350 4294967295 134512640 134569956 3221224400 3221214328 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33350 13073 16 0 216141 0 vsize: 864628 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 107674 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214048 1085679331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33374 13073 16 0 216141 0 vsize: 864628 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 108674 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214228 1131987792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33374 13073 16 0 216141 0 vsize: 864628 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 109673 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214328 1131987793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33374 13073 16 0 216141 0 vsize: 864628 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 110667 58 0 0 25 0 11 0 490729989 885379072 33398 4294967295 134512640 134569956 3221224400 3221214744 1131892896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33398 13073 16 0 216141 0 vsize: 864628 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 111661 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214656 1131893181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33415 13073 16 0 216141 0 vsize: 864628 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 112661 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214376 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33415 13073 16 0 216141 0 vsize: 864628 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 113660 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214560 1131892358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33415 13073 16 0 216141 0 vsize: 864628 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 114655 58 0 0 25 0 11 0 490729989 885379072 33436 4294967295 134512640 134569956 3221224400 3221214512 1131987768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33436 13073 16 0 216141 0 vsize: 864628 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 115655 58 0 0 25 0 11 0 490729989 885379072 33436 4294967295 134512640 134569956 3221224400 3221214276 1131982500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33436 13073 16 0 216141 0 vsize: 864628 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 116649 58 0 0 25 0 11 0 490729989 885379072 33449 4294967295 134512640 134569956 3221224400 3221214280 1131982524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33449 13073 16 0 216141 0 vsize: 864628 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 117643 58 0 0 25 0 11 0 490729989 885379072 33457 4294967295 134512640 134569956 3221224400 3221214704 1131987724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216157 33457 13073 16 0 216141 0 vsize: 864628 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 118637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214700 1131987728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33479 13073 16 0 216141 0 vsize: 864628 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 119637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214232 1131987772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33479 13073 16 0 216141 0 vsize: 864628 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 19659 Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 120637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214192 1085679386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216157 33479 13073 16 0 216141 0 vsize: 864628 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.23 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 19661 Raw data (stat): 19648 (java) Z 19647 5897 5896 0 -1 1036 18092 7309 1 0 120641 58 1638 17 25 0 1 0 490729989 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.23 CPU time (s): 1223.56 CPU user time (s): 1222.8 CPU system time (s): 0.766883 CPU usage (%): 99.4581 Max. virtual memory (Kb): 867372 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####