Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb |
MD5SUM | a75eaaeeef32947fd9ba7cf4d126c00a |
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 | 31855 |
Biggest coefficient in the objective function | 524288000000000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 3494440607063922925 |
Number of bits of the sum of numbers in the objective function | 62 |
Biggest number in a constraint | 524288000000000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 3507240607063922925 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.302953 |
Number of variables | 31855 |
Total number of constraints | 7680 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6416 |
Number of constraints which are nor clauses,nor cardinality constraints | 1264 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31855 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-20 22:00:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20302 boxname=wulflinc19 idbench=1562 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a75eaaeeef32947fd9ba7cf4d126c00a /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-trento1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-trento1.opb IDLAUNCH: 20302 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 647856 kB Buffers: 34416 kB Cached: 318116 kB SwapCached: 660 kB Active: 95960 kB Inactive: 258788 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 647604 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5200 kB Slab: 26404 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-20 22:21:12 (client local time) WITH STATUS 143 IN 1256.24 SECONDS stats: 20302 7 1256.24 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-trento1.opb c reading problem c [nbvar=31855] c [nbconstr=7680] c time 294.956 c #vars 31855 c #clauses 2513 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 #### 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.90 0.90 0.89 1/55 15496 Raw data (stat): 15496 (runsolver) D 15495 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 539867561 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.92 0.90 0.89 2/64 15505 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 836 41 0 0 24 0 10 0 539867561 853983232 19202 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208492 19202 13073 16 0 208476 0 vsize: 833968 [startup+20.0019 s] Raw data (loadavg): 0.93 0.90 0.89 2/64 15505 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 1733 41 0 0 25 0 10 0 539867561 854798336 19831 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 19831 13073 16 0 208675 0 vsize: 834764 [startup+30.0071 s] Raw data (loadavg): 0.94 0.91 0.89 2/64 15505 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 2631 41 0 0 25 0 10 0 539867561 854798336 20262 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 20262 13073 16 0 208675 0 vsize: 834764 [startup+40.0118 s] Raw data (loadavg): 0.95 0.91 0.89 2/64 15505 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 3560 41 0 0 25 0 10 0 539867561 854798336 20493 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 20493 13073 16 0 208675 0 vsize: 834764 [startup+50.0132 s] Raw data (loadavg): 0.96 0.91 0.89 2/64 15505 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 4491 41 0 0 25 0 10 0 539867561 854798336 20613 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 20613 13073 16 0 208675 0 vsize: 834764 [startup+60.0135 s] Raw data (loadavg): 0.96 0.91 0.89 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 5424 42 0 0 25 0 10 0 539867561 854798336 20708 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 20708 13073 16 0 208675 0 vsize: 834764 [startup+70.0139 s] Raw data (loadavg): 0.97 0.92 0.89 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 6366 42 0 0 24 0 10 0 539867561 854798336 20942 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 20942 13073 16 0 208675 0 vsize: 834764 [startup+80.016 s] Raw data (loadavg): 0.97 0.92 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 7315 42 0 0 25 0 10 0 539867561 854798336 21017 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21017 13073 16 0 208675 0 vsize: 834764 [startup+90.0161 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 8262 42 0 0 24 0 10 0 539867561 854798336 21091 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21091 13073 16 0 208675 0 vsize: 834764 [startup+100.017 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 9212 43 0 0 25 0 10 0 539867561 854798336 21155 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21155 13073 16 0 208675 0 vsize: 834764 [startup+110.018 s] Raw data (loadavg): 0.98 0.92 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 10160 43 0 0 24 0 10 0 539867561 854798336 21218 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21218 13073 16 0 208675 0 vsize: 834764 [startup+120.018 s] Raw data (loadavg): 0.98 0.93 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 11111 43 0 0 25 0 10 0 539867561 854798336 21275 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21275 13073 16 0 208675 0 vsize: 834764 [startup+130.02 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 12061 43 0 0 25 0 10 0 539867561 854798336 21329 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21329 13073 16 0 208675 0 vsize: 834764 [startup+140.021 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 13008 43 0 0 25 0 10 0 539867561 854798336 21384 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21384 13073 16 0 208675 0 vsize: 834764 [startup+150.022 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 13959 43 0 0 25 0 10 0 539867561 854798336 21433 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21433 13073 16 0 208675 0 vsize: 834764 [startup+160.022 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 14905 43 0 0 25 0 10 0 539867561 854798336 21485 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21485 13073 16 0 208675 0 vsize: 834764 [startup+170.022 s] Raw data (loadavg): 0.99 0.94 0.90 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 15846 43 0 0 25 0 10 0 539867561 854798336 21530 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21530 13073 16 0 208675 0 vsize: 834764 [startup+180.022 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 16773 43 0 0 25 0 10 0 539867561 854798336 21575 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21575 13073 16 0 208675 0 vsize: 834764 [startup+190.023 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 17709 44 0 0 25 0 10 0 539867561 854798336 21874 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21874 13073 16 0 208675 0 vsize: 834764 [startup+200.024 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 18651 44 0 0 24 0 10 0 539867561 854798336 21919 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208691 21919 13073 16 0 208675 0 vsize: 834764 [startup+210.024 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 19597 45 0 0 25 0 10 0 539867561 854798336 21960 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 21960 13073 16 0 208675 0 vsize: 834764 [startup+220.026 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 20539 45 0 0 24 0 10 0 539867561 854798336 22004 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 22004 13073 16 0 208675 0 vsize: 834764 [startup+230.027 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 21484 45 0 0 25 0 10 0 539867561 854798336 22043 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 22043 13073 16 0 208675 0 vsize: 834764 [startup+240.027 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 22429 45 0 0 25 0 10 0 539867561 854798336 22081 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 22081 13073 16 0 208675 0 vsize: 834764 [startup+250.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 23369 46 0 0 25 0 10 0 539867561 854798336 22121 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 22121 13073 16 0 208675 0 vsize: 834764 [startup+260.029 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 24314 46 0 0 25 0 10 0 539867561 854798336 22157 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208691 22157 13073 16 0 208675 0 vsize: 834764 [startup+270.029 s] Raw data (loadavg): 0.99 0.95 0.91 2/64 15507 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 25257 46 0 0 25 0 10 0 539867561 854528000 22128 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208625 22128 13073 16 0 208609 0 vsize: 834500 [startup+280.052 s] Raw data (loadavg): 0.99 0.95 0.91 3/64 15509 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17993 0 1 0 26178 46 0 0 25 0 10 0 539867561 858669056 23041 4294967295 134512640 134569956 3221224400 3221213896 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23041 13073 16 0 209620 0 vsize: 838544 [startup+290.053 s] Raw data (loadavg): 1.07 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17997 0 1 0 27065 47 0 0 25 0 10 0 539867561 869392384 25921 4294967295 134512640 134569956 3221224400 3221214248 1131326578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212254 25921 13073 16 0 212238 0 vsize: 849016 [startup+300.054 s] Raw data (loadavg): 1.06 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18020 0 1 0 27945 49 0 0 25 0 10 0 539867561 870268928 33290 4294967295 134512640 134569956 3221224400 3221214736 1131481234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212468 33290 13073 16 0 212452 0 vsize: 849872 [startup+310.054 s] Raw data (loadavg): 1.05 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 28939 49 0 0 25 0 10 0 539867561 859090944 30640 4294967295 134512640 134569956 3221224400 3221214736 1131481227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209739 30640 13073 16 0 209723 0 vsize: 838956 [startup+320.062 s] Raw data (loadavg): 1.04 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 29931 49 0 0 25 0 10 0 539867561 859090944 30641 4294967295 134512640 134569956 3221224400 3221214840 1131532492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209739 30641 13073 16 0 209723 0 vsize: 838956 [startup+330.07 s] Raw data (loadavg): 1.03 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 30922 49 0 0 25 0 10 0 539867561 859090944 30641 4294967295 134512640 134569956 3221224400 3221214752 1131351139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209739 30641 13073 16 0 209723 0 vsize: 838956 [startup+340.07 s] Raw data (loadavg): 1.03 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 31913 49 0 0 25 0 10 0 539867561 859090944 30646 4294967295 134512640 134569956 3221224400 3221214840 1131532492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209739 30646 13073 16 0 209723 0 vsize: 838956 [startup+350.071 s] Raw data (loadavg): 1.02 0.97 0.91 2/64 15511 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 32903 49 0 0 25 0 10 0 539867561 859090944 30653 4294967295 134512640 134569956 3221224400 3221214752 1131252796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209739 30653 13073 16 0 209723 0 vsize: 838956 [startup+360.071 s] Raw data (loadavg): 1.02 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 33887 50 0 0 25 0 11 0 539867561 859619328 30675 4294967295 134512640 134569956 3221224400 3221214704 1131351401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30675 13073 16 0 209852 0 vsize: 839472 [startup+370.074 s] Raw data (loadavg): 1.02 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 34870 50 0 0 25 0 11 0 539867561 859619328 30684 4294967295 134512640 134569956 3221224400 3221214792 1131533188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30684 13073 16 0 209852 0 vsize: 839472 [startup+380.085 s] Raw data (loadavg): 1.01 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 35850 50 0 0 24 0 11 0 539867561 859619328 30695 4294967295 134512640 134569956 3221224400 3221214792 1131534524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30695 13073 16 0 209852 0 vsize: 839472 [startup+390.085 s] Raw data (loadavg): 1.01 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 36830 50 0 0 25 0 11 0 539867561 859619328 30710 4294967295 134512640 134569956 3221224400 3221214788 1131352306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30710 13073 16 0 209852 0 vsize: 839472 [startup+400.085 s] Raw data (loadavg): 1.01 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 37810 50 0 0 25 0 11 0 539867561 859619328 30732 4294967295 134512640 134569956 3221224400 3221214792 1131533355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30732 13073 16 0 209852 0 vsize: 839472 [startup+410.086 s] Raw data (loadavg): 1.01 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 38786 50 0 0 24 0 11 0 539867561 859619328 30747 4294967295 134512640 134569956 3221224400 3221214704 1131351218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30747 13073 16 0 209852 0 vsize: 839472 [startup+420.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 39765 50 0 0 25 0 11 0 539867561 859619328 30765 4294967295 134512640 134569956 3221224400 3221214688 1131481223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30765 13073 16 0 209852 0 vsize: 839472 [startup+430.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 40743 50 0 0 25 0 11 0 539867561 859619328 30794 4294967295 134512640 134569956 3221224400 3221214792 1131532492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30794 13073 16 0 209852 0 vsize: 839472 [startup+440.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 41719 51 0 0 24 0 11 0 539867561 859619328 30821 4294967295 134512640 134569956 3221224400 3221214792 1131532492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30821 13073 16 0 209852 0 vsize: 839472 [startup+450.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 42700 51 0 0 25 0 11 0 539867561 859619328 30843 4294967295 134512640 134569956 3221224400 3221214792 1131534524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30843 13073 16 0 209852 0 vsize: 839472 [startup+460.103 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 43681 51 0 0 25 0 11 0 539867561 859619328 30865 4294967295 134512640 134569956 3221224400 3221214792 1131531088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30865 13073 16 0 209852 0 vsize: 839472 [startup+470.103 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 44661 51 0 0 24 0 11 0 539867561 859619328 30898 4294967295 134512640 134569956 3221224400 3221214792 1131532510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30898 13073 16 0 209852 0 vsize: 839472 [startup+480.104 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 45645 51 0 0 25 0 11 0 539867561 859619328 30921 4294967295 134512640 134569956 3221224400 3221214704 1131351471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30921 13073 16 0 209852 0 vsize: 839472 [startup+490.104 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 46629 51 0 0 25 0 11 0 539867561 859619328 30944 4294967295 134512640 134569956 3221224400 3221214792 1131534328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30944 13073 16 0 209852 0 vsize: 839472 [startup+500.105 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 47609 51 0 0 25 0 11 0 539867561 859619328 30967 4294967295 134512640 134569956 3221224400 3221214704 1131351381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30967 13073 16 0 209852 0 vsize: 839472 [startup+510.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 48593 51 0 0 25 0 11 0 539867561 859619328 30980 4294967295 134512640 134569956 3221224400 3221214704 1131351381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 30980 13073 16 0 209852 0 vsize: 839472 [startup+520.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 49577 51 0 0 25 0 11 0 539867561 859619328 31005 4294967295 134512640 134569956 3221224400 3221214704 1131351150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31005 13073 16 0 209852 0 vsize: 839472 [startup+530.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 50563 51 0 0 25 0 11 0 539867561 859619328 31032 4294967295 134512640 134569956 3221224400 3221214788 1131276802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31032 13073 16 0 209852 0 vsize: 839472 [startup+540.131 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 51553 51 0 0 25 0 11 0 539867561 859619328 31045 4294967295 134512640 134569956 3221224400 3221214784 1131276764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31045 13073 16 0 209852 0 vsize: 839472 [startup+550.132 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 52540 51 0 0 25 0 11 0 539867561 859619328 31058 4294967295 134512640 134569956 3221224400 3221214792 1131531032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31058 13073 16 0 209852 0 vsize: 839472 [startup+560.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 53529 51 0 0 25 0 11 0 539867561 859619328 31069 4294967295 134512640 134569956 3221224400 3221214704 1131351218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31069 13073 16 0 209852 0 vsize: 839472 [startup+570.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15512 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 54517 52 0 0 25 0 11 0 539867561 859619328 31078 4294967295 134512640 134569956 3221224400 3221214792 1131532010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31078 13073 16 0 209852 0 vsize: 839472 [startup+580.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 55505 52 0 0 25 0 11 0 539867561 859619328 31089 4294967295 134512640 134569956 3221224400 3221214704 1131352142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31089 13073 16 0 209852 0 vsize: 839472 [startup+590.133 s] Raw data (loadavg): 1.00 0.97 0.91 3/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18064 0 1 0 56481 52 0 0 25 0 11 0 539867561 859619328 31137 4294967295 134512640 134569956 3221224400 3221214748 1130893306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31137 13073 16 0 209852 0 vsize: 839472 [startup+600.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 57405 52 0 0 25 0 11 0 539867561 859619328 31206 4294967295 134512640 134569956 3221224400 3221214732 1080203752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31206 13073 16 0 209852 0 vsize: 839472 [startup+610.134 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 58345 52 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214744 1131598168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31670 13073 16 0 209852 0 vsize: 839472 [startup+620.134 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 59336 53 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214672 1131567597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31670 13073 16 0 209852 0 vsize: 839472 [startup+630.135 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 60324 53 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214744 1131598251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31670 13073 16 0 209852 0 vsize: 839472 [startup+640.136 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 61313 53 0 0 25 0 11 0 539867561 859619328 31678 4294967295 134512640 134569956 3221224400 3221214632 1131733499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31678 13073 16 0 209852 0 vsize: 839472 [startup+650.136 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 62312 53 0 0 25 0 11 0 539867561 859619328 31682 4294967295 134512640 134569956 3221224400 3221214664 1131737898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31682 13073 16 0 209852 0 vsize: 839472 [startup+660.137 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 63310 53 0 0 25 0 11 0 539867561 859619328 31682 4294967295 134512640 134569956 3221224400 3221214704 1131737898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31682 13073 16 0 209852 0 vsize: 839472 [startup+670.137 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 64274 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214744 1131598880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31683 13073 16 0 209852 0 vsize: 839472 [startup+680.138 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 65218 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214608 1131581217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31683 13073 16 0 209852 0 vsize: 839472 [startup+690.139 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 66162 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214608 1131581643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31683 13073 16 0 209852 0 vsize: 839472 [startup+700.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 67125 54 0 0 25 0 11 0 539867561 859619328 31798 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31798 13073 16 0 209852 0 vsize: 839472 [startup+710.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 68115 55 0 0 25 0 11 0 539867561 859619328 31798 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31798 13073 16 0 209852 0 vsize: 839472 [startup+720.19 s] Raw data (loadavg): 1.00 0.97 0.91 3/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 69109 55 0 0 25 0 11 0 539867561 859619328 31801 4294967295 134512640 134569956 3221224400 3221214744 1130917144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31801 13073 16 0 209852 0 vsize: 839472 [startup+730.19 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 70037 55 0 0 24 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214672 1131567077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31805 13073 16 0 209852 0 vsize: 839472 [startup+740.19 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 70959 55 0 0 25 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214744 1131296279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 31805 13073 16 0 209852 0 vsize: 839472 [startup+750.191 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 71920 56 0 0 25 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214584 1131764776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 31805 13073 16 0 209852 0 vsize: 839472 [startup+760.191 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 72868 56 0 0 25 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32141 13073 16 0 209852 0 vsize: 839472 [startup+770.191 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 73801 56 0 0 24 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214676 1080204282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32141 13073 16 0 209852 0 vsize: 839472 [startup+780.192 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 74742 56 0 0 25 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214672 1131567077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32141 13073 16 0 209852 0 vsize: 839472 [startup+790.193 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 75705 56 0 0 25 0 11 0 539867561 859619328 32293 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32293 13073 16 0 209852 0 vsize: 839472 [startup+800.194 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 76664 57 0 0 25 0 11 0 539867561 859619328 32293 4294967295 134512640 134569956 3221224400 3221214672 1131567292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32293 13073 16 0 209852 0 vsize: 839472 [startup+810.194 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 77645 57 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214664 1131562512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+820.195 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 78635 57 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214744 1131598605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+830.196 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 79621 58 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+840.196 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 80610 58 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214848 1131555517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+850.197 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 81599 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214728 1131586313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+860.198 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 82586 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214744 1131599997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+870.199 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15514 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 83576 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214664 1131562574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+880.2 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 84565 60 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214616 1131587438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+890.205 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 85552 60 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214672 1131568868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32729 13073 16 0 209852 0 vsize: 839472 [startup+900.212 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 86543 61 0 0 20 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131749363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32730 13073 16 0 209852 0 vsize: 839472 [startup+910.212 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 87537 61 0 0 25 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131751115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32730 13073 16 0 209852 0 vsize: 839472 [startup+920.213 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 88530 62 0 0 25 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131749363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32730 13073 16 0 209852 0 vsize: 839472 [startup+930.214 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 89524 62 0 0 25 0 11 0 539867561 859619328 32731 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32731 13073 16 0 209852 0 vsize: 839472 [startup+940.213 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 90518 63 0 0 25 0 11 0 539867561 859619328 32731 4294967295 134512640 134569956 3221224400 3221214680 1131742320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32731 13073 16 0 209852 0 vsize: 839472 [startup+950.214 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 91514 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214680 1131748636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32782 13073 16 0 209852 0 vsize: 839472 [startup+960.215 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 92511 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214568 1131296151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32782 13073 16 0 209852 0 vsize: 839472 [startup+970.215 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 93509 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214576 1131296162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 32782 13073 16 0 209852 0 vsize: 839472 [startup+980.216 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 94506 64 0 0 25 0 11 0 539867561 859619328 32783 4294967295 134512640 134569956 3221224400 3221214680 1131750318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 32783 13073 16 0 209852 0 vsize: 839472 [startup+990.216 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 95503 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214576 1131296664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32784 13073 16 0 209852 0 vsize: 839472 [startup+1000.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 96500 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214672 1131662311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32784 13073 16 0 209852 0 vsize: 839472 [startup+1010.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 97498 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214680 1131750284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32784 13073 16 0 209852 0 vsize: 839472 [startup+1020.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 98495 66 0 0 25 0 11 0 539867561 859619328 32785 4294967295 134512640 134569956 3221224400 3221214568 1131296151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32785 13073 16 0 209852 0 vsize: 839472 [startup+1030.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 99492 66 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1040.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 100490 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1050.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 101488 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1060.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 102485 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1070.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 103483 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131748636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1080.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 104480 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1090.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 105478 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1100.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 106475 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1110.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 107473 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1120.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 108471 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131295941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1130.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 109469 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1140.22 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 110466 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131750318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1150.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 111463 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1160.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 112461 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1170.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15516 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 113459 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1180.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 114456 71 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1190.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 115452 71 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1200.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 116450 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1210.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 117448 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131750262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1220.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 118446 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1230.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 119444 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 [startup+1240.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 15518 Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 120441 73 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209868 32787 13073 16 0 209852 0 vsize: 839472 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.35 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 15520 Raw data (stat): 15496 (java) Z 15495 22929 22928 0 -1 1036 18067 23655 1 0 120446 79 5031 66 25 0 1 0 539867561 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): 1240.35 CPU time (s): 1256.24 CPU user time (s): 1254.78 CPU system time (s): 1.45878 CPU usage (%): 101.281 Max. virtual memory (Kb): 849872 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####