Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb |
MD5SUM | 556e36156521a89a958e30efd7492465 |
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 | 6740 |
Biggest coefficient in the objective function | 322437120000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 14584033415409150 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 322437120000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 14584033415409150 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.241962 |
Number of variables | 28160 |
Total number of constraints | 844 |
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 | 844 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-05-25 12:02:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21241 boxname=wulflinc27 idbench=1229 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 556e36156521a89a958e30efd7492465 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-maros.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-maros.opb IDLAUNCH: 21241 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 419748 kB Buffers: 34640 kB Cached: 558088 kB SwapCached: 640 kB Active: 91932 kB Inactive: 503196 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 419496 kB SwapTotal: 2097892 kB SwapFree: 2096760 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5648 kB Slab: 14180 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:23:33 (client local time) WITH STATUS 143 IN 1269.01 SECONDS stats: 21241 7 1269.01 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/wulflinc27/normalized-mps-v2-13-7-maros.opb c reading problem ... done. Time 232.84 ms. c #vars 28160 c #constraints 1148 c starts : 2 c conflicts : 151 c decisions : 1742 c propagations : 73675 c inspects : 205749 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 151 c root simplifications : 77 s UNKNOWN c Total CPU time (ms) : 1269.125 #### 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.93 0.99 0.99 2/54 17999 Raw data (stat): 17999 (runsolver) R 17998 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838718385 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0166 s] Raw data (loadavg): 1.08 1.02 1.00 3/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18003 0 1 0 870 41 0 0 24 0 10 0 838718385 857759744 20019 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209414 20019 13086 16 0 209398 0 vsize: 837656 [startup+20.0168 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18011 0 1 0 1772 41 0 0 25 0 10 0 838718385 854745088 20297 4294967295 134512640 134569956 3221224368 3221214648 1131181725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208678 20297 13086 16 0 208662 0 vsize: 834712 [startup+30.0171 s] Raw data (loadavg): 1.13 1.03 1.01 2/63 18008 Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18013 0 1 0 2644 41 0 0 25 0 10 0 838718385 857858048 21353 4294967295 134512640 134569956 3221224368 3221213700 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 21353 13086 16 0 209422 0 vsize: 837752 [startup+40.017 s] Raw data (loadavg): 1.11 1.03 1.01 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 3539 42 0 0 25 0 10 0 838718385 857858048 21784 4294967295 134512640 134569956 3221224368 3221214792 1131311559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 21784 13086 16 0 209422 0 vsize: 837752 [startup+50.0182 s] Raw data (loadavg): 1.09 1.03 1.01 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 4450 42 0 0 25 0 10 0 838718385 857858048 21930 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 21930 13086 16 0 209422 0 vsize: 837752 [startup+60.0186 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 5364 43 0 0 25 0 10 0 838718385 857858048 22086 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22086 13086 16 0 209422 0 vsize: 837752 [startup+70.0189 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 6286 43 0 0 25 0 10 0 838718385 857858048 22318 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22318 13086 16 0 209422 0 vsize: 837752 [startup+80.0197 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 7215 43 0 0 25 0 10 0 838718385 857858048 22453 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22453 13086 16 0 209422 0 vsize: 837752 [startup+90.0191 s] Raw data (loadavg): 1.05 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 8147 44 0 0 25 0 10 0 838718385 857858048 22556 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22556 13086 16 0 209422 0 vsize: 837752 [startup+100.02 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 9078 44 0 0 24 0 10 0 838718385 857858048 22692 4294967295 134512640 134569956 3221224368 3221214792 1131313175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22692 13086 16 0 209422 0 vsize: 837752 [startup+110.021 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 10016 44 0 0 25 0 10 0 838718385 857858048 22793 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22793 13086 16 0 209422 0 vsize: 837752 [startup+120.022 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 10950 45 0 0 24 0 10 0 838718385 857858048 22886 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22886 13086 16 0 209422 0 vsize: 837752 [startup+130.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 11888 45 0 0 25 0 10 0 838718385 857858048 22975 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 22975 13086 16 0 209422 0 vsize: 837752 [startup+140.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 12823 45 0 0 24 0 10 0 838718385 857858048 23062 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 23062 13086 16 0 209422 0 vsize: 837752 [startup+150.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 13763 45 0 0 25 0 10 0 838718385 857858048 23152 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 23152 13086 16 0 209422 0 vsize: 837752 [startup+160.025 s] Raw data (loadavg): 1.09 1.04 1.01 2/63 18008 Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18014 0 1 0 14675 47 0 0 25 0 10 0 838718385 857858048 23460 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 23460 13086 16 0 209422 0 vsize: 837752 [startup+170.025 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 15537 48 0 0 24 0 10 0 838718385 857858048 24943 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 24943 13086 16 0 209422 0 vsize: 837752 [startup+180.026 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 16408 48 0 0 25 0 10 0 838718385 857858048 25650 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 25650 13086 16 0 209422 0 vsize: 837752 [startup+190.026 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 17289 48 0 0 25 0 10 0 838718385 857858048 25887 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 25887 13086 16 0 209422 0 vsize: 837752 [startup+200.027 s] Raw data (loadavg): 1.05 1.03 1.00 2/63 18008 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 18162 48 0 0 24 0 10 0 838718385 857858048 26120 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 26120 13086 16 0 209422 0 vsize: 837752 [startup+210.027 s] Raw data (loadavg): 1.04 1.03 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 19031 48 0 0 25 0 10 0 838718385 857858048 26455 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 26455 13086 16 0 209422 0 vsize: 837752 [startup+220.028 s] Raw data (loadavg): 1.03 1.03 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 19910 49 0 0 25 0 10 0 838718385 857858048 27322 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 27322 13086 16 0 209422 0 vsize: 837752 [startup+230.029 s] Raw data (loadavg): 1.03 1.03 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 20773 49 0 0 25 0 10 0 838718385 857858048 27715 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209438 27715 13086 16 0 209422 0 vsize: 837752 [startup+240.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 21666 50 0 0 24 0 10 0 838718385 858906624 28026 4294967295 134512640 134569956 3221224368 3221214560 1131357086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209694 28026 13086 16 0 209678 0 vsize: 838776 [startup+250.031 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 22572 50 0 0 25 0 10 0 838718385 857858048 27905 4294967295 134512640 134569956 3221224368 3221214624 1131244965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 27905 13086 16 0 209422 0 vsize: 837752 [startup+260.032 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 18010 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 23473 50 0 0 24 0 10 0 838718385 857858048 28087 4294967295 134512640 134569956 3221224368 3221214696 1131403470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209438 28087 13086 16 0 209422 0 vsize: 837752 [startup+270.031 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18042 0 1 0 24406 50 0 0 25 0 11 0 838718385 858386432 28707 4294967295 134512640 134569956 3221224368 3221214576 1131357222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 28707 13086 16 0 209551 0 vsize: 838268 [startup+280.032 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18054 0 1 0 25359 51 0 0 25 0 11 0 838718385 858386432 28750 4294967295 134512640 134569956 3221224368 3221214624 1131357225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 28750 13086 16 0 209551 0 vsize: 838268 [startup+290.033 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 26332 51 0 0 25 0 11 0 838718385 858386432 28828 4294967295 134512640 134569956 3221224368 3221214776 1131438089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 28828 13086 16 0 209551 0 vsize: 838268 [startup+300.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 27308 51 0 0 25 0 11 0 838718385 858386432 28844 4294967295 134512640 134569956 3221224368 3221214576 1131358491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 28844 13086 16 0 209551 0 vsize: 838268 [startup+310.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 28275 52 0 0 25 0 11 0 838718385 858386432 28864 4294967295 134512640 134569956 3221224368 3221214664 1131408149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 28864 13086 16 0 209551 0 vsize: 838268 [startup+320.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18056 0 1 0 29240 52 0 0 25 0 11 0 838718385 858386432 28884 4294967295 134512640 134569956 3221224368 3221214488 1131397088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 28884 13086 16 0 209551 0 vsize: 838268 [startup+330.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18057 0 1 0 30213 53 0 0 25 0 11 0 838718385 858386432 29039 4294967295 134512640 134569956 3221224368 3221214504 1131459912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 29039 13086 16 0 209551 0 vsize: 838268 [startup+340.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 31196 53 0 0 25 0 11 0 838718385 858386432 29074 4294967295 134512640 134569956 3221224368 3221214600 1131379256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29074 13086 16 0 209551 0 vsize: 838268 [startup+350.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 32164 53 0 0 20 0 11 0 838718385 858386432 29096 4294967295 134512640 134569956 3221224368 3221214576 1131357403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29096 13086 16 0 209551 0 vsize: 838268 [startup+360.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 33120 54 0 0 24 0 11 0 838718385 858386432 29096 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29096 13086 16 0 209551 0 vsize: 838268 [startup+370.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 34061 54 0 0 25 0 11 0 838718385 858386432 29103 4294967295 134512640 134569956 3221224368 3221214640 1131559819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 29103 13086 16 0 209551 0 vsize: 838268 [startup+380.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 35001 55 0 0 25 0 11 0 838718385 858386432 29243 4294967295 134512640 134569956 3221224368 3221214576 1131357241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29243 13086 16 0 209551 0 vsize: 838268 [startup+390.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 35938 55 0 0 25 0 11 0 838718385 858386432 29420 4294967295 134512640 134569956 3221224368 3221214640 1131559746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29420 13086 16 0 209551 0 vsize: 838268 [startup+400.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 36877 55 0 0 25 0 11 0 838718385 858386432 29550 4294967295 134512640 134569956 3221224368 3221214664 1131408049 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29550 13086 16 0 209551 0 vsize: 838268 [startup+410.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 37821 55 0 0 25 0 11 0 838718385 858386432 29743 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29743 13086 16 0 209551 0 vsize: 838268 [startup+420.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 38770 55 0 0 25 0 11 0 838718385 858386432 29866 4294967295 134512640 134569956 3221224368 3221214640 1131559754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 29866 13086 16 0 209551 0 vsize: 838268 [startup+430.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 39722 56 0 0 25 0 11 0 838718385 858386432 30014 4294967295 134512640 134569956 3221224368 3221214600 1131379234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30014 13086 16 0 209551 0 vsize: 838268 [startup+440.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 40674 56 0 0 25 0 11 0 838718385 858386432 30139 4294967295 134512640 134569956 3221224368 3221214512 1131358020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30139 13086 16 0 209551 0 vsize: 838268 [startup+450.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 41630 56 0 0 25 0 11 0 838718385 858386432 30280 4294967295 134512640 134569956 3221224368 3221214512 1131357279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30280 13086 16 0 209551 0 vsize: 838268 [startup+460.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 42583 56 0 0 25 0 11 0 838718385 858386432 30360 4294967295 134512640 134569956 3221224368 3221214512 1131358524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30360 13086 16 0 209551 0 vsize: 838268 [startup+470.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 43532 57 0 0 25 0 11 0 838718385 858386432 30441 4294967295 134512640 134569956 3221224368 3221214664 1131402147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 30441 13086 16 0 209551 0 vsize: 838268 [startup+480.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 44479 57 0 0 25 0 11 0 838718385 858386432 30558 4294967295 134512640 134569956 3221224368 3221214640 1131559696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30558 13086 16 0 209551 0 vsize: 838268 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 45425 57 0 0 25 0 11 0 838718385 858386432 30659 4294967295 134512640 134569956 3221224368 3221214512 1131357237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30659 13086 16 0 209551 0 vsize: 838268 [startup+500.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 46371 58 0 0 24 0 11 0 838718385 858386432 30895 4294967295 134512640 134569956 3221224368 3221214512 1131357172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 30895 13086 16 0 209551 0 vsize: 838268 [startup+510.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 47327 58 0 0 25 0 11 0 838718385 858386432 31001 4294967295 134512640 134569956 3221224368 3221214512 1131358410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 31001 13086 16 0 209551 0 vsize: 838268 [startup+520.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 48282 59 0 0 25 0 11 0 838718385 858386432 31095 4294967295 134512640 134569956 3221224368 3221214664 1131401187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 31095 13086 16 0 209551 0 vsize: 838268 [startup+530.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 49239 59 0 0 25 0 11 0 838718385 858386432 31190 4294967295 134512640 134569956 3221224368 3221214576 1131357128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 31190 13086 16 0 209551 0 vsize: 838268 [startup+540.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 50199 59 0 0 25 0 11 0 838718385 858386432 31285 4294967295 134512640 134569956 3221224368 3221214664 1131402316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209567 31285 13086 16 0 209551 0 vsize: 838268 [startup+550.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 51156 59 0 0 25 0 11 0 838718385 858386432 31390 4294967295 134512640 134569956 3221224368 3221214664 1131408803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31390 13086 16 0 209551 0 vsize: 838268 [startup+560.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 52116 59 0 0 24 0 11 0 838718385 858386432 31475 4294967295 134512640 134569956 3221224368 3221214512 1131357166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31475 13086 16 0 209551 0 vsize: 838268 [startup+570.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 53081 59 0 0 25 0 11 0 838718385 858386432 31557 4294967295 134512640 134569956 3221224368 3221214664 1131407835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31557 13086 16 0 209551 0 vsize: 838268 [startup+580.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 54045 60 0 0 25 0 11 0 838718385 858386432 31637 4294967295 134512640 134569956 3221224368 3221214512 1131357482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31637 13086 16 0 209551 0 vsize: 838268 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 55007 60 0 0 25 0 11 0 838718385 858386432 31717 4294967295 134512640 134569956 3221224368 3221214512 1131357237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31717 13086 16 0 209551 0 vsize: 838268 [startup+600.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 55972 60 0 0 25 0 11 0 838718385 858386432 31797 4294967295 134512640 134569956 3221224368 3221214576 1131357295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31797 13086 16 0 209551 0 vsize: 838268 [startup+610.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 56935 60 0 0 25 0 11 0 838718385 858386432 31877 4294967295 134512640 134569956 3221224368 3221214640 1131559754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31877 13086 16 0 209551 0 vsize: 838268 [startup+620.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 57901 60 0 0 25 0 11 0 838718385 858386432 31902 4294967295 134512640 134569956 3221224368 3221214664 1131408306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31902 13086 16 0 209551 0 vsize: 838268 [startup+630.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 58864 60 0 0 25 0 11 0 838718385 858386432 31982 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 31982 13086 16 0 209551 0 vsize: 838268 [startup+640.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 59828 60 0 0 24 0 11 0 838718385 858386432 32063 4294967295 134512640 134569956 3221224368 3221214664 1131403439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32063 13086 16 0 209551 0 vsize: 838268 [startup+650.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 60795 60 0 0 25 0 11 0 838718385 858386432 32118 4294967295 134512640 134569956 3221224368 3221214664 1131408902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32118 13086 16 0 209551 0 vsize: 838268 [startup+660.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 61763 60 0 0 25 0 11 0 838718385 858386432 32198 4294967295 134512640 134569956 3221224368 3221214576 1131357463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32198 13086 16 0 209551 0 vsize: 838268 [startup+670.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 62728 60 0 0 25 0 11 0 838718385 858386432 32279 4294967295 134512640 134569956 3221224368 3221214664 1131405323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32279 13086 16 0 209551 0 vsize: 838268 [startup+680.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 63693 60 0 0 25 0 11 0 838718385 858386432 32359 4294967295 134512640 134569956 3221224368 3221214576 1131357181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32359 13086 16 0 209551 0 vsize: 838268 [startup+690.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 64662 60 0 0 25 0 11 0 838718385 858386432 32384 4294967295 134512640 134569956 3221224368 3221214576 1131357469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32384 13086 16 0 209551 0 vsize: 838268 [startup+700.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 65627 60 0 0 25 0 11 0 838718385 858386432 32464 4294967295 134512640 134569956 3221224368 3221214512 1131357356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32464 13086 16 0 209551 0 vsize: 838268 [startup+710.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 66592 60 0 0 25 0 11 0 838718385 858386432 32519 4294967295 134512640 134569956 3221224368 3221214512 1131357179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32519 13086 16 0 209551 0 vsize: 838268 [startup+720.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 67556 60 0 0 25 0 11 0 838718385 858386432 32602 4294967295 134512640 134569956 3221224368 3221214640 1131559748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32602 13086 16 0 209551 0 vsize: 838268 [startup+730.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 68511 60 0 0 25 0 11 0 838718385 858386432 32627 4294967295 134512640 134569956 3221224368 3221214600 1131379240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32627 13086 16 0 209551 0 vsize: 838268 [startup+740.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 69469 60 0 0 25 0 11 0 838718385 858386432 32729 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32729 13086 16 0 209551 0 vsize: 838268 [startup+750.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 70415 60 0 0 25 0 11 0 838718385 858386432 32818 4294967295 134512640 134569956 3221224368 3221214512 1131358484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32818 13086 16 0 209551 0 vsize: 838268 [startup+760.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 71364 61 0 0 25 0 11 0 838718385 858386432 32994 4294967295 134512640 134569956 3221224368 3221214576 1131357181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 32994 13086 16 0 209551 0 vsize: 838268 [startup+770.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 72319 61 0 0 25 0 11 0 838718385 858386432 33021 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33021 13086 16 0 209551 0 vsize: 838268 [startup+780.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 73273 61 0 0 25 0 11 0 838718385 858386432 33175 4294967295 134512640 134569956 3221224368 3221214664 1131403844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33175 13086 16 0 209551 0 vsize: 838268 [startup+790.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 74229 61 0 0 25 0 11 0 838718385 858386432 33305 4294967295 134512640 134569956 3221224368 3221214664 1131401284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33305 13086 16 0 209551 0 vsize: 838268 [startup+800.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 75189 61 0 0 25 0 11 0 838718385 858386432 33343 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33343 13086 16 0 209551 0 vsize: 838268 [startup+810.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 76146 61 0 0 25 0 11 0 838718385 858386432 33462 4294967295 134512640 134569956 3221224368 3221214576 1131357935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33462 13086 16 0 209551 0 vsize: 838268 [startup+820.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 77102 61 0 0 24 0 11 0 838718385 858386432 33519 4294967295 134512640 134569956 3221224368 3221214664 1131405331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33519 13086 16 0 209551 0 vsize: 838268 [startup+830.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 78062 61 0 0 25 0 11 0 838718385 858386432 33629 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33629 13086 16 0 209551 0 vsize: 838268 [startup+840.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 79023 61 0 0 25 0 11 0 838718385 858386432 33695 4294967295 134512640 134569956 3221224368 3221214576 1131357995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33695 13086 16 0 209551 0 vsize: 838268 [startup+850.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 79989 61 0 0 25 0 11 0 838718385 858386432 33756 4294967295 134512640 134569956 3221224368 3221214512 1131357356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33756 13086 16 0 209551 0 vsize: 838268 [startup+860.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 80951 61 0 0 25 0 11 0 838718385 858386432 33845 4294967295 134512640 134569956 3221224368 3221214576 1131357365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33845 13086 16 0 209551 0 vsize: 838268 [startup+870.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 81915 61 0 0 24 0 11 0 838718385 858386432 33870 4294967295 134512640 134569956 3221224368 3221214512 1131358214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33870 13086 16 0 209551 0 vsize: 838268 [startup+880.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 82882 61 0 0 25 0 11 0 838718385 858386432 33926 4294967295 134512640 134569956 3221224368 3221214664 1131408306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33926 13086 16 0 209551 0 vsize: 838268 [startup+890.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 83845 61 0 0 25 0 11 0 838718385 858386432 33951 4294967295 134512640 134569956 3221224368 3221214512 1131244917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 33951 13086 16 0 209551 0 vsize: 838268 [startup+900.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 84809 61 0 0 25 0 11 0 838718385 858386432 34006 4294967295 134512640 134569956 3221224368 3221214640 1131559696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34006 13086 16 0 209551 0 vsize: 838268 [startup+910.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 85775 61 0 0 25 0 11 0 838718385 858386432 34086 4294967295 134512640 134569956 3221224368 3221214664 1131404932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34086 13086 16 0 209551 0 vsize: 838268 [startup+920.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 86739 62 0 0 25 0 11 0 838718385 858386432 34112 4294967295 134512640 134569956 3221224368 3221214600 1131379046 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34112 13086 16 0 209551 0 vsize: 838268 [startup+930.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 87703 62 0 0 25 0 11 0 838718385 858386432 34167 4294967295 134512640 134569956 3221224368 3221214600 1131379001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34167 13086 16 0 209551 0 vsize: 838268 [startup+940.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 88671 62 0 0 25 0 11 0 838718385 858386432 34248 4294967295 134512640 134569956 3221224368 3221214664 1131408105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34248 13086 16 0 209551 0 vsize: 838268 [startup+950.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 89635 62 0 0 25 0 11 0 838718385 858386432 34273 4294967295 134512640 134569956 3221224368 3221214576 1131358030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34273 13086 16 0 209551 0 vsize: 838268 [startup+960.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 90600 62 0 0 24 0 11 0 838718385 858386432 34328 4294967295 134512640 134569956 3221224368 3221214576 1131357237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34328 13086 16 0 209551 0 vsize: 838268 [startup+970.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 91568 62 0 0 25 0 11 0 838718385 858386432 34353 4294967295 134512640 134569956 3221224368 3221214576 1131357162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34353 13086 16 0 209551 0 vsize: 838268 [startup+980.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 92533 62 0 0 25 0 11 0 838718385 858386432 34408 4294967295 134512640 134569956 3221224368 3221214664 1131404932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34408 13086 16 0 209551 0 vsize: 838268 [startup+990.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 93498 62 0 0 25 0 11 0 838718385 858386432 34489 4294967295 134512640 134569956 3221224368 3221214640 1131559724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34489 13086 16 0 209551 0 vsize: 838268 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 94462 62 0 0 25 0 11 0 838718385 858386432 34514 4294967295 134512640 134569956 3221224368 3221214664 1131406292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34514 13086 16 0 209551 0 vsize: 838268 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 95431 62 0 0 25 0 11 0 838718385 858386432 34569 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34569 13086 16 0 209551 0 vsize: 838268 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 96396 62 0 0 25 0 11 0 838718385 858386432 34594 4294967295 134512640 134569956 3221224368 3221214512 1131358410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34594 13086 16 0 209551 0 vsize: 838268 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 97361 63 0 0 24 0 11 0 838718385 858386432 34650 4294967295 134512640 134569956 3221224368 3221214664 1131404908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34650 13086 16 0 209551 0 vsize: 838268 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 98328 63 0 0 25 0 11 0 838718385 858386432 34729 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34729 13086 16 0 209551 0 vsize: 838268 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 99294 63 0 0 25 0 11 0 838718385 858386432 34729 4294967295 134512640 134569956 3221224368 3221214664 1131401023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34729 13086 16 0 209551 0 vsize: 838268 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 100260 63 0 0 25 0 11 0 838718385 858386432 34811 4294967295 134512640 134569956 3221224368 3221214576 1131357141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34811 13086 16 0 209551 0 vsize: 838268 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 101225 63 0 0 25 0 11 0 838718385 858386432 34836 4294967295 134512640 134569956 3221224368 3221214576 1131357225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34836 13086 16 0 209551 0 vsize: 838268 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 102196 64 0 0 25 0 11 0 838718385 858386432 34891 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34891 13086 16 0 209551 0 vsize: 838268 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 103161 64 0 0 25 0 11 0 838718385 858386432 34915 4294967295 134512640 134569956 3221224368 3221214576 1131358020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34915 13086 16 0 209551 0 vsize: 838268 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 104128 64 0 0 25 0 11 0 838718385 858386432 34970 4294967295 134512640 134569956 3221224368 3221214576 1131357912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34970 13086 16 0 209551 0 vsize: 838268 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 105093 64 0 0 25 0 11 0 838718385 858386432 34995 4294967295 134512640 134569956 3221224368 3221214640 1131559752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 34995 13086 16 0 209551 0 vsize: 838268 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 106063 64 0 0 25 0 11 0 838718385 858386432 35050 4294967295 134512640 134569956 3221224368 3221214600 1131379322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35050 13086 16 0 209551 0 vsize: 838268 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 107028 64 0 0 25 0 11 0 838718385 858386432 35076 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35076 13086 16 0 209551 0 vsize: 838268 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 107994 64 0 0 25 0 11 0 838718385 858386432 35131 4294967295 134512640 134569956 3221224368 3221214664 1131403404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35131 13086 16 0 209551 0 vsize: 838268 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 108960 64 0 0 24 0 11 0 838718385 858386432 35213 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35213 13086 16 0 209551 0 vsize: 838268 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 109930 64 0 0 25 0 11 0 838718385 858386432 35213 4294967295 134512640 134569956 3221224368 3221214512 1131357244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35213 13086 16 0 209551 0 vsize: 838268 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 110897 64 0 0 25 0 11 0 838718385 858386432 35293 4294967295 134512640 134569956 3221224368 3221214576 1131357225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35293 13086 16 0 209551 0 vsize: 838268 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 111863 65 0 0 25 0 11 0 838718385 858386432 35293 4294967295 134512640 134569956 3221224368 3221214664 1131405368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35293 13086 16 0 209551 0 vsize: 838268 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 112830 65 0 0 25 0 11 0 838718385 858386432 35374 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35374 13086 16 0 209551 0 vsize: 838268 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 113800 65 0 0 25 0 11 0 838718385 858386432 35374 4294967295 134512640 134569956 3221224368 3221214576 1131358524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35374 13086 16 0 209551 0 vsize: 838268 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 114767 65 0 0 25 0 11 0 838718385 858386432 35454 4294967295 134512640 134569956 3221224368 3221214512 1131358514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35454 13086 16 0 209551 0 vsize: 838268 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 115734 65 0 0 25 0 11 0 838718385 858386432 35479 4294967295 134512640 134569956 3221224368 3221214664 1131404850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35479 13086 16 0 209551 0 vsize: 838268 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 116702 65 0 0 25 0 11 0 838718385 858386432 35534 4294967295 134512640 134569956 3221224368 3221214664 1131403446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35534 13086 16 0 209551 0 vsize: 838268 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18058 0 1 0 117670 65 0 0 25 0 11 0 838718385 858386432 35559 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35559 13086 16 0 209551 0 vsize: 838268 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 118639 65 0 0 25 0 11 0 838718385 858386432 35613 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35613 13086 16 0 209551 0 vsize: 838268 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 119606 65 0 0 25 0 11 0 838718385 858386432 35639 4294967295 134512640 134569956 3221224368 3221214512 1131357344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35639 13086 16 0 209551 0 vsize: 838268 [startup+1270.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18011 Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 120573 65 0 0 25 0 11 0 838718385 858386432 35695 4294967295 134512640 134569956 3221224368 3221214664 1131401248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209567 35695 13086 16 0 209551 0 vsize: 838268 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.2 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 18013 Raw data (stat): 17999 (java) Z 17998 3394 3393 0 -1 1036 18058 16266 1 0 120577 65 6204 53 25 0 1 0 838718385 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): 1270.2 CPU time (s): 1269.01 CPU user time (s): 1267.82 CPU system time (s): 1.18982 CPU usage (%): 99.9061 Max. virtual memory (Kb): 838776 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####