Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
MD5SUM | 1c0d08e5657c85ec3afe3a7738817cf3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 364 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 774 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 774 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 774 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 130.714 |
Number of variables | 774 |
Total number of constraints | 7493 |
Number of constraints which are clauses | 7493 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-13 16:36:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1449 boxname=wulflinc5 idbench=161 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 1c0d08e5657c85ec3afe3a7738817cf3 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e4.opb IDLAUNCH: 1449 /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: 933072 kB Buffers: 31656 kB Cached: 48420 kB SwapCached: 2272 kB Active: 42940 kB Inactive: 42236 kB HighTotal: 131008 kB HighFree: 78708 kB LowTotal: 903652 kB LowFree: 854364 kB SwapTotal: 2097136 kB SwapFree: 2094864 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 10732 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:56:55 (client local time) WITH STATUS 143 IN SECONDS stats: 1449 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e4.opb c reading problem c [nbvar=774] c [nbconstr=7493] c time 4.592 c #vars 774 c #clauses 7493 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=379 c Current CPU time (ms) : 31.137 c starts : 3 c conflicts : 336 c decisions : 2908 c propagations : 67388 c inspects : 376154 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 336 c root simplifications : 3 c c CURRENT OPTIMUM=378 c Current CPU time (ms) : 31.651 c starts : 4 c conflicts : 338 c decisions : 2941 c propagations : 68345 c inspects : 383234 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 338 c root simplifications : 4 c c CURRENT OPTIMUM=377 c Current CPU time (ms) : 45.759 c starts : 6 c conflicts : 518 c decisions : 3343 c propagations : 95521 c inspects : 553228 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 518 c root simplifications : 6 c c CURRENT OPTIMUM=365 c Current CPU time (ms) : 47.06 c starts : 7 c conflicts : 519 c decisions : 3510 c propagations : 96510 c inspects : 561417 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 519 c root simplifications : 7 #### 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.99 1.00 0.91 2/54 24841 Raw data (stat): 24841 (runsolver) R 24840 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419216496 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 1.15 1.03 0.92 4/64 24851 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 14254 0 1 0 566 34 0 0 25 0 11 0 419216496 871292928 18626 4294967295 134512640 134569956 3221224416 3221214848 1130893403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212718 18626 13073 16 0 212702 0 vsize: 850872 [startup+20.0011 s] Raw data (loadavg): 1.28 1.06 0.93 2/64 24851 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 0 1 0 1342 43 0 0 25 0 11 0 419216496 874954752 25236 4294967295 134512640 134569956 3221224416 3221214912 1131610332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 25236 13073 16 0 213596 0 vsize: 854448 [startup+30.0013 s] Raw data (loadavg): 1.31 1.08 0.94 2/64 24851 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 0 1 0 2295 44 0 0 25 0 11 0 419216496 876003328 26296 4294967295 134512640 134569956 3221224416 3221214864 1131321343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213868 26296 13073 16 0 213852 0 vsize: 855472 [startup+40.0049 s] Raw data (loadavg): 1.27 1.07 0.94 2/64 24853 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18088 4 1 0 3253 44 0 0 25 0 11 0 419216496 874954752 26013 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26013 13073 16 0 213596 0 vsize: 854448 [startup+50.0076 s] Raw data (loadavg): 1.30 1.09 0.94 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18088 4 1 0 4193 44 0 0 25 0 11 0 419216496 874954752 26483 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26483 13073 16 0 213596 0 vsize: 854448 [startup+60.0076 s] Raw data (loadavg): 1.25 1.08 0.94 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 4 1 0 5138 44 0 0 25 0 11 0 419216496 874954752 26646 4294967295 134512640 134569956 3221224416 3221214688 1131211030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26646 13073 16 0 213596 0 vsize: 854448 [startup+70.0087 s] Raw data (loadavg): 1.21 1.08 0.94 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 4 1 0 6081 44 0 0 25 0 11 0 419216496 874954752 26646 4294967295 134512640 134569956 3221224416 3221214792 1131424794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26646 13073 16 0 213596 0 vsize: 854448 [startup+80.0095 s] Raw data (loadavg): 1.18 1.08 0.94 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 4 1 0 7022 44 0 0 25 0 11 0 419216496 874954752 26723 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26723 13073 16 0 213596 0 vsize: 854448 [startup+90.0098 s] Raw data (loadavg): 1.23 1.09 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18088 4 1 0 7966 44 0 0 25 0 11 0 419216496 874954752 26973 4294967295 134512640 134569956 3221224416 3221214688 1131709105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 26973 13073 16 0 213596 0 vsize: 854448 [startup+100.01 s] Raw data (loadavg): 1.20 1.09 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 8912 44 0 0 25 0 11 0 419216496 874954752 27317 4294967295 134512640 134569956 3221224416 3221214584 1131723705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 27317 13073 16 0 213596 0 vsize: 854448 [startup+110.011 s] Raw data (loadavg): 1.16 1.08 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 9857 45 0 0 25 0 11 0 419216496 874954752 27386 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 27386 13073 16 0 213596 0 vsize: 854448 [startup+120.012 s] Raw data (loadavg): 1.14 1.08 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 10802 45 0 0 25 0 11 0 419216496 874954752 27467 4294967295 134512640 134569956 3221224416 3221214688 1131709059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 27467 13073 16 0 213596 0 vsize: 854448 [startup+130.012 s] Raw data (loadavg): 1.12 1.08 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 11748 45 0 0 25 0 11 0 419216496 874954752 27554 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 27554 13073 16 0 213596 0 vsize: 854448 [startup+140.013 s] Raw data (loadavg): 1.10 1.08 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 12688 46 0 0 25 0 11 0 419216496 874954752 27709 4294967295 134512640 134569956 3221224416 3221214584 1131725215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 27709 13073 16 0 213596 0 vsize: 854448 [startup+150.013 s] Raw data (loadavg): 1.08 1.07 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 13638 46 0 0 25 0 11 0 419216496 874954752 28027 4294967295 134512640 134569956 3221224416 3221214592 1131238984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28027 13073 16 0 213596 0 vsize: 854448 [startup+160.014 s] Raw data (loadavg): 1.07 1.07 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 14589 46 0 0 25 0 11 0 419216496 874954752 28162 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28162 13073 16 0 213596 0 vsize: 854448 [startup+170.014 s] Raw data (loadavg): 1.06 1.07 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 15545 46 0 0 25 0 11 0 419216496 874954752 28277 4294967295 134512640 134569956 3221224416 3221214688 1131211305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28277 13073 16 0 213596 0 vsize: 854448 [startup+180.013 s] Raw data (loadavg): 1.05 1.06 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 16499 47 0 0 25 0 11 0 419216496 874954752 28344 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28344 13073 16 0 213596 0 vsize: 854448 [startup+190.015 s] Raw data (loadavg): 1.04 1.06 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 17448 47 0 0 25 0 11 0 419216496 874954752 28455 4294967295 134512640 134569956 3221224416 3221214784 1131331436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28455 13073 16 0 213596 0 vsize: 854448 [startup+200.016 s] Raw data (loadavg): 1.03 1.06 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 18406 47 0 0 25 0 11 0 419216496 874954752 28657 4294967295 134512640 134569956 3221224416 3221214688 1131210757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28657 13073 16 0 213596 0 vsize: 854448 [startup+210.015 s] Raw data (loadavg): 1.03 1.06 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 19376 47 0 0 25 0 11 0 419216496 874954752 28747 4294967295 134512640 134569956 3221224416 3221214688 1131211373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28747 13073 16 0 213596 0 vsize: 854448 [startup+220.016 s] Raw data (loadavg): 1.02 1.05 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 20345 47 0 0 25 0 11 0 419216496 874954752 28841 4294967295 134512640 134569956 3221224416 3221214784 1131332449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28841 13073 16 0 213596 0 vsize: 854448 [startup+230.017 s] Raw data (loadavg): 1.02 1.05 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 21318 48 0 0 25 0 11 0 419216496 874954752 28913 4294967295 134512640 134569956 3221224416 3221214688 1131210862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28913 13073 16 0 213596 0 vsize: 854448 [startup+240.017 s] Raw data (loadavg): 1.02 1.05 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 22291 48 0 0 25 0 11 0 419216496 874954752 28946 4294967295 134512640 134569956 3221224416 3221214688 1131238741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 28946 13073 16 0 213596 0 vsize: 854448 [startup+250.018 s] Raw data (loadavg): 1.01 1.05 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 23265 48 0 0 25 0 11 0 419216496 874954752 29004 4294967295 134512640 134569956 3221224416 3221214688 1131211185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29004 13073 16 0 213596 0 vsize: 854448 [startup+260.018 s] Raw data (loadavg): 1.01 1.05 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 24235 48 0 0 25 0 11 0 419216496 874954752 29074 4294967295 134512640 134569956 3221224416 3221214688 1131210753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29074 13073 16 0 213596 0 vsize: 854448 [startup+270.018 s] Raw data (loadavg): 1.01 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 25213 49 0 0 25 0 11 0 419216496 874954752 29113 4294967295 134512640 134569956 3221224416 3221214784 1131331250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29113 13073 16 0 213596 0 vsize: 854448 [startup+280.019 s] Raw data (loadavg): 1.01 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 26183 49 0 0 25 0 11 0 419216496 874954752 29163 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29163 13073 16 0 213596 0 vsize: 854448 [startup+290.021 s] Raw data (loadavg): 1.01 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 27159 50 0 0 25 0 11 0 419216496 874954752 29217 4294967295 134512640 134569956 3221224416 3221214840 1131147813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29217 13073 16 0 213596 0 vsize: 854448 [startup+300.021 s] Raw data (loadavg): 1.00 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 28135 50 0 0 25 0 11 0 419216496 874954752 29245 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29245 13073 16 0 213596 0 vsize: 854448 [startup+310.021 s] Raw data (loadavg): 1.00 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 29111 51 0 0 25 0 11 0 419216496 874954752 29293 4294967295 134512640 134569956 3221224416 3221214688 1131210779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29293 13073 16 0 213596 0 vsize: 854448 [startup+320.021 s] Raw data (loadavg): 1.00 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 30088 51 0 0 25 0 11 0 419216496 874954752 29324 4294967295 134512640 134569956 3221224416 3221214784 1131334903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29324 13073 16 0 213596 0 vsize: 854448 [startup+330.021 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 31060 51 0 0 20 0 11 0 419216496 874954752 29366 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29366 13073 16 0 213596 0 vsize: 854448 [startup+340.022 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 32033 51 0 0 25 0 11 0 419216496 874954752 29408 4294967295 134512640 134569956 3221224416 3221214688 1131211070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29408 13073 16 0 213596 0 vsize: 854448 [startup+350.023 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 33004 52 0 0 25 0 11 0 419216496 874954752 29441 4294967295 134512640 134569956 3221224416 3221214784 1131332324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29441 13073 16 0 213596 0 vsize: 854448 [startup+360.023 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 33975 52 0 0 25 0 11 0 419216496 874954752 29490 4294967295 134512640 134569956 3221224416 3221214864 1131321479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29490 13073 16 0 213596 0 vsize: 854448 [startup+370.024 s] Raw data (loadavg): 1.07 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 34950 53 0 0 25 0 11 0 419216496 874954752 29543 4294967295 134512640 134569956 3221224416 3221214688 1131210757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29543 13073 16 0 213596 0 vsize: 854448 [startup+380.024 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 35925 53 0 0 25 0 11 0 419216496 874954752 29608 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29608 13073 16 0 213596 0 vsize: 854448 [startup+390.025 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 36901 53 0 0 25 0 11 0 419216496 874954752 29626 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29626 13073 16 0 213596 0 vsize: 854448 [startup+400.026 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 37874 54 0 0 25 0 11 0 419216496 874954752 29657 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29657 13073 16 0 213596 0 vsize: 854448 [startup+410.026 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 38851 54 0 0 25 0 11 0 419216496 874954752 29713 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29713 13073 16 0 213596 0 vsize: 854448 [startup+420.028 s] Raw data (loadavg): 1.03 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 39828 54 0 0 25 0 11 0 419216496 874954752 29755 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29755 13073 16 0 213596 0 vsize: 854448 [startup+430.028 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 40807 55 0 0 25 0 11 0 419216496 874954752 29794 4294967295 134512640 134569956 3221224416 3221214688 1131211727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29794 13073 16 0 213596 0 vsize: 854448 [startup+440.029 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 41784 55 0 0 25 0 11 0 419216496 874954752 29832 4294967295 134512640 134569956 3221224416 3221214784 1131332344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29832 13073 16 0 213596 0 vsize: 854448 [startup+450.03 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 42764 55 0 0 25 0 11 0 419216496 874954752 29864 4294967295 134512640 134569956 3221224416 3221214704 1131147801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29864 13073 16 0 213596 0 vsize: 854448 [startup+460.03 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 43743 56 0 0 25 0 11 0 419216496 874954752 29900 4294967295 134512640 134569956 3221224416 3221214616 1131243588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29900 13073 16 0 213596 0 vsize: 854448 [startup+470.03 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 44722 56 0 0 25 0 11 0 419216496 874954752 29921 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29921 13073 16 0 213596 0 vsize: 854448 [startup+480.031 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 45699 56 0 0 24 0 11 0 419216496 874954752 29952 4294967295 134512640 134569956 3221224416 3221214688 1131211120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29952 13073 16 0 213596 0 vsize: 854448 [startup+490.032 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 46679 57 0 0 25 0 11 0 419216496 874954752 29993 4294967295 134512640 134569956 3221224416 3221214784 1131333095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 29993 13073 16 0 213596 0 vsize: 854448 [startup+500.032 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 47652 57 0 0 24 0 11 0 419216496 874954752 30035 4294967295 134512640 134569956 3221224416 3221214688 1131211317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30035 13073 16 0 213596 0 vsize: 854448 [startup+510.033 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 48630 57 0 0 25 0 11 0 419216496 874954752 30071 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 30071 13073 16 0 213596 0 vsize: 854448 [startup+520.034 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 49605 58 0 0 25 0 11 0 419216496 874954752 30097 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30097 13073 16 0 213596 0 vsize: 854448 [startup+530.034 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 50579 58 0 0 25 0 11 0 419216496 874954752 30109 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 30109 13073 16 0 213596 0 vsize: 854448 [startup+540.035 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 51548 58 0 0 24 0 11 0 419216496 874954752 30155 4294967295 134512640 134569956 3221224416 3221214784 1131331983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30155 13073 16 0 213596 0 vsize: 854448 [startup+550.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 52523 58 0 0 24 0 11 0 419216496 874954752 30201 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30201 13073 16 0 213596 0 vsize: 854448 [startup+560.035 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 53499 59 0 0 25 0 11 0 419216496 874954752 30247 4294967295 134512640 134569956 3221224416 3221214784 1131332311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30247 13073 16 0 213596 0 vsize: 854448 [startup+570.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 54475 59 0 0 25 0 11 0 419216496 874954752 30295 4294967295 134512640 134569956 3221224416 3221214864 1131321360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30295 13073 16 0 213596 0 vsize: 854448 [startup+580.037 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 55451 60 0 0 25 0 11 0 419216496 874954752 30321 4294967295 134512640 134569956 3221224416 3221214784 1131331250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30321 13073 16 0 213596 0 vsize: 854448 [startup+590.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 56423 60 0 0 25 0 11 0 419216496 874954752 30379 4294967295 134512640 134569956 3221224416 3221214840 1131438039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30379 13073 16 0 213596 0 vsize: 854448 [startup+600.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 57397 60 0 0 25 0 11 0 419216496 874954752 30421 4294967295 134512640 134569956 3221224416 3221214688 1131210978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30421 13073 16 0 213596 0 vsize: 854448 [startup+610.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 58366 60 0 0 25 0 11 0 419216496 874954752 30456 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30456 13073 16 0 213596 0 vsize: 854448 [startup+620.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 59340 60 0 0 25 0 11 0 419216496 874954752 30505 4294967295 134512640 134569956 3221224416 3221214688 1131211084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30505 13073 16 0 213596 0 vsize: 854448 [startup+630.038 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 60313 60 0 0 25 0 11 0 419216496 874954752 30575 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30575 13073 16 0 213596 0 vsize: 854448 [startup+640.039 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 61286 61 0 0 25 0 11 0 419216496 874954752 30632 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30632 13073 16 0 213596 0 vsize: 854448 [startup+650.039 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 62260 61 0 0 25 0 11 0 419216496 874954752 30684 4294967295 134512640 134569956 3221224416 3221214784 1131332256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30684 13073 16 0 213596 0 vsize: 854448 [startup+660.039 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 63233 61 0 0 25 0 11 0 419216496 874954752 30727 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30727 13073 16 0 213596 0 vsize: 854448 [startup+670.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 64204 61 0 0 25 0 11 0 419216496 874954752 30775 4294967295 134512640 134569956 3221224416 3221214784 1131332198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30775 13073 16 0 213596 0 vsize: 854448 [startup+680.039 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 65177 62 0 0 25 0 11 0 419216496 874954752 30833 4294967295 134512640 134569956 3221224416 3221214688 1131211213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30833 13073 16 0 213596 0 vsize: 854448 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 66150 62 0 0 24 0 11 0 419216496 874954752 30875 4294967295 134512640 134569956 3221224416 3221214688 1131210793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30875 13073 16 0 213596 0 vsize: 854448 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 67126 62 0 0 25 0 11 0 419216496 874954752 30915 4294967295 134512640 134569956 3221224416 3221214688 1131210945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30915 13073 16 0 213596 0 vsize: 854448 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 68102 63 0 0 25 0 11 0 419216496 874954752 30959 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30959 13073 16 0 213596 0 vsize: 854448 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 69077 63 0 0 25 0 11 0 419216496 874954752 30991 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 30991 13073 16 0 213596 0 vsize: 854448 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 70052 64 0 0 25 0 11 0 419216496 874954752 31029 4294967295 134512640 134569956 3221224416 3221214688 1131211403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31029 13073 16 0 213596 0 vsize: 854448 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 71028 64 0 0 25 0 11 0 419216496 874954752 31053 4294967295 134512640 134569956 3221224416 3221214784 1131331250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31053 13073 16 0 213596 0 vsize: 854448 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 72002 64 0 0 25 0 11 0 419216496 874954752 31083 4294967295 134512640 134569956 3221224416 3221214688 1131210753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31083 13073 16 0 213596 0 vsize: 854448 [startup+760.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 72977 65 0 0 25 0 11 0 419216496 874954752 31117 4294967295 134512640 134569956 3221224416 3221214784 1131331257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31117 13073 16 0 213596 0 vsize: 854448 [startup+770.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 73950 65 0 0 25 0 11 0 419216496 874954752 31146 4294967295 134512640 134569956 3221224416 3221214780 1131210739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31146 13073 16 0 213596 0 vsize: 854448 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 74920 65 0 0 25 0 11 0 419216496 874954752 31180 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31180 13073 16 0 213596 0 vsize: 854448 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 75893 65 0 0 25 0 11 0 419216496 874954752 31243 4294967295 134512640 134569956 3221224416 3221214688 1131210793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31243 13073 16 0 213596 0 vsize: 854448 [startup+800.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 76865 66 0 0 25 0 11 0 419216496 874954752 31281 4294967295 134512640 134569956 3221224416 3221214784 1131331250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31281 13073 16 0 213596 0 vsize: 854448 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 77842 66 0 0 25 0 11 0 419216496 874954752 31326 4294967295 134512640 134569956 3221224416 3221214688 1131211420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31326 13073 16 0 213596 0 vsize: 854448 [startup+820.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 78815 67 0 0 25 0 11 0 419216496 874954752 31367 4294967295 134512640 134569956 3221224416 3221214688 1131210793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31367 13073 16 0 213596 0 vsize: 854448 [startup+830.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 79790 67 0 0 24 0 11 0 419216496 874954752 31405 4294967295 134512640 134569956 3221224416 3221214688 1131210786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31405 13073 16 0 213596 0 vsize: 854448 [startup+840.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 80764 67 0 0 25 0 11 0 419216496 874954752 31431 4294967295 134512640 134569956 3221224416 3221214688 1131211298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31431 13073 16 0 213596 0 vsize: 854448 [startup+850.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 81738 67 0 0 25 0 11 0 419216496 874954752 31451 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31451 13073 16 0 213596 0 vsize: 854448 [startup+860.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 82711 68 0 0 25 0 11 0 419216496 874954752 31485 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31485 13073 16 0 213596 0 vsize: 854448 [startup+870.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 83686 68 0 0 25 0 11 0 419216496 874954752 31532 4294967295 134512640 134569956 3221224416 3221214688 1131211785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213612 31532 13073 16 0 213596 0 vsize: 854448 [startup+880.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 84653 68 0 0 25 0 11 0 419216496 874954752 31573 4294967295 134512640 134569956 3221224416 3221214688 1131211021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31573 13073 16 0 213596 0 vsize: 854448 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 85626 69 0 0 25 0 11 0 419216496 874954752 31595 4294967295 134512640 134569956 3221224416 3221214864 1131321191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31595 13073 16 0 213596 0 vsize: 854448 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 86596 69 0 0 25 0 11 0 419216496 874954752 31627 4294967295 134512640 134569956 3221224416 3221214784 1131330945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31627 13073 16 0 213596 0 vsize: 854448 [startup+910.054 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 87566 69 0 0 25 0 11 0 419216496 874954752 31699 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31699 13073 16 0 213596 0 vsize: 854448 [startup+920.054 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 88541 69 0 0 25 0 11 0 419216496 874954752 31714 4294967295 134512640 134569956 3221224416 3221214688 1131211135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31714 13073 16 0 213596 0 vsize: 854448 [startup+930.055 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) S 24840 24215 24214 0 -1 0 18089 4 1 0 89506 69 0 0 25 0 11 0 419216496 874954752 31778 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31778 13073 16 0 213596 0 vsize: 854448 [startup+940.056 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 90478 70 0 0 25 0 11 0 419216496 874954752 31792 4294967295 134512640 134569956 3221224416 3221214864 1131321191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31792 13073 16 0 213596 0 vsize: 854448 [startup+950.057 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 91445 70 0 0 25 0 11 0 419216496 874954752 31808 4294967295 134512640 134569956 3221224416 3221214784 1131332324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31808 13073 16 0 213596 0 vsize: 854448 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 92406 71 0 0 24 0 11 0 419216496 874954752 31839 4294967295 134512640 134569956 3221224416 3221214688 1131210757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31839 13073 16 0 213596 0 vsize: 854448 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 93372 71 0 0 25 0 11 0 419216496 874954752 31861 4294967295 134512640 134569956 3221224416 3221214784 1131331087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31861 13073 16 0 213596 0 vsize: 854448 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 94334 71 0 0 25 0 11 0 419216496 874954752 31955 4294967295 134512640 134569956 3221224416 3221214784 1131332344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 31955 13073 16 0 213596 0 vsize: 854448 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 95299 72 0 0 25 0 11 0 419216496 874954752 32067 4294967295 134512640 134569956 3221224416 3221214688 1131211084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32067 13073 16 0 213596 0 vsize: 854448 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 96265 72 0 0 25 0 11 0 419216496 874954752 32130 4294967295 134512640 134569956 3221224416 3221214880 1131577240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32130 13073 16 0 213596 0 vsize: 854448 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 97213 73 0 0 25 0 11 0 419216496 874954752 32181 4294967295 134512640 134569956 3221224416 3221214848 1131580585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32181 13073 16 0 213596 0 vsize: 854448 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 98149 73 0 0 24 0 11 0 419216496 874954752 32232 4294967295 134512640 134569956 3221224416 3221214688 1131211690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32232 13073 16 0 213596 0 vsize: 854448 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 99089 74 0 0 25 0 11 0 419216496 874954752 32264 4294967295 134512640 134569956 3221224416 3221214688 1131709059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32264 13073 16 0 213596 0 vsize: 854448 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 100015 74 0 0 25 0 11 0 419216496 874954752 32405 4294967295 134512640 134569956 3221224416 3221214688 1131546796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32405 13073 16 0 213596 0 vsize: 854448 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 100939 74 0 0 25 0 11 0 419216496 874954752 32605 4294967295 134512640 134569956 3221224416 3221214584 1131722744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32605 13073 16 0 213596 0 vsize: 854448 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 101870 75 0 0 24 0 11 0 419216496 874954752 32803 4294967295 134512640 134569956 3221224416 3221214848 1131460120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 32803 13073 16 0 213596 0 vsize: 854448 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 102808 76 0 0 24 0 11 0 419216496 874954752 33069 4294967295 134512640 134569956 3221224416 3221214688 1131210745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33069 13073 16 0 213596 0 vsize: 854448 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 103751 76 0 0 25 0 11 0 419216496 874954752 33190 4294967295 134512640 134569956 3221224416 3221214688 1131211431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33190 13073 16 0 213596 0 vsize: 854448 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 104696 76 0 0 24 0 11 0 419216496 874954752 33375 4294967295 134512640 134569956 3221224416 3221214592 1131211686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33375 13073 16 0 213596 0 vsize: 854448 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 105650 77 0 0 25 0 11 0 419216496 874954752 33521 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33521 13073 16 0 213596 0 vsize: 854448 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 106605 77 0 0 25 0 11 0 419216496 874954752 33680 4294967295 134512640 134569956 3221224416 3221214688 1131210753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33680 13073 16 0 213596 0 vsize: 854448 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 107556 77 0 0 24 0 11 0 419216496 874954752 33801 4294967295 134512640 134569956 3221224416 3221214688 1131211317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33801 13073 16 0 213596 0 vsize: 854448 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 108517 78 0 0 25 0 11 0 419216496 874954752 33885 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33885 13073 16 0 213596 0 vsize: 854448 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 109467 78 0 0 25 0 11 0 419216496 874954752 33987 4294967295 134512640 134569956 3221224416 3221214784 1131331318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 33987 13073 16 0 213596 0 vsize: 854448 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 110416 79 0 0 25 0 11 0 419216496 874954752 34125 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34125 13073 16 0 213596 0 vsize: 854448 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 111372 79 0 0 25 0 11 0 419216496 874954752 34245 4294967295 134512640 134569956 3221224416 3221214504 1131139585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34245 13073 16 0 213596 0 vsize: 854448 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 112323 79 0 0 25 0 11 0 419216496 874954752 34367 4294967295 134512640 134569956 3221224416 3221214688 1131211363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34367 13073 16 0 213596 0 vsize: 854448 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 113277 79 0 0 25 0 11 0 419216496 874954752 34435 4294967295 134512640 134569956 3221224416 3221214560 1131733871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34435 13073 16 0 213596 0 vsize: 854448 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 114229 80 0 0 25 0 11 0 419216496 874954752 34580 4294967295 134512640 134569956 3221224416 3221214784 1131331250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34580 13073 16 0 213596 0 vsize: 854448 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 115181 80 0 0 25 0 11 0 419216496 874954752 34650 4294967295 134512640 134569956 3221224416 3221214688 1131211317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34650 13073 16 0 213596 0 vsize: 854448 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 116135 80 0 0 25 0 11 0 419216496 874954752 34798 4294967295 134512640 134569956 3221224416 3221214584 1131722768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34798 13073 16 0 213596 0 vsize: 854448 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 117093 80 0 0 25 0 11 0 419216496 874954752 34892 4294967295 134512640 134569956 3221224416 3221214688 1131210757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 34892 13073 16 0 213596 0 vsize: 854448 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 118046 81 0 0 25 0 11 0 419216496 874954752 35055 4294967295 134512640 134569956 3221224416 3221214784 1131332133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 35055 13073 16 0 213596 0 vsize: 854448 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 119006 81 0 0 25 0 11 0 419216496 874954752 35186 4294967295 134512640 134569956 3221224416 3221214592 1131239031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 35186 13073 16 0 213596 0 vsize: 854448 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 24855 Raw data (stat): 24841 (java) R 24840 24215 24214 0 -1 0 18089 4 1 0 119957 82 0 0 25 0 11 0 419216496 874954752 35245 4294967295 134512640 134569956 3221224416 3221214412 1076614592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213612 35245 13073 16 0 213596 0 vsize: 854448 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.15 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 24857 Raw data (stat): 24841 (java) Z 24840 24215 24214 0 -1 1036 18089 33382 1 0 119958 88 7386 93 25 0 1 0 419216496 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): 1250.15 CPU time (s): 1275.26 CPU user time (s): 1273.45 CPU system time (s): 1.81872 CPU usage (%): 102.009 Max. virtual memory (Kb): 855472 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####