Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb |
MD5SUM | 75acdcffdd43b3d3a30d0459a6bffe45 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6106 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 4804 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 6613094 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 4804 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 6613094 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.21 |
Number of variables | 6774 |
Total number of constraints | 6824 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6824 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3729 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-21 18:57:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16623 boxname=wulflinc17 idbench=1279 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 75acdcffdd43b3d3a30d0459a6bffe45 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-air02.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-air02.opb IDLAUNCH: 16623 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 658668 kB Buffers: 18840 kB Cached: 331088 kB SwapCached: 408 kB Active: 55904 kB Inactive: 296644 kB HighTotal: 131008 kB HighFree: 19040 kB LowTotal: 903652 kB LowFree: 639628 kB SwapTotal: 2097892 kB SwapFree: 2097056 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5856 kB Slab: 17748 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 19:18:26 (client local time) WITH STATUS 143 IN 1243.75 SECONDS stats: 16623 7 1243.75 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-air02.opb c reading problem c [nbvar=6774] c [nbconstr=6824] c time 20.739 c #vars 6774 c #clauses 100 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=235947 c Current CPU time (ms) : 23.247 c starts : 1 c conflicts : 0 c decisions : 6724 c propagations : 6774 c inspects : 2803 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=226696 c Current CPU time (ms) : 28.047 c starts : 2 c conflicts : 1 c decisions : 13448 c propagations : 13550 c inspects : 2956 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 2 c c CURRENT OPTIMUM=14205 c Current CPU time (ms) : 49.096 c starts : 3 c conflicts : 9 c decisions : 15870 c propagations : 22142 c inspects : 3855 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 3 c c CURRENT OPTIMUM=13664 c Current CPU time (ms) : 700.611 c starts : 4 c conflicts : 28 c decisions : 16340 c propagations : 29365 c inspects : 5203 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 28 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.98 2/55 2038 Raw data (stat): 2038 (runsolver) R 2037 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547426316 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 s] Raw data (loadavg): 0.93 0.96 0.98 2/64 2047 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 17978 0 1 0 889 39 0 0 25 0 10 0 547426316 853712896 19168 4294967295 134512640 134569956 3221224400 3221214520 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208426 19168 13073 16 0 208410 0 vsize: 833704 [startup+20.0012 s] Raw data (loadavg): 1.17 1.01 0.99 3/64 2047 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 17982 0 1 0 1771 40 0 0 25 0 10 0 547426316 858157056 20511 4294967295 134512640 134569956 3221224400 3221214428 1130904519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209511 20511 13073 16 0 209495 0 vsize: 838044 [startup+30.0013 s] Raw data (loadavg): 1.22 1.02 1.00 3/65 2050 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18063 3 1 0 2584 41 0 0 25 0 11 0 547426316 862351360 24094 4294967295 134512640 134569956 3221224400 3221214664 1131528733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210535 24094 13073 16 0 210519 0 vsize: 842140 [startup+40.0019 s] Raw data (loadavg): 1.19 1.02 1.00 2/65 2050 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18063 3 1 0 3531 41 0 0 25 0 11 0 547426316 861650944 24594 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 24594 13073 16 0 210348 0 vsize: 841456 [startup+50.0029 s] Raw data (loadavg): 1.16 1.02 1.00 2/65 2051 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 4465 41 0 0 25 0 11 0 547426316 861650944 24595 4294967295 134512640 134569956 3221224400 3221214944 1131359512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 24595 13073 16 0 210348 0 vsize: 841456 [startup+60.0021 s] Raw data (loadavg): 1.13 1.02 1.00 2/65 2051 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 5417 42 0 0 25 0 11 0 547426316 861650944 24983 4294967295 134512640 134569956 3221224400 3221214664 1131528674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 24983 13073 16 0 210348 0 vsize: 841456 [startup+70.0029 s] Raw data (loadavg): 1.11 1.02 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 6339 42 0 0 25 0 11 0 547426316 861650944 25603 4294967295 134512640 134569956 3221224400 3221214528 1131342254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 25603 13073 16 0 210348 0 vsize: 841456 [startup+80.004 s] Raw data (loadavg): 1.10 1.02 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 7276 43 0 0 25 0 11 0 547426316 861650944 25603 4294967295 134512640 134569956 3221224400 3221214528 1131342855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 25603 13073 16 0 210348 0 vsize: 841456 [startup+90.0039 s] Raw data (loadavg): 1.08 1.02 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 8202 43 0 0 25 0 11 0 547426316 861650944 25603 4294967295 134512640 134569956 3221224400 3221214528 1131342712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 25603 13073 16 0 210348 0 vsize: 841456 [startup+100.004 s] Raw data (loadavg): 1.07 1.01 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 9127 43 0 0 25 0 11 0 547426316 861650944 25603 4294967295 134512640 134569956 3221224400 3221214528 1131342307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 25603 13073 16 0 210348 0 vsize: 841456 [startup+110.004 s] Raw data (loadavg): 1.06 1.01 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 10064 44 0 0 25 0 11 0 547426316 861650944 26321 4294967295 134512640 134569956 3221224400 3221214328 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26321 13073 16 0 210348 0 vsize: 841456 [startup+120.004 s] Raw data (loadavg): 1.05 1.01 1.00 2/65 2053 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 11059 44 0 0 25 0 11 0 547426316 861650944 26457 4294967295 134512640 134569956 3221224400 3221214336 1131329202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26457 13073 16 0 210348 0 vsize: 841456 [startup+130.003 s] Raw data (loadavg): 1.12 1.03 1.00 2/68 2088 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 12054 46 0 0 25 0 11 0 547426316 861650944 26458 4294967295 134512640 134569956 3221224400 3221214336 1131329152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 26458 13073 16 0 210348 0 vsize: 841456 [startup+140.004 s] Raw data (loadavg): 1.10 1.03 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 13050 48 0 0 25 0 11 0 547426316 861650944 26461 4294967295 134512640 134569956 3221224400 3221214544 1131494291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 26461 13073 16 0 210348 0 vsize: 841456 [startup+150.005 s] Raw data (loadavg): 1.08 1.03 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18064 3 1 0 14040 49 0 0 25 0 11 0 547426316 861650944 26461 4294967295 134512640 134569956 3221224400 3221214544 1131437687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26461 13073 16 0 210348 0 vsize: 841456 [startup+160.004 s] Raw data (loadavg): 1.07 1.03 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 15030 49 0 0 25 0 11 0 547426316 861650944 26462 4294967295 134512640 134569956 3221224400 3221214528 1131343513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26462 13073 16 0 210348 0 vsize: 841456 [startup+170.004 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 16021 49 0 0 25 0 11 0 547426316 861650944 26462 4294967295 134512640 134569956 3221224400 3221214528 1131342232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26462 13073 16 0 210348 0 vsize: 841456 [startup+180.004 s] Raw data (loadavg): 1.05 1.02 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 17011 49 0 0 25 0 11 0 547426316 861650944 26462 4294967295 134512640 134569956 3221224400 3221214328 1131329299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 26462 13073 16 0 210348 0 vsize: 841456 [startup+190.004 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 18004 50 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214336 1131329146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+200.004 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 2106 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 19002 50 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214440 1131304389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+210.004 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 19999 50 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214336 1131329152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+220.005 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 20982 50 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214544 1131437684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+230.005 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 21944 51 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214336 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+240.005 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 22911 51 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214432 1131220578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+250.006 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 23873 51 0 0 25 0 11 0 547426316 861650944 26562 4294967295 134512640 134569956 3221224400 3221214528 1131342251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26562 13073 16 0 210348 0 vsize: 841456 [startup+260.006 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 24843 51 0 0 25 0 11 0 547426316 861650944 26884 4294967295 134512640 134569956 3221224400 3221214528 1131342619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26884 13073 16 0 210348 0 vsize: 841456 [startup+270.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 25842 52 0 0 25 0 11 0 547426316 861650944 26884 4294967295 134512640 134569956 3221224400 3221214528 1131343499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26884 13073 16 0 210348 0 vsize: 841456 [startup+280.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 26840 52 0 0 25 0 11 0 547426316 861650944 26884 4294967295 134512640 134569956 3221224400 3221214336 1131329299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26884 13073 16 0 210348 0 vsize: 841456 [startup+290.007 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 27832 52 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214632 1131644695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+300.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 28822 52 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214664 1131528674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+310.007 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 29759 53 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214424 1131329107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+320.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 30705 53 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214424 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+330.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 31643 53 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214632 1131650116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+340.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 32581 54 0 0 25 0 11 0 547426316 861650944 26887 4294967295 134512640 134569956 3221224400 3221214424 1131329550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 26887 13073 16 0 210348 0 vsize: 841456 [startup+350.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 33541 54 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214520 1131220604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+360.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2108 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 34539 54 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214424 1131329219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+370.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 35535 55 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214424 1131329226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+380.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 36526 55 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214424 1131329299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+390.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 37516 55 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214632 1131644786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+400.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 38506 56 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214528 1131304364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+410.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 39497 56 0 0 25 0 11 0 547426316 861650944 27579 4294967295 134512640 134569956 3221224400 3221214528 1131342712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27579 13073 16 0 210348 0 vsize: 841456 [startup+420.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 40493 56 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221214528 1131342660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+430.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 41489 57 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221214424 1131329299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+440.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) S 2037 20838 20837 0 -1 0 18065 3 1 0 42480 57 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2110 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 43472 57 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221214424 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+460.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 44462 58 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221214528 1131342820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+470.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 45453 58 0 0 25 0 11 0 547426316 861650944 27678 4294967295 134512640 134569956 3221224400 3221214424 1131329362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27678 13073 16 0 210348 0 vsize: 841456 [startup+480.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 46448 58 0 0 25 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214528 1131343523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+490.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 47445 58 0 0 25 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214424 1131329462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+500.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 48436 58 0 0 25 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214424 1131329334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+510.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 49426 59 0 0 25 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214424 1131329534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+520.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 50417 59 0 0 24 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214632 1131650053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+530.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 51409 59 0 0 25 0 11 0 547426316 861650944 27777 4294967295 134512640 134569956 3221224400 3221214632 1131649959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27777 13073 16 0 210348 0 vsize: 841456 [startup+540.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 52404 60 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214424 1131329476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+550.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 53402 60 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214424 1131329167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 54389 60 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214424 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+570.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 55346 61 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214632 1131649959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+580.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 56303 61 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214528 1131302233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+590.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 57260 61 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214424 1131329462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+600.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 58217 62 0 0 25 0 11 0 547426316 861650944 27876 4294967295 134512640 134569956 3221224400 3221214424 1131329327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 27876 13073 16 0 210348 0 vsize: 841456 [startup+610.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 59201 62 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214424 1131329550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 60200 62 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214424 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+630.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 61196 63 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214528 1131342712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 62191 63 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214520 1131220551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+650.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 63187 63 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214424 1131329390 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2112 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 64183 64 0 0 25 0 11 0 547426316 861650944 28280 4294967295 134512640 134569956 3221224400 3221214632 1131649952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28280 13073 16 0 210348 0 vsize: 841456 [startup+670.141 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2114 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 65190 65 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214528 1131304404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+680.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2114 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 66188 65 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214464 1131309449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+690.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2114 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 67186 65 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214632 1131650082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+700.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2114 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 68177 66 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214760 1131377208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+710.142 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 69143 66 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214804 1131436396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+720.143 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 70100 66 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214528 1131304380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+730.143 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 71055 67 0 0 25 0 11 0 547426316 861650944 28306 4294967295 134512640 134569956 3221224400 3221214424 1131329263 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28306 13073 16 0 210348 0 vsize: 841456 [startup+740.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 72019 67 0 0 25 0 11 0 547426316 861650944 28380 4294967295 134512640 134569956 3221224400 3221214424 1131329152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28380 13073 16 0 210348 0 vsize: 841456 [startup+750.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) S 2037 20838 20837 0 -1 0 18065 3 1 0 73000 67 0 0 25 0 11 0 547426316 861650944 28569 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28569 13073 16 0 210348 0 vsize: 841456 [startup+760.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 73993 67 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214424 1131329299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+770.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 74992 67 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214528 1131342254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+780.145 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 75990 68 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214424 1131329362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+790.147 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 76988 68 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214320 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+800.148 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 77980 69 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214564 1080203708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+810.147 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 78970 69 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214688 1131451030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+820.148 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 79960 70 0 0 25 0 11 0 547426316 861650944 28670 4294967295 134512640 134569956 3221224400 3221214600 1131329356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28670 13073 16 0 210348 0 vsize: 841456 [startup+830.148 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 80952 70 0 0 25 0 11 0 547426316 861650944 28696 4294967295 134512640 134569956 3221224400 3221214624 1131416795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28696 13073 16 0 210348 0 vsize: 841456 [startup+840.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 81944 70 0 0 25 0 11 0 547426316 861650944 28696 4294967295 134512640 134569956 3221224400 3221214688 1131449341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28696 13073 16 0 210348 0 vsize: 841456 [startup+850.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 82938 71 0 0 25 0 11 0 547426316 861650944 28717 4294967295 134512640 134569956 3221224400 3221214640 1131426507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 28717 13073 16 0 210348 0 vsize: 841456 [startup+860.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 83933 71 0 0 25 0 11 0 547426316 861650944 28744 4294967295 134512640 134569956 3221224400 3221214828 1130863144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28744 13073 16 0 210348 0 vsize: 841456 [startup+870.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 84928 71 0 0 25 0 11 0 547426316 861650944 28744 4294967295 134512640 134569956 3221224400 3221214808 1131441843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28744 13073 16 0 210348 0 vsize: 841456 [startup+880.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 85925 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214688 1131450069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+890.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 86923 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214808 1131442015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+900.151 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 87922 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214600 1131329152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+910.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 88920 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214744 1131426528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+920.152 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 89917 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214648 1131407977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+930.152 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 90912 71 0 0 25 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214592 1131436888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+940.152 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 91907 71 0 0 17 0 11 0 547426316 861650944 28771 4294967295 134512640 134569956 3221224400 3221214688 1131451192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28771 13073 16 0 210348 0 vsize: 841456 [startup+950.153 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 92903 71 0 0 25 0 11 0 547426316 861650944 28794 4294967295 134512640 134569956 3221224400 3221214764 1131323735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28794 13073 16 0 210348 0 vsize: 841456 [startup+960.152 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2115 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 93899 71 0 0 25 0 11 0 547426316 861650944 28794 4294967295 134512640 134569956 3221224400 3221214744 1131426528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28794 13073 16 0 210348 0 vsize: 841456 [startup+970.153 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 94895 71 0 0 25 0 11 0 547426316 861650944 28794 4294967295 134512640 134569956 3221224400 3221214664 1131528674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28794 13073 16 0 210348 0 vsize: 841456 [startup+980.154 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 95870 72 0 0 25 0 11 0 547426316 861650944 28811 4294967295 134512640 134569956 3221224400 3221214808 1131448941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28811 13073 16 0 210348 0 vsize: 841456 [startup+990.154 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 96837 72 0 0 25 0 11 0 547426316 861650944 28811 4294967295 134512640 134569956 3221224400 3221214688 1131428516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28811 13073 16 0 210348 0 vsize: 841456 [startup+1000.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 97806 72 0 0 25 0 11 0 547426316 861650944 28811 4294967295 134512640 134569956 3221224400 3221214740 1131406476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28811 13073 16 0 210348 0 vsize: 841456 [startup+1010.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 98774 72 0 0 25 0 11 0 547426316 861650944 28856 4294967295 134512640 134569956 3221224400 3221213580 1073942929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28856 13073 16 0 210348 0 vsize: 841456 [startup+1020.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 99751 72 0 0 25 0 11 0 547426316 861650944 28970 4294967295 134512640 134569956 3221224400 3221214664 1131322849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28970 13073 16 0 210348 0 vsize: 841456 [startup+1030.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 100724 72 0 0 24 0 11 0 547426316 861650944 28970 4294967295 134512640 134569956 3221224400 3221214712 1131327257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28970 13073 16 0 210348 0 vsize: 841456 [startup+1040.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 101697 72 0 0 25 0 11 0 547426316 861650944 28998 4294967295 134512640 134569956 3221224400 3221214760 1131379712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28998 13073 16 0 210348 0 vsize: 841456 [startup+1050.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 102652 72 0 0 25 0 11 0 547426316 861650944 28998 4294967295 134512640 134569956 3221224400 3221214760 1131373946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28998 13073 16 0 210348 0 vsize: 841456 [startup+1060.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 103599 72 0 0 25 0 11 0 547426316 861650944 28998 4294967295 134512640 134569956 3221224400 3221214684 1080203688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 28998 13073 16 0 210348 0 vsize: 841456 [startup+1070.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 104528 72 0 0 25 0 11 0 547426316 861650944 29075 4294967295 134512640 134569956 3221224400 3221214760 1131374914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 29075 13073 16 0 210348 0 vsize: 841456 [startup+1080.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 105451 72 0 0 25 0 11 0 547426316 861650944 29509 4294967295 134512640 134569956 3221224400 3221214808 1131449803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 29509 13073 16 0 210348 0 vsize: 841456 [startup+1090.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 106363 72 0 0 25 0 11 0 547426316 861650944 29509 4294967295 134512640 134569956 3221224400 3221214664 1131528709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 29509 13073 16 0 210348 0 vsize: 841456 [startup+1100.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 107290 72 0 0 25 0 11 0 547426316 861650944 29742 4294967295 134512640 134569956 3221224400 3221214680 1131650003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 29742 13073 16 0 210348 0 vsize: 841456 [startup+1110.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 108252 72 0 0 25 0 11 0 547426316 861650944 29983 4294967295 134512640 134569956 3221224400 3221214680 1131644695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 29983 13073 16 0 210348 0 vsize: 841456 [startup+1120.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 109230 72 0 0 25 0 11 0 547426316 861650944 30151 4294967295 134512640 134569956 3221224400 3221214576 1131304318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30151 13073 16 0 210348 0 vsize: 841456 [startup+1130.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 110211 72 0 0 25 0 11 0 547426316 861650944 30215 4294967295 134512640 134569956 3221224400 3221214680 1131644695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30215 13073 16 0 210348 0 vsize: 841456 [startup+1140.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 111195 73 0 0 25 0 11 0 547426316 861650944 30302 4294967295 134512640 134569956 3221224400 3221214680 1131649959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30302 13073 16 0 210348 0 vsize: 841456 [startup+1150.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 112194 73 0 0 25 0 11 0 547426316 861650944 30302 4294967295 134512640 134569956 3221224400 3221214472 1131329152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30302 13073 16 0 210348 0 vsize: 841456 [startup+1160.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 113190 73 0 0 25 0 11 0 547426316 861650944 30309 4294967295 134512640 134569956 3221224400 3221214472 1131329229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30309 13073 16 0 210348 0 vsize: 841456 [startup+1170.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 114182 73 0 0 25 0 11 0 547426316 861650944 30309 4294967295 134512640 134569956 3221224400 3221214560 1131336956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30309 13073 16 0 210348 0 vsize: 841456 [startup+1180.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 115173 73 0 0 25 0 11 0 547426316 861650944 30309 4294967295 134512640 134569956 3221224400 3221214576 1131342622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30309 13073 16 0 210348 0 vsize: 841456 [startup+1190.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 116165 73 0 0 25 0 11 0 547426316 861650944 30309 4294967295 134512640 134569956 3221224400 3221214576 1131342369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30309 13073 16 0 210348 0 vsize: 841456 [startup+1200.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 117157 73 0 0 25 0 11 0 547426316 861650944 30309 4294967295 134512640 134569956 3221224400 3221214680 1131644695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30309 13073 16 0 210348 0 vsize: 841456 [startup+1210.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 118150 73 0 0 25 0 11 0 547426316 861650944 30401 4294967295 134512640 134569956 3221224400 3221214680 1131650104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30401 13073 16 0 210348 0 vsize: 841456 [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 119149 73 0 0 25 0 11 0 547426316 861650944 30408 4294967295 134512640 134569956 3221224400 3221214680 1131644786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210364 30408 13073 16 0 210348 0 vsize: 841456 [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2117 Raw data (stat): 2038 (java) R 2037 20838 20837 0 -1 0 18065 3 1 0 120135 73 0 0 25 0 11 0 547426316 861650944 30408 4294967295 134512640 134569956 3221224400 3221214744 1131416243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 30408 13073 16 0 210348 0 vsize: 841456 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.27 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 2119 Raw data (stat): 2038 (java) Z 2037 20838 20837 0 -1 1036 18065 16208 1 0 120138 79 4111 45 25 0 1 0 547426316 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.27 CPU time (s): 1243.75 CPU user time (s): 1242.5 CPU system time (s): 1.25381 CPU usage (%): 101.096 Max. virtual memory (Kb): 842140 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####