Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb |
MD5SUM | fa6454a9831f2da4180d8bfab7c0a21b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2304 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 178464600 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 178464600 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.037993 |
Number of variables | 3288 |
Total number of constraints | 310 |
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 | 310 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 123 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-21 12:53:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18768 boxname=wulflinc29 idbench=1444 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: fa6454a9831f2da4180d8bfab7c0a21b /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb IDLAUNCH: 18768 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 717452 kB Buffers: 10980 kB Cached: 282460 kB SwapCached: 524 kB Active: 65992 kB Inactive: 229396 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 717172 kB SwapTotal: 2097892 kB SwapFree: 2096460 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5100 kB Slab: 16204 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 13:14:17 (client local time) WITH STATUS 143 IN 1251.09 SECONDS stats: 18768 7 1251.09 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb c reading problem c [nbvar=3288] c [nbconstr=310] c time 7.424 c #vars 3288 c #clauses 374 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 #### 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.85 0.97 0.95 2/54 30963 Raw data (stat): 30963 (runsolver) R 30962 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545228884 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.0077 s] Raw data (loadavg): 1.03 1.00 0.96 4/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18058 0 1 0 727 37 0 0 25 0 11 0 545228884 861077504 20838 4294967295 134512640 134569956 3221224400 3221213604 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210224 20838 13073 16 0 210208 0 vsize: 840896 [startup+20.0309 s] Raw data (loadavg): 1.18 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 1537 38 0 0 25 0 11 0 545228884 860663808 21485 4294967295 134512640 134569956 3221224400 3221214680 1131262753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 21485 13073 16 0 210107 0 vsize: 840492 [startup+30.0313 s] Raw data (loadavg): 1.15 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 2453 38 0 0 25 0 11 0 545228884 860663808 21920 4294967295 134512640 134569956 3221224400 3221214680 1131262951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 21920 13073 16 0 210107 0 vsize: 840492 [startup+40.0321 s] Raw data (loadavg): 1.13 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 3395 38 0 0 25 0 11 0 545228884 860663808 21978 4294967295 134512640 134569956 3221224400 3221214776 1131355234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 21978 13073 16 0 210107 0 vsize: 840492 [startup+50.0333 s] Raw data (loadavg): 1.11 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 4331 39 0 0 25 0 11 0 545228884 860663808 22396 4294967295 134512640 134569956 3221224400 3221214680 1131262124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 22396 13073 16 0 210107 0 vsize: 840492 [startup+60.0325 s] Raw data (loadavg): 1.09 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 5279 39 0 0 25 0 11 0 545228884 860663808 22535 4294967295 134512640 134569956 3221224400 3221214320 1131632604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 22535 13073 16 0 210107 0 vsize: 840492 [startup+70.0333 s] Raw data (loadavg): 1.08 1.03 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 6265 39 0 0 25 0 11 0 545228884 860663808 22570 4294967295 134512640 134569956 3221224400 3221214184 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 22570 13073 16 0 210107 0 vsize: 840492 [startup+80.0337 s] Raw data (loadavg): 1.06 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 7234 40 0 0 25 0 11 0 545228884 860663808 22650 4294967295 134512640 134569956 3221224400 3221214728 1131399394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 22650 13073 16 0 210107 0 vsize: 840492 [startup+90.0339 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 8208 40 0 0 25 0 11 0 545228884 860663808 22728 4294967295 134512640 134569956 3221224400 3221214672 1131621722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 22728 13073 16 0 210107 0 vsize: 840492 [startup+100.034 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 9172 40 0 0 25 0 11 0 545228884 860663808 22821 4294967295 134512640 134569956 3221224400 3221214216 1131631864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 22821 13073 16 0 210107 0 vsize: 840492 [startup+110.034 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 10133 40 0 0 25 0 11 0 545228884 860663808 23111 4294967295 134512640 134569956 3221224400 3221214672 1131621715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 23111 13073 16 0 210107 0 vsize: 840492 [startup+120.034 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 11087 41 0 0 25 0 11 0 545228884 860663808 23287 4294967295 134512640 134569956 3221224400 3221214672 1131621712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 23287 13073 16 0 210107 0 vsize: 840492 [startup+130.034 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 12041 41 0 0 25 0 11 0 545228884 860663808 23475 4294967295 134512640 134569956 3221224400 3221214560 1131345381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 23475 13073 16 0 210107 0 vsize: 840492 [startup+140.138 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 13013 41 0 0 25 0 11 0 545228884 860663808 23610 4294967295 134512640 134569956 3221224400 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 23610 13073 16 0 210107 0 vsize: 840492 [startup+150.139 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 13981 42 0 0 25 0 11 0 545228884 860663808 23765 4294967295 134512640 134569956 3221224400 3221214632 1131621712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 23765 13073 16 0 210107 0 vsize: 840492 [startup+160.139 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 14947 42 0 0 25 0 11 0 545228884 860663808 23915 4294967295 134512640 134569956 3221224400 3221214632 1131621851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 23915 13073 16 0 210107 0 vsize: 840492 [startup+170.14 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 15920 42 0 0 25 0 11 0 545228884 860663808 24018 4294967295 134512640 134569956 3221224400 3221214016 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24018 13073 16 0 210107 0 vsize: 840492 [startup+180.14 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 16911 42 0 0 25 0 11 0 545228884 860663808 24049 4294967295 134512640 134569956 3221224400 3221214360 1131632648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24049 13073 16 0 210107 0 vsize: 840492 [startup+190.141 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 17886 42 0 0 25 0 11 0 545228884 860663808 24152 4294967295 134512640 134569956 3221224400 3221214604 1080203754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24152 13073 16 0 210107 0 vsize: 840492 [startup+200.142 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 18859 43 0 0 25 0 11 0 545228884 860663808 24266 4294967295 134512640 134569956 3221224400 3221214624 1131402223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24266 13073 16 0 210107 0 vsize: 840492 [startup+210.142 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 19823 43 0 0 25 0 11 0 545228884 860663808 24393 4294967295 134512640 134569956 3221224400 3221214528 1131510107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24393 13073 16 0 210107 0 vsize: 840492 [startup+220.143 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 20797 43 0 0 25 0 11 0 545228884 860663808 24484 4294967295 134512640 134569956 3221224400 3221214528 1131511954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24484 13073 16 0 210107 0 vsize: 840492 [startup+230.144 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 21770 43 0 0 25 0 11 0 545228884 860663808 24571 4294967295 134512640 134569956 3221224400 3221214432 1080217015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24571 13073 16 0 210107 0 vsize: 840492 [startup+240.145 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 22752 44 0 0 25 0 11 0 545228884 860663808 24641 4294967295 134512640 134569956 3221224400 3221214040 1131632426 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24641 13073 16 0 210107 0 vsize: 840492 [startup+250.145 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 23723 44 0 0 25 0 11 0 545228884 860663808 24796 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24796 13073 16 0 210107 0 vsize: 840492 [startup+260.145 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 24688 45 0 0 25 0 11 0 545228884 860663808 24938 4294967295 134512640 134569956 3221224400 3221214424 1131587631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 24938 13073 16 0 210107 0 vsize: 840492 [startup+270.146 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 25652 45 0 0 25 0 11 0 545228884 860663808 25065 4294967295 134512640 134569956 3221224400 3221214528 1131511951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25065 13073 16 0 210107 0 vsize: 840492 [startup+280.147 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 26615 45 0 0 25 0 11 0 545228884 860663808 25193 4294967295 134512640 134569956 3221224400 3221214428 1131631888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25193 13073 16 0 210107 0 vsize: 840492 [startup+290.147 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 27579 46 0 0 25 0 11 0 545228884 860663808 25333 4294967295 134512640 134569956 3221224400 3221214720 1131357679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25333 13073 16 0 210107 0 vsize: 840492 [startup+300.148 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 28543 46 0 0 25 0 11 0 545228884 860663808 25425 4294967295 134512640 134569956 3221224400 3221214688 1131635580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25425 13073 16 0 210107 0 vsize: 840492 [startup+310.148 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 29514 46 0 0 25 0 11 0 545228884 860663808 25528 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25528 13073 16 0 210107 0 vsize: 840492 [startup+320.149 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 30481 47 0 0 25 0 11 0 545228884 860663808 25611 4294967295 134512640 134569956 3221224400 3221214608 1131491396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25611 13073 16 0 210107 0 vsize: 840492 [startup+330.149 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 31454 47 0 0 25 0 11 0 545228884 860663808 25714 4294967295 134512640 134569956 3221224400 3221214512 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25714 13073 16 0 210107 0 vsize: 840492 [startup+340.15 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 32421 47 0 0 25 0 11 0 545228884 860663808 25827 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25827 13073 16 0 210107 0 vsize: 840492 [startup+350.151 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 33387 47 0 0 25 0 11 0 545228884 860663808 25945 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 25945 13073 16 0 210107 0 vsize: 840492 [startup+360.151 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 34361 47 0 0 25 0 11 0 545228884 860663808 26049 4294967295 134512640 134569956 3221224400 3221214584 1131517705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 26049 13073 16 0 210107 0 vsize: 840492 [startup+370.152 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 35334 48 0 0 25 0 11 0 545228884 860663808 26150 4294967295 134512640 134569956 3221224400 3221214288 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 26150 13073 16 0 210107 0 vsize: 840492 [startup+380.152 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 30973 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 36308 48 0 0 25 0 11 0 545228884 860663808 26236 4294967295 134512640 134569956 3221224400 3221214624 1131262865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 26236 13073 16 0 210107 0 vsize: 840492 [startup+390.153 s] Raw data (loadavg): 1.00 1.00 0.97 4/67 30989 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 37281 48 0 0 25 0 11 0 545228884 860663808 26303 4294967295 134512640 134569956 3221224400 3221214808 1131379934 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26303 13073 16 0 210107 0 vsize: 840492 [startup+400.153 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 38243 50 0 0 25 0 11 0 545228884 860663808 26431 4294967295 134512640 134569956 3221224400 3221214520 1131345270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26431 13073 16 0 210107 0 vsize: 840492 [startup+410.153 s] Raw data (loadavg): 1.06 1.02 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 39206 50 0 0 25 0 11 0 545228884 860663808 26550 4294967295 134512640 134569956 3221224400 3221214632 1131621712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26550 13073 16 0 210107 0 vsize: 840492 [startup+420.153 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 40179 50 0 0 25 0 11 0 545228884 860663808 26623 4294967295 134512640 134569956 3221224400 3221214532 1131616332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26623 13073 16 0 210107 0 vsize: 840492 [startup+430.153 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 41142 50 0 0 25 0 11 0 545228884 860663808 26760 4294967295 134512640 134569956 3221224400 3221214560 1131319574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26760 13073 16 0 210107 0 vsize: 840492 [startup+440.154 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 42107 51 0 0 25 0 11 0 545228884 860663808 26858 4294967295 134512640 134569956 3221224400 3221214424 1131618962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26858 13073 16 0 210107 0 vsize: 840492 [startup+450.154 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 43071 51 0 0 25 0 11 0 545228884 860663808 26957 4294967295 134512640 134569956 3221224400 3221214580 1080203746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 26957 13073 16 0 210107 0 vsize: 840492 [startup+460.155 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 31026 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 44044 51 0 0 25 0 11 0 545228884 860663808 27082 4294967295 134512640 134569956 3221224400 3221214672 1131464172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27082 13073 16 0 210107 0 vsize: 840492 [startup+470.155 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 45010 52 0 0 25 0 11 0 545228884 860663808 27196 4294967295 134512640 134569956 3221224400 3221214632 1131621704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27196 13073 16 0 210107 0 vsize: 840492 [startup+480.155 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 45978 52 0 0 25 0 11 0 545228884 860663808 27328 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27328 13073 16 0 210107 0 vsize: 840492 [startup+490.156 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 46948 53 0 0 25 0 11 0 545228884 860663808 27448 4294967295 134512640 134569956 3221224400 3221213960 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27448 13073 16 0 210107 0 vsize: 840492 [startup+500.157 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 47926 53 0 0 25 0 11 0 545228884 860663808 27520 4294967295 134512640 134569956 3221224400 3221214808 1131379945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27520 13073 16 0 210107 0 vsize: 840492 [startup+510.156 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 48896 53 0 0 25 0 11 0 545228884 860663808 27623 4294967295 134512640 134569956 3221224400 3221214208 1131631828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27623 13073 16 0 210107 0 vsize: 840492 [startup+520.158 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 49874 53 0 0 25 0 11 0 545228884 860663808 27700 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27700 13073 16 0 210107 0 vsize: 840492 [startup+530.158 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 50843 54 0 0 25 0 11 0 545228884 860663808 27794 4294967295 134512640 134569956 3221224400 3221214656 1131390624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27794 13073 16 0 210107 0 vsize: 840492 [startup+540.158 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 51821 54 0 0 25 0 11 0 545228884 860663808 27878 4294967295 134512640 134569956 3221224400 3221214356 1078032683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27878 13073 16 0 210107 0 vsize: 840492 [startup+550.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 52791 54 0 0 25 0 11 0 545228884 860663808 27967 4294967295 134512640 134569956 3221224400 3221214200 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 27967 13073 16 0 210107 0 vsize: 840492 [startup+560.159 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 53769 55 0 0 25 0 11 0 545228884 860663808 28035 4294967295 134512640 134569956 3221224400 3221214092 1131631888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28035 13073 16 0 210107 0 vsize: 840492 [startup+570.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 54739 55 0 0 25 0 11 0 545228884 860663808 28120 4294967295 134512640 134569956 3221224400 3221214624 1131262821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28120 13073 16 0 210107 0 vsize: 840492 [startup+580.161 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 55709 55 0 0 25 0 11 0 545228884 860663808 28200 4294967295 134512640 134569956 3221224400 3221214480 1131632628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28200 13073 16 0 210107 0 vsize: 840492 [startup+590.162 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 56701 55 0 0 25 0 11 0 545228884 860663808 28225 4294967295 134512640 134569956 3221224400 3221213984 1131631882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28225 13073 16 0 210107 0 vsize: 840492 [startup+600.162 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 57677 56 0 0 25 0 11 0 545228884 860663808 28296 4294967295 134512640 134569956 3221224400 3221214776 1131406764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28296 13073 16 0 210107 0 vsize: 840492 [startup+610.162 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 58660 56 0 0 25 0 11 0 545228884 860663808 28347 4294967295 134512640 134569956 3221224400 3221214596 1131631888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28347 13073 16 0 210107 0 vsize: 840492 [startup+620.163 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 59634 56 0 0 25 0 11 0 545228884 860663808 28422 4294967295 134512640 134569956 3221224400 3221214808 1131379916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28422 13073 16 0 210107 0 vsize: 840492 [startup+630.163 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 60616 57 0 0 25 0 11 0 545228884 860663808 28474 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 28474 13073 16 0 210107 0 vsize: 840492 [startup+640.164 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 61588 57 0 0 25 0 11 0 545228884 860663808 28550 4294967295 134512640 134569956 3221224400 3221214092 1131631888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28550 13073 16 0 210107 0 vsize: 840492 [startup+650.164 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 62560 57 0 0 25 0 11 0 545228884 860663808 28653 4294967295 134512640 134569956 3221224400 3221213904 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28653 13073 16 0 210107 0 vsize: 840492 [startup+660.164 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 63522 58 0 0 25 0 11 0 545228884 860663808 28757 4294967295 134512640 134569956 3221224400 3221214512 1131640250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28757 13073 16 0 210107 0 vsize: 840492 [startup+670.164 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 64494 58 0 0 25 0 11 0 545228884 860663808 28842 4294967295 134512640 134569956 3221224400 3221214320 1131631889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28842 13073 16 0 210107 0 vsize: 840492 [startup+680.165 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 65466 58 0 0 25 0 11 0 545228884 860663808 28878 4294967295 134512640 134569956 3221224400 3221214672 1131461896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 28878 13073 16 0 210107 0 vsize: 840492 [startup+690.165 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 66428 59 0 0 25 0 11 0 545228884 860663808 29019 4294967295 134512640 134569956 3221224400 3221214320 1131631938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29019 13073 16 0 210107 0 vsize: 840492 [startup+700.166 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 67393 59 0 0 25 0 11 0 545228884 860663808 29091 4294967295 134512640 134569956 3221224400 3221214592 1131632650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29091 13073 16 0 210107 0 vsize: 840492 [startup+710.166 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 68376 60 0 0 25 0 11 0 545228884 860663808 29175 4294967295 134512640 134569956 3221224400 3221214624 1131262802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29175 13073 16 0 210107 0 vsize: 840492 [startup+720.167 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 69351 60 0 0 25 0 11 0 545228884 860663808 29287 4294967295 134512640 134569956 3221224400 3221214148 1131616320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29287 13073 16 0 210107 0 vsize: 840492 [startup+730.167 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31028 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 70328 61 0 0 25 0 11 0 545228884 860663808 29386 4294967295 134512640 134569956 3221224400 3221214576 1131454465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29386 13073 16 0 210107 0 vsize: 840492 [startup+740.167 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 71305 62 0 0 25 0 11 0 545228884 860663808 29481 4294967295 134512640 134569956 3221224400 3221214512 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29481 13073 16 0 210107 0 vsize: 840492 [startup+750.168 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 72278 62 0 0 25 0 11 0 545228884 860663808 29615 4294967295 134512640 134569956 3221224400 3221213824 1131631864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29615 13073 16 0 210107 0 vsize: 840492 [startup+760.168 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 73258 62 0 0 25 0 11 0 545228884 860663808 29692 4294967295 134512640 134569956 3221224400 3221214624 1131262632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29692 13073 16 0 210107 0 vsize: 840492 [startup+770.169 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 74245 62 0 0 25 0 11 0 545228884 860663808 29728 4294967295 134512640 134569956 3221224400 3221214456 1131618410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29728 13073 16 0 210107 0 vsize: 840492 [startup+780.168 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 75224 63 0 0 25 0 11 0 545228884 860663808 29785 4294967295 134512640 134569956 3221224400 3221214720 1131355418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 29785 13073 16 0 210107 0 vsize: 840492 [startup+790.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 76197 63 0 0 25 0 11 0 545228884 860663808 29866 4294967295 134512640 134569956 3221224400 3221214672 1131463245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29866 13073 16 0 210107 0 vsize: 840492 [startup+800.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 77176 63 0 0 25 0 11 0 545228884 860663808 29912 4294967295 134512640 134569956 3221224400 3221214520 1131345097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29912 13073 16 0 210107 0 vsize: 840492 [startup+810.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 78154 64 0 0 25 0 11 0 545228884 860663808 29973 4294967295 134512640 134569956 3221224400 3221214528 1131509742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 29973 13073 16 0 210107 0 vsize: 840492 [startup+820.171 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 79133 64 0 0 25 0 11 0 545228884 860663808 30052 4294967295 134512640 134569956 3221224400 3221214624 1131262849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30052 13073 16 0 210107 0 vsize: 840492 [startup+830.171 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 80106 65 0 0 25 0 11 0 545228884 860663808 30141 4294967295 134512640 134569956 3221224400 3221213880 1131631864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30141 13073 16 0 210107 0 vsize: 840492 [startup+840.172 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 81079 65 0 0 25 0 11 0 545228884 860663808 30228 4294967295 134512640 134569956 3221224400 3221213788 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30228 13073 16 0 210107 0 vsize: 840492 [startup+850.172 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 82059 65 0 0 25 0 11 0 545228884 860663808 30288 4294967295 134512640 134569956 3221224400 3221214608 1131491302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30288 13073 16 0 210107 0 vsize: 840492 [startup+860.173 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 83039 66 0 0 25 0 11 0 545228884 860663808 30360 4294967295 134512640 134569956 3221224400 3221214320 1131631864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30360 13073 16 0 210107 0 vsize: 840492 [startup+870.172 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 84014 66 0 0 25 0 11 0 545228884 860663808 30458 4294967295 134512640 134569956 3221224400 3221213892 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30458 13073 16 0 210107 0 vsize: 840492 [startup+880.173 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 84995 67 0 0 25 0 11 0 545228884 860663808 30534 4294967295 134512640 134569956 3221224400 3221214208 1131631951 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30534 13073 16 0 210107 0 vsize: 840492 [startup+890.174 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 85971 67 0 0 25 0 11 0 545228884 860663808 30616 4294967295 134512640 134569956 3221224400 3221214584 1131517280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30616 13073 16 0 210107 0 vsize: 840492 [startup+900.174 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 86954 67 0 0 25 0 11 0 545228884 860663808 30705 4294967295 134512640 134569956 3221224400 3221214644 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30705 13073 16 0 210107 0 vsize: 840492 [startup+910.174 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 87931 67 0 0 25 0 11 0 545228884 860663808 30766 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30766 13073 16 0 210107 0 vsize: 840492 [startup+920.174 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 88914 68 0 0 25 0 11 0 545228884 860663808 30812 4294967295 134512640 134569956 3221224400 3221214720 1131419490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30812 13073 16 0 210107 0 vsize: 840492 [startup+930.174 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 89897 68 0 0 25 0 11 0 545228884 860663808 30868 4294967295 134512640 134569956 3221224400 3221214576 1131635417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30868 13073 16 0 210107 0 vsize: 840492 [startup+940.176 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 90880 69 0 0 25 0 11 0 545228884 860663808 30926 4294967295 134512640 134569956 3221224400 3221214208 1131631889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30926 13073 16 0 210107 0 vsize: 840492 [startup+950.176 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 91863 69 0 0 25 0 11 0 545228884 860663808 30977 4294967295 134512640 134569956 3221224400 3221214456 1085679526 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 30977 13073 16 0 210107 0 vsize: 840492 [startup+960.175 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 92846 69 0 0 25 0 11 0 545228884 860663808 31025 4294967295 134512640 134569956 3221224400 3221213704 1131631889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31025 13073 16 0 210107 0 vsize: 840492 [startup+970.176 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 93828 69 0 0 25 0 11 0 545228884 860663808 31084 4294967295 134512640 134569956 3221224400 3221214624 1131262946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31084 13073 16 0 210107 0 vsize: 840492 [startup+980.175 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 94803 70 0 0 25 0 11 0 545228884 860663808 31159 4294967295 134512640 134569956 3221224400 3221214432 1131631916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31159 13073 16 0 210107 0 vsize: 840492 [startup+990.176 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 95791 70 0 0 25 0 11 0 545228884 860663808 31188 4294967295 134512640 134569956 3221224400 3221214624 1131262149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 31188 13073 16 0 210107 0 vsize: 840492 [startup+1000.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 96773 70 0 0 25 0 11 0 545228884 860663808 31239 4294967295 134512640 134569956 3221224400 3221214720 1131356234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31239 13073 16 0 210107 0 vsize: 840492 [startup+1010.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 97747 71 0 0 25 0 11 0 545228884 860663808 31295 4294967295 134512640 134569956 3221224400 3221214424 1131632426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31295 13073 16 0 210107 0 vsize: 840492 [startup+1020.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 98729 71 0 0 25 0 11 0 545228884 860663808 31344 4294967295 134512640 134569956 3221224400 3221213432 1131631799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31344 13073 16 0 210107 0 vsize: 840492 [startup+1030.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 99709 71 0 0 25 0 11 0 545228884 860663808 31412 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31412 13073 16 0 210107 0 vsize: 840492 [startup+1040.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 100691 72 0 0 25 0 11 0 545228884 860663808 31471 4294967295 134512640 134569956 3221224400 3221214584 1131517586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31471 13073 16 0 210107 0 vsize: 840492 [startup+1050.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 101671 72 0 0 25 0 11 0 545228884 860663808 31535 4294967295 134512640 134569956 3221224400 3221213872 1131631889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31535 13073 16 0 210107 0 vsize: 840492 [startup+1060.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 102658 72 0 0 25 0 11 0 545228884 860663808 31576 4294967295 134512640 134569956 3221224400 3221214504 1131495539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31576 13073 16 0 210107 0 vsize: 840492 [startup+1070.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 103637 72 0 0 25 0 11 0 545228884 860663808 31634 4294967295 134512640 134569956 3221224400 3221214148 1131616329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31634 13073 16 0 210107 0 vsize: 840492 [startup+1080.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 104622 73 0 0 25 0 11 0 545228884 860663808 31673 4294967295 134512640 134569956 3221224400 3221213872 1131632409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31673 13073 16 0 210107 0 vsize: 840492 [startup+1090.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 105600 73 0 0 25 0 11 0 545228884 860663808 31726 4294967295 134512640 134569956 3221224400 3221214536 1131263220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31726 13073 16 0 210107 0 vsize: 840492 [startup+1100.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 106585 73 0 0 25 0 11 0 545228884 860663808 31768 4294967295 134512640 134569956 3221224400 3221214320 1131631836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 31768 13073 16 0 210107 0 vsize: 840492 [startup+1110.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 107573 73 0 0 25 0 11 0 545228884 860663808 31791 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31791 13073 16 0 210107 0 vsize: 840492 [startup+1120.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 108551 73 0 0 25 0 11 0 545228884 860663808 31849 4294967295 134512640 134569956 3221224400 3221213936 1131631725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31849 13073 16 0 210107 0 vsize: 840492 [startup+1130.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 109533 74 0 0 25 0 11 0 545228884 860663808 31886 4294967295 134512640 134569956 3221224400 3221213840 1085679449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 31886 13073 16 0 210107 0 vsize: 840492 [startup+1140.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 110524 75 0 0 25 0 11 0 545228884 860663808 31901 4294967295 134512640 134569956 3221224400 3221214480 1131632489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31901 13073 16 0 210107 0 vsize: 840492 [startup+1150.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 111515 75 0 0 25 0 11 0 545228884 860663808 31922 4294967295 134512640 134569956 3221224400 3221214632 1131621696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31922 13073 16 0 210107 0 vsize: 840492 [startup+1160.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 112496 75 0 0 25 0 11 0 545228884 860663808 31950 4294967295 134512640 134569956 3221224400 3221214204 1131631888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 31950 13073 16 0 210107 0 vsize: 840492 [startup+1170.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 113467 75 0 0 25 0 11 0 545228884 860663808 32014 4294967295 134512640 134569956 3221224400 3221213596 1131631883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32014 13073 16 0 210107 0 vsize: 840492 [startup+1180.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 114458 76 0 0 25 0 11 0 545228884 860663808 32027 4294967295 134512640 134569956 3221224400 3221214592 1131632615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32027 13073 16 0 210107 0 vsize: 840492 [startup+1190.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 115444 76 0 0 25 0 11 0 545228884 860663808 32061 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32061 13073 16 0 210107 0 vsize: 840492 [startup+1200.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 116419 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221213864 1131632636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32156 13073 16 0 210107 0 vsize: 840492 [startup+1210.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 117418 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214624 1131263358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32156 13073 16 0 210107 0 vsize: 840492 [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 118418 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214368 1131632650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210123 32156 13073 16 0 210107 0 vsize: 840492 [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 119409 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214392 1085679261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32156 13073 16 0 210107 0 vsize: 840492 [startup+1240.19 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 31030 Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 120380 77 0 0 25 0 11 0 545228884 860663808 32237 4294967295 134512640 134569956 3221224400 3221214456 1085679452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210123 32237 13073 16 0 210107 0 vsize: 840492 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.27 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 31032 Raw data (stat): 30963 (java) Z 30962 27222 27221 0 -1 1036 18071 20826 1 0 120382 83 4598 44 25 0 1 0 545228884 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): 1240.27 CPU time (s): 1251.09 CPU user time (s): 1249.81 CPU system time (s): 1.2848 CPU usage (%): 100.873 Max. virtual memory (Kb): 840896 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####