Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb |
MD5SUM | e465af1c9ec9e748a7782ddbee36d3b1 |
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 | 100590 |
Biggest coefficient in the objective function | 11202704073084108800000000 |
Number of bits for the biggest coefficient in the objective function | 84 |
Sum of the numbers in the objective function | 2862789126208280618841669632 |
Number of bits of the sum of numbers in the objective function | 92 |
Biggest number in a constraint | 11202704073084108800000000 |
Number of bits of the biggest number in a constraint | 84 |
Biggest sum of numbers in a constraint | 2862789126208280618841669632 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.90971 |
Number of variables | 203044 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1115 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-20 21:03:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14699 boxname=wulflinc4 idbench=1131 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e465af1c9ec9e748a7782ddbee36d3b1 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb IDLAUNCH: 14699 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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: 640148 kB Buffers: 36864 kB Cached: 333532 kB SwapCached: 0 kB Active: 183328 kB Inactive: 190000 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 639896 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 15560 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 21:25:46 (client local time) WITH STATUS 143 IN 1312.2 SECONDS stats: 14699 7 1312.2 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb c reading problem c [nbvar=203044] c [nbconstr=56505] #### 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.87 0.97 0.90 2/54 26395 Raw data (stat): 26395 (runsolver) R 26394 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481307260 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 1.05 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 859 40 0 0 25 0 10 0 481307260 855613440 19603 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208890 19603 13073 16 0 208874 0 vsize: 835560 [startup+20.0018 s] Raw data (loadavg): 1.04 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 1749 40 0 0 25 0 10 0 481307260 855363584 20124 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208829 20124 13073 16 0 208813 0 vsize: 835316 [startup+30.0061 s] Raw data (loadavg): 1.03 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 2651 40 0 0 25 0 10 0 481307260 854839296 20452 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 20452 13073 16 0 208685 0 vsize: 834804 [startup+40.0074 s] Raw data (loadavg): 1.03 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 3578 40 0 0 25 0 10 0 481307260 854839296 20541 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 20541 13073 16 0 208685 0 vsize: 834804 [startup+50.0094 s] Raw data (loadavg): 1.02 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 4506 41 0 0 25 0 10 0 481307260 854839296 20664 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 20664 13073 16 0 208685 0 vsize: 834804 [startup+60.0119 s] Raw data (loadavg): 1.02 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 5434 41 0 0 24 0 10 0 481307260 854839296 20767 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 20767 13073 16 0 208685 0 vsize: 834804 [startup+70.0121 s] Raw data (loadavg): 1.02 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 6379 41 0 0 25 0 10 0 481307260 854839296 20981 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 20981 13073 16 0 208685 0 vsize: 834804 [startup+80.0139 s] Raw data (loadavg): 1.01 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 7323 42 0 0 25 0 10 0 481307260 854839296 21062 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21062 13073 16 0 208685 0 vsize: 834804 [startup+90.0142 s] Raw data (loadavg): 1.01 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 8268 42 0 0 25 0 10 0 481307260 854839296 21136 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21136 13073 16 0 208685 0 vsize: 834804 [startup+100.018 s] Raw data (loadavg): 1.01 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 9215 43 0 0 25 0 10 0 481307260 854839296 21202 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21202 13073 16 0 208685 0 vsize: 834804 [startup+110.019 s] Raw data (loadavg): 1.01 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 10163 44 0 0 25 0 10 0 481307260 854839296 21267 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21267 13073 16 0 208685 0 vsize: 834804 [startup+120.02 s] Raw data (loadavg): 1.01 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 11110 44 0 0 25 0 10 0 481307260 854839296 21328 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21328 13073 16 0 208685 0 vsize: 834804 [startup+130.021 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 12057 44 0 0 25 0 10 0 481307260 854839296 21386 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21386 13073 16 0 208685 0 vsize: 834804 [startup+140.022 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26404 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 13003 45 0 0 25 0 10 0 481307260 854839296 21442 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21442 13073 16 0 208685 0 vsize: 834804 [startup+150.023 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 13949 46 0 0 25 0 10 0 481307260 854839296 21496 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21496 13073 16 0 208685 0 vsize: 834804 [startup+160.024 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 14895 46 0 0 24 0 10 0 481307260 854839296 21547 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21547 13073 16 0 208685 0 vsize: 834804 [startup+170.025 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 15827 47 0 0 25 0 10 0 481307260 854839296 21594 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21594 13073 16 0 208685 0 vsize: 834804 [startup+180.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 16750 47 0 0 25 0 10 0 481307260 854839296 21642 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21642 13073 16 0 208685 0 vsize: 834804 [startup+190.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 17692 47 0 0 25 0 10 0 481307260 854839296 21941 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21941 13073 16 0 208685 0 vsize: 834804 [startup+200.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 18635 48 0 0 25 0 10 0 481307260 854839296 21986 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 21986 13073 16 0 208685 0 vsize: 834804 [startup+210.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 19576 48 0 0 25 0 10 0 481307260 854839296 22031 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22031 13073 16 0 208685 0 vsize: 834804 [startup+220.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 20517 49 0 0 25 0 10 0 481307260 854839296 22073 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22073 13073 16 0 208685 0 vsize: 834804 [startup+230.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 21458 49 0 0 25 0 10 0 481307260 854839296 22115 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22115 13073 16 0 208685 0 vsize: 834804 [startup+240.062 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 22402 49 0 0 25 0 10 0 481307260 854839296 22153 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22153 13073 16 0 208685 0 vsize: 834804 [startup+250.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 23342 49 0 0 25 0 10 0 481307260 854839296 22192 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22192 13073 16 0 208685 0 vsize: 834804 [startup+260.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 24281 50 0 0 25 0 10 0 481307260 854839296 22231 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22231 13073 16 0 208685 0 vsize: 834804 [startup+270.063 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 25220 50 0 0 25 0 10 0 481307260 854839296 22268 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22268 13073 16 0 208685 0 vsize: 834804 [startup+280.065 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 26161 51 0 0 25 0 10 0 481307260 854839296 22303 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22303 13073 16 0 208685 0 vsize: 834804 [startup+290.065 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 27098 51 0 0 25 0 10 0 481307260 854839296 22339 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22339 13073 16 0 208685 0 vsize: 834804 [startup+300.067 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 28036 52 0 0 25 0 10 0 481307260 854839296 22375 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22375 13073 16 0 208685 0 vsize: 834804 [startup+310.067 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 28975 52 0 0 25 0 10 0 481307260 854839296 22408 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22408 13073 16 0 208685 0 vsize: 834804 [startup+320.067 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 29911 53 0 0 25 0 10 0 481307260 854839296 22442 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22442 13073 16 0 208685 0 vsize: 834804 [startup+330.069 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 30847 53 0 0 25 0 10 0 481307260 854839296 22476 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22476 13073 16 0 208685 0 vsize: 834804 [startup+340.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 31785 53 0 0 25 0 10 0 481307260 854839296 22509 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22509 13073 16 0 208685 0 vsize: 834804 [startup+350.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 32720 54 0 0 25 0 10 0 481307260 854839296 22541 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22541 13073 16 0 208685 0 vsize: 834804 [startup+360.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 33654 54 0 0 25 0 10 0 481307260 854839296 22574 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22574 13073 16 0 208685 0 vsize: 834804 [startup+370.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 34592 55 0 0 25 0 10 0 481307260 854839296 22603 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22603 13073 16 0 208685 0 vsize: 834804 [startup+380.072 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 35525 55 0 0 25 0 10 0 481307260 854839296 22635 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22635 13073 16 0 208685 0 vsize: 834804 [startup+390.073 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 36460 55 0 0 24 0 10 0 481307260 854839296 22666 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22666 13073 16 0 208685 0 vsize: 834804 [startup+400.075 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 37397 55 0 0 25 0 10 0 481307260 854839296 22694 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22694 13073 16 0 208685 0 vsize: 834804 [startup+410.075 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 38330 55 0 0 25 0 10 0 481307260 854839296 22725 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22725 13073 16 0 208685 0 vsize: 834804 [startup+420.076 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 39266 55 0 0 25 0 10 0 481307260 854839296 22753 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22753 13073 16 0 208685 0 vsize: 834804 [startup+430.077 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 40197 55 0 0 25 0 10 0 481307260 854839296 22782 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22782 13073 16 0 208685 0 vsize: 834804 [startup+440.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 41130 56 0 0 25 0 10 0 481307260 854839296 22810 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22810 13073 16 0 208685 0 vsize: 834804 [startup+450.081 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 42064 56 0 0 25 0 10 0 481307260 854839296 22838 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 22838 13073 16 0 208685 0 vsize: 834804 [startup+460.082 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 42997 56 0 0 25 0 10 0 481307260 854839296 22865 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22865 13073 16 0 208685 0 vsize: 834804 [startup+470.085 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 43927 56 0 0 25 0 10 0 481307260 854839296 22893 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22893 13073 16 0 208685 0 vsize: 834804 [startup+480.107 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 44856 56 0 0 25 0 10 0 481307260 854839296 22920 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22920 13073 16 0 208685 0 vsize: 834804 [startup+490.107 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 45787 57 0 0 25 0 10 0 481307260 854839296 22946 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22946 13073 16 0 208685 0 vsize: 834804 [startup+500.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 46714 57 0 0 24 0 10 0 481307260 854839296 22973 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22973 13073 16 0 208685 0 vsize: 834804 [startup+510.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 47644 57 0 0 25 0 10 0 481307260 854839296 22998 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 22998 13073 16 0 208685 0 vsize: 834804 [startup+520.115 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 48571 58 0 0 24 0 10 0 481307260 854839296 23026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 23026 13073 16 0 208685 0 vsize: 834804 [startup+530.116 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 49501 58 0 0 25 0 10 0 481307260 854839296 23051 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 23051 13073 16 0 208685 0 vsize: 834804 [startup+540.117 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 50425 59 0 0 24 0 10 0 481307260 854839296 23077 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 23077 13073 16 0 208685 0 vsize: 834804 [startup+550.118 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 51354 59 0 0 25 0 10 0 481307260 854839296 23101 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 23101 13073 16 0 208685 0 vsize: 834804 [startup+560.118 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 52282 59 0 0 25 0 10 0 481307260 854839296 23125 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 23125 13073 16 0 208685 0 vsize: 834804 [startup+570.118 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 53207 60 0 0 25 0 10 0 481307260 854839296 23150 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23150 13073 16 0 208685 0 vsize: 834804 [startup+580.119 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 54137 60 0 0 25 0 10 0 481307260 854839296 23174 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23174 13073 16 0 208685 0 vsize: 834804 [startup+590.12 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 55061 60 0 0 25 0 10 0 481307260 854839296 23199 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23199 13073 16 0 208685 0 vsize: 834804 [startup+600.122 s] Raw data (loadavg): 1.00 1.00 0.91 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 55990 60 0 0 25 0 10 0 481307260 854839296 23222 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23222 13073 16 0 208685 0 vsize: 834804 [startup+610.122 s] Raw data (loadavg): 1.07 1.02 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 56914 60 0 0 24 0 10 0 481307260 854839296 23247 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23247 13073 16 0 208685 0 vsize: 834804 [startup+620.122 s] Raw data (loadavg): 1.06 1.02 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 57842 61 0 0 25 0 10 0 481307260 854839296 23269 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23269 13073 16 0 208685 0 vsize: 834804 [startup+630.123 s] Raw data (loadavg): 1.05 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 58770 61 0 0 25 0 10 0 481307260 854839296 23292 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23292 13073 16 0 208685 0 vsize: 834804 [startup+640.123 s] Raw data (loadavg): 1.04 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 59693 61 0 0 25 0 10 0 481307260 854839296 23316 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23316 13073 16 0 208685 0 vsize: 834804 [startup+650.125 s] Raw data (loadavg): 1.04 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 60620 61 0 0 25 0 10 0 481307260 854839296 23338 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 23338 13073 16 0 208685 0 vsize: 834804 [startup+660.129 s] Raw data (loadavg): 1.03 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 61535 61 0 0 22 0 10 0 481307260 854839296 24592 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24592 13073 16 0 208685 0 vsize: 834804 [startup+670.13 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 62457 61 0 0 25 0 10 0 481307260 854839296 24592 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24592 13073 16 0 208685 0 vsize: 834804 [startup+680.131 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 63373 62 0 0 25 0 10 0 481307260 854839296 24611 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24611 13073 16 0 208685 0 vsize: 834804 [startup+690.131 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 64291 62 0 0 25 0 10 0 481307260 854839296 24633 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24633 13073 16 0 208685 0 vsize: 834804 [startup+700.132 s] Raw data (loadavg): 1.01 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 65206 62 0 0 25 0 10 0 481307260 854839296 24654 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24654 13073 16 0 208685 0 vsize: 834804 [startup+710.133 s] Raw data (loadavg): 1.01 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 66116 62 0 0 24 0 10 0 481307260 854839296 24677 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24677 13073 16 0 208685 0 vsize: 834804 [startup+720.136 s] Raw data (loadavg): 1.01 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 67032 62 0 0 25 0 10 0 481307260 854839296 24698 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24698 13073 16 0 208685 0 vsize: 834804 [startup+730.137 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 67947 62 0 0 25 0 10 0 481307260 854839296 24719 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24719 13073 16 0 208685 0 vsize: 834804 [startup+740.14 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 68862 62 0 0 25 0 10 0 481307260 854839296 24741 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24741 13073 16 0 208685 0 vsize: 834804 [startup+750.141 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 69775 62 0 0 25 0 10 0 481307260 854839296 24762 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24762 13073 16 0 208685 0 vsize: 834804 [startup+760.147 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 70690 63 0 0 21 0 10 0 481307260 854839296 24782 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24782 13073 16 0 208685 0 vsize: 834804 [startup+770.151 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 71603 63 0 0 25 0 10 0 481307260 854839296 24803 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24803 13073 16 0 208685 0 vsize: 834804 [startup+780.154 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 72517 63 0 0 25 0 10 0 481307260 854839296 24823 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24823 13073 16 0 208685 0 vsize: 834804 [startup+790.157 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 73429 63 0 0 25 0 10 0 481307260 854839296 24843 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24843 13073 16 0 208685 0 vsize: 834804 [startup+800.16 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 74336 63 0 0 24 0 10 0 481307260 854839296 24864 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24864 13073 16 0 208685 0 vsize: 834804 [startup+810.167 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 75249 63 0 0 25 0 10 0 481307260 854839296 24884 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24884 13073 16 0 208685 0 vsize: 834804 [startup+820.166 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 76162 63 0 0 25 0 10 0 481307260 854839296 24904 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24904 13073 16 0 208685 0 vsize: 834804 [startup+830.168 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 77075 64 0 0 25 0 10 0 481307260 854839296 24924 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24924 13073 16 0 208685 0 vsize: 834804 [startup+840.174 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 77987 64 0 0 25 0 10 0 481307260 854839296 24943 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24943 13073 16 0 208685 0 vsize: 834804 [startup+850.175 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 78899 64 0 0 25 0 10 0 481307260 854839296 24963 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 24963 13073 16 0 208685 0 vsize: 834804 [startup+860.175 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 79810 64 0 0 25 0 10 0 481307260 854839296 24982 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 24982 13073 16 0 208685 0 vsize: 834804 [startup+870.177 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 80721 64 0 0 25 0 10 0 481307260 854839296 25001 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25001 13073 16 0 208685 0 vsize: 834804 [startup+880.178 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 81631 64 0 0 25 0 10 0 481307260 854839296 25020 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25020 13073 16 0 208685 0 vsize: 834804 [startup+890.179 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 82541 64 0 0 25 0 10 0 481307260 854839296 25039 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25039 13073 16 0 208685 0 vsize: 834804 [startup+900.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 83451 65 0 0 25 0 10 0 481307260 854839296 25058 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25058 13073 16 0 208685 0 vsize: 834804 [startup+910.181 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 84359 65 0 0 25 0 10 0 481307260 854839296 25077 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25077 13073 16 0 208685 0 vsize: 834804 [startup+920.181 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 85269 65 0 0 25 0 10 0 481307260 854839296 25096 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25096 13073 16 0 208685 0 vsize: 834804 [startup+930.188 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 86178 65 0 0 21 0 10 0 481307260 854839296 25114 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25114 13073 16 0 208685 0 vsize: 834804 [startup+940.189 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 87086 66 0 0 21 0 10 0 481307260 854839296 25133 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25133 13073 16 0 208685 0 vsize: 834804 [startup+950.235 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 87996 66 0 0 22 0 10 0 481307260 854839296 25151 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25151 13073 16 0 208685 0 vsize: 834804 [startup+960.251 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 88906 66 0 0 22 0 10 0 481307260 854839296 25169 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25169 13073 16 0 208685 0 vsize: 834804 [startup+970.251 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 89813 66 0 0 22 0 10 0 481307260 854839296 25188 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25188 13073 16 0 208685 0 vsize: 834804 [startup+980.254 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 90721 66 0 0 22 0 10 0 481307260 854839296 25206 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25206 13073 16 0 208685 0 vsize: 834804 [startup+990.254 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 91627 66 0 0 22 0 10 0 481307260 854839296 25224 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25224 13073 16 0 208685 0 vsize: 834804 [startup+1000.26 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 92534 67 0 0 22 0 10 0 481307260 854839296 25242 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25242 13073 16 0 208685 0 vsize: 834804 [startup+1010.37 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 93452 67 0 0 23 0 10 0 481307260 854839296 25261 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25261 13073 16 0 208685 0 vsize: 834804 [startup+1020.37 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 94359 67 0 0 23 0 10 0 481307260 854839296 25278 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25278 13073 16 0 208685 0 vsize: 834804 [startup+1030.38 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 95265 67 0 0 23 0 10 0 481307260 854839296 25296 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25296 13073 16 0 208685 0 vsize: 834804 [startup+1040.39 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 96171 67 0 0 21 0 10 0 481307260 854839296 25313 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25313 13073 16 0 208685 0 vsize: 834804 [startup+1050.39 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 97075 67 0 0 22 0 10 0 481307260 854839296 25331 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25331 13073 16 0 208685 0 vsize: 834804 [startup+1060.4 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 97979 67 0 0 22 0 10 0 481307260 854839296 25348 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25348 13073 16 0 208685 0 vsize: 834804 [startup+1070.41 s] Raw data (loadavg): 1.08 1.02 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 98884 68 0 0 22 0 10 0 481307260 854839296 25366 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25366 13073 16 0 208685 0 vsize: 834804 [startup+1080.43 s] Raw data (loadavg): 1.07 1.02 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 99790 68 0 0 21 0 10 0 481307260 854839296 25383 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25383 13073 16 0 208685 0 vsize: 834804 [startup+1090.43 s] Raw data (loadavg): 1.06 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 100695 68 0 0 21 0 10 0 481307260 854839296 25400 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25400 13073 16 0 208685 0 vsize: 834804 [startup+1100.43 s] Raw data (loadavg): 1.05 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 101598 68 0 0 21 0 10 0 481307260 854839296 25417 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25417 13073 16 0 208685 0 vsize: 834804 [startup+1110.44 s] Raw data (loadavg): 1.04 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 102503 68 0 0 20 0 10 0 481307260 854839296 25434 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25434 13073 16 0 208685 0 vsize: 834804 [startup+1120.45 s] Raw data (loadavg): 1.03 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 103406 68 0 0 20 0 10 0 481307260 854839296 25451 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25451 13073 16 0 208685 0 vsize: 834804 [startup+1130.45 s] Raw data (loadavg): 1.03 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 104309 68 0 0 19 0 10 0 481307260 854839296 25468 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25468 13073 16 0 208685 0 vsize: 834804 [startup+1140.45 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 105211 68 0 0 19 0 10 0 481307260 854839296 25485 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25485 13073 16 0 208685 0 vsize: 834804 [startup+1150.45 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 106113 69 0 0 19 0 10 0 481307260 854839296 25501 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25501 13073 16 0 208685 0 vsize: 834804 [startup+1160.45 s] Raw data (loadavg): 1.09 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 107021 69 0 0 24 0 10 0 481307260 854839296 25517 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25517 13073 16 0 208685 0 vsize: 834804 [startup+1170.45 s] Raw data (loadavg): 1.07 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 107923 69 0 0 23 0 10 0 481307260 854839296 25534 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25534 13073 16 0 208685 0 vsize: 834804 [startup+1180.45 s] Raw data (loadavg): 1.06 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 108823 69 0 0 22 0 10 0 481307260 854839296 25550 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25550 13073 16 0 208685 0 vsize: 834804 [startup+1190.45 s] Raw data (loadavg): 1.05 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 109722 69 0 0 20 0 10 0 481307260 854839296 25567 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25567 13073 16 0 208685 0 vsize: 834804 [startup+1200.48 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 110625 69 0 0 21 0 10 0 481307260 854839296 25583 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25583 13073 16 0 208685 0 vsize: 834804 [startup+1210.5 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 111527 69 0 0 19 0 10 0 481307260 854839296 25599 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25599 13073 16 0 208685 0 vsize: 834804 [startup+1220.5 s] Raw data (loadavg): 1.03 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 112427 70 0 0 19 0 10 0 481307260 854839296 25615 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25615 13073 16 0 208685 0 vsize: 834804 [startup+1230.5 s] Raw data (loadavg): 1.03 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 113332 70 0 0 23 0 10 0 481307260 854839296 25631 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 25631 13073 16 0 208685 0 vsize: 834804 [startup+1240.5 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 114230 71 0 0 22 0 10 0 481307260 854839296 25647 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 25647 13073 16 0 208685 0 vsize: 834804 [startup+1250.5 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 115128 71 0 0 20 0 10 0 481307260 854839296 25663 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 25663 13073 16 0 208685 0 vsize: 834804 [startup+1260.51 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 26406 Raw data (stat): 26395 (java) S 26394 5897 5896 0 -1 0 17974 0 1 0 116031 71 0 0 23 0 10 0 481307260 854839296 25680 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 25680 13073 16 0 208685 0 vsize: 834804 [startup+1270.51 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 116931 72 0 0 22 0 10 0 481307260 854839296 25700 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208701 25700 13073 16 0 208685 0 vsize: 834804 [startup+1280.51 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 117831 72 0 0 21 0 10 0 481307260 854839296 25711 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25711 13073 16 0 208685 0 vsize: 834804 [startup+1290.51 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 118734 72 0 0 20 0 10 0 481307260 854839296 25739 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25739 13073 16 0 208685 0 vsize: 834804 [startup+1300.51 s] Raw data (loadavg): 1.01 1.01 0.93 3/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 119638 72 0 0 20 0 10 0 481307260 854839296 25751 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25751 13073 16 0 208685 0 vsize: 834804 [startup+1310.51 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 26406 Raw data (stat): 26395 (java) R 26394 5897 5896 0 -1 0 17974 0 1 0 120543 73 0 0 19 0 10 0 481307260 854839296 25775 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208701 25775 13073 16 0 208685 0 vsize: 834804 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.6 s] Raw data (loadavg): 1.00 1.01 0.93 1/54 26407 Raw data (stat): 26395 (java) Z 26394 5897 5896 0 -1 1036 17974 8520 1 0 120546 77 10552 43 21 0 1 0 481307260 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): 1310.59 CPU time (s): 1312.2 CPU user time (s): 1310.99 CPU system time (s): 1.21381 CPU usage (%): 100.123 Max. virtual memory (Kb): 835560 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####