Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb |
MD5SUM | 575f632072d90cb1b2032661c3842261 |
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 | 70755 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 28224865138562973040640 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 28224967538562973040640 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.701893 |
Number of variables | 70755 |
Total number of constraints | 13995 |
Number of constraints which are clauses | 310 |
Number of constraints which are cardinality constraints (but not clauses) | 11776 |
Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70755 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-21 20:36:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15219 boxname=wulflinc29 idbench=1171 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 575f632072d90cb1b2032661c3842261 /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-siena1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-siena1.opb IDLAUNCH: 15219 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 633396 kB Buffers: 27312 kB Cached: 346804 kB SwapCached: 4304 kB Active: 59652 kB Inactive: 320256 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 633144 kB SwapTotal: 2097892 kB SwapFree: 2092680 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5100 kB Slab: 15616 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 20:58:38 (client local time) WITH STATUS 143 IN 1301.11 SECONDS stats: 15219 7 1301.11 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-siena1.opb c reading problem c [nbvar=70755] c [nbconstr=13995] #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.94 0.90 1/54 6318 Raw data (stat): 6318 (runsolver) R 6317 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548009352 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0015 s] Raw data (loadavg): 0.93 0.94 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 881 39 0 0 25 0 10 0 548009352 853520384 19176 4294967295 134512640 134569956 3221224400 3221214744 1131185921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208379 19176 13073 16 0 208363 0 vsize: 833516 [startup+20.0022 s] Raw data (loadavg): 0.94 0.94 0.91 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 1771 40 0 0 25 0 10 0 548009352 853630976 19657 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208406 19658 13073 16 0 208390 0 vsize: 833624 [startup+30.0021 s] Raw data (loadavg): 0.95 0.94 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 2673 41 0 0 25 0 10 0 548009352 853630976 20088 4294967295 134512640 134569956 3221224400 3221214824 1131223630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208406 20088 13073 16 0 208390 0 vsize: 833624 [startup+40.0028 s] Raw data (loadavg): 0.96 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 3602 41 0 0 25 0 10 0 548009352 853630976 20322 4294967295 134512640 134569956 3221224400 3221214824 1131224621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208406 20322 13073 16 0 208390 0 vsize: 833624 [startup+50.0035 s] Raw data (loadavg): 0.96 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 4531 41 0 0 25 0 10 0 548009352 853630976 20447 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208406 20447 13073 16 0 208390 0 vsize: 833624 [startup+60.027 s] Raw data (loadavg): 0.97 0.95 0.91 3/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 5463 42 0 0 25 0 10 0 548009352 853942272 20556 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208482 20556 13073 16 0 208466 0 vsize: 833928 [startup+70.0282 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 6408 42 0 0 25 0 10 0 548009352 853598208 20758 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 20758 13073 16 0 208382 0 vsize: 833592 [startup+80.0311 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 7353 42 0 0 25 0 10 0 548009352 853598208 20837 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 20837 13073 16 0 208382 0 vsize: 833592 [startup+90.0317 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 8303 42 0 0 25 0 10 0 548009352 853598208 20906 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 20906 13073 16 0 208382 0 vsize: 833592 [startup+100.033 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 9249 43 0 0 25 0 10 0 548009352 853598208 20974 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 20974 13073 16 0 208382 0 vsize: 833592 [startup+110.034 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 10199 43 0 0 25 0 10 0 548009352 853598208 21034 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21034 13073 16 0 208382 0 vsize: 833592 [startup+120.035 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 11146 43 0 0 25 0 10 0 548009352 853598208 21094 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21094 13073 16 0 208382 0 vsize: 833592 [startup+130.035 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 12095 44 0 0 25 0 10 0 548009352 853598208 21148 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21148 13073 16 0 208382 0 vsize: 833592 [startup+140.038 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 13042 44 0 0 24 0 10 0 548009352 853598208 21203 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21203 13073 16 0 208382 0 vsize: 833592 [startup+150.047 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 13992 44 0 0 25 0 10 0 548009352 853598208 21252 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21252 13073 16 0 208382 0 vsize: 833592 [startup+160.047 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 14939 44 0 0 24 0 10 0 548009352 853598208 21303 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21303 13073 16 0 208382 0 vsize: 833592 [startup+170.048 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 15878 45 0 0 25 0 10 0 548009352 853598208 21349 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21349 13073 16 0 208382 0 vsize: 833592 [startup+180.049 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 16805 45 0 0 25 0 10 0 548009352 853598208 21393 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21393 13073 16 0 208382 0 vsize: 833592 [startup+190.049 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 17741 45 0 0 25 0 10 0 548009352 853598208 21692 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21692 13073 16 0 208382 0 vsize: 833592 [startup+200.05 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 18683 46 0 0 24 0 10 0 548009352 853598208 21737 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21737 13073 16 0 208382 0 vsize: 833592 [startup+210.05 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 19628 46 0 0 25 0 10 0 548009352 853598208 21778 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21778 13073 16 0 208382 0 vsize: 833592 [startup+220.051 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 20574 47 0 0 25 0 10 0 548009352 853598208 21818 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21818 13073 16 0 208382 0 vsize: 833592 [startup+230.058 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 21516 47 0 0 25 0 10 0 548009352 853598208 21858 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21858 13073 16 0 208382 0 vsize: 833592 [startup+240.059 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 22460 47 0 0 25 0 10 0 548009352 853598208 21896 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21896 13073 16 0 208382 0 vsize: 833592 [startup+250.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 23403 48 0 0 25 0 10 0 548009352 853598208 21933 4294967295 134512640 134569956 3221224400 3221214804 1080204167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21933 13073 16 0 208382 0 vsize: 833592 [startup+260.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 24344 48 0 0 25 0 10 0 548009352 853598208 21971 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 21971 13073 16 0 208382 0 vsize: 833592 [startup+270.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 25287 49 0 0 25 0 10 0 548009352 853598208 22006 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22006 13073 16 0 208382 0 vsize: 833592 [startup+280.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 26229 49 0 0 25 0 10 0 548009352 853598208 22040 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22040 13073 16 0 208382 0 vsize: 833592 [startup+290.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 27166 49 0 0 24 0 10 0 548009352 853598208 22076 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22076 13073 16 0 208382 0 vsize: 833592 [startup+300.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 28108 49 0 0 25 0 10 0 548009352 853598208 22110 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22110 13073 16 0 208382 0 vsize: 833592 [startup+310.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 29048 50 0 0 25 0 10 0 548009352 853598208 22142 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22142 13073 16 0 208382 0 vsize: 833592 [startup+320.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 29989 50 0 0 25 0 10 0 548009352 853598208 22174 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22174 13073 16 0 208382 0 vsize: 833592 [startup+330.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 30925 50 0 0 25 0 10 0 548009352 853598208 22208 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22208 13073 16 0 208382 0 vsize: 833592 [startup+340.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 31865 50 0 0 21 0 10 0 548009352 853598208 22239 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22239 13073 16 0 208382 0 vsize: 833592 [startup+350.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 32804 51 0 0 24 0 10 0 548009352 853598208 22269 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22269 13073 16 0 208382 0 vsize: 833592 [startup+360.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 33743 51 0 0 25 0 10 0 548009352 853598208 22301 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22301 13073 16 0 208382 0 vsize: 833592 [startup+370.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 34677 51 0 0 24 0 10 0 548009352 853598208 22333 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22333 13073 16 0 208382 0 vsize: 833592 [startup+380.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 35616 52 0 0 25 0 10 0 548009352 853598208 22363 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22363 13073 16 0 208382 0 vsize: 833592 [startup+390.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 36553 52 0 0 25 0 10 0 548009352 853598208 22393 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22393 13073 16 0 208382 0 vsize: 833592 [startup+400.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 37491 53 0 0 25 0 10 0 548009352 853598208 22422 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22422 13073 16 0 208382 0 vsize: 833592 [startup+410.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 38427 53 0 0 25 0 10 0 548009352 853598208 22450 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22450 13073 16 0 208382 0 vsize: 833592 [startup+420.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 39362 53 0 0 25 0 10 0 548009352 853598208 22479 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22479 13073 16 0 208382 0 vsize: 833592 [startup+430.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 40294 54 0 0 24 0 10 0 548009352 853598208 22508 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22508 13073 16 0 208382 0 vsize: 833592 [startup+440.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 41229 54 0 0 25 0 10 0 548009352 853598208 22536 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22536 13073 16 0 208382 0 vsize: 833592 [startup+450.089 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 42164 55 0 0 25 0 10 0 548009352 853598208 22563 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22563 13073 16 0 208382 0 vsize: 833592 [startup+460.089 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 43099 55 0 0 25 0 10 0 548009352 853598208 22590 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22590 13073 16 0 208382 0 vsize: 833592 [startup+470.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 44033 56 0 0 25 0 10 0 548009352 853598208 22617 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22617 13073 16 0 208382 0 vsize: 833592 [startup+480.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 44967 56 0 0 25 0 10 0 548009352 853598208 22643 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22643 13073 16 0 208382 0 vsize: 833592 [startup+490.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 45900 56 0 0 25 0 10 0 548009352 853598208 22669 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22669 13073 16 0 208382 0 vsize: 833592 [startup+500.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 46833 56 0 0 25 0 10 0 548009352 853598208 22695 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22695 13073 16 0 208382 0 vsize: 833592 [startup+510.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 47765 57 0 0 25 0 10 0 548009352 853598208 22721 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22721 13073 16 0 208382 0 vsize: 833592 [startup+520.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 48696 57 0 0 25 0 10 0 548009352 853598208 22746 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22746 13073 16 0 208382 0 vsize: 833592 [startup+530.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 49628 58 0 0 25 0 10 0 548009352 853598208 22771 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22771 13073 16 0 208382 0 vsize: 833592 [startup+540.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 50559 58 0 0 25 0 10 0 548009352 853598208 22796 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22796 13073 16 0 208382 0 vsize: 833592 [startup+550.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 51489 59 0 0 25 0 10 0 548009352 853598208 22822 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22822 13073 16 0 208382 0 vsize: 833592 [startup+560.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 52418 60 0 0 25 0 10 0 548009352 853598208 22846 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22846 13073 16 0 208382 0 vsize: 833592 [startup+570.095 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 53349 60 0 0 25 0 10 0 548009352 853598208 22870 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22870 13073 16 0 208382 0 vsize: 833592 [startup+580.095 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 54279 60 0 0 25 0 10 0 548009352 853598208 22894 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22894 13073 16 0 208382 0 vsize: 833592 [startup+590.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 55208 61 0 0 25 0 10 0 548009352 853598208 22917 4294967295 134512640 134569956 3221224400 3221214272 1080019619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22917 13073 16 0 208382 0 vsize: 833592 [startup+600.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 56137 61 0 0 25 0 10 0 548009352 853598208 22941 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22941 13073 16 0 208382 0 vsize: 833592 [startup+610.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 57065 61 0 0 25 0 10 0 548009352 853598208 22964 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22964 13073 16 0 208382 0 vsize: 833592 [startup+620.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 57993 61 0 0 25 0 10 0 548009352 853598208 22987 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 22987 13073 16 0 208382 0 vsize: 833592 [startup+630.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 58921 61 0 0 25 0 10 0 548009352 853598208 23010 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 23010 13073 16 0 208382 0 vsize: 833592 [startup+640.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 59848 62 0 0 25 0 10 0 548009352 853598208 23033 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 23033 13073 16 0 208382 0 vsize: 833592 [startup+650.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 60775 62 0 0 25 0 10 0 548009352 853598208 23056 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 23056 13073 16 0 208382 0 vsize: 833592 [startup+660.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 61702 63 0 0 25 0 10 0 548009352 853598208 23078 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 23078 13073 16 0 208382 0 vsize: 833592 [startup+670.099 s] Raw data (loadavg): 1.07 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 62620 63 0 0 25 0 10 0 548009352 853598208 24100 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24100 13073 16 0 208382 0 vsize: 833592 [startup+680.101 s] Raw data (loadavg): 1.06 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 63548 64 0 0 25 0 10 0 548009352 853598208 24100 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24100 13073 16 0 208382 0 vsize: 833592 [startup+690.102 s] Raw data (loadavg): 1.05 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 64466 64 0 0 24 0 10 0 548009352 853598208 24107 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24107 13073 16 0 208382 0 vsize: 833592 [startup+700.102 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 65388 64 0 0 25 0 10 0 548009352 853598208 24135 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24135 13073 16 0 208382 0 vsize: 833592 [startup+710.104 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 66304 65 0 0 25 0 10 0 548009352 853598208 24163 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24163 13073 16 0 208382 0 vsize: 833592 [startup+720.104 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 67219 65 0 0 25 0 10 0 548009352 853598208 24189 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24189 13073 16 0 208382 0 vsize: 833592 [startup+730.105 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 68135 65 0 0 24 0 10 0 548009352 853598208 24214 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24214 13073 16 0 208382 0 vsize: 833592 [startup+740.105 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 69056 66 0 0 25 0 10 0 548009352 853598208 24237 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24237 13073 16 0 208382 0 vsize: 833592 [startup+750.105 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 69970 66 0 0 25 0 10 0 548009352 853598208 24258 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24258 13073 16 0 208382 0 vsize: 833592 [startup+760.106 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 70885 66 0 0 25 0 10 0 548009352 853598208 24289 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24289 13073 16 0 208382 0 vsize: 833592 [startup+770.107 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 71799 67 0 0 25 0 10 0 548009352 853598208 24313 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24313 13073 16 0 208382 0 vsize: 833592 [startup+780.108 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 72716 68 0 0 25 0 10 0 548009352 853598208 24337 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24337 13073 16 0 208382 0 vsize: 833592 [startup+790.108 s] Raw data (loadavg): 1.09 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 73630 68 0 0 25 0 10 0 548009352 853598208 24357 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24357 13073 16 0 208382 0 vsize: 833592 [startup+800.109 s] Raw data (loadavg): 1.07 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 74543 68 0 0 24 0 10 0 548009352 853598208 24388 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24388 13073 16 0 208382 0 vsize: 833592 [startup+810.11 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 75461 69 0 0 25 0 10 0 548009352 853598208 24410 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24410 13073 16 0 208382 0 vsize: 833592 [startup+820.111 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 76373 69 0 0 25 0 10 0 548009352 853598208 24433 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24433 13073 16 0 208382 0 vsize: 833592 [startup+830.111 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 77284 70 0 0 25 0 10 0 548009352 853598208 24455 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24455 13073 16 0 208382 0 vsize: 833592 [startup+840.111 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 78201 70 0 0 25 0 10 0 548009352 853598208 24480 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24480 13073 16 0 208382 0 vsize: 833592 [startup+850.112 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 79113 70 0 0 25 0 10 0 548009352 853598208 24502 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24502 13073 16 0 208382 0 vsize: 833592 [startup+860.112 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 80024 71 0 0 25 0 10 0 548009352 853598208 24526 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24526 13073 16 0 208382 0 vsize: 833592 [startup+870.113 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 80941 71 0 0 25 0 10 0 548009352 853598208 24545 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24545 13073 16 0 208382 0 vsize: 833592 [startup+880.114 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 81853 71 0 0 25 0 10 0 548009352 853598208 24572 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24572 13073 16 0 208382 0 vsize: 833592 [startup+890.115 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 82767 72 0 0 25 0 10 0 548009352 853598208 24594 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24594 13073 16 0 208382 0 vsize: 833592 [startup+900.115 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 83679 72 0 0 25 0 10 0 548009352 853598208 24613 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24613 13073 16 0 208382 0 vsize: 833592 [startup+910.115 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 84589 72 0 0 25 0 10 0 548009352 853598208 24639 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24639 13073 16 0 208382 0 vsize: 833592 [startup+920.116 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 85505 72 0 0 25 0 10 0 548009352 853598208 24659 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24659 13073 16 0 208382 0 vsize: 833592 [startup+930.218 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 86424 73 0 0 25 0 10 0 548009352 853598208 24685 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24685 13073 16 0 208382 0 vsize: 833592 [startup+940.219 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 87332 73 0 0 25 0 10 0 548009352 853598208 24705 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24705 13073 16 0 208382 0 vsize: 833592 [startup+950.221 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 88245 74 0 0 25 0 10 0 548009352 853598208 24723 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24723 13073 16 0 208382 0 vsize: 833592 [startup+960.222 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 89154 74 0 0 25 0 10 0 548009352 853598208 24749 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24749 13073 16 0 208382 0 vsize: 833592 [startup+970.222 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 90066 75 0 0 25 0 10 0 548009352 853598208 24772 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24772 13073 16 0 208382 0 vsize: 833592 [startup+980.222 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 90973 75 0 0 25 0 10 0 548009352 853598208 24792 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24792 13073 16 0 208382 0 vsize: 833592 [startup+990.224 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 91885 76 0 0 24 0 10 0 548009352 853598208 24809 4294967295 134512640 134569956 3221224400 3221214368 1079668978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24809 13073 16 0 208382 0 vsize: 833592 [startup+1000.22 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 92791 76 0 0 22 0 10 0 548009352 853598208 24827 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24827 13073 16 0 208382 0 vsize: 833592 [startup+1010.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 93698 76 0 0 24 0 10 0 548009352 853598208 24858 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24858 13073 16 0 208382 0 vsize: 833592 [startup+1020.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 94611 77 0 0 25 0 10 0 548009352 853598208 24875 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24875 13073 16 0 208382 0 vsize: 833592 [startup+1030.23 s] Raw data (loadavg): 1.00 1.00 0.92 3/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 95518 77 0 0 24 0 10 0 548009352 853598208 24893 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24893 13073 16 0 208382 0 vsize: 833592 [startup+1040.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 96429 77 0 0 25 0 10 0 548009352 853598208 24920 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24920 13073 16 0 208382 0 vsize: 833592 [startup+1050.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 97334 78 0 0 25 0 10 0 548009352 853598208 24939 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24939 13073 16 0 208382 0 vsize: 833592 [startup+1060.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 98245 79 0 0 25 0 10 0 548009352 853598208 24962 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24962 13073 16 0 208382 0 vsize: 833592 [startup+1070.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 99151 79 0 0 25 0 10 0 548009352 853598208 24982 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 24982 13073 16 0 208382 0 vsize: 833592 [startup+1080.23 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 100059 79 0 0 25 0 10 0 548009352 853598208 25004 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25004 13073 16 0 208382 0 vsize: 833592 [startup+1090.24 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 100961 80 0 0 25 0 10 0 548009352 853598208 25024 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25024 13073 16 0 208382 0 vsize: 833592 [startup+1100.24 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 101872 80 0 0 25 0 10 0 548009352 853598208 25040 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25040 13073 16 0 208382 0 vsize: 833592 [startup+1110.24 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 102775 80 0 0 25 0 10 0 548009352 853598208 25063 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25063 13073 16 0 208382 0 vsize: 833592 [startup+1120.24 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 103685 81 0 0 25 0 10 0 548009352 853598208 25084 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25084 13073 16 0 208382 0 vsize: 833592 [startup+1130.24 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 104588 81 0 0 25 0 10 0 548009352 853598208 25104 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25104 13073 16 0 208382 0 vsize: 833592 [startup+1140.24 s] Raw data (loadavg): 1.08 1.02 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 105496 82 0 0 25 0 10 0 548009352 853598208 25125 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25125 13073 16 0 208382 0 vsize: 833592 [startup+1150.24 s] Raw data (loadavg): 1.07 1.02 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 106398 83 0 0 24 0 10 0 548009352 853598208 25144 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25144 13073 16 0 208382 0 vsize: 833592 [startup+1160.24 s] Raw data (loadavg): 1.06 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 107306 83 0 0 25 0 10 0 548009352 853598208 25160 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25160 13073 16 0 208382 0 vsize: 833592 [startup+1170.24 s] Raw data (loadavg): 1.05 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 108212 83 0 0 24 0 10 0 548009352 853598208 25183 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25183 13073 16 0 208382 0 vsize: 833592 [startup+1180.24 s] Raw data (loadavg): 1.04 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 109115 84 0 0 20 0 10 0 548009352 853598208 25203 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25203 13073 16 0 208382 0 vsize: 833592 [startup+1190.24 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 110023 84 0 0 23 0 10 0 548009352 853598208 25220 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25220 13073 16 0 208382 0 vsize: 833592 [startup+1200.24 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 110924 85 0 0 20 0 10 0 548009352 853598208 25242 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25242 13073 16 0 208382 0 vsize: 833592 [startup+1210.24 s] Raw data (loadavg): 1.02 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 111829 86 0 0 23 0 10 0 548009352 853598208 25261 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25261 13073 16 0 208382 0 vsize: 833592 [startup+1220.24 s] Raw data (loadavg): 1.02 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 112728 86 0 0 19 0 10 0 548009352 853598208 25281 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25281 13073 16 0 208382 0 vsize: 833592 [startup+1230.24 s] Raw data (loadavg): 1.02 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 113635 86 0 0 22 0 10 0 548009352 853598208 25297 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25297 13073 16 0 208382 0 vsize: 833592 [startup+1240.24 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) S 6317 27222 27221 0 -1 0 17976 0 1 0 114536 86 0 0 23 0 10 0 548009352 853598208 25316 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25316 13073 16 0 208382 0 vsize: 833592 [startup+1250.25 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 115441 86 0 0 20 0 10 0 548009352 853598208 25332 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25332 13073 16 0 208382 0 vsize: 833592 [startup+1260.25 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 116347 87 0 0 23 0 10 0 548009352 853598208 25347 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25347 13073 16 0 208382 0 vsize: 833592 [startup+1270.25 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 117246 87 0 0 19 0 10 0 548009352 853598208 25375 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25375 13073 16 0 208382 0 vsize: 833592 [startup+1280.25 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 118151 88 0 0 21 0 10 0 548009352 853598208 25393 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25393 13073 16 0 208382 0 vsize: 833592 [startup+1290.25 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 119057 88 0 0 23 0 10 0 548009352 853598208 25414 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25414 13073 16 0 208382 0 vsize: 833592 [startup+1300.25 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 6327 Raw data (stat): 6318 (java) R 6317 27222 27221 0 -1 0 17976 0 1 0 119956 88 0 0 20 0 10 0 548009352 853598208 25428 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208398 25428 13073 16 0 208382 0 vsize: 833592 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.33 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 6328 Raw data (stat): 6318 (java) Z 6317 27222 27221 0 -1 1036 17976 7500 1 0 119959 88 10024 38 20 0 1 0 548009352 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): 1300.33 CPU time (s): 1301.11 CPU user time (s): 1299.84 CPU system time (s): 1.26881 CPU usage (%): 100.06 Max. virtual memory (Kb): 833928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####