Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 44281820d2b00a47b643433ffa4e2d73 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 5.96709 |
Number of variables | 464 |
Total number of constraints | 1395 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 128 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-21 21:34:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14595 boxname=wulflinc20 idbench=1123 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 44281820d2b00a47b643433ffa4e2d73 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-neos16.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-neos16.opb IDLAUNCH: 14595 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 851972 kB Buffers: 21492 kB Cached: 137316 kB SwapCached: 516 kB Active: 22336 kB Inactive: 138440 kB HighTotal: 131008 kB HighFree: 51268 kB LowTotal: 903652 kB LowFree: 800704 kB SwapTotal: 2097892 kB SwapFree: 2096480 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5116 kB Slab: 15944 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 21:55:02 (client local time) WITH STATUS 143 IN 1242.71 SECONDS stats: 14595 7 1242.71 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-neos16.opb c reading problem c [nbvar=464] c [nbconstr=1395] c time 2.279 c #vars 464 c #clauses 1069 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=122 c Current CPU time (ms) : 96.951 c starts : 7 c conflicts : 2297 c decisions : 4759 c propagations : 74225 c inspects : 750550 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2297 c root simplifications : 7 #### 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.46 0.81 0.86 2/54 13772 Raw data (stat): 13772 (runsolver) R 13771 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548357123 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99973 s] Raw data (loadavg): 0.70 0.85 0.87 4/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 17248 0 1 0 524 41 0 0 25 0 11 0 548357123 872468480 21776 4294967295 134512640 134569956 3221224400 3221214816 1131277566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213005 21776 13073 16 0 212989 0 vsize: 852020 [startup+20.0009 s] Raw data (loadavg): 0.89 0.89 0.89 3/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 1424 43 0 0 25 0 11 0 548357123 870535168 23474 4294967295 134512640 134569956 3221224400 3221214072 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 23474 13073 16 0 212517 0 vsize: 850132 [startup+30.0015 s] Raw data (loadavg): 0.91 0.89 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 2395 43 0 0 25 0 11 0 548357123 870535168 23854 4294967295 134512640 134569956 3221224400 3221214036 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 23854 13073 16 0 212517 0 vsize: 850132 [startup+40.0018 s] Raw data (loadavg): 0.92 0.89 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 3372 43 0 0 25 0 11 0 548357123 870535168 24125 4294967295 134512640 134569956 3221224400 3221214784 1131337971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 24125 13073 16 0 212517 0 vsize: 850132 [startup+50.003 s] Raw data (loadavg): 0.93 0.90 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 4346 43 0 0 25 0 11 0 548357123 870535168 24429 4294967295 134512640 134569956 3221224400 3221214064 1131620373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 24429 13073 16 0 212517 0 vsize: 850132 [startup+60.0027 s] Raw data (loadavg): 0.94 0.90 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 5315 43 0 0 25 0 11 0 548357123 870535168 24490 4294967295 134512640 134569956 3221224400 3221214232 1085679337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 24490 13073 16 0 212517 0 vsize: 850132 [startup+70.0031 s] Raw data (loadavg): 0.95 0.90 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 6283 44 0 0 24 0 11 0 548357123 870535168 24654 4294967295 134512640 134569956 3221224400 3221214008 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 24654 13073 16 0 212517 0 vsize: 850132 [startup+80.0042 s] Raw data (loadavg): 0.96 0.91 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 7266 44 0 0 25 0 11 0 548357123 870535168 24745 4294967295 134512640 134569956 3221224400 3221214640 1131618133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 24745 13073 16 0 212517 0 vsize: 850132 [startup+90.0049 s] Raw data (loadavg): 0.97 0.91 0.89 2/64 13782 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18101 0 1 0 8242 44 0 0 25 0 11 0 548357123 870535168 24886 4294967295 134512640 134569956 3221224400 3221214240 1131613265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 24886 13073 16 0 212517 0 vsize: 850132 [startup+100.005 s] Raw data (loadavg): 0.97 0.91 0.89 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 9226 44 0 0 25 0 11 0 548357123 870535168 25014 4294967295 134512640 134569956 3221224400 3221214984 1131168191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 25014 13073 16 0 212517 0 vsize: 850132 [startup+110.006 s] Raw data (loadavg): 0.97 0.91 0.89 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 10202 44 0 0 25 0 11 0 548357123 870535168 25102 4294967295 134512640 134569956 3221224400 3221214808 1131343724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25102 13073 16 0 212517 0 vsize: 850132 [startup+120.006 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 11171 45 0 0 24 0 11 0 548357123 870535168 25195 4294967295 134512640 134569956 3221224400 3221214328 1131612168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25195 13073 16 0 212517 0 vsize: 850132 [startup+130.006 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 12155 45 0 0 25 0 11 0 548357123 870535168 25269 4294967295 134512640 134569956 3221224400 3221214208 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25269 13073 16 0 212517 0 vsize: 850132 [startup+140.008 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 13125 45 0 0 24 0 11 0 548357123 870535168 25388 4294967295 134512640 134569956 3221224400 3221214392 1131612012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25388 13073 16 0 212517 0 vsize: 850132 [startup+150.008 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 14103 45 0 0 25 0 11 0 548357123 870535168 25483 4294967295 134512640 134569956 3221224400 3221214704 1131603264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25483 13073 16 0 212517 0 vsize: 850132 [startup+160.008 s] Raw data (loadavg): 0.99 0.92 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 15087 46 0 0 25 0 11 0 548357123 870535168 25582 4294967295 134512640 134569956 3221224400 3221214592 1085679545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25582 13073 16 0 212517 0 vsize: 850132 [startup+170.009 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 16065 46 0 0 25 0 11 0 548357123 870535168 25668 4294967295 134512640 134569956 3221224400 3221214712 1131209825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25668 13073 16 0 212517 0 vsize: 850132 [startup+180.009 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 17043 46 0 0 25 0 11 0 548357123 870535168 25764 4294967295 134512640 134569956 3221224400 3221213816 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25764 13073 16 0 212517 0 vsize: 850132 [startup+190.01 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 18021 46 0 0 25 0 11 0 548357123 870535168 25811 4294967295 134512640 134569956 3221224400 3221214256 1085679343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25811 13073 16 0 212517 0 vsize: 850132 [startup+200.01 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 19006 47 0 0 25 0 11 0 548357123 870535168 25877 4294967295 134512640 134569956 3221224400 3221214200 1131620253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25877 13073 16 0 212517 0 vsize: 850132 [startup+210.011 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 19983 47 0 0 25 0 11 0 548357123 870535168 25990 4294967295 134512640 134569956 3221224400 3221214056 1131611941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 25990 13073 16 0 212517 0 vsize: 850132 [startup+220.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 20962 47 0 0 25 0 11 0 548357123 870535168 26086 4294967295 134512640 134569956 3221224400 3221214512 1131613113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26086 13073 16 0 212517 0 vsize: 850132 [startup+230.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 21940 47 0 0 25 0 11 0 548357123 870535168 26157 4294967295 134512640 134569956 3221224400 3221214148 1131613264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26157 13073 16 0 212517 0 vsize: 850132 [startup+240.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 22926 47 0 0 25 0 11 0 548357123 870535168 26222 4294967295 134512640 134569956 3221224400 3221214680 1131613325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 26222 13073 16 0 212517 0 vsize: 850132 [startup+250.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 23912 48 0 0 25 0 11 0 548357123 870535168 26258 4294967295 134512640 134569956 3221224400 3221214616 1131612156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26258 13073 16 0 212517 0 vsize: 850132 [startup+260.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 24890 48 0 0 25 0 11 0 548357123 870535168 26346 4294967295 134512640 134569956 3221224400 3221214340 1131613264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26346 13073 16 0 212517 0 vsize: 850132 [startup+270.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 25861 48 0 0 25 0 11 0 548357123 870535168 26468 4294967295 134512640 134569956 3221224400 3221214880 1131267296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26468 13073 16 0 212517 0 vsize: 850132 [startup+280.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 26839 48 0 0 25 0 11 0 548357123 870535168 26546 4294967295 134512640 134569956 3221224400 3221214712 1131209979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26546 13073 16 0 212517 0 vsize: 850132 [startup+290.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 27825 48 0 0 25 0 11 0 548357123 870535168 26598 4294967295 134512640 134569956 3221224400 3221214600 1131615100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26598 13073 16 0 212517 0 vsize: 850132 [startup+300.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 28811 49 0 0 25 0 11 0 548357123 870535168 26665 4294967295 134512640 134569956 3221224400 3221214976 1131625948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26665 13073 16 0 212517 0 vsize: 850132 [startup+310.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 29789 49 0 0 25 0 11 0 548357123 870535168 26736 4294967295 134512640 134569956 3221224400 3221214624 1131613228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26736 13073 16 0 212517 0 vsize: 850132 [startup+320.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 30774 49 0 0 25 0 11 0 548357123 870535168 26828 4294967295 134512640 134569956 3221224400 3221214712 1131210461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 26828 13073 16 0 212517 0 vsize: 850132 [startup+330.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 31752 49 0 0 25 0 11 0 548357123 870535168 26911 4294967295 134512640 134569956 3221224400 3221214808 1131342863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 26911 13073 16 0 212517 0 vsize: 850132 [startup+340.019 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 32729 49 0 0 25 0 11 0 548357123 870535168 27001 4294967295 134512640 134569956 3221224400 3221213984 1131613265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27001 13073 16 0 212517 0 vsize: 850132 [startup+350.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 33708 50 0 0 25 0 11 0 548357123 870535168 27096 4294967295 134512640 134569956 3221224400 3221214216 1131612162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27096 13073 16 0 212517 0 vsize: 850132 [startup+360.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 34692 50 0 0 25 0 11 0 548357123 870535168 27184 4294967295 134512640 134569956 3221224400 3221214488 1131615072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 27184 13073 16 0 212517 0 vsize: 850132 [startup+370.038 s] Raw data (loadavg): 1.07 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 35678 50 0 0 25 0 11 0 548357123 870535168 27247 4294967295 134512640 134569956 3221224400 3221214712 1131210489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27247 13073 16 0 212517 0 vsize: 850132 [startup+380.038 s] Raw data (loadavg): 1.06 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 36655 50 0 0 25 0 11 0 548357123 870535168 27354 4294967295 134512640 134569956 3221224400 3221214152 1131613265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27354 13073 16 0 212517 0 vsize: 850132 [startup+390.038 s] Raw data (loadavg): 1.05 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 37640 50 0 0 25 0 11 0 548357123 870535168 27408 4294967295 134512640 134569956 3221224400 3221214808 1131337061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27408 13073 16 0 212517 0 vsize: 850132 [startup+400.039 s] Raw data (loadavg): 1.04 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 38617 51 0 0 25 0 11 0 548357123 870535168 27509 4294967295 134512640 134569956 3221224400 3221214512 1131613157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27509 13073 16 0 212517 0 vsize: 850132 [startup+410.039 s] Raw data (loadavg): 1.04 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 39602 51 0 0 25 0 11 0 548357123 870535168 27592 4294967295 134512640 134569956 3221224400 3221213864 1131620340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27592 13073 16 0 212517 0 vsize: 850132 [startup+420.039 s] Raw data (loadavg): 1.03 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 40581 51 0 0 25 0 11 0 548357123 870535168 27637 4294967295 134512640 134569956 3221224400 3221214712 1131211042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27637 13073 16 0 212517 0 vsize: 850132 [startup+430.048 s] Raw data (loadavg): 1.03 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 41560 51 0 0 25 0 11 0 548357123 870535168 27751 4294967295 134512640 134569956 3221224400 3221214712 1131210309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27751 13073 16 0 212517 0 vsize: 850132 [startup+440.048 s] Raw data (loadavg): 1.02 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 42545 51 0 0 25 0 11 0 548357123 870535168 27819 4294967295 134512640 134569956 3221224400 3221214976 1131626561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 27819 13073 16 0 212517 0 vsize: 850132 [startup+450.048 s] Raw data (loadavg): 1.02 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 43516 52 0 0 25 0 11 0 548357123 870535168 27919 4294967295 134512640 134569956 3221224400 3221214512 1131613175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 27919 13073 16 0 212517 0 vsize: 850132 [startup+460.048 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 44495 52 0 0 25 0 11 0 548357123 870535168 28029 4294967295 134512640 134569956 3221224400 3221214712 1131210309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28029 13073 16 0 212517 0 vsize: 850132 [startup+470.055 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 45488 53 0 0 25 0 11 0 548357123 870535168 28071 4294967295 134512640 134569956 3221224400 3221214880 1131267319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28071 13073 16 0 212517 0 vsize: 850132 [startup+480.055 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 46473 53 0 0 25 0 11 0 548357123 870535168 28120 4294967295 134512640 134569956 3221224400 3221214424 1085679293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28120 13073 16 0 212517 0 vsize: 850132 [startup+490.056 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 47451 53 0 0 25 0 11 0 548357123 870535168 28243 4294967295 134512640 134569956 3221224400 3221214152 1131613292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28243 13073 16 0 212517 0 vsize: 850132 [startup+500.056 s] Raw data (loadavg): 1.01 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 48430 54 0 0 25 0 11 0 548357123 870535168 28328 4294967295 134512640 134569956 3221224400 3221214252 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28328 13073 16 0 212517 0 vsize: 850132 [startup+510.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 49400 55 0 0 25 0 11 0 548357123 870535168 28412 4294967295 134512640 134569956 3221224400 3221214712 1131210109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28412 13073 16 0 212517 0 vsize: 850132 [startup+520.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 50378 55 0 0 25 0 11 0 548357123 870535168 28486 4294967295 134512640 134569956 3221224400 3221214808 1131338348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28486 13073 16 0 212517 0 vsize: 850132 [startup+530.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 51357 55 0 0 25 0 11 0 548357123 870535168 28553 4294967295 134512640 134569956 3221224400 3221214456 1131613303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28553 13073 16 0 212517 0 vsize: 850132 [startup+540.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 52334 55 0 0 25 0 11 0 548357123 870535168 28629 4294967295 134512640 134569956 3221224400 3221214372 1131611916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28629 13073 16 0 212517 0 vsize: 850132 [startup+550.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 53311 56 0 0 25 0 11 0 548357123 870535168 28698 4294967295 134512640 134569956 3221224400 3221213984 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28698 13073 16 0 212517 0 vsize: 850132 [startup+560.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 54288 56 0 0 25 0 11 0 548357123 870535168 28785 4294967295 134512640 134569956 3221224400 3221214680 1131613265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28785 13073 16 0 212517 0 vsize: 850132 [startup+570.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 55265 56 0 0 25 0 11 0 548357123 870535168 28876 4294967295 134512640 134569956 3221224400 3221214668 1131618124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28876 13073 16 0 212517 0 vsize: 850132 [startup+580.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 56249 56 0 0 25 0 11 0 548357123 870535168 28938 4294967295 134512640 134569956 3221224400 3221214768 1131615055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 28938 13073 16 0 212517 0 vsize: 850132 [startup+590.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 57233 57 0 0 25 0 11 0 548357123 870535168 29029 4294967295 134512640 134569956 3221224400 3221214480 1085632301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29029 13073 16 0 212517 0 vsize: 850132 [startup+600.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 58218 57 0 0 25 0 11 0 548357123 870535168 29079 4294967295 134512640 134569956 3221224400 3221214808 1131335982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29079 13073 16 0 212517 0 vsize: 850132 [startup+610.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 59195 57 0 0 25 0 11 0 548357123 870535168 29146 4294967295 134512640 134569956 3221224400 3221214512 1131613325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29146 13073 16 0 212517 0 vsize: 850132 [startup+620.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 60172 58 0 0 25 0 11 0 548357123 870535168 29230 4294967295 134512640 134569956 3221224400 3221214808 1131335734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29230 13073 16 0 212517 0 vsize: 850132 [startup+630.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 61149 58 0 0 24 0 11 0 548357123 870535168 29299 4294967295 134512640 134569956 3221224400 3221214276 1131612132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29299 13073 16 0 212517 0 vsize: 850132 [startup+640.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 62134 58 0 0 25 0 11 0 548357123 870535168 29346 4294967295 134512640 134569956 3221224400 3221214344 1131613271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29346 13073 16 0 212517 0 vsize: 850132 [startup+650.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 63118 59 0 0 25 0 11 0 548357123 870535168 29395 4294967295 134512640 134569956 3221224400 3221214388 1131612132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29395 13073 16 0 212517 0 vsize: 850132 [startup+660.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 64095 59 0 0 25 0 11 0 548357123 870535168 29508 4294967295 134512640 134569956 3221224400 3221213780 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29508 13073 16 0 212517 0 vsize: 850132 [startup+670.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 65080 59 0 0 25 0 11 0 548357123 870535168 29550 4294967295 134512640 134569956 3221224400 3221214368 1085632292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29550 13073 16 0 212517 0 vsize: 850132 [startup+680.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 66065 59 0 0 25 0 11 0 548357123 870535168 29604 4294967295 134512640 134569956 3221224400 3221213916 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29604 13073 16 0 212517 0 vsize: 850132 [startup+690.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 67050 60 0 0 25 0 11 0 548357123 870535168 29655 4294967295 134512640 134569956 3221224400 3221214564 1131613208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 29655 13073 16 0 212517 0 vsize: 850132 [startup+700.075 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 68028 60 0 0 25 0 11 0 548357123 870535168 29739 4294967295 134512640 134569956 3221224400 3221214232 1131613204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29739 13073 16 0 212517 0 vsize: 850132 [startup+710.075 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 69020 61 0 0 25 0 11 0 548357123 870535168 29764 4294967295 134512640 134569956 3221224400 3221214676 1131613264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29764 13073 16 0 212517 0 vsize: 850132 [startup+720.075 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 70005 61 0 0 25 0 11 0 548357123 870535168 29832 4294967295 134512640 134569956 3221224400 3221214152 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29832 13073 16 0 212517 0 vsize: 850132 [startup+730.076 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 70983 62 0 0 25 0 11 0 548357123 870535168 29883 4294967295 134512640 134569956 3221224400 3221214440 1131612168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 29883 13073 16 0 212517 0 vsize: 850132 [startup+740.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 71968 62 0 0 25 0 11 0 548357123 870535168 29997 4294967295 134512640 134569956 3221224400 3221214176 1131613265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 29997 13073 16 0 212517 0 vsize: 850132 [startup+750.076 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 72946 62 0 0 25 0 11 0 548357123 870535168 30061 4294967295 134512640 134569956 3221224400 3221214092 1131613264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 30061 13073 16 0 212517 0 vsize: 850132 [startup+760.076 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 73924 62 0 0 25 0 11 0 548357123 870535168 30131 4294967295 134512640 134569956 3221224400 3221214440 1131612168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30131 13073 16 0 212517 0 vsize: 850132 [startup+770.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 74901 62 0 0 25 0 11 0 548357123 870535168 30224 4294967295 134512640 134569956 3221224400 3221213952 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30224 13073 16 0 212517 0 vsize: 850132 [startup+780.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 75879 63 0 0 25 0 11 0 548357123 870535168 30273 4294967295 134512640 134569956 3221224400 3221213816 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30273 13073 16 0 212517 0 vsize: 850132 [startup+790.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 76864 63 0 0 25 0 11 0 548357123 870535168 30337 4294967295 134512640 134569956 3221224400 3221213928 1131613325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30337 13073 16 0 212517 0 vsize: 850132 [startup+800.078 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 77849 63 0 0 25 0 11 0 548357123 870535168 30384 4294967295 134512640 134569956 3221224400 3221214808 1131342774 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30384 13073 16 0 212517 0 vsize: 850132 [startup+810.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 78826 63 0 0 25 0 11 0 548357123 870535168 30472 4294967295 134512640 134569956 3221224400 3221214144 1131620549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30472 13073 16 0 212517 0 vsize: 850132 [startup+820.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 79796 64 0 0 24 0 11 0 548357123 870535168 30597 4294967295 134512640 134569956 3221224400 3221214616 1131612124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30597 13073 16 0 212517 0 vsize: 850132 [startup+830.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 80780 64 0 0 25 0 11 0 548357123 870535168 30640 4294967295 134512640 134569956 3221224400 3221214096 1131613233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30640 13073 16 0 212517 0 vsize: 850132 [startup+840.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 81758 64 0 0 25 0 11 0 548357123 870535168 30714 4294967295 134512640 134569956 3221224400 3221214256 1085679337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30714 13073 16 0 212517 0 vsize: 850132 [startup+850.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 82728 65 0 0 25 0 11 0 548357123 870535168 30843 4294967295 134512640 134569956 3221224400 3221214676 1131613264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30843 13073 16 0 212517 0 vsize: 850132 [startup+860.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 83706 65 0 0 25 0 11 0 548357123 870535168 30929 4294967295 134512640 134569956 3221224400 3221213640 1131620320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 30929 13073 16 0 212517 0 vsize: 850132 [startup+870.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 84691 65 0 0 25 0 11 0 548357123 870535168 31018 4294967295 134512640 134569956 3221224400 3221214712 1131210266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31018 13073 16 0 212517 0 vsize: 850132 [startup+880.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 85676 65 0 0 25 0 11 0 548357123 870535168 31037 4294967295 134512640 134569956 3221224400 3221214440 1131612159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31037 13073 16 0 212517 0 vsize: 850132 [startup+890.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 86661 65 0 0 25 0 11 0 548357123 870535168 31122 4294967295 134512640 134569956 3221224400 3221214672 1131612009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31122 13073 16 0 212517 0 vsize: 850132 [startup+900.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 87645 65 0 0 25 0 11 0 548357123 870535168 31174 4294967295 134512640 134569956 3221224400 3221214712 1131210453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31174 13073 16 0 212517 0 vsize: 850132 [startup+910.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 88631 66 0 0 25 0 11 0 548357123 870535168 31221 4294967295 134512640 134569956 3221224400 3221214280 1131612128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31221 13073 16 0 212517 0 vsize: 850132 [startup+920.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) S 13771 27565 27564 0 -1 0 18103 4 1 0 89621 66 0 0 25 0 11 0 548357123 870535168 31222 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31222 13073 16 0 212517 0 vsize: 850132 [startup+930.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 90607 66 0 0 25 0 11 0 548357123 870535168 31298 4294967295 134512640 134569956 3221224400 3221214064 1131613244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31298 13073 16 0 212517 0 vsize: 850132 [startup+940.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 91592 66 0 0 25 0 11 0 548357123 870535168 31348 4294967295 134512640 134569956 3221224400 3221214400 1131613233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31348 13073 16 0 212517 0 vsize: 850132 [startup+950.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 92567 66 0 0 25 0 11 0 548357123 870535168 31409 4294967295 134512640 134569956 3221224400 3221214512 1131613220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31409 13073 16 0 212517 0 vsize: 850132 [startup+960.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 93543 67 0 0 25 0 11 0 548357123 870535168 31488 4294967295 134512640 134569956 3221224400 3221214144 1085632284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31488 13073 16 0 212517 0 vsize: 850132 [startup+970.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 94528 67 0 0 25 0 11 0 548357123 870535168 31524 4294967295 134512640 134569956 3221224400 3221214160 1131612162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31524 13073 16 0 212517 0 vsize: 850132 [startup+980.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 95504 67 0 0 25 0 11 0 548357123 870535168 31610 4294967295 134512640 134569956 3221224400 3221214728 1131612009 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31610 13073 16 0 212517 0 vsize: 850132 [startup+990.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 96480 67 0 0 25 0 11 0 548357123 870535168 31691 4294967295 134512640 134569956 3221224400 3221213952 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31691 13073 16 0 212517 0 vsize: 850132 [startup+1000.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 97457 68 0 0 25 0 11 0 548357123 870535168 31807 4294967295 134512640 134569956 3221224400 3221214620 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31807 13073 16 0 212517 0 vsize: 850132 [startup+1010.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 98449 68 0 0 25 0 11 0 548357123 870535168 31824 4294967295 134512640 134569956 3221224400 3221214280 1131612124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 31824 13073 16 0 212517 0 vsize: 850132 [startup+1020.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) S 13771 27565 27564 0 -1 0 18103 4 1 0 99429 68 0 0 25 0 11 0 548357123 870535168 31909 4294967295 134512640 134569956 3221224400 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31909 13073 16 0 212517 0 vsize: 850132 [startup+1030.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 100411 68 0 0 25 0 11 0 548357123 870535168 31975 4294967295 134512640 134569956 3221224400 3221214808 1131336900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 31975 13073 16 0 212517 0 vsize: 850132 [startup+1040.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 101379 68 0 0 25 0 11 0 548357123 870535168 32062 4294967295 134512640 134569956 3221224400 3221214592 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 32062 13073 16 0 212517 0 vsize: 850132 [startup+1050.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 102357 68 0 0 25 0 11 0 548357123 870535168 32151 4294967295 134512640 134569956 3221224400 3221214512 1131613212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32151 13073 16 0 212517 0 vsize: 850132 [startup+1060.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 103334 69 0 0 25 0 11 0 548357123 870535168 32203 4294967295 134512640 134569956 3221224400 3221213888 1131612124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212533 32203 13073 16 0 212517 0 vsize: 850132 [startup+1070.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 104306 69 0 0 25 0 11 0 548357123 870535168 32279 4294967295 134512640 134569956 3221224400 3221213868 1131613200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32279 13073 16 0 212517 0 vsize: 850132 [startup+1080.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 105283 69 0 0 25 0 11 0 548357123 870535168 32337 4294967295 134512640 134569956 3221224400 3221213700 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32337 13073 16 0 212517 0 vsize: 850132 [startup+1090.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 106261 69 0 0 25 0 11 0 548357123 870535168 32397 4294967295 134512640 134569956 3221224400 3221214892 1131546979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32397 13073 16 0 212517 0 vsize: 850132 [startup+1100.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 107239 69 0 0 25 0 11 0 548357123 870535168 32486 4294967295 134512640 134569956 3221224400 3221214232 1131613169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32486 13073 16 0 212517 0 vsize: 850132 [startup+1110.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 108216 70 0 0 25 0 11 0 548357123 870535168 32561 4294967295 134512640 134569956 3221224400 3221214712 1131210477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32561 13073 16 0 212517 0 vsize: 850132 [startup+1120.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 109194 70 0 0 25 0 11 0 548357123 870535168 32639 4294967295 134512640 134569956 3221224400 3221214256 1085679545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32639 13073 16 0 212517 0 vsize: 850132 [startup+1130.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 110176 70 0 0 25 0 11 0 548357123 870535168 32731 4294967295 134512640 134569956 3221224400 3221214808 1131336015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32731 13073 16 0 212517 0 vsize: 850132 [startup+1140.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 111150 71 0 0 25 0 11 0 548357123 870535168 32807 4294967295 134512640 134569956 3221224400 3221213728 1085679343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32807 13073 16 0 212517 0 vsize: 850132 [startup+1150.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 112128 71 0 0 25 0 11 0 548357123 870535168 32887 4294967295 134512640 134569956 3221224400 3221214608 1131612168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32887 13073 16 0 212517 0 vsize: 850132 [startup+1160.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 113115 72 0 0 25 0 11 0 548357123 870535168 32922 4294967295 134512640 134569956 3221224400 3221214176 1131613265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32922 13073 16 0 212517 0 vsize: 850132 [startup+1170.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 114100 72 0 0 25 0 11 0 548357123 870535168 32957 4294967295 134512640 134569956 3221224400 3221213704 1131613222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32957 13073 16 0 212517 0 vsize: 850132 [startup+1180.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 115085 73 0 0 25 0 11 0 548357123 870535168 32985 4294967295 134512640 134569956 3221224400 3221214412 1085679264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 32985 13073 16 0 212517 0 vsize: 850132 [startup+1190.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 116064 73 0 0 25 0 11 0 548357123 870535168 33101 4294967295 134512640 134569956 3221224400 3221214712 1131210469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 33101 13073 16 0 212517 0 vsize: 850132 [startup+1200.19 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 117051 73 0 0 25 0 11 0 548357123 870535168 33158 4294967295 134512640 134569956 3221224400 3221214512 1131613240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 33158 13073 16 0 212517 0 vsize: 850132 [startup+1210.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 118032 74 0 0 25 0 11 0 548357123 870535168 33234 4294967295 134512640 134569956 3221224400 3221214712 1131210791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 33234 13073 16 0 212517 0 vsize: 850132 [startup+1220.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 119011 74 0 0 25 0 11 0 548357123 870535168 33296 4294967295 134512640 134569956 3221224400 3221214808 1131342868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 33296 13073 16 0 212517 0 vsize: 850132 [startup+1230.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 13783 Raw data (stat): 13772 (java) R 13771 27565 27564 0 -1 0 18103 4 1 0 119997 74 0 0 25 0 11 0 548357123 870535168 33328 4294967295 134512640 134569956 3221224400 3221214088 1085679533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212533 33328 13073 16 0 212517 0 vsize: 850132 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.31 s] Raw data (loadavg): 1.00 0.97 0.91 1/54 13785 Raw data (stat): 13772 (java) Z 13771 27565 27564 0 -1 1036 18103 22754 1 2 120000 80 4128 61 25 0 1 0 548357123 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.31 CPU time (s): 1242.71 CPU user time (s): 1241.29 CPU system time (s): 1.42178 CPU usage (%): 101.007 Max. virtual memory (Kb): 852020 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####