Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb |
MD5SUM | 1bb3cde4ae28db77cb8e051d278e83a5 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 88852135936000 |
Number of bits for the biggest coefficient in the objective function | 47 |
Sum of the numbers in the objective function | 3689448844530141 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 359703511040000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 6054438712178314 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.030994 |
Number of variables | 2910 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-25 07:26:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20816 boxname=wulflinc21 idbench=804 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 1bb3cde4ae28db77cb8e051d278e83a5 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-adlittle.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-adlittle.opb IDLAUNCH: 20816 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 279444 kB Buffers: 32068 kB Cached: 692268 kB SwapCached: 1020 kB Active: 34548 kB Inactive: 691932 kB HighTotal: 131008 kB HighFree: 7588 kB LowTotal: 903652 kB LowFree: 271856 kB SwapTotal: 2097892 kB SwapFree: 2096008 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5116 kB Slab: 23084 kB Committed_AS: 63912 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 07:47:22 (client local time) WITH STATUS 143 IN 1273.56 SECONDS stats: 20816 7 1273.56 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-adlittle.opb c reading problem ... done. Time 6.424 ms. c #vars 2910 c #constraints 70 c starts : 7 c conflicts : 2549 c decisions : 10683 c propagations : 30996 c inspects : 791166 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2548 c root simplifications : 31 s UNKNOWN c Total CPU time (ms) : 1259.054 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/55 11212 Raw data (stat): 11212 (runsolver) R 11211 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 714332813 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+10.0076 s] Raw data (loadavg): 1.18 1.03 1.01 3/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18085 0 1 0 766 38 0 0 25 0 11 0 714332813 859475968 21043 4294967295 134512640 134569956 3221224368 3221212240 1079805031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 21043 13086 16 0 209817 0 vsize: 839332 [startup+20.008 s] Raw data (loadavg): 1.46 1.10 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18092 0 1 0 1639 38 0 0 25 0 11 0 714332813 859693056 21301 4294967295 134512640 134569956 3221224368 3221214664 1131455085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209886 21301 13086 16 0 209870 0 vsize: 839544 [startup+30.0108 s] Raw data (loadavg): 1.54 1.13 1.04 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18094 0 1 0 2575 38 0 0 22 0 11 0 714332813 858886144 21232 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 21232 13086 16 0 209673 0 vsize: 838756 [startup+40.0104 s] Raw data (loadavg): 1.46 1.12 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18094 0 1 0 3514 38 0 0 25 0 11 0 714332813 858886144 21576 4294967295 134512640 134569956 3221224368 3221214456 1131491844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 21576 13086 16 0 209673 0 vsize: 838756 [startup+50.01 s] Raw data (loadavg): 1.39 1.12 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18094 0 1 0 4464 39 0 0 25 0 11 0 714332813 858886144 21780 4294967295 134512640 134569956 3221224368 3221214616 1131443556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 21780 13086 16 0 209673 0 vsize: 838756 [startup+60.0097 s] Raw data (loadavg): 1.33 1.11 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 5414 39 0 0 25 0 11 0 714332813 860983296 22583 4294967295 134512640 134569956 3221224368 3221214600 1131445662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210201 22583 13086 16 0 210185 0 vsize: 840804 [startup+70.0094 s] Raw data (loadavg): 1.28 1.11 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 6371 39 0 0 25 0 11 0 714332813 860983296 22648 4294967295 134512640 134569956 3221224368 3221214520 1131482342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210201 22648 13086 16 0 210185 0 vsize: 840804 [startup+80.0101 s] Raw data (loadavg): 1.23 1.10 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 7323 39 0 0 25 0 11 0 714332813 858886144 22510 4294967295 134512640 134569956 3221224368 3221214596 1131252425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 22510 13086 16 0 209673 0 vsize: 838756 [startup+90.0098 s] Raw data (loadavg): 1.20 1.10 1.04 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 8266 39 0 0 25 0 11 0 714332813 858886144 22773 4294967295 134512640 134569956 3221224368 3221214496 1131241399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 22773 13086 16 0 209673 0 vsize: 838756 [startup+100.009 s] Raw data (loadavg): 1.17 1.10 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 9217 39 0 0 25 0 11 0 714332813 858886144 22951 4294967295 134512640 134569956 3221224368 3221214664 1131457922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 22951 13086 16 0 209673 0 vsize: 838756 [startup+110.01 s] Raw data (loadavg): 1.14 1.09 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 10168 39 0 0 25 0 11 0 714332813 858886144 23169 4294967295 134512640 134569956 3221224368 3221214536 1131620957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 23169 13086 16 0 209673 0 vsize: 838756 [startup+120.01 s] Raw data (loadavg): 1.12 1.09 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 11112 40 0 0 25 0 11 0 714332813 858886144 23285 4294967295 134512640 134569956 3221224368 3221214520 1131479915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 23285 13086 16 0 209673 0 vsize: 838756 [startup+130.011 s] Raw data (loadavg): 1.10 1.09 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 12064 40 0 0 25 0 11 0 714332813 858886144 23485 4294967295 134512640 134569956 3221224368 3221214608 1131488984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 23485 13086 16 0 209673 0 vsize: 838756 [startup+140.011 s] Raw data (loadavg): 1.08 1.08 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 13004 40 0 0 25 0 11 0 714332813 858886144 23724 4294967295 134512640 134569956 3221224368 3221214496 1131241628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 23724 13086 16 0 209673 0 vsize: 838756 [startup+150.011 s] Raw data (loadavg): 1.07 1.08 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 13954 40 0 0 25 0 11 0 714332813 858886144 23927 4294967295 134512640 134569956 3221224368 3221214496 1131241589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 23927 13086 16 0 209673 0 vsize: 838756 [startup+160.011 s] Raw data (loadavg): 1.06 1.08 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 14904 41 0 0 25 0 11 0 714332813 858886144 24113 4294967295 134512640 134569956 3221224368 3221214616 1131443725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24113 13086 16 0 209673 0 vsize: 838756 [startup+170.011 s] Raw data (loadavg): 1.05 1.07 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 15843 41 0 0 25 0 11 0 714332813 858886144 24315 4294967295 134512640 134569956 3221224368 3221214664 1131454301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24315 13086 16 0 209673 0 vsize: 838756 [startup+180.012 s] Raw data (loadavg): 1.04 1.07 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 16792 41 0 0 25 0 11 0 714332813 858886144 24505 4294967295 134512640 134569956 3221224368 3221214496 1131241616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24505 13086 16 0 209673 0 vsize: 838756 [startup+190.012 s] Raw data (loadavg): 1.03 1.07 1.03 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 17742 41 0 0 25 0 11 0 714332813 858886144 24689 4294967295 134512640 134569956 3221224368 3221214512 1131241631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24689 13086 16 0 209673 0 vsize: 838756 [startup+200.011 s] Raw data (loadavg): 1.03 1.07 1.02 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 18699 41 0 0 25 0 11 0 714332813 858886144 24804 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24804 13086 16 0 209673 0 vsize: 838756 [startup+210.012 s] Raw data (loadavg): 1.02 1.06 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 19643 41 0 0 25 0 11 0 714332813 858886144 24911 4294967295 134512640 134569956 3221224368 3221214520 1131480769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 24911 13086 16 0 209673 0 vsize: 838756 [startup+220.012 s] Raw data (loadavg): 1.02 1.06 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 20592 41 0 0 25 0 11 0 714332813 858886144 25138 4294967295 134512640 134569956 3221224368 3221214728 1131422442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 25138 13086 16 0 209673 0 vsize: 838756 [startup+230.012 s] Raw data (loadavg): 1.02 1.06 1.02 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 21544 42 0 0 25 0 11 0 714332813 858886144 25287 4294967295 134512640 134569956 3221224368 3221213200 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 25287 13086 16 0 209673 0 vsize: 838756 [startup+240.012 s] Raw data (loadavg): 1.01 1.06 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 22501 42 0 0 25 0 11 0 714332813 858886144 25500 4294967295 134512640 134569956 3221224368 3221214596 1131252416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 25500 13086 16 0 209673 0 vsize: 838756 [startup+250.012 s] Raw data (loadavg): 1.01 1.05 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 23450 42 0 0 25 0 11 0 714332813 858886144 25701 4294967295 134512640 134569956 3221224368 3221214568 1131421328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 25701 13086 16 0 209673 0 vsize: 838756 [startup+260.012 s] Raw data (loadavg): 1.01 1.05 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 24399 42 0 0 25 0 11 0 714332813 858886144 25901 4294967295 134512640 134569956 3221224368 3221214600 1131445662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 25901 13086 16 0 209673 0 vsize: 838756 [startup+270.012 s] Raw data (loadavg): 1.01 1.05 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 25350 42 0 0 25 0 11 0 714332813 858886144 26098 4294967295 134512640 134569956 3221224368 3221214496 1131241589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 26098 13086 16 0 209673 0 vsize: 838756 [startup+280.013 s] Raw data (loadavg): 1.01 1.05 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 26299 42 0 0 25 0 11 0 714332813 858886144 26281 4294967295 134512640 134569956 3221224368 3221214568 1131421373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 26281 13086 16 0 209673 0 vsize: 838756 [startup+290.013 s] Raw data (loadavg): 1.00 1.05 1.02 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 27249 42 0 0 25 0 11 0 714332813 858886144 26519 4294967295 134512640 134569956 3221224368 3221214596 1131224047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 26519 13086 16 0 209673 0 vsize: 838756 [startup+300.013 s] Raw data (loadavg): 1.00 1.04 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 28199 43 0 0 25 0 11 0 714332813 858886144 26707 4294967295 134512640 134569956 3221224368 3221214520 1131480643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 26707 13086 16 0 209673 0 vsize: 838756 [startup+310.013 s] Raw data (loadavg): 1.00 1.04 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 29146 43 0 0 25 0 11 0 714332813 858886144 26963 4294967295 134512640 134569956 3221224368 3221214616 1131443559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 26963 13086 16 0 209673 0 vsize: 838756 [startup+320.013 s] Raw data (loadavg): 1.00 1.04 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 30094 43 0 0 25 0 11 0 714332813 858886144 27268 4294967295 134512640 134569956 3221224368 3221214752 1131379077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27268 13086 16 0 209673 0 vsize: 838756 [startup+330.014 s] Raw data (loadavg): 1.00 1.04 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 31064 43 0 0 25 0 11 0 714332813 858886144 27346 4294967295 134512640 134569956 3221224368 3221214664 1131453093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27346 13086 16 0 209673 0 vsize: 838756 [startup+340.014 s] Raw data (loadavg): 1.00 1.04 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 32005 43 0 0 25 0 11 0 714332813 858886144 27461 4294967295 134512640 134569956 3221224368 3221214520 1131480257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27461 13086 16 0 209673 0 vsize: 838756 [startup+350.014 s] Raw data (loadavg): 1.00 1.03 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 32957 44 0 0 25 0 11 0 714332813 858886144 27541 4294967295 134512640 134569956 3221224368 3221214568 1131421376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27541 13086 16 0 209673 0 vsize: 838756 [startup+360.014 s] Raw data (loadavg): 1.00 1.03 1.01 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 33905 44 0 0 25 0 11 0 714332813 858886144 27748 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27748 13086 16 0 209673 0 vsize: 838756 [startup+370.014 s] Raw data (loadavg): 1.00 1.03 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 34848 44 0 0 25 0 11 0 714332813 858886144 27982 4294967295 134512640 134569956 3221224368 3221214496 1131241404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 27982 13086 16 0 209673 0 vsize: 838756 [startup+380.015 s] Raw data (loadavg): 1.00 1.03 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 35797 44 0 0 25 0 11 0 714332813 858886144 28130 4294967295 134512640 134569956 3221224368 3221214520 1131481664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28130 13086 16 0 209673 0 vsize: 838756 [startup+390.015 s] Raw data (loadavg): 1.00 1.03 1.01 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 36744 45 0 0 25 0 11 0 714332813 858886144 28323 4294967295 134512640 134569956 3221224368 3221214776 1131431350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28323 13086 16 0 209673 0 vsize: 838756 [startup+400.015 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 37692 45 0 0 25 0 11 0 714332813 858886144 28530 4294967295 134512640 134569956 3221224368 3221214572 1130885141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28530 13086 16 0 209673 0 vsize: 838756 [startup+410.015 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 38641 45 0 0 25 0 11 0 714332813 858886144 28713 4294967295 134512640 134569956 3221224368 3221214568 1131421391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28713 13086 16 0 209673 0 vsize: 838756 [startup+420.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 39601 45 0 0 25 0 11 0 714332813 858886144 28852 4294967295 134512640 134569956 3221224368 3221214568 1131297301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28852 13086 16 0 209673 0 vsize: 838756 [startup+430.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 40550 45 0 0 25 0 11 0 714332813 858886144 28993 4294967295 134512640 134569956 3221224368 3221214552 1131296692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 28993 13086 16 0 209673 0 vsize: 838756 [startup+440.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 41497 45 0 0 25 0 11 0 714332813 858886144 29228 4294967295 134512640 134569956 3221224368 3221214600 1131445411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 29228 13086 16 0 209673 0 vsize: 838756 [startup+450.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 42445 46 0 0 25 0 11 0 714332813 858886144 29428 4294967295 134512640 134569956 3221224368 3221214496 1131241717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 29428 13086 16 0 209673 0 vsize: 838756 [startup+460.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 43393 46 0 0 25 0 11 0 714332813 858886144 29677 4294967295 134512640 134569956 3221224368 3221214632 1131296886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 29677 13086 16 0 209673 0 vsize: 838756 [startup+470.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 44341 46 0 0 25 0 11 0 714332813 858886144 29865 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 29867 13086 16 0 209673 0 vsize: 838756 [startup+480.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 45294 46 0 0 25 0 11 0 714332813 858886144 30062 4294967295 134512640 134569956 3221224368 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30062 13086 16 0 209673 0 vsize: 838756 [startup+490.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 46246 46 0 0 25 0 11 0 714332813 858886144 30330 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30330 13086 16 0 209673 0 vsize: 838756 [startup+500.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 47191 46 0 0 25 0 11 0 714332813 858886144 30560 4294967295 134512640 134569956 3221224368 3221213200 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30560 13086 16 0 209673 0 vsize: 838756 [startup+510.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 48143 47 0 0 25 0 11 0 714332813 858886144 30765 4294967295 134512640 134569956 3221224368 3221214512 1131241616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30765 13086 16 0 209673 0 vsize: 838756 [startup+520.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 49066 47 0 0 25 0 11 0 714332813 858886144 30900 4294967295 134512640 134569956 3221224368 3221214568 1131296762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30900 13086 16 0 209673 0 vsize: 838756 [startup+530.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 50028 47 0 0 25 0 11 0 714332813 858886144 30948 4294967295 134512640 134569956 3221224368 3221214484 1131596816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 30948 13086 16 0 209673 0 vsize: 838756 [startup+540.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 50972 47 0 0 25 0 11 0 714332813 858886144 31095 4294967295 134512640 134569956 3221224368 3221214664 1131456848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31095 13086 16 0 209673 0 vsize: 838756 [startup+550.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 51929 47 0 0 25 0 11 0 714332813 858886144 31380 4294967295 134512640 134569956 3221224368 3221214660 1131241267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31380 13086 16 0 209673 0 vsize: 838756 [startup+560.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 52901 48 0 0 25 0 11 0 714332813 858886144 31617 4294967295 134512640 134569956 3221224368 3221214484 1131596816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31617 13086 16 0 209673 0 vsize: 838756 [startup+570.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 53873 48 0 0 25 0 11 0 714332813 858886144 31767 4294967295 134512640 134569956 3221224368 3221214520 1131480546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31767 13086 16 0 209673 0 vsize: 838756 [startup+580.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 54840 48 0 0 25 0 11 0 714332813 858886144 31783 4294967295 134512640 134569956 3221224368 3221214600 1131445928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31783 13086 16 0 209673 0 vsize: 838756 [startup+590.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 55797 48 0 0 25 0 11 0 714332813 858886144 31818 4294967295 134512640 134569956 3221224368 3221214520 1131479915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31818 13086 16 0 209673 0 vsize: 838756 [startup+600.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 56745 48 0 0 25 0 11 0 714332813 858886144 31917 4294967295 134512640 134569956 3221224368 3221214568 1131421285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 31917 13086 16 0 209673 0 vsize: 838756 [startup+610.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 57694 49 0 0 25 0 11 0 714332813 858886144 32160 4294967295 134512640 134569956 3221224368 3221214600 1131445458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 32160 13086 16 0 209673 0 vsize: 838756 [startup+620.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 58643 49 0 0 25 0 11 0 714332813 858886144 32389 4294967295 134512640 134569956 3221224368 3221214520 1131480309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 32389 13086 16 0 209673 0 vsize: 838756 [startup+630.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 59598 49 0 0 25 0 11 0 714332813 858886144 32840 4294967295 134512640 134569956 3221224368 3221214464 1131217500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 32840 13086 16 0 209673 0 vsize: 838756 [startup+640.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 60547 49 0 0 25 0 11 0 714332813 858886144 33044 4294967295 134512640 134569956 3221224368 3221214612 1131241260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 33044 13086 16 0 209673 0 vsize: 838756 [startup+650.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 61497 49 0 0 25 0 11 0 714332813 858886144 33238 4294967295 134512640 134569956 3221224368 3221214624 1131512601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 33238 13086 16 0 209673 0 vsize: 838756 [startup+660.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 62446 49 0 0 25 0 11 0 714332813 858886144 33501 4294967295 134512640 134569956 3221224368 3221214664 1131453065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 33501 13086 16 0 209673 0 vsize: 838756 [startup+670.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 63397 49 0 0 25 0 11 0 714332813 858886144 33707 4294967295 134512640 134569956 3221224368 3221214496 1131241631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 33707 13086 16 0 209673 0 vsize: 838756 [startup+680.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 64346 49 0 0 25 0 11 0 714332813 858886144 33879 4294967295 134512640 134569956 3221224368 3221214584 1131205392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 33879 13086 16 0 209673 0 vsize: 838756 [startup+690.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 65293 49 0 0 25 0 11 0 714332813 858886144 34147 4294967295 134512640 134569956 3221224368 3221214048 1131595196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 34147 13086 16 0 209673 0 vsize: 838756 [startup+700.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 66241 50 0 0 25 0 11 0 714332813 858886144 34352 4294967295 134512640 134569956 3221224368 3221214520 1131482365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 34352 13086 16 0 209673 0 vsize: 838756 [startup+710.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 67197 50 0 0 25 0 11 0 714332813 858886144 34517 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 34517 13086 16 0 209673 0 vsize: 838756 [startup+720.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 68147 50 0 0 25 0 11 0 714332813 858886144 34772 4294967295 134512640 134569956 3221224368 3221214152 1131596817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 34772 13086 16 0 209673 0 vsize: 838756 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 69095 50 0 0 25 0 11 0 714332813 858886144 34989 4294967295 134512640 134569956 3221224368 3221214576 1131224089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 34989 13086 16 0 209673 0 vsize: 838756 [startup+740.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 70043 50 0 0 25 0 11 0 714332813 858886144 35202 4294967295 134512640 134569956 3221224368 3221214596 1131252452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 35202 13086 16 0 209673 0 vsize: 838756 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 70991 50 0 0 25 0 11 0 714332813 858886144 35433 4294967295 134512640 134569956 3221224368 3221214600 1131445825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 35433 13086 16 0 209673 0 vsize: 838756 [startup+760.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 71939 50 0 0 25 0 11 0 714332813 858886144 35620 4294967295 134512640 134569956 3221224368 3221214600 1131445458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 35620 13086 16 0 209673 0 vsize: 838756 [startup+770.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 72890 50 0 0 25 0 11 0 714332813 858886144 35790 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 35790 13086 16 0 209673 0 vsize: 838756 [startup+780.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 73846 50 0 0 25 0 11 0 714332813 858886144 35961 4294967295 134512640 134569956 3221224368 3221214496 1131241616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 35961 13086 16 0 209673 0 vsize: 838756 [startup+790.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 74792 51 0 0 25 0 11 0 714332813 858886144 36225 4294967295 134512640 134569956 3221224368 3221214568 1131421285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36225 13086 16 0 209673 0 vsize: 838756 [startup+800.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 75739 51 0 0 25 0 11 0 714332813 858886144 36455 4294967295 134512640 134569956 3221224368 3221214828 1130919932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36455 13086 16 0 209673 0 vsize: 838756 [startup+810.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 76698 51 0 0 25 0 11 0 714332813 858886144 36619 4294967295 134512640 134569956 3221224368 3221214664 1131453065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36619 13086 16 0 209673 0 vsize: 838756 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 77648 51 0 0 25 0 11 0 714332813 858886144 36653 4294967295 134512640 134569956 3221224368 3221214664 1131452917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36653 13086 16 0 209673 0 vsize: 838756 [startup+830.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 78607 51 0 0 25 0 11 0 714332813 858886144 36776 4294967295 134512640 134569956 3221224368 3221214616 1131443574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36776 13086 16 0 209673 0 vsize: 838756 [startup+840.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 79558 51 0 0 25 0 11 0 714332813 858886144 36776 4294967295 134512640 134569956 3221224368 3221214600 1131445419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 36776 13086 16 0 209673 0 vsize: 838756 [startup+850.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 80499 51 0 0 25 0 11 0 714332813 858886144 37066 4294967295 134512640 134569956 3221224368 3221214664 1131453090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 37066 13086 16 0 209673 0 vsize: 838756 [startup+860.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 81457 51 0 0 25 0 11 0 714332813 858886144 37326 4294967295 134512640 134569956 3221224368 3221214664 1131454370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 37326 13086 16 0 209673 0 vsize: 838756 [startup+870.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 82430 51 0 0 25 0 11 0 714332813 859934720 37745 4294967295 134512640 134569956 3221224368 3221214048 1131595196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 37745 13086 16 0 209929 0 vsize: 839780 [startup+880.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 83413 51 0 0 25 0 11 0 714332813 859934720 37645 4294967295 134512640 134569956 3221224368 3221214040 1131596877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 37645 13086 16 0 209929 0 vsize: 839780 [startup+890.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 84390 51 0 0 25 0 11 0 714332813 859934720 37747 4294967295 134512640 134569956 3221224368 3221214568 1131296756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 37747 13086 16 0 209929 0 vsize: 839780 [startup+900.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 85371 51 0 0 25 0 11 0 714332813 859934720 37779 4294967295 134512640 134569956 3221224368 3221214664 1131454208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 37779 13086 16 0 209929 0 vsize: 839780 [startup+910.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 86344 51 0 0 25 0 11 0 714332813 859934720 37854 4294967295 134512640 134569956 3221224368 3221214488 1131596792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 37854 13086 16 0 209929 0 vsize: 839780 [startup+920.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) S 11211 32363 32362 0 -1 0 18096 0 1 0 87313 51 0 0 25 0 11 0 714332813 858886144 37778 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 37778 13086 16 0 209673 0 vsize: 838756 [startup+930.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 88288 52 0 0 25 0 11 0 714332813 858886144 37856 4294967295 134512640 134569956 3221224368 3221214568 1131296484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209689 37856 13086 16 0 209673 0 vsize: 838756 [startup+940.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 89273 52 0 0 25 0 11 0 714332813 858886144 37901 4294967295 134512640 134569956 3221224368 3221214568 1131296922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209689 37901 13086 16 0 209673 0 vsize: 838756 [startup+950.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 90255 52 0 0 25 0 11 0 714332813 859934720 38104 4294967295 134512640 134569956 3221224368 3221214568 1131296675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38104 13086 16 0 209929 0 vsize: 839780 [startup+960.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 91232 52 0 0 25 0 11 0 714332813 859934720 38160 4294967295 134512640 134569956 3221224368 3221213928 1131595202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38160 13086 16 0 209929 0 vsize: 839780 [startup+970.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 92208 52 0 0 24 0 11 0 714332813 859934720 38200 4294967295 134512640 134569956 3221224368 3221214664 1131453062 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38200 13086 16 0 209929 0 vsize: 839780 [startup+980.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 93189 52 0 0 25 0 11 0 714332813 859934720 38220 4294967295 134512640 134569956 3221224368 3221214568 1131296904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38220 13086 16 0 209929 0 vsize: 839780 [startup+990.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 94170 52 0 0 25 0 11 0 714332813 859934720 38248 4294967295 134512640 134569956 3221224368 3221214312 1131619543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38248 13086 16 0 209929 0 vsize: 839780 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 95156 53 0 0 25 0 11 0 714332813 859934720 38278 4294967295 134512640 134569956 3221224368 3221214488 1131596817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 38278 13086 16 0 209929 0 vsize: 839780 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 96135 53 0 0 25 0 11 0 714332813 859934720 38364 4294967295 134512640 134569956 3221224368 3221214568 1131296914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38364 13086 16 0 209929 0 vsize: 839780 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 97122 53 0 0 25 0 11 0 714332813 859934720 38401 4294967295 134512640 134569956 3221224368 3221214664 1131453178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38401 13086 16 0 209929 0 vsize: 839780 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 98111 53 0 0 25 0 11 0 714332813 859934720 38401 4294967295 134512640 134569956 3221224368 3221214568 1131296741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38401 13086 16 0 209929 0 vsize: 839780 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 99096 53 0 0 25 0 11 0 714332813 859934720 38403 4294967295 134512640 134569956 3221224368 3221214520 1131241616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38403 13086 16 0 209929 0 vsize: 839780 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 100078 53 0 0 25 0 11 0 714332813 859934720 38436 4294967295 134512640 134569956 3221224368 3221214264 1131596684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38436 13086 16 0 209929 0 vsize: 839780 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 101059 53 0 0 25 0 11 0 714332813 859934720 38469 4294967295 134512640 134569956 3221224368 3221214664 1131453093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 38469 13086 16 0 209929 0 vsize: 839780 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 102040 53 0 0 25 0 11 0 714332813 859934720 38476 4294967295 134512640 134569956 3221224368 3221214520 1131241589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38476 13086 16 0 209929 0 vsize: 839780 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 103009 53 0 0 25 0 11 0 714332813 859934720 38509 4294967295 134512640 134569956 3221224368 3221214580 1130885126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38509 13086 16 0 209929 0 vsize: 839780 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 103979 54 0 0 25 0 11 0 714332813 859934720 38526 4294967295 134512640 134569956 3221224368 3221214608 1131445662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 38526 13086 16 0 209929 0 vsize: 839780 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 104935 54 0 0 25 0 11 0 714332813 859934720 38541 4294967295 134512640 134569956 3221224368 3221214304 1131619944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38541 13086 16 0 209929 0 vsize: 839780 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 105889 54 0 0 25 0 11 0 714332813 859934720 38601 4294967295 134512640 134569956 3221224368 3221213800 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38601 13086 16 0 209929 0 vsize: 839780 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 106857 54 0 0 25 0 11 0 714332813 859934720 38684 4294967295 134512640 134569956 3221224368 3221214664 1131454071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 38684 13086 16 0 209929 0 vsize: 839780 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 107798 54 0 0 25 0 11 0 714332813 859934720 38849 4294967295 134512640 134569956 3221224368 3221214528 1131479915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 38849 13086 16 0 209929 0 vsize: 839780 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 108756 54 0 0 25 0 11 0 714332813 859934720 39057 4294967295 134512640 134569956 3221224368 3221214520 1131241381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39057 13086 16 0 209929 0 vsize: 839780 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 109724 54 0 0 25 0 11 0 714332813 859934720 39271 4294967295 134512640 134569956 3221224368 3221214608 1131445416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209945 39271 13086 16 0 209929 0 vsize: 839780 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 110689 55 0 0 25 0 11 0 714332813 859934720 39358 4294967295 134512640 134569956 3221224368 3221214612 1131441971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39358 13086 16 0 209929 0 vsize: 839780 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 111657 55 0 0 25 0 11 0 714332813 859934720 39375 4294967295 134512640 134569956 3221224368 3221214528 1131480555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39375 13086 16 0 209929 0 vsize: 839780 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 112620 55 0 0 25 0 11 0 714332813 859934720 39383 4294967295 134512640 134569956 3221224368 3221214624 1131443661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39383 13086 16 0 209929 0 vsize: 839780 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 113569 55 0 0 25 0 11 0 714332813 859934720 39469 4294967295 134512640 134569956 3221224368 3221214504 1131241545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39469 13086 16 0 209929 0 vsize: 839780 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 114526 55 0 0 25 0 11 0 714332813 859934720 39626 4294967295 134512640 134569956 3221224368 3221214520 1131241589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39626 13086 16 0 209929 0 vsize: 839780 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 115481 56 0 0 25 0 11 0 714332813 859934720 39706 4294967295 134512640 134569956 3221224368 3221214568 1131297294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39706 13086 16 0 209929 0 vsize: 839780 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 116436 56 0 0 25 0 11 0 714332813 859934720 39827 4294967295 134512640 134569956 3221224368 3221214504 1131241616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39827 13086 16 0 209929 0 vsize: 839780 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 117381 56 0 0 24 0 11 0 714332813 859934720 39953 4294967295 134512640 134569956 3221224368 3221214504 1131241814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 39953 13086 16 0 209929 0 vsize: 839780 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 118335 56 0 0 25 0 11 0 714332813 859934720 40096 4294967295 134512640 134569956 3221224368 3221214392 1131514534 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 40096 13086 16 0 209929 0 vsize: 839780 [startup+1250.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 119289 56 0 0 25 0 11 0 714332813 859934720 40194 4294967295 134512640 134569956 3221224368 3221214232 1080216945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 40194 13086 16 0 209929 0 vsize: 839780 [startup+1260.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 11222 Raw data (stat): 11212 (java) R 11211 32363 32362 0 -1 0 18096 0 1 0 120245 56 0 0 25 0 11 0 714332813 859934720 40353 4294967295 134512640 134569956 3221224368 3221214528 1131479915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209945 40353 13086 16 0 209929 0 vsize: 839780 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 11224 Raw data (stat): 11212 (java) Z 11211 32363 32362 0 -1 1036 18096 30408 1 0 120246 56 6982 69 25 0 1 0 714332813 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): 1260.13 CPU time (s): 1273.56 CPU user time (s): 1272.3 CPU system time (s): 1.26381 CPU usage (%): 101.065 Max. virtual memory (Kb): 840804 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####