Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb |
MD5SUM | 21523a021e6bde8cb1bd98f2664add6c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 24975 |
Biggest coefficient in the objective function | 53687091200000000000 |
Number of bits for the biggest coefficient in the objective function | 66 |
Sum of the numbers in the objective function | 226603053881884901376 |
Number of bits of the sum of numbers in the objective function | 68 |
Biggest number in a constraint | 10240000000000000000000 |
Number of bits of the biggest number in a constraint | 74 |
Biggest sum of numbers in a constraint | 10466603053881885720576 |
Number of bits of the biggest sum of numbers | 74 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 40.6528 |
Number of variables | 24975 |
Total number of constraints | 29520 |
Number of constraints which are clauses | 4872 |
Number of constraints which are cardinality constraints (but not clauses) | 24647 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24975 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-21 20:47:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15063 boxname=wulflinc5 idbench=1159 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 21523a021e6bde8cb1bd98f2664add6c /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-core4872-1529.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-core4872-1529.opb IDLAUNCH: 15063 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 635392 kB Buffers: 25376 kB Cached: 352116 kB SwapCached: 316 kB Active: 47848 kB Inactive: 331608 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 635140 kB SwapTotal: 2097136 kB SwapFree: 2095948 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5200 kB Slab: 14120 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:08:47 (client local time) WITH STATUS 143 IN 1269.73 SECONDS stats: 15063 7 1269.73 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-core4872-1529.opb c reading problem c [nbvar=24975] c [nbconstr=29520] c time 196.525 c #vars 24975 c #clauses 4875 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 313.656 c starts : 1 c conflicts : 0 c decisions : 23639 c propagations : 24975 c inspects : 42806 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 372.478 c starts : 2 c conflicts : 0 c decisions : 47278 c propagations : 49899 c inspects : 48517 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 414.676 c starts : 3 c conflicts : 0 c decisions : 70917 c propagations : 74823 c inspects : 52978 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 474.025 c starts : 4 c conflicts : 0 c decisions : 94556 c propagations : 99747 c inspects : 58090 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 4 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 528.105 c starts : 5 c conflicts : 0 c decisions : 118195 c propagations : 124671 c inspects : 62931 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 5 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 585.645 c starts : 6 c conflicts : 0 c decisions : 141834 c propagations : 149595 c inspects : 67950 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 6 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 631.334 c starts : 7 c conflicts : 0 c decisions : 165473 c propagations : 174519 c inspects : 72570 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 7 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 690.368 c starts : 8 c conflicts : 0 c decisions : 189112 c propagations : 199443 c inspects : 77685 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 8 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 735.44 c starts : 9 c conflicts : 0 c decisions : 212751 c propagations : 224367 c inspects : 82290 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 9 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 779.637 c starts : 10 c conflicts : 0 c decisions : 236390 c propagations : 249291 c inspects : 86870 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 10 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 822.648 c starts : 11 c conflicts : 0 c decisions : 260029 c propagations : 274215 c inspects : 91391 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 11 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 867.264 c starts : 12 c conflicts : 0 c decisions : 283668 c propagations : 299139 c inspects : 95995 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 12 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 925.029 c starts : 13 c conflicts : 0 c decisions : 307307 c propagations : 324063 c inspects : 100975 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 13 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 969.586 c starts : 14 c conflicts : 0 c decisions : 330946 c propagations : 348987 c inspects : 105555 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 14 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 1028.518 c starts : 15 c conflicts : 0 c decisions : 354585 c propagations : 373911 c inspects : 110628 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 15 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 1086.383 c starts : 16 c conflicts : 0 c decisions : 378224 c propagations : 398835 c inspects : 115647 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 16 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 1138.464 c starts : 17 c conflicts : 0 c decisions : 401863 c propagations : 423759 c inspects : 120488 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 17 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 1191.903 c starts : 18 c conflicts : 0 c decisions : 425502 c propagations : 448683 c inspects : 125361 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 18 c c CURRENT OPTIMUM=-2052587520 c Current CPU time (ms) : 1236.27 c starts : 19 c conflicts : 0 c decisions : 449141 c propagations : 473607 c inspects : 129942 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 19 #### 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.73 0.90 0.89 1/54 1363 Raw data (stat): 1363 (runsolver) D 1362 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 489856173 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 0.77 0.90 0.89 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 867 40 0 0 25 0 10 0 489856173 853671936 19166 4294967295 134512640 134569956 3221224400 3221214704 1131203421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208416 19166 13073 16 0 208400 0 vsize: 833664 [startup+20.0039 s] Raw data (loadavg): 0.80 0.90 0.89 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 1755 40 0 0 24 0 10 0 489856173 853635072 19669 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 19669 13073 16 0 208391 0 vsize: 833628 [startup+30.0057 s] Raw data (loadavg): 0.83 0.91 0.89 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 2653 41 0 0 25 0 10 0 489856173 853635072 20108 4294967295 134512640 134569956 3221224400 3221214824 1131227722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 20108 13073 16 0 208391 0 vsize: 833628 [startup+40.0056 s] Raw data (loadavg): 0.86 0.91 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 3583 41 0 0 25 0 10 0 489856173 853635072 20338 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 20338 13073 16 0 208391 0 vsize: 833628 [startup+50.0079 s] Raw data (loadavg): 0.88 0.91 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 4511 41 0 0 25 0 10 0 489856173 853635072 20461 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 20461 13073 16 0 208391 0 vsize: 833628 [startup+60.008 s] Raw data (loadavg): 0.90 0.91 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 5439 41 0 0 25 0 10 0 489856173 853635072 20567 4294967295 134512640 134569956 3221224400 3221214384 1079668986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 20567 13073 16 0 208391 0 vsize: 833628 [startup+70.0127 s] Raw data (loadavg): 0.91 0.92 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 6382 41 0 0 25 0 10 0 489856173 853602304 20779 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 20779 13073 16 0 208383 0 vsize: 833596 [startup+80.0135 s] Raw data (loadavg): 0.93 0.92 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 7331 41 0 0 25 0 10 0 489856173 853602304 20855 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 20855 13073 16 0 208383 0 vsize: 833596 [startup+90.0202 s] Raw data (loadavg): 0.94 0.92 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 8278 41 0 0 25 0 10 0 489856173 853602304 20930 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 20930 13073 16 0 208383 0 vsize: 833596 [startup+100.021 s] Raw data (loadavg): 0.95 0.92 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 9224 41 0 0 25 0 10 0 489856173 853602304 20999 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 20999 13073 16 0 208383 0 vsize: 833596 [startup+110.043 s] Raw data (loadavg): 0.95 0.92 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 10172 42 0 0 24 0 10 0 489856173 853602304 21065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 21065 13073 16 0 208383 0 vsize: 833596 [startup+120.045 s] Raw data (loadavg): 0.96 0.93 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 11123 42 0 0 25 0 10 0 489856173 853602304 21123 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 21123 13073 16 0 208383 0 vsize: 833596 [startup+130.046 s] Raw data (loadavg): 0.97 0.93 0.90 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 12070 42 0 0 25 0 10 0 489856173 853602304 21181 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208399 21181 13073 16 0 208383 0 vsize: 833596 [startup+140.047 s] Raw data (loadavg): 0.97 0.93 0.91 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 13017 42 0 0 24 0 10 0 489856173 853602304 21237 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208399 21237 13073 16 0 208383 0 vsize: 833596 [startup+150.048 s] Raw data (loadavg): 0.98 0.93 0.91 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 13965 43 0 0 25 0 10 0 489856173 853602304 21289 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208399 21289 13073 16 0 208383 0 vsize: 833596 [startup+160.047 s] Raw data (loadavg): 0.98 0.93 0.91 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 14911 43 0 0 25 0 10 0 489856173 853602304 21340 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208399 21340 13073 16 0 208383 0 vsize: 833596 [startup+170.051 s] Raw data (loadavg): 0.98 0.94 0.91 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17978 0 1 0 15837 43 0 0 25 0 10 0 489856173 853602304 21395 4294967295 134512640 134569956 3221224400 3221214360 1130892664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208399 21395 13073 16 0 208383 0 vsize: 833596 [startup+180.052 s] Raw data (loadavg): 1.06 0.95 0.91 3/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17994 0 1 0 16735 44 0 0 25 0 10 0 489856173 856043520 22139 4294967295 134512640 134569956 3221224400 3221214520 1131273076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208995 22139 13073 16 0 208979 0 vsize: 835980 [startup+190.052 s] Raw data (loadavg): 1.05 0.95 0.91 2/63 1372 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17994 0 1 0 17731 45 0 0 25 0 10 0 489856173 856043520 22064 4294967295 134512640 134569956 3221224400 3221214616 1131273199 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208995 22064 13073 16 0 208979 0 vsize: 835980 [startup+200.053 s] Raw data (loadavg): 1.04 0.96 0.91 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 18653 47 0 0 25 0 11 0 489856173 857620480 25517 4294967295 134512640 134569956 3221224400 3221214776 1131301753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 25517 13073 16 0 209364 0 vsize: 837520 [startup+210.054 s] Raw data (loadavg): 1.11 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 19597 47 0 0 25 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214888 1131519316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26375 13073 16 0 209364 0 vsize: 837520 [startup+220.054 s] Raw data (loadavg): 1.10 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 20578 48 0 0 24 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214688 1131312617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26375 13073 16 0 209364 0 vsize: 837520 [startup+230.055 s] Raw data (loadavg): 1.08 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 21561 48 0 0 25 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214688 1131312943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26375 13073 16 0 209364 0 vsize: 837520 [startup+240.055 s] Raw data (loadavg): 1.07 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 22543 48 0 0 25 0 11 0 489856173 857620480 26416 4294967295 134512640 134569956 3221224400 3221214688 1131312741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26416 13073 16 0 209364 0 vsize: 837520 [startup+250.056 s] Raw data (loadavg): 1.06 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 23533 48 0 0 25 0 11 0 489856173 857620480 26437 4294967295 134512640 134569956 3221224400 3221214776 1131518834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26437 13073 16 0 209364 0 vsize: 837520 [startup+260.056 s] Raw data (loadavg): 1.05 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 24525 48 0 0 25 0 11 0 489856173 857620480 26440 4294967295 134512640 134569956 3221224400 3221214688 1131312891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26440 13073 16 0 209364 0 vsize: 837520 [startup+270.056 s] Raw data (loadavg): 1.04 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 25518 48 0 0 25 0 11 0 489856173 857620480 26450 4294967295 134512640 134569956 3221224400 3221214776 1131517304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26450 13073 16 0 209364 0 vsize: 837520 [startup+280.056 s] Raw data (loadavg): 1.03 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 26514 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214728 1131315652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26461 13073 16 0 209364 0 vsize: 837520 [startup+290.057 s] Raw data (loadavg): 1.03 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 27511 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214688 1131312783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26461 13073 16 0 209364 0 vsize: 837520 [startup+300.061 s] Raw data (loadavg): 1.02 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 28506 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214776 1131519464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26461 13073 16 0 209364 0 vsize: 837520 [startup+310.062 s] Raw data (loadavg): 1.02 0.97 0.92 2/64 1373 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 29500 48 0 0 25 0 11 0 489856173 857620480 26465 4294967295 134512640 134569956 3221224400 3221214768 1131296799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209380 26465 13073 16 0 209364 0 vsize: 837520 [startup+320.064 s] Raw data (loadavg): 1.02 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 30447 49 0 0 25 0 11 0 489856173 858669056 26675 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 26675 13073 16 0 209620 0 vsize: 838544 [startup+330.065 s] Raw data (loadavg): 1.01 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 31382 49 0 0 25 0 11 0 489856173 858669056 26677 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 26677 13073 16 0 209620 0 vsize: 838544 [startup+340.065 s] Raw data (loadavg): 1.01 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 32316 49 0 0 25 0 11 0 489856173 858669056 26679 4294967295 134512640 134569956 3221224400 3221214880 1131518094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 26679 13073 16 0 209620 0 vsize: 838544 [startup+350.066 s] Raw data (loadavg): 1.01 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 33251 50 0 0 25 0 11 0 489856173 858669056 26681 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 26681 13073 16 0 209620 0 vsize: 838544 [startup+360.067 s] Raw data (loadavg): 1.01 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 34237 50 0 0 25 0 11 0 489856173 858669056 27278 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27278 13073 16 0 209620 0 vsize: 838544 [startup+370.066 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1374 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 35231 50 0 0 25 0 11 0 489856173 858669056 27288 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27288 13073 16 0 209620 0 vsize: 838544 [startup+380.068 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1375 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 36186 51 0 0 25 0 11 0 489856173 858669056 27288 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27288 13073 16 0 209620 0 vsize: 838544 [startup+390.07 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1375 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 37121 51 0 0 25 0 11 0 489856173 858669056 27289 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27289 13073 16 0 209620 0 vsize: 838544 [startup+400.07 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1375 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 38056 51 0 0 25 0 11 0 489856173 858669056 27290 4294967295 134512640 134569956 3221224400 3221214768 1131301918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27290 13073 16 0 209620 0 vsize: 838544 [startup+410.073 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1375 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 38994 52 0 0 25 0 11 0 489856173 858669056 27870 4294967295 134512640 134569956 3221224400 3221214832 1131315637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27870 13073 16 0 209620 0 vsize: 838544 [startup+420.083 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 39957 52 0 0 25 0 11 0 489856173 858669056 27886 4294967295 134512640 134569956 3221224400 3221214768 1131301748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27886 13073 16 0 209620 0 vsize: 838544 [startup+430.094 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 40887 53 0 0 25 0 11 0 489856173 858669056 27887 4294967295 134512640 134569956 3221224400 3221214880 1131518009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27887 13073 16 0 209620 0 vsize: 838544 [startup+440.096 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 41817 54 0 0 25 0 11 0 489856173 858669056 27888 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27888 13073 16 0 209620 0 vsize: 838544 [startup+450.097 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 42747 54 0 0 25 0 11 0 489856173 858669056 27889 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 27889 13073 16 0 209620 0 vsize: 838544 [startup+460.097 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 43730 54 0 0 25 0 11 0 489856173 858669056 28466 4294967295 134512640 134569956 3221224400 3221214768 1131301881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28466 13073 16 0 209620 0 vsize: 838544 [startup+470.096 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1376 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 44723 54 0 0 25 0 11 0 489856173 858669056 28475 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28475 13073 16 0 209620 0 vsize: 838544 [startup+480.097 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1377 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 45685 55 0 0 25 0 11 0 489856173 858669056 28480 4294967295 134512640 134569956 3221224400 3221214768 1131301751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28480 13073 16 0 209620 0 vsize: 838544 [startup+490.097 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1377 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 46618 56 0 0 25 0 11 0 489856173 858669056 28480 4294967295 134512640 134569956 3221224400 3221214880 1131519413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28480 13073 16 0 209620 0 vsize: 838544 [startup+500.098 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1377 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 47551 56 0 0 25 0 11 0 489856173 858669056 28482 4294967295 134512640 134569956 3221224400 3221214792 1131312983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28482 13073 16 0 209620 0 vsize: 838544 [startup+510.099 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1377 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 48483 57 0 0 25 0 11 0 489856173 858669056 28797 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 28797 13073 16 0 209620 0 vsize: 838544 [startup+520.099 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1377 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 49469 57 0 0 25 0 11 0 489856173 858669056 29194 4294967295 134512640 134569956 3221224400 3221214792 1131312600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29194 13073 16 0 209620 0 vsize: 838544 [startup+530.1 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 50454 58 0 0 25 0 11 0 489856173 858669056 29210 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29210 13073 16 0 209620 0 vsize: 838544 [startup+540.1 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 51399 58 0 0 25 0 11 0 489856173 858669056 29210 4294967295 134512640 134569956 3221224400 3221214792 1131312931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29210 13073 16 0 209620 0 vsize: 838544 [startup+550.101 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 52346 58 0 0 25 0 11 0 489856173 858669056 29211 4294967295 134512640 134569956 3221224400 3221214880 1131517286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29211 13073 16 0 209620 0 vsize: 838544 [startup+560.102 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 53292 59 0 0 25 0 11 0 489856173 858669056 29213 4294967295 134512640 134569956 3221224400 3221214776 1131293326 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29213 13073 16 0 209620 0 vsize: 838544 [startup+570.102 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 54263 59 0 0 25 0 11 0 489856173 858669056 29712 4294967295 134512640 134569956 3221224400 3221214832 1131316009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29712 13073 16 0 209620 0 vsize: 838544 [startup+580.103 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1378 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 55258 60 0 0 25 0 11 0 489856173 858669056 29716 4294967295 134512640 134569956 3221224400 3221214768 1131301753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29716 13073 16 0 209620 0 vsize: 838544 [startup+590.103 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1379 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 56228 60 0 0 25 0 11 0 489856173 858669056 29717 4294967295 134512640 134569956 3221224400 3221214880 1131517286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29717 13073 16 0 209620 0 vsize: 838544 [startup+600.104 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1379 Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 57159 60 0 0 25 0 11 0 489856173 858669056 29717 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29717 13073 16 0 209620 0 vsize: 838544 [startup+610.104 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1379 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 58088 61 0 0 25 0 11 0 489856173 858669056 29718 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29718 13073 16 0 209620 0 vsize: 838544 [startup+620.104 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1379 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 59013 61 0 0 25 0 11 0 489856173 858669056 29719 4294967295 134512640 134569956 3221224400 3221214880 1131518892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 29719 13073 16 0 209620 0 vsize: 838544 [startup+630.105 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1379 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 59979 61 0 0 25 0 11 0 489856173 858669056 30334 4294967295 134512640 134569956 3221224400 3221214792 1131313626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30334 13073 16 0 209620 0 vsize: 838544 [startup+640.105 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 60927 61 0 0 25 0 11 0 489856173 858669056 30339 4294967295 134512640 134569956 3221224400 3221214792 1131312699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30339 13073 16 0 209620 0 vsize: 838544 [startup+650.106 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 61864 62 0 0 25 0 11 0 489856173 858669056 30340 4294967295 134512640 134569956 3221224400 3221214832 1131315637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30340 13073 16 0 209620 0 vsize: 838544 [startup+660.106 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 62799 62 0 0 25 0 11 0 489856173 858669056 30343 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30343 13073 16 0 209620 0 vsize: 838544 [startup+670.106 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 63744 62 0 0 25 0 11 0 489856173 858669056 30843 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30843 13073 16 0 209620 0 vsize: 838544 [startup+680.107 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 64732 63 0 0 25 0 11 0 489856173 858669056 30871 4294967295 134512640 134569956 3221224400 3221214876 1131301728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30871 13073 16 0 209620 0 vsize: 838544 [startup+690.107 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1380 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 65724 63 0 0 25 0 11 0 489856173 858669056 30890 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30890 13073 16 0 209620 0 vsize: 838544 [startup+700.108 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1381 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 66662 64 0 0 25 0 11 0 489856173 858669056 30891 4294967295 134512640 134569956 3221224400 3221214768 1131301893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30891 13073 16 0 209620 0 vsize: 838544 [startup+710.109 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1381 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 67596 65 0 0 25 0 11 0 489856173 858669056 30893 4294967295 134512640 134569956 3221224400 3221214792 1131312687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30893 13073 16 0 209620 0 vsize: 838544 [startup+720.108 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1381 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 68532 65 0 0 25 0 11 0 489856173 858669056 30895 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 30895 13073 16 0 209620 0 vsize: 838544 [startup+730.109 s] Raw data (loadavg): 1.00 0.97 0.92 2/64 1381 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 69485 65 0 0 25 0 11 0 489856173 858669056 31778 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 31778 13073 16 0 209620 0 vsize: 838544 [startup+740.111 s] Raw data (loadavg): 1.00 0.97 0.92 2/68 1386 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 70458 66 0 0 25 0 11 0 489856173 858669056 31785 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 31785 13073 16 0 209620 0 vsize: 838544 [startup+750.112 s] Raw data (loadavg): 1.15 1.01 0.93 2/64 1435 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 71397 67 0 0 25 0 11 0 489856173 858669056 31786 4294967295 134512640 134569956 3221224400 3221214872 1131296782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31786 13073 16 0 209620 0 vsize: 838544 [startup+760.113 s] Raw data (loadavg): 1.13 1.01 0.93 2/64 1435 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 72343 67 0 0 25 0 11 0 489856173 858669056 31788 4294967295 134512640 134569956 3221224400 3221214768 1131301911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 31788 13073 16 0 209620 0 vsize: 838544 [startup+770.113 s] Raw data (loadavg): 1.11 1.00 0.93 2/64 1435 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 73289 67 0 0 25 0 11 0 489856173 858669056 31789 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 31789 13073 16 0 209620 0 vsize: 838544 [startup+780.115 s] Raw data (loadavg): 1.09 1.00 0.93 2/64 1435 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 74271 68 0 0 25 0 11 0 489856173 858669056 32284 4294967295 134512640 134569956 3221224400 3221214792 1131312783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32284 13073 16 0 209620 0 vsize: 838544 [startup+790.116 s] Raw data (loadavg): 1.08 1.00 0.93 2/64 1436 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 75212 68 0 0 25 0 11 0 489856173 858669056 32286 4294967295 134512640 134569956 3221224400 3221214792 1131313724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32286 13073 16 0 209620 0 vsize: 838544 [startup+800.117 s] Raw data (loadavg): 1.06 1.00 0.93 2/64 1436 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 76157 69 0 0 25 0 11 0 489856173 858669056 32287 4294967295 134512640 134569956 3221224400 3221214880 1131517507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32287 13073 16 0 209620 0 vsize: 838544 [startup+810.118 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 1436 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 77103 69 0 0 25 0 11 0 489856173 858669056 32288 4294967295 134512640 134569956 3221224400 3221214792 1131312891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32288 13073 16 0 209620 0 vsize: 838544 [startup+820.118 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 1438 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 78067 70 0 0 25 0 11 0 489856173 858669056 32782 4294967295 134512640 134569956 3221224400 3221214792 1131312658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32782 13073 16 0 209620 0 vsize: 838544 [startup+830.119 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 1439 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 79026 70 0 0 25 0 11 0 489856173 858669056 32783 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32783 13073 16 0 209620 0 vsize: 838544 [startup+840.12 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 1439 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 79970 70 0 0 25 0 11 0 489856173 858669056 32783 4294967295 134512640 134569956 3221224400 3221214792 1131313693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32783 13073 16 0 209620 0 vsize: 838544 [startup+850.129 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 1439 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 80917 71 0 0 25 0 11 0 489856173 858669056 32784 4294967295 134512640 134569956 3221224400 3221214880 1131517521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32784 13073 16 0 209620 0 vsize: 838544 [startup+860.13 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 1439 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 81867 71 0 0 25 0 11 0 489856173 858669056 33261 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33261 13073 16 0 209620 0 vsize: 838544 [startup+870.13 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 82842 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214792 1131312931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33279 13073 16 0 209620 0 vsize: 838544 [startup+880.132 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 83761 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33279 13073 16 0 209620 0 vsize: 838544 [startup+890.132 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 84688 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33279 13073 16 0 209620 0 vsize: 838544 [startup+900.136 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 85607 73 0 0 25 0 11 0 489856173 858669056 33280 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33280 13073 16 0 209620 0 vsize: 838544 [startup+910.147 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 86564 73 0 0 25 0 11 0 489856173 858669056 33968 4294967295 134512640 134569956 3221224400 3221214792 1131313015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33968 13073 16 0 209620 0 vsize: 838544 [startup+920.148 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 1440 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 87556 74 0 0 25 0 11 0 489856173 858669056 33978 4294967295 134512640 134569956 3221224400 3221214880 1131519007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33978 13073 16 0 209620 0 vsize: 838544 [startup+930.148 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1441 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 88525 74 0 0 25 0 11 0 489856173 858669056 33992 4294967295 134512640 134569956 3221224400 3221214880 1131518817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33992 13073 16 0 209620 0 vsize: 838544 [startup+940.149 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1441 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 89461 74 0 0 25 0 11 0 489856173 858669056 33992 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33992 13073 16 0 209620 0 vsize: 838544 [startup+950.151 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1441 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 90394 74 0 0 25 0 11 0 489856173 858669056 33993 4294967295 134512640 134569956 3221224400 3221214880 1131518892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33993 13073 16 0 209620 0 vsize: 838544 [startup+960.152 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1441 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 91328 75 0 0 25 0 11 0 489856173 858669056 33995 4294967295 134512640 134569956 3221224400 3221214768 1131302346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33995 13073 16 0 209620 0 vsize: 838544 [startup+970.152 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 1441 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 92307 75 0 0 25 0 10 0 489856173 858669056 34535 4294967295 134512640 134569956 3221224400 3221214928 1131256822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 34535 13073 16 0 209620 0 vsize: 838544 [startup+980.156 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1442 Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 93247 76 0 0 25 0 11 0 489856173 858669056 34554 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 34554 13073 16 0 209620 0 vsize: 838544 [startup+990.156 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1442 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 94195 76 0 0 25 0 11 0 489856173 858669056 34555 4294967295 134512640 134569956 3221224400 3221214768 1131301779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 34555 13073 16 0 209620 0 vsize: 838544 [startup+1000.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1442 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 95132 77 0 0 25 0 11 0 489856173 858669056 34556 4294967295 134512640 134569956 3221224400 3221214880 1131518094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 34556 13073 16 0 209620 0 vsize: 838544 [startup+1010.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1442 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 96097 77 0 0 25 0 11 0 489856173 858669056 35055 4294967295 134512640 134569956 3221224400 3221214792 1131312589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35055 13073 16 0 209620 0 vsize: 838544 [startup+1020.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1442 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 97092 77 0 0 25 0 11 0 489856173 858669056 35058 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35058 13073 16 0 209620 0 vsize: 838544 [startup+1030.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1443 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 98079 78 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214768 1131301909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35059 13073 16 0 209620 0 vsize: 838544 [startup+1040.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1443 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 99020 79 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214768 1131301748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35059 13073 16 0 209620 0 vsize: 838544 [startup+1050.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1443 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 99963 79 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214792 1131312724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35059 13073 16 0 209620 0 vsize: 838544 [startup+1060.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1443 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 100907 79 0 0 25 0 11 0 489856173 858669056 35060 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35060 13073 16 0 209620 0 vsize: 838544 [startup+1070.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1445 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 101875 79 0 0 25 0 11 0 489856173 858669056 35559 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35559 13073 16 0 209620 0 vsize: 838544 [startup+1080.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1445 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 102870 80 0 0 25 0 11 0 489856173 858669056 35562 4294967295 134512640 134569956 3221224400 3221214792 1131312793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 35562 13073 16 0 209620 0 vsize: 838544 [startup+1090.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1446 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 103845 80 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214792 1131312917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37223 13073 16 0 209620 0 vsize: 838544 [startup+1100.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1446 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 104835 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37223 13073 16 0 209620 0 vsize: 838544 [startup+1110.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1446 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 105825 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214768 1131301836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37223 13073 16 0 209620 0 vsize: 838544 [startup+1120.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1446 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 106816 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37223 13073 16 0 209620 0 vsize: 838544 [startup+1130.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1446 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 107809 82 0 0 25 0 11 0 489856173 858669056 37247 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37247 13073 16 0 209620 0 vsize: 838544 [startup+1140.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 108803 82 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214880 1131517301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37257 13073 16 0 209620 0 vsize: 838544 [startup+1150.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 109744 83 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214792 1131312943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37257 13073 16 0 209620 0 vsize: 838544 [startup+1160.18 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 110686 83 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214792 1131312631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37257 13073 16 0 209620 0 vsize: 838544 [startup+1170.18 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 111625 84 0 0 25 0 11 0 489856173 858669056 37259 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37259 13073 16 0 209620 0 vsize: 838544 [startup+1180.18 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 112592 84 0 0 25 0 11 0 489856173 858669056 37757 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37757 13073 16 0 209620 0 vsize: 838544 [startup+1190.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1447 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 113584 85 0 0 25 0 11 0 489856173 858669056 37761 4294967295 134512640 134569956 3221224400 3221214880 1131517440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37761 13073 16 0 209620 0 vsize: 838544 [startup+1200.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1448 Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 114540 85 0 0 25 0 11 0 489856173 858669056 37762 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37762 13073 16 0 209620 0 vsize: 838544 [startup+1210.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1448 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 115482 86 0 0 25 0 11 0 489856173 858669056 37762 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37762 13073 16 0 209620 0 vsize: 838544 [startup+1220.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1448 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 116425 86 0 0 25 0 11 0 489856173 858669056 37764 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 37764 13073 16 0 209620 0 vsize: 838544 [startup+1230.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1448 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 117370 86 0 0 25 0 11 0 489856173 858669056 38252 4294967295 134512640 134569956 3221224400 3221214792 1131312852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 38252 13073 16 0 209620 0 vsize: 838544 [startup+1240.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1449 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 118341 87 0 0 25 0 11 0 489856173 858669056 38263 4294967295 134512640 134569956 3221224400 3221214880 1131517301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 38263 13073 16 0 209620 0 vsize: 838544 [startup+1250.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1449 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 119283 87 0 0 24 0 11 0 489856173 858669056 38265 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 38265 13073 16 0 209620 0 vsize: 838544 [startup+1260.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 1449 Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 120223 87 0 0 24 0 11 0 489856173 858669056 38268 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 38268 13073 16 0 209620 0 vsize: 838544 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.29 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 1450 Raw data (stat): 1363 (java) Z 1362 24215 24214 0 -1 1036 18024 24589 1 0 120225 94 6582 69 25 0 1 0 489856173 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1260.29 CPU time (s): 1269.73 CPU user time (s): 1268.09 CPU system time (s): 1.64675 CPU usage (%): 100.75 Max. virtual memory (Kb): 838544 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####