Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb |
MD5SUM | 7b42190d864979953c47e5a92736f365 |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 43188899594881916928 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 133861748414790074368 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 4.12137 |
Number of variables | 146276 |
Total number of constraints | 1755 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 1710 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5071 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 08:43:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20934 boxname=wulflinc25 idbench=922 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 7b42190d864979953c47e5a92736f365 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc04.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc04.opb IDLAUNCH: 20934 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 427304 kB Buffers: 28660 kB Cached: 554260 kB SwapCached: 588 kB Active: 89672 kB Inactive: 495544 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 427052 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16500 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 09:05:12 (client local time) WITH STATUS 143 IN 1314.04 SECONDS stats: 20934 7 1314.04 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/wulflinc25/normalized-mps-v2-20-10-misc04.opb c reading problem ... c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 s UNKNOWN c Total CPU time (ms) : 1309.119 #### 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.98 0.99 2/54 12114 Raw data (stat): 12114 (runsolver) R 12113 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837544163 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.0084 s] Raw data (loadavg): 0.94 0.98 0.99 3/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 836 42 0 0 25 0 10 0 837544163 855732224 19748 4294967295 134512640 134569956 3221224368 3221213840 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208919 19748 13086 16 0 208903 0 vsize: 835676 [startup+20.0086 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 1737 42 0 0 25 0 10 0 837544163 855265280 20148 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 20148 13086 16 0 208789 0 vsize: 835220 [startup+30.0087 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 2635 42 0 0 25 0 10 0 837544163 855265280 20634 4294967295 134512640 134569956 3221224368 3221214468 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 20634 13086 16 0 208789 0 vsize: 835220 [startup+40.0094 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 3556 43 0 0 25 0 10 0 837544163 855265280 20880 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 20880 13086 16 0 208789 0 vsize: 835220 [startup+50.0104 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 4480 43 0 0 25 0 10 0 837544163 855265280 21043 4294967295 134512640 134569956 3221224368 3221214472 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 21043 13086 16 0 208789 0 vsize: 835220 [startup+60.0106 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 5411 43 0 0 25 0 10 0 837544163 855265280 21163 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21163 13086 16 0 208789 0 vsize: 835220 [startup+70.0113 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 6342 44 0 0 25 0 10 0 837544163 855265280 21385 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21385 13086 16 0 208789 0 vsize: 835220 [startup+80.0114 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 7283 44 0 0 25 0 10 0 837544163 855265280 21490 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21490 13086 16 0 208789 0 vsize: 835220 [startup+90.0142 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 8223 45 0 0 25 0 10 0 837544163 855265280 21617 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21617 13086 16 0 208789 0 vsize: 835220 [startup+100.015 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 9166 45 0 0 25 0 10 0 837544163 855265280 21698 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21698 13086 16 0 208789 0 vsize: 835220 [startup+110.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 10109 45 0 0 25 0 10 0 837544163 855265280 21782 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 21782 13086 16 0 208789 0 vsize: 835220 [startup+120.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 11050 46 0 0 25 0 10 0 837544163 855265280 21856 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21856 13086 16 0 208789 0 vsize: 835220 [startup+130.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 11996 46 0 0 25 0 10 0 837544163 855265280 21924 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21924 13086 16 0 208789 0 vsize: 835220 [startup+140.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 12938 46 0 0 25 0 10 0 837544163 855265280 21992 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 21992 13086 16 0 208789 0 vsize: 835220 [startup+150.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 13880 46 0 0 24 0 10 0 837544163 855265280 22056 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22056 13086 16 0 208789 0 vsize: 835220 [startup+160.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 14826 47 0 0 25 0 10 0 837544163 855265280 22124 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22124 13086 16 0 208789 0 vsize: 835220 [startup+170.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 15768 47 0 0 25 0 10 0 837544163 855265280 22183 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22183 13086 16 0 208789 0 vsize: 835220 [startup+180.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 16700 47 0 0 25 0 10 0 837544163 855265280 22237 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22237 13086 16 0 208789 0 vsize: 835220 [startup+190.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 17628 48 0 0 25 0 10 0 837544163 855265280 22289 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22289 13086 16 0 208789 0 vsize: 835220 [startup+200.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 18563 48 0 0 25 0 10 0 837544163 855265280 22504 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22504 13086 16 0 208789 0 vsize: 835220 [startup+210.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 19505 49 0 0 25 0 10 0 837544163 855265280 22554 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22554 13086 16 0 208789 0 vsize: 835220 [startup+220.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 20443 49 0 0 25 0 10 0 837544163 855265280 22606 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22606 13086 16 0 208789 0 vsize: 835220 [startup+230.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 21385 49 0 0 25 0 10 0 837544163 855265280 22654 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22654 13086 16 0 208789 0 vsize: 835220 [startup+240.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 22322 50 0 0 25 0 10 0 837544163 855265280 22703 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22703 13086 16 0 208789 0 vsize: 835220 [startup+250.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 23263 50 0 0 25 0 10 0 837544163 855265280 22748 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22748 13086 16 0 208789 0 vsize: 835220 [startup+260.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 24201 51 0 0 25 0 10 0 837544163 855265280 22796 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22796 13086 16 0 208789 0 vsize: 835220 [startup+270.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 25141 51 0 0 25 0 10 0 837544163 855265280 22840 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22840 13086 16 0 208789 0 vsize: 835220 [startup+280.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 26077 52 0 0 24 0 10 0 837544163 855265280 22887 4294967295 134512640 134569956 3221224368 3221214120 1079276790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22887 13086 16 0 208789 0 vsize: 835220 [startup+290.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 27016 52 0 0 25 0 10 0 837544163 855265280 22930 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22930 13086 16 0 208789 0 vsize: 835220 [startup+300.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 27955 52 0 0 24 0 10 0 837544163 855265280 22966 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 22966 13086 16 0 208789 0 vsize: 835220 [startup+310.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 28890 53 0 0 25 0 10 0 837544163 855265280 23010 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23010 13086 16 0 208789 0 vsize: 835220 [startup+320.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 29827 53 0 0 25 0 10 0 837544163 855265280 23052 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23052 13086 16 0 208789 0 vsize: 835220 [startup+330.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 30761 54 0 0 24 0 10 0 837544163 855265280 23095 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23095 13086 16 0 208789 0 vsize: 835220 [startup+340.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 31697 54 0 0 25 0 10 0 837544163 855265280 23128 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23128 13086 16 0 208789 0 vsize: 835220 [startup+350.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 32634 55 0 0 25 0 10 0 837544163 855265280 23167 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23167 13086 16 0 208789 0 vsize: 835220 [startup+360.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 33566 55 0 0 25 0 10 0 837544163 855265280 23209 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23209 13086 16 0 208789 0 vsize: 835220 [startup+370.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 34502 55 0 0 25 0 10 0 837544163 855265280 23248 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23248 13086 16 0 208789 0 vsize: 835220 [startup+380.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 35437 56 0 0 25 0 10 0 837544163 855265280 23278 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23278 13086 16 0 208789 0 vsize: 835220 [startup+390.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 36368 56 0 0 25 0 10 0 837544163 855265280 23318 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23318 13086 16 0 208789 0 vsize: 835220 [startup+400.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 37302 57 0 0 25 0 10 0 837544163 855265280 23355 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23355 13086 16 0 208789 0 vsize: 835220 [startup+410.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 38236 57 0 0 25 0 10 0 837544163 855265280 23385 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23385 13086 16 0 208789 0 vsize: 835220 [startup+420.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 39166 57 0 0 25 0 10 0 837544163 855265280 23423 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23423 13086 16 0 208789 0 vsize: 835220 [startup+430.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 40099 58 0 0 25 0 10 0 837544163 855265280 23460 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23460 13086 16 0 208789 0 vsize: 835220 [startup+440.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 41032 58 0 0 25 0 10 0 837544163 855265280 23488 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23488 13086 16 0 208789 0 vsize: 835220 [startup+450.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 41961 58 0 0 24 0 10 0 837544163 855265280 23525 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23525 13086 16 0 208789 0 vsize: 835220 [startup+460.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 42893 59 0 0 25 0 10 0 837544163 855265280 23560 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23560 13086 16 0 208789 0 vsize: 835220 [startup+470.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 43825 59 0 0 25 0 10 0 837544163 855265280 23587 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23587 13086 16 0 208789 0 vsize: 835220 [startup+480.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 44757 59 0 0 25 0 10 0 837544163 855265280 23621 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23621 13086 16 0 208789 0 vsize: 835220 [startup+490.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 45683 60 0 0 24 0 10 0 837544163 855265280 23657 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23657 13086 16 0 208789 0 vsize: 835220 [startup+500.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 46614 60 0 0 25 0 10 0 837544163 855265280 23683 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23683 13086 16 0 208789 0 vsize: 835220 [startup+510.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 47543 61 0 0 25 0 10 0 837544163 855265280 23718 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23718 13086 16 0 208789 0 vsize: 835220 [startup+520.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 48473 61 0 0 25 0 10 0 837544163 855265280 23743 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23743 13086 16 0 208789 0 vsize: 835220 [startup+530.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 49397 62 0 0 25 0 10 0 837544163 855265280 23779 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23779 13086 16 0 208789 0 vsize: 835220 [startup+540.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 50327 62 0 0 25 0 10 0 837544163 855265280 23805 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23805 13086 16 0 208789 0 vsize: 835220 [startup+550.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 51255 62 0 0 25 0 10 0 837544163 855265280 23840 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23840 13086 16 0 208789 0 vsize: 835220 [startup+560.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 52182 62 0 0 25 0 10 0 837544163 855265280 23864 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23864 13086 16 0 208789 0 vsize: 835220 [startup+570.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 53110 63 0 0 25 0 10 0 837544163 855265280 23899 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23899 13086 16 0 208789 0 vsize: 835220 [startup+580.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 54033 63 0 0 24 0 10 0 837544163 855265280 23925 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23925 13086 16 0 208789 0 vsize: 835220 [startup+590.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 54960 64 0 0 25 0 10 0 837544163 855265280 23959 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23959 13086 16 0 208789 0 vsize: 835220 [startup+600.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 55887 64 0 0 25 0 10 0 837544163 855265280 23984 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 23984 13086 16 0 208789 0 vsize: 835220 [startup+610.051 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 56813 65 0 0 25 0 10 0 837544163 855265280 24018 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24018 13086 16 0 208789 0 vsize: 835220 [startup+620.051 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 57739 65 0 0 25 0 10 0 837544163 855265280 24041 4294967295 134512640 134569956 3221224368 3221214668 1130894842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24041 13086 16 0 208789 0 vsize: 835220 [startup+630.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 58660 65 0 0 24 0 10 0 837544163 855265280 24076 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24076 13086 16 0 208789 0 vsize: 835220 [startup+640.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 59585 66 0 0 24 0 10 0 837544163 855265280 24099 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24099 13086 16 0 208789 0 vsize: 835220 [startup+650.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 60510 66 0 0 25 0 10 0 837544163 855265280 24133 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24133 13086 16 0 208789 0 vsize: 835220 [startup+660.053 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 61435 67 0 0 25 0 10 0 837544163 855265280 24156 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24156 13086 16 0 208789 0 vsize: 835220 [startup+670.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 62352 67 0 0 25 0 10 0 837544163 855265280 24557 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24557 13086 16 0 208789 0 vsize: 835220 [startup+680.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 63264 67 0 0 25 0 10 0 837544163 855265280 24828 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24828 13086 16 0 208789 0 vsize: 835220 [startup+690.053 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 64169 67 0 0 25 0 10 0 837544163 855265280 24927 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24927 13086 16 0 208789 0 vsize: 835220 [startup+700.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 65088 68 0 0 25 0 10 0 837544163 855265280 24960 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24960 13086 16 0 208789 0 vsize: 835220 [startup+710.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 66003 68 0 0 25 0 10 0 837544163 855265280 24982 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 24982 13086 16 0 208789 0 vsize: 835220 [startup+720.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 66917 68 0 0 25 0 10 0 837544163 855265280 25016 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25016 13086 16 0 208789 0 vsize: 835220 [startup+730.055 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 67831 69 0 0 25 0 10 0 837544163 855265280 25037 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25037 13086 16 0 208789 0 vsize: 835220 [startup+740.055 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 68743 69 0 0 25 0 10 0 837544163 855265280 25071 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25071 13086 16 0 208789 0 vsize: 835220 [startup+750.056 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 69655 70 0 0 25 0 10 0 837544163 855265280 25092 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25092 13086 16 0 208789 0 vsize: 835220 [startup+760.056 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 70566 70 0 0 25 0 10 0 837544163 855265280 25123 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25123 13086 16 0 208789 0 vsize: 835220 [startup+770.056 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 71478 71 0 0 25 0 10 0 837544163 855265280 25146 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25146 13086 16 0 208789 0 vsize: 835220 [startup+780.057 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 72390 71 0 0 25 0 10 0 837544163 855265280 25167 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25167 13086 16 0 208789 0 vsize: 835220 [startup+790.057 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 73298 71 0 0 24 0 10 0 837544163 855265280 25200 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25200 13086 16 0 208789 0 vsize: 835220 [startup+800.057 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 74210 71 0 0 24 0 10 0 837544163 855265280 25220 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25220 13086 16 0 208789 0 vsize: 835220 [startup+810.058 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 75124 72 0 0 25 0 10 0 837544163 855265280 25251 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25251 13086 16 0 208789 0 vsize: 835220 [startup+820.058 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 76037 72 0 0 23 0 10 0 837544163 855265280 25272 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25272 13086 16 0 208789 0 vsize: 835220 [startup+830.059 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 76946 73 0 0 25 0 10 0 837544163 855265280 25292 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25292 13086 16 0 208789 0 vsize: 835220 [startup+840.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 77856 73 0 0 25 0 10 0 837544163 855265280 25326 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25326 13086 16 0 208789 0 vsize: 835220 [startup+850.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 78766 74 0 0 25 0 10 0 837544163 855265280 25350 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25350 13086 16 0 208789 0 vsize: 835220 [startup+860.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 79676 74 0 0 25 0 10 0 837544163 855265280 25354 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25354 13086 16 0 208789 0 vsize: 835220 [startup+870.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 80586 74 0 0 25 0 10 0 837544163 855265280 25378 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25378 13086 16 0 208789 0 vsize: 835220 [startup+880.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 81495 75 0 0 24 0 10 0 837544163 855265280 25401 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25401 13086 16 0 208789 0 vsize: 835220 [startup+890.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 82408 75 0 0 25 0 10 0 837544163 855265280 25423 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25423 13086 16 0 208789 0 vsize: 835220 [startup+900.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 83318 75 0 0 25 0 10 0 837544163 855265280 25450 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25450 13086 16 0 208789 0 vsize: 835220 [startup+910.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 84225 75 0 0 25 0 10 0 837544163 855265280 25473 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25473 13086 16 0 208789 0 vsize: 835220 [startup+920.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 85133 76 0 0 25 0 10 0 837544163 855265280 25495 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25495 13086 16 0 208789 0 vsize: 835220 [startup+930.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 86040 76 0 0 25 0 10 0 837544163 855265280 25518 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25518 13086 16 0 208789 0 vsize: 835220 [startup+940.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 86946 77 0 0 25 0 10 0 837544163 855265280 25540 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25540 13086 16 0 208789 0 vsize: 835220 [startup+950.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 87858 77 0 0 25 0 10 0 837544163 855265280 25564 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25564 13086 16 0 208789 0 vsize: 835220 [startup+960.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 88765 77 0 0 25 0 10 0 837544163 855265280 25594 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25594 13086 16 0 208789 0 vsize: 835220 [startup+970.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 89671 78 0 0 25 0 10 0 837544163 855265280 25619 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25619 13086 16 0 208789 0 vsize: 835220 [startup+980.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 90576 78 0 0 24 0 10 0 837544163 855265280 25643 4294967295 134512640 134569956 3221224368 3221214748 1080204144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25643 13086 16 0 208789 0 vsize: 835220 [startup+990.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 91487 79 0 0 25 0 10 0 837544163 855265280 25665 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25665 13086 16 0 208789 0 vsize: 835220 [startup+1000.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 12123 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 92391 79 0 0 25 0 10 0 837544163 855265280 25689 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25689 13086 16 0 208789 0 vsize: 835220 [startup+1010.07 s] Raw data (loadavg): 1.07 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 93292 82 0 0 25 0 10 0 837544163 855265280 25712 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25712 13086 16 0 208789 0 vsize: 835220 [startup+1020.07 s] Raw data (loadavg): 1.06 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 94201 82 0 0 25 0 10 0 837544163 855265280 25735 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25735 13086 16 0 208789 0 vsize: 835220 [startup+1030.07 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 95103 83 0 0 25 0 10 0 837544163 855265280 25759 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25759 13086 16 0 208789 0 vsize: 835220 [startup+1040.07 s] Raw data (loadavg): 1.04 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 96006 83 0 0 25 0 10 0 837544163 855265280 25783 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 25783 13086 16 0 208789 0 vsize: 835220 [startup+1050.07 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 96911 84 0 0 25 0 10 0 837544163 855265280 25806 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25806 13086 16 0 208789 0 vsize: 835220 [startup+1060.07 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 12176 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 97818 84 0 0 25 0 10 0 837544163 855265280 25829 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25829 13086 16 0 208789 0 vsize: 835220 [startup+1070.07 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 98720 84 0 0 25 0 10 0 837544163 855265280 25860 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 25860 13086 16 0 208789 0 vsize: 835220 [startup+1080.07 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 99620 84 0 0 24 0 10 0 837544163 855265280 25883 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25883 13086 16 0 208789 0 vsize: 835220 [startup+1090.07 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 100528 85 0 0 25 0 10 0 837544163 855265280 25904 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25904 13086 16 0 208789 0 vsize: 835220 [startup+1100.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 101431 85 0 0 25 0 10 0 837544163 855265280 25921 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25921 13086 16 0 208789 0 vsize: 835220 [startup+1110.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 102333 85 0 0 24 0 10 0 837544163 855265280 25943 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25943 13086 16 0 208789 0 vsize: 835220 [startup+1120.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 103241 85 0 0 25 0 10 0 837544163 855265280 25964 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25964 13086 16 0 208789 0 vsize: 835220 [startup+1130.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 104142 86 0 0 25 0 10 0 837544163 855265280 25985 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 25985 13086 16 0 208789 0 vsize: 835220 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 105044 86 0 0 24 0 10 0 837544163 855265280 26007 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26007 13086 16 0 208789 0 vsize: 835220 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 105951 87 0 0 25 0 10 0 837544163 855265280 26027 4294967295 134512640 134569956 3221224368 3221214664 1130917299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26027 13086 16 0 208789 0 vsize: 835220 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 106852 87 0 0 25 0 10 0 837544163 855265280 26049 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26049 13086 16 0 208789 0 vsize: 835220 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 107753 87 0 0 25 0 10 0 837544163 855265280 26070 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26070 13086 16 0 208789 0 vsize: 835220 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 108659 88 0 0 25 0 10 0 837544163 855265280 26090 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26090 13086 16 0 208789 0 vsize: 835220 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 109559 88 0 0 25 0 10 0 837544163 855265280 26111 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26111 13086 16 0 208789 0 vsize: 835220 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 110458 88 0 0 24 0 10 0 837544163 855265280 26133 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26133 13086 16 0 208789 0 vsize: 835220 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 111362 88 0 0 25 0 10 0 837544163 855265280 26153 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26153 13086 16 0 208789 0 vsize: 835220 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 112260 89 0 0 25 0 10 0 837544163 855265280 26174 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208805 26174 13086 16 0 208789 0 vsize: 835220 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 113160 89 0 0 25 0 10 0 837544163 855265280 26194 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26194 13086 16 0 208789 0 vsize: 835220 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 114064 89 0 0 25 0 10 0 837544163 855265280 26215 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26215 13086 16 0 208789 0 vsize: 835220 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 114964 90 0 0 25 0 10 0 837544163 855265280 26236 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26236 13086 16 0 208789 0 vsize: 835220 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 115869 90 0 0 25 0 10 0 837544163 855265280 26251 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26251 13086 16 0 208789 0 vsize: 835220 [startup+1270.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 116768 90 0 0 25 0 10 0 837544163 855265280 26277 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26277 13086 16 0 208789 0 vsize: 835220 [startup+1280.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 117665 91 0 0 24 0 10 0 837544163 855265280 26292 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26292 13086 16 0 208789 0 vsize: 835220 [startup+1290.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 118569 91 0 0 25 0 10 0 837544163 855265280 26312 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26312 13086 16 0 208789 0 vsize: 835220 [startup+1300.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 119468 91 0 0 25 0 10 0 837544163 855265280 26353 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26353 13086 16 0 208789 0 vsize: 835220 [startup+1310.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 12178 Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 120371 91 0 0 25 0 10 0 837544163 855265280 26388 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208805 26388 13086 16 0 208789 0 vsize: 835220 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 12180 Raw data (stat): 12114 (java) Z 12113 1586 1585 0 -1 1036 18025 10194 1 0 120373 96 10888 45 25 0 1 0 837544163 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.15 CPU time (s): 1314.04 CPU user time (s): 1312.62 CPU system time (s): 1.41978 CPU usage (%): 100.297 Max. virtual memory (Kb): 835676 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####