Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb |
MD5SUM | fba76bbece6bbaf52b3b51d8d6e74147 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 310 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 660 |
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 | 660 |
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 | 660 |
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 | 1.02584 |
Number of variables | 660 |
Total number of constraints | 5350 |
Number of constraints which are clauses | 5350 |
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 wulflinc20 THE 2005-04-13 16:35:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1440 boxname=wulflinc20 idbench=160 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: fba76bbece6bbaf52b3b51d8d6e74147 /oldhome/oroussel/tmp/wulflinc20/normalized-ii32e3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-ii32e3.opb IDLAUNCH: 1440 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 913104 kB Buffers: 31060 kB Cached: 55180 kB SwapCached: 2636 kB Active: 38048 kB Inactive: 53640 kB HighTotal: 131008 kB HighFree: 72156 kB LowTotal: 903652 kB LowFree: 840948 kB SwapTotal: 2097892 kB SwapFree: 2095256 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 24420 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:56:47 (client local time) WITH STATUS 143 IN SECONDS stats: 1440 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-ii32e3.opb c reading problem c [nbvar=660] c [nbconstr=5350] c time 4.853 c #vars 660 c #clauses 5350 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=325 c Current CPU time (ms) : 36.941 c starts : 4 c conflicts : 528 c decisions : 3487 c propagations : 82031 c inspects : 403835 c learned literals : 0 c learned binary clauses : 12 c learned ternary clauses : 2 c learned clauses : 528 c root simplifications : 4 c c CURRENT OPTIMUM=324 c Current CPU time (ms) : 93.442 c starts : 10 c conflicts : 1861 c decisions : 6053 c propagations : 261130 c inspects : 1427689 c learned literals : 1 c learned binary clauses : 49 c learned ternary clauses : 17 c learned clauses : 1860 c root simplifications : 14 c c CURRENT OPTIMUM=321 c Current CPU time (ms) : 94.723 c starts : 11 c conflicts : 1874 c decisions : 6195 c propagations : 263258 c inspects : 1448279 c learned literals : 1 c learned binary clauses : 49 c learned ternary clauses : 17 c learned clauses : 1873 c root simplifications : 15 c c CURRENT OPTIMUM=319 c Current CPU time (ms) : 97.748 c starts : 12 c conflicts : 1896 c decisions : 6270 c propagations : 266608 c inspects : 1479385 c learned literals : 1 c learned binary clauses : 49 c learned ternary clauses : 17 c learned clauses : 1895 c root simplifications : 16 c c CURRENT OPTIMUM=318 c Current CPU time (ms) : 137.168 c starts : 15 c conflicts : 2219 c decisions : 6973 c propagations : 312014 c inspects : 1846565 c learned literals : 1 c learned binary clauses : 62 c learned ternary clauses : 19 c learned clauses : 2218 c root simplifications : 19 c c CURRENT OPTIMUM=315 c Current CPU time (ms) : 256.306 c starts : 19 c conflicts : 3024 c decisions : 8766 c propagations : 408161 c inspects : 2804640 c learned literals : 1 c learned binary clauses : 79 c learned ternary clauses : 35 c learned clauses : 3023 c root simplifications : 24 c c CURRENT OPTIMUM=312 c Current CPU time (ms) : 347.811 c starts : 21 c conflicts : 3234 c decisions : 9195 c propagations : 431485 c inspects : 3193032 c learned literals : 1 c learned binary clauses : 86 c learned ternary clauses : 38 c learned clauses : 3233 c root simplifications : 27 c c CURRENT OPTIMUM=311 c Current CPU time (ms) : 451.776 c starts : 23 c conflicts : 3368 c decisions : 9537 c propagations : 448677 c inspects : 3585452 c learned literals : 1 c learned binary clauses : 86 c learned ternary clauses : 41 c learned clauses : 3367 c root simplifications : 29 c c CURRENT OPTIMUM=310 c Current CPU time (ms) : 1140.876 c starts : 28 c conflicts : 4284 c decisions : 11053 c propagations : 555550 c inspects : 6236322 c learned literals : 1 c learned binary clauses : 113 c learned ternary clauses : 53 c learned clauses : 4283 c root simplifications : 35 #### 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.93 0.99 0.91 2/54 28279 Raw data (stat): 28279 (runsolver) R 28278 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477435961 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+9.99992 s] Raw data (loadavg): 1.25 1.06 0.93 4/64 28289 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 10559 0 1 0 636 23 0 0 25 0 11 0 477435961 869068800 14434 4294967295 134512640 134569956 3221224416 3221214896 1130895490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212175 14434 13073 16 0 212159 0 vsize: 848700 [startup+20.0001 s] Raw data (loadavg): 1.36 1.09 0.94 2/64 28289 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18082 0 1 0 1385 43 0 0 24 0 11 0 477435961 873873408 24500 4294967295 134512640 134569956 3221224416 3221214856 1131440275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213348 24500 13073 16 0 213332 0 vsize: 853392 [startup+30.0003 s] Raw data (loadavg): 1.38 1.10 0.95 2/64 28289 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18084 0 1 0 2342 43 0 0 25 0 11 0 477435961 870367232 24111 4294967295 134512640 134569956 3221224416 3221214896 1131687908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24111 13073 16 0 212476 0 vsize: 849968 [startup+40.001 s] Raw data (loadavg): 1.32 1.10 0.95 2/64 28290 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 3295 44 0 0 25 0 11 0 477435961 870367232 24713 4294967295 134512640 134569956 3221224416 3221214784 1131467470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 24713 13073 16 0 212476 0 vsize: 849968 [startup+50.0011 s] Raw data (loadavg): 1.42 1.13 0.96 2/64 28290 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 4259 44 0 0 25 0 11 0 477435961 871415808 25165 4294967295 134512640 134569956 3221224416 3221214680 1131624382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212748 25165 13073 16 0 212732 0 vsize: 850992 [startup+60.0014 s] Raw data (loadavg): 1.36 1.12 0.96 2/64 28290 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 5208 44 0 0 25 0 11 0 477435961 871415808 25627 4294967295 134512640 134569956 3221224416 3221214588 1076619280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212748 25627 13073 16 0 212732 0 vsize: 850992 [startup+70.0021 s] Raw data (loadavg): 1.30 1.12 0.96 2/64 28290 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 6170 44 0 0 25 0 11 0 477435961 871415808 26007 4294967295 134512640 134569956 3221224416 3221214688 1131257316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212748 26007 13073 16 0 212732 0 vsize: 850992 [startup+80.0023 s] Raw data (loadavg): 1.25 1.11 0.96 2/64 28290 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 7126 44 0 0 25 0 11 0 477435961 870367232 26177 4294967295 134512640 134569956 3221224416 3221214784 1131466737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26177 13073 16 0 212476 0 vsize: 849968 [startup+90.0057 s] Raw data (loadavg): 1.21 1.11 0.96 2/64 28290 Raw data (stat): 28279 (java) S 28278 27565 27564 0 -1 0 18085 4 1 0 8082 44 0 0 25 0 11 0 477435961 870367232 26571 4294967295 134512640 134569956 3221224416 3221213640 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26571 13073 16 0 212476 0 vsize: 849968 [startup+100.006 s] Raw data (loadavg): 1.18 1.11 0.96 2/64 28293 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 9021 44 0 0 25 0 11 0 477435961 870367232 26941 4294967295 134512640 134569956 3221224416 3221214664 1131300936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26941 13073 16 0 212476 0 vsize: 849968 [startup+110.006 s] Raw data (loadavg): 1.15 1.10 0.96 2/64 28293 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 9966 44 0 0 25 0 11 0 477435961 870367232 27112 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 27112 13073 16 0 212476 0 vsize: 849968 [startup+120.007 s] Raw data (loadavg): 1.13 1.10 0.96 2/64 28293 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 10906 44 0 0 25 0 11 0 477435961 870367232 27248 4294967295 134512640 134569956 3221224416 3221214768 1131465477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27248 13073 16 0 212476 0 vsize: 849968 [startup+130.006 s] Raw data (loadavg): 1.11 1.09 0.96 2/64 28293 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 11853 44 0 0 25 0 11 0 477435961 870367232 27379 4294967295 134512640 134569956 3221224416 3221214792 1131571991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27379 13073 16 0 212476 0 vsize: 849968 [startup+140.007 s] Raw data (loadavg): 1.09 1.09 0.96 2/64 28294 Raw data (stat): 28279 (java) S 28278 27565 27564 0 -1 0 18085 4 1 0 12797 45 0 0 25 0 11 0 477435961 870367232 27672 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27672 13073 16 0 212476 0 vsize: 849968 [startup+150.01 s] Raw data (loadavg): 1.08 1.09 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 13754 45 0 0 25 0 11 0 477435961 870367232 27927 4294967295 134512640 134569956 3221224416 3221214672 1131257484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27927 13073 16 0 212476 0 vsize: 849968 [startup+160.009 s] Raw data (loadavg): 1.06 1.08 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 14710 45 0 0 25 0 11 0 477435961 870367232 28051 4294967295 134512640 134569956 3221224416 3221214768 1131465424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28051 13073 16 0 212476 0 vsize: 849968 [startup+170.01 s] Raw data (loadavg): 1.05 1.08 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 15671 45 0 0 25 0 11 0 477435961 870367232 28177 4294967295 134512640 134569956 3221224416 3221214672 1131256485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28177 13073 16 0 212476 0 vsize: 849968 [startup+180.01 s] Raw data (loadavg): 1.05 1.08 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 16628 45 0 0 25 0 11 0 477435961 870367232 28362 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28362 13073 16 0 212476 0 vsize: 849968 [startup+190.011 s] Raw data (loadavg): 1.04 1.07 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 17590 45 0 0 25 0 11 0 477435961 870367232 28476 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28476 13073 16 0 212476 0 vsize: 849968 [startup+200.011 s] Raw data (loadavg): 1.03 1.07 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 18545 45 0 0 24 0 11 0 477435961 870367232 28575 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28575 13073 16 0 212476 0 vsize: 849968 [startup+210.012 s] Raw data (loadavg): 1.03 1.07 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 19504 45 0 0 25 0 11 0 477435961 870367232 28664 4294967295 134512640 134569956 3221224416 3221214768 1131465461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28664 13073 16 0 212476 0 vsize: 849968 [startup+220.013 s] Raw data (loadavg): 1.02 1.07 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 20463 45 0 0 25 0 11 0 477435961 870367232 28796 4294967295 134512640 134569956 3221224416 3221214680 1131624642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28796 13073 16 0 212476 0 vsize: 849968 [startup+230.012 s] Raw data (loadavg): 1.02 1.06 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18085 4 1 0 21417 45 0 0 25 0 11 0 477435961 870367232 28971 4294967295 134512640 134569956 3221224416 3221214680 1131152985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28971 13073 16 0 212476 0 vsize: 849968 [startup+240.015 s] Raw data (loadavg): 1.02 1.06 0.96 2/64 28294 Raw data (stat): 28279 (java) S 28278 27565 27564 0 -1 0 18085 4 1 0 22371 45 0 0 25 0 11 0 477435961 870367232 29136 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29136 13073 16 0 212476 0 vsize: 849968 [startup+250.016 s] Raw data (loadavg): 1.01 1.06 0.96 2/64 28294 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 23326 45 0 0 25 0 11 0 477435961 870367232 29274 4294967295 134512640 134569956 3221224416 3221214640 1131152985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29274 13073 16 0 212476 0 vsize: 849968 [startup+260.015 s] Raw data (loadavg): 1.01 1.06 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 24273 45 0 0 25 0 11 0 477435961 870367232 29388 4294967295 134512640 134569956 3221224416 3221214072 1132003842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29388 13073 16 0 212476 0 vsize: 849968 [startup+270.015 s] Raw data (loadavg): 1.01 1.05 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 25226 45 0 0 25 0 11 0 477435961 870367232 29466 4294967295 134512640 134569956 3221224416 3221214768 1131466737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29466 13073 16 0 212476 0 vsize: 849968 [startup+280.016 s] Raw data (loadavg): 1.01 1.05 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 26172 45 0 0 25 0 11 0 477435961 870367232 29557 4294967295 134512640 134569956 3221224416 3221214856 1131440275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29557 13073 16 0 212476 0 vsize: 849968 [startup+290.016 s] Raw data (loadavg): 1.00 1.05 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 27119 46 0 0 25 0 11 0 477435961 870367232 29662 4294967295 134512640 134569956 3221224416 3221214768 1131465477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29662 13073 16 0 212476 0 vsize: 849968 [startup+300.02 s] Raw data (loadavg): 1.00 1.05 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 28062 46 0 0 24 0 11 0 477435961 870367232 29824 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29824 13073 16 0 212476 0 vsize: 849968 [startup+310.021 s] Raw data (loadavg): 1.00 1.05 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 29017 46 0 0 25 0 11 0 477435961 870367232 30214 4294967295 134512640 134569956 3221224416 3221214768 1131467514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30214 13073 16 0 212476 0 vsize: 849968 [startup+320.022 s] Raw data (loadavg): 1.00 1.04 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 29989 46 0 0 25 0 11 0 477435961 870367232 30269 4294967295 134512640 134569956 3221224416 3221214768 1131466762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30269 13073 16 0 212476 0 vsize: 849968 [startup+330.022 s] Raw data (loadavg): 1.00 1.04 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 30961 46 0 0 25 0 11 0 477435961 870367232 30326 4294967295 134512640 134569956 3221224416 3221214792 1131573537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30326 13073 16 0 212476 0 vsize: 849968 [startup+340.023 s] Raw data (loadavg): 1.00 1.04 0.96 2/64 28295 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 31930 46 0 0 25 0 11 0 477435961 870367232 30403 4294967295 134512640 134569956 3221224416 3221214768 1131466741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30403 13073 16 0 212476 0 vsize: 849968 [startup+350.023 s] Raw data (loadavg): 1.00 1.04 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 32906 46 0 0 25 0 11 0 477435961 870367232 30435 4294967295 134512640 134569956 3221224416 3221214292 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30435 13073 16 0 212476 0 vsize: 849968 [startup+360.023 s] Raw data (loadavg): 1.00 1.04 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 33869 46 0 0 25 0 11 0 477435961 870367232 30476 4294967295 134512640 134569956 3221224416 3221214768 1131466733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30476 13073 16 0 212476 0 vsize: 849968 [startup+370.023 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 34825 47 0 0 25 0 11 0 477435961 870367232 30517 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30517 13073 16 0 212476 0 vsize: 849968 [startup+380.023 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 35774 47 0 0 25 0 11 0 477435961 870367232 30572 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30572 13073 16 0 212476 0 vsize: 849968 [startup+390.024 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 36724 47 0 0 25 0 11 0 477435961 870367232 30622 4294967295 134512640 134569956 3221224416 3221214180 1131894732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 30622 13073 16 0 212476 0 vsize: 849968 [startup+400.024 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 37683 47 0 0 25 0 11 0 477435961 870367232 31000 4294967295 134512640 134569956 3221224416 3221214768 1131467597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31000 13073 16 0 212476 0 vsize: 849968 [startup+410.024 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 38659 47 0 0 25 0 11 0 477435961 870367232 31048 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 31048 13073 16 0 212476 0 vsize: 849968 [startup+420.025 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 39635 47 0 0 25 0 11 0 477435961 870367232 31082 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31082 13073 16 0 212476 0 vsize: 849968 [startup+430.025 s] Raw data (loadavg): 1.00 1.03 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 40611 47 0 0 25 0 11 0 477435961 870367232 31121 4294967295 134512640 134569956 3221224416 3221214672 1131257487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31121 13073 16 0 212476 0 vsize: 849968 [startup+440.026 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 41593 47 0 0 25 0 11 0 477435961 870367232 31145 4294967295 134512640 134569956 3221224416 3221214768 1131466741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31145 13073 16 0 212476 0 vsize: 849968 [startup+450.027 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28296 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 42565 47 0 0 25 0 11 0 477435961 870367232 31180 4294967295 134512640 134569956 3221224416 3221214768 1131465597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31180 13073 16 0 212476 0 vsize: 849968 [startup+460.027 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 43548 47 0 0 25 0 11 0 477435961 870367232 31206 4294967295 134512640 134569956 3221224416 3221214672 1131256999 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31206 13073 16 0 212476 0 vsize: 849968 [startup+470.028 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 44519 47 0 0 24 0 11 0 477435961 870367232 31270 4294967295 134512640 134569956 3221224416 3221214244 1131895440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31270 13073 16 0 212476 0 vsize: 849968 [startup+480.028 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 45492 47 0 0 25 0 11 0 477435961 870367232 31292 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31292 13073 16 0 212476 0 vsize: 849968 [startup+490.029 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 46464 47 0 0 25 0 11 0 477435961 870367232 31322 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31322 13073 16 0 212476 0 vsize: 849968 [startup+500.03 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 47437 47 0 0 25 0 11 0 477435961 870367232 31370 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31370 13073 16 0 212476 0 vsize: 849968 [startup+510.029 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 48406 47 0 0 25 0 11 0 477435961 870367232 31491 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31491 13073 16 0 212476 0 vsize: 849968 [startup+520.03 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 49382 48 0 0 25 0 11 0 477435961 870367232 31545 4294967295 134512640 134569956 3221224416 3221214672 1131256449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31545 13073 16 0 212476 0 vsize: 849968 [startup+530.03 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 50358 48 0 0 25 0 11 0 477435961 870367232 31585 4294967295 134512640 134569956 3221224416 3221214768 1131465477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31585 13073 16 0 212476 0 vsize: 849968 [startup+540.03 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 51334 48 0 0 25 0 11 0 477435961 870367232 31613 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31613 13073 16 0 212476 0 vsize: 849968 [startup+550.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 52313 48 0 0 25 0 11 0 477435961 870367232 31641 4294967295 134512640 134569956 3221224416 3221214768 1131466673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31641 13073 16 0 212476 0 vsize: 849968 [startup+560.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 53288 48 0 0 25 0 11 0 477435961 870367232 31664 4294967295 134512640 134569956 3221224416 3221214376 1131997418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31664 13073 16 0 212476 0 vsize: 849968 [startup+570.032 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 54268 48 0 0 25 0 11 0 477435961 870367232 31698 4294967295 134512640 134569956 3221224416 3221214768 1131467514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31698 13073 16 0 212476 0 vsize: 849968 [startup+580.032 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 55241 48 0 0 25 0 11 0 477435961 870367232 31740 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31740 13073 16 0 212476 0 vsize: 849968 [startup+590.033 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 56217 48 0 0 25 0 11 0 477435961 870367232 31779 4294967295 134512640 134569956 3221224416 3221214768 1131466640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31779 13073 16 0 212476 0 vsize: 849968 [startup+600.036 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) S 28278 27565 27564 0 -1 0 18086 4 1 0 57196 48 0 0 25 0 11 0 477435961 870367232 31810 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31810 13073 16 0 212476 0 vsize: 849968 [startup+610.035 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 58172 48 0 0 25 0 11 0 477435961 870367232 31858 4294967295 134512640 134569956 3221224416 3221214672 1131257409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31858 13073 16 0 212476 0 vsize: 849968 [startup+620.036 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 59150 48 0 0 25 0 11 0 477435961 870367232 31879 4294967295 134512640 134569956 3221224416 3221214768 1131466773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31879 13073 16 0 212476 0 vsize: 849968 [startup+630.037 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 60127 48 0 0 25 0 11 0 477435961 870367232 31909 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31909 13073 16 0 212476 0 vsize: 849968 [startup+640.037 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 61101 48 0 0 25 0 11 0 477435961 870367232 31931 4294967295 134512640 134569956 3221224416 3221214672 1131256750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31931 13073 16 0 212476 0 vsize: 849968 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 62075 48 0 0 25 0 11 0 477435961 870367232 31974 4294967295 134512640 134569956 3221224416 3221214768 1131466800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 31974 13073 16 0 212476 0 vsize: 849968 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 63053 48 0 0 25 0 11 0 477435961 870367232 32013 4294967295 134512640 134569956 3221224416 3221214672 1131257499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32013 13073 16 0 212476 0 vsize: 849968 [startup+670.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 64028 49 0 0 25 0 11 0 477435961 870367232 32066 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32066 13073 16 0 212476 0 vsize: 849968 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 65006 49 0 0 25 0 11 0 477435961 870367232 32095 4294967295 134512640 134569956 3221224416 3221214768 1131465647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32095 13073 16 0 212476 0 vsize: 849968 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 65985 49 0 0 25 0 11 0 477435961 870367232 32129 4294967295 134512640 134569956 3221224416 3221214768 1131466800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32129 13073 16 0 212476 0 vsize: 849968 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 66964 49 0 0 25 0 11 0 477435961 870367232 32149 4294967295 134512640 134569956 3221224416 3221213688 1131895505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32149 13073 16 0 212476 0 vsize: 849968 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 67942 49 0 0 25 0 11 0 477435961 870367232 32163 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32163 13073 16 0 212476 0 vsize: 849968 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 68920 49 0 0 25 0 11 0 477435961 870367232 32180 4294967295 134512640 134569956 3221224416 3221214768 1131465519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32180 13073 16 0 212476 0 vsize: 849968 [startup+730.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 69898 49 0 0 25 0 11 0 477435961 870367232 32199 4294967295 134512640 134569956 3221224416 3221214672 1131256631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32199 13073 16 0 212476 0 vsize: 849968 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 70873 49 0 0 25 0 11 0 477435961 870367232 32236 4294967295 134512640 134569956 3221224416 3221214672 1131256618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32236 13073 16 0 212476 0 vsize: 849968 [startup+750.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 71851 49 0 0 25 0 11 0 477435961 870367232 32256 4294967295 134512640 134569956 3221224416 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32256 13073 16 0 212476 0 vsize: 849968 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 72829 49 0 0 25 0 11 0 477435961 870367232 32278 4294967295 134512640 134569956 3221224416 3221214768 1131465636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32278 13073 16 0 212476 0 vsize: 849968 [startup+770.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 73810 49 0 0 25 0 11 0 477435961 870367232 32289 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32289 13073 16 0 212476 0 vsize: 849968 [startup+780.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 74781 49 0 0 25 0 11 0 477435961 870367232 32322 4294967295 134512640 134569956 3221224416 3221214672 1131257401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32322 13073 16 0 212476 0 vsize: 849968 [startup+790.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 75760 49 0 0 25 0 11 0 477435961 870367232 32347 4294967295 134512640 134569956 3221224416 3221214768 1131466737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32347 13073 16 0 212476 0 vsize: 849968 [startup+800.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 76736 49 0 0 25 0 11 0 477435961 870367232 32374 4294967295 134512640 134569956 3221224416 3221214672 1131257499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32374 13073 16 0 212476 0 vsize: 849968 [startup+810.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 77716 49 0 0 25 0 11 0 477435961 870367232 32387 4294967295 134512640 134569956 3221224416 3221214672 1131257425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32387 13073 16 0 212476 0 vsize: 849968 [startup+820.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 78695 49 0 0 25 0 11 0 477435961 870367232 32397 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32397 13073 16 0 212476 0 vsize: 849968 [startup+830.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 79670 50 0 0 25 0 11 0 477435961 870367232 32412 4294967295 134512640 134569956 3221224416 3221214764 1131257695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32412 13073 16 0 212476 0 vsize: 849968 [startup+840.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 80645 50 0 0 25 0 11 0 477435961 870367232 32423 4294967295 134512640 134569956 3221224416 3221214672 1131256983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32423 13073 16 0 212476 0 vsize: 849968 [startup+850.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 81619 50 0 0 25 0 11 0 477435961 870367232 32453 4294967295 134512640 134569956 3221224416 3221214672 1131256902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 32453 13073 16 0 212476 0 vsize: 849968 [startup+860.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 82596 50 0 0 25 0 11 0 477435961 870367232 32492 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32492 13073 16 0 212476 0 vsize: 849968 [startup+870.051 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 83574 50 0 0 25 0 11 0 477435961 870367232 32515 4294967295 134512640 134569956 3221224416 3221214768 1131465616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32515 13073 16 0 212476 0 vsize: 849968 [startup+880.051 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 84552 50 0 0 25 0 11 0 477435961 870367232 32530 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32530 13073 16 0 212476 0 vsize: 849968 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 85527 50 0 0 24 0 11 0 477435961 870367232 32561 4294967295 134512640 134569956 3221224416 3221214672 1131256844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32561 13073 16 0 212476 0 vsize: 849968 [startup+900.053 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 86506 50 0 0 25 0 11 0 477435961 870367232 32574 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32574 13073 16 0 212476 0 vsize: 849968 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 87486 50 0 0 25 0 11 0 477435961 870367232 32593 4294967295 134512640 134569956 3221224416 3221213848 1132003821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32593 13073 16 0 212476 0 vsize: 849968 [startup+920.052 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 88464 50 0 0 25 0 11 0 477435961 870367232 32611 4294967295 134512640 134569956 3221224416 3221214768 1131465636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32611 13073 16 0 212476 0 vsize: 849968 [startup+930.053 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 89441 50 0 0 25 0 11 0 477435961 870367232 32629 4294967295 134512640 134569956 3221224416 3221214768 1131466737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32629 13073 16 0 212476 0 vsize: 849968 [startup+940.053 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 90418 50 0 0 25 0 11 0 477435961 870367232 32639 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32639 13073 16 0 212476 0 vsize: 849968 [startup+950.054 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 91398 50 0 0 25 0 11 0 477435961 870367232 32663 4294967295 134512640 134569956 3221224416 3221214768 1131465477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32663 13073 16 0 212476 0 vsize: 849968 [startup+960.054 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 92370 50 0 0 25 0 11 0 477435961 870367232 32698 4294967295 134512640 134569956 3221224416 3221214672 1131256805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32698 13073 16 0 212476 0 vsize: 849968 [startup+970.055 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 93350 50 0 0 25 0 11 0 477435961 870367232 32721 4294967295 134512640 134569956 3221224416 3221214768 1131467514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32721 13073 16 0 212476 0 vsize: 849968 [startup+980.054 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 94326 50 0 0 25 0 11 0 477435961 870367232 32743 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32743 13073 16 0 212476 0 vsize: 849968 [startup+990.055 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 95306 50 0 0 25 0 11 0 477435961 870367232 32764 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32764 13073 16 0 212476 0 vsize: 849968 [startup+1000.06 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 96282 50 0 0 25 0 11 0 477435961 870367232 32793 4294967295 134512640 134569956 3221224416 3221214768 1131466670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32793 13073 16 0 212476 0 vsize: 849968 [startup+1010.06 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 97258 51 0 0 25 0 11 0 477435961 870367232 32803 4294967295 134512640 134569956 3221224416 3221214672 1131256485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32803 13073 16 0 212476 0 vsize: 849968 [startup+1020.06 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 98234 51 0 0 25 0 11 0 477435961 870367232 32827 4294967295 134512640 134569956 3221224416 3221214672 1131256449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32827 13073 16 0 212476 0 vsize: 849968 [startup+1030.06 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 99213 51 0 0 25 0 11 0 477435961 870367232 32847 4294967295 134512640 134569956 3221224416 3221214672 1131257686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32847 13073 16 0 212476 0 vsize: 849968 [startup+1040.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 100189 51 0 0 25 0 11 0 477435961 870367232 32873 4294967295 134512640 134569956 3221224416 3221214672 1131256913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32873 13073 16 0 212476 0 vsize: 849968 [startup+1050.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 101168 51 0 0 25 0 11 0 477435961 870367232 32898 4294967295 134512640 134569956 3221224416 3221214768 1131465647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32898 13073 16 0 212476 0 vsize: 849968 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 102146 51 0 0 25 0 11 0 477435961 870367232 32915 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32915 13073 16 0 212476 0 vsize: 849968 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 103117 51 0 0 25 0 11 0 477435961 870367232 32935 4294967295 134512640 134569956 3221224416 3221214672 1131256457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32935 13073 16 0 212476 0 vsize: 849968 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 104092 51 0 0 25 0 11 0 477435961 870367232 32951 4294967295 134512640 134569956 3221224416 3221214768 1131465461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 32951 13073 16 0 212476 0 vsize: 849968 [startup+1090.06 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 105070 51 0 0 25 0 11 0 477435961 870367232 32968 4294967295 134512640 134569956 3221224416 3221214672 1131257085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 32968 13073 16 0 212476 0 vsize: 849968 [startup+1100.06 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 106046 51 0 0 25 0 11 0 477435961 870367232 33008 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33008 13073 16 0 212476 0 vsize: 849968 [startup+1110.06 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 107026 51 0 0 25 0 11 0 477435961 870367232 33022 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33022 13073 16 0 212476 0 vsize: 849968 [startup+1120.06 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 107998 51 0 0 25 0 11 0 477435961 870367232 33041 4294967295 134512640 134569956 3221224416 3221214768 1131465643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33041 13073 16 0 212476 0 vsize: 849968 [startup+1130.06 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 108974 51 0 0 25 0 11 0 477435961 870367232 33056 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33056 13073 16 0 212476 0 vsize: 849968 [startup+1140.06 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 28297 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 109949 51 0 0 25 0 11 0 477435961 870367232 33070 4294967295 134512640 134569956 3221224416 3221214072 1132003941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33070 13073 16 0 212476 0 vsize: 849968 [startup+1150.06 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 110924 51 0 0 25 0 11 0 477435961 870367232 33113 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33113 13073 16 0 212476 0 vsize: 849968 [startup+1160.06 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 111883 51 0 0 25 0 11 0 477435961 870367232 33125 4294967295 134512640 134569956 3221224416 3221214672 1131256485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33125 13073 16 0 212476 0 vsize: 849968 [startup+1170.07 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) S 28278 27565 27564 0 -1 0 18086 4 1 0 112840 51 0 0 25 0 11 0 477435961 870367232 33143 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33143 13073 16 0 212476 0 vsize: 849968 [startup+1180.07 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 113803 52 0 0 25 0 11 0 477435961 870367232 33163 4294967295 134512640 134569956 3221224416 3221214672 1131256453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33163 13073 16 0 212476 0 vsize: 849968 [startup+1190.07 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 114756 52 0 0 25 0 11 0 477435961 870367232 33192 4294967295 134512640 134569956 3221224416 3221214768 1131465683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33192 13073 16 0 212476 0 vsize: 849968 [startup+1200.07 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 115723 52 0 0 25 0 11 0 477435961 870367232 33486 4294967295 134512640 134569956 3221224416 3221214016 1132003941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33486 13073 16 0 212476 0 vsize: 849968 [startup+1210.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 116697 52 0 0 25 0 11 0 477435961 870367232 33510 4294967295 134512640 134569956 3221224416 3221214672 1131256853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33510 13073 16 0 212476 0 vsize: 849968 [startup+1220.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 117670 52 0 0 25 0 11 0 477435961 870367232 33530 4294967295 134512640 134569956 3221224416 3221214768 1131467553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33530 13073 16 0 212476 0 vsize: 849968 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 118639 52 0 0 25 0 11 0 477435961 870367232 33517 4294967295 134512640 134569956 3221224416 3221214356 1131997388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33517 13073 16 0 212476 0 vsize: 849968 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 119604 52 0 0 25 0 11 0 477435961 870367232 33537 4294967295 134512640 134569956 3221224416 3221214544 1131997642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33537 13073 16 0 212476 0 vsize: 849968 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28298 Raw data (stat): 28279 (java) R 28278 27565 27564 0 -1 0 18086 4 1 0 120544 52 0 0 25 0 11 0 477435961 870367232 33556 4294967295 134512640 134569956 3221224416 3221213732 1131895264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 33556 13073 16 0 212476 0 vsize: 849968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.15 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 28300 Raw data (stat): 28279 (java) Z 28278 27565 27564 0 -1 1036 18086 11060 1 0 120545 52 3816 38 25 0 1 0 477435961 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.15 CPU time (s): 1244.54 CPU user time (s): 1243.63 CPU system time (s): 0.913861 CPU usage (%): 99.5517 Max. virtual memory (Kb): 853392 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####