Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb |
MD5SUM | bbfcebd70586668574286ad19a1cd5a8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 379 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1152 |
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 | 1152 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1152 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03984 |
Number of variables | 1152 |
Total number of constraints | 4664 |
Number of constraints which are clauses | 4664 |
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 | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-13 16:36:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1512 boxname=wulflinc8 idbench=168 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bbfcebd70586668574286ad19a1cd5a8 /oldhome/oroussel/tmp/wulflinc8/normalized-ii8b2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-ii8b2.opb IDLAUNCH: 1512 /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: 921184 kB Buffers: 36416 kB Cached: 57832 kB SwapCached: 0 kB Active: 72132 kB Inactive: 24972 kB HighTotal: 131008 kB HighFree: 69300 kB LowTotal: 903652 kB LowFree: 851884 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 64 kB Writeback: 0 kB Mapped: 6932 kB Slab: 10820 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:56 (client local time) WITH STATUS 143 IN SECONDS stats: 1512 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-ii8b2.opb c reading problem c [nbvar=1152] c [nbconstr=4664] c time 4.21 c #vars 1152 c #clauses 4664 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=529 c Current CPU time (ms) : 7.481 c starts : 1 c conflicts : 19 c decisions : 200 c propagations : 4952 c inspects : 13090 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 19 c root simplifications : 1 c c CURRENT OPTIMUM=455 c Current CPU time (ms) : 7.988 c starts : 2 c conflicts : 19 c decisions : 495 c propagations : 6104 c inspects : 16491 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 19 c root simplifications : 2 c c CURRENT OPTIMUM=431 c Current CPU time (ms) : 27.231 c starts : 3 c conflicts : 60 c decisions : 1113 c propagations : 9814 c inspects : 38551 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 60 c root simplifications : 3 c c CURRENT OPTIMUM=430 c Current CPU time (ms) : 54.668 c starts : 4 c conflicts : 92 c decisions : 1627 c propagations : 13888 c inspects : 77066 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 92 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.90 2/54 27385 Raw data (stat): 27385 (runsolver) R 27384 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 405653761 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99994 s] Raw data (loadavg): 1.09 1.02 0.92 2/64 27397 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 726 46 0 0 25 0 11 0 405653761 858451968 20575 4294967295 134512640 134569956 3221224416 3221214856 1131382597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209583 20575 13073 16 0 209567 0 vsize: 838332 [startup+20.0012 s] Raw data (loadavg): 1.08 1.02 0.92 2/64 27397 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 1625 46 0 0 25 0 11 0 405653761 858177536 21732 4294967295 134512640 134569956 3221224416 3221214856 1131383111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 21732 13073 16 0 209500 0 vsize: 838064 [startup+30.0018 s] Raw data (loadavg): 1.07 1.01 0.92 2/64 27398 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 2549 46 0 0 25 0 11 0 405653761 858177536 21733 4294967295 134512640 134569956 3221224416 3221214816 1131259743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 21733 13073 16 0 209500 0 vsize: 838064 [startup+40.0021 s] Raw data (loadavg): 1.06 1.01 0.92 2/64 27398 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 3487 46 0 0 25 0 11 0 405653761 858177536 21786 4294967295 134512640 134569956 3221224416 3221214912 1131333202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 21786 13073 16 0 209500 0 vsize: 838064 [startup+50.0035 s] Raw data (loadavg): 1.05 1.01 0.92 2/64 27398 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 4402 46 0 0 25 0 11 0 405653761 858177536 22088 4294967295 134512640 134569956 3221224416 3221214816 1131259529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 22088 13073 16 0 209500 0 vsize: 838064 [startup+60.0032 s] Raw data (loadavg): 1.04 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 5341 46 0 0 25 0 11 0 405653761 858177536 22221 4294967295 134512640 134569956 3221224416 3221214864 1131149376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 22221 13073 16 0 209500 0 vsize: 838064 [startup+70.0035 s] Raw data (loadavg): 1.03 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 6270 46 0 0 25 0 11 0 405653761 858177536 22541 4294967295 134512640 134569956 3221224416 3221214864 1131149376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 22541 13073 16 0 209500 0 vsize: 838064 [startup+80.0048 s] Raw data (loadavg): 1.03 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18069 3 1 0 7213 46 0 0 25 0 11 0 405653761 858177536 22595 4294967295 134512640 134569956 3221224416 3221213920 1079753249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 22595 13073 16 0 209500 0 vsize: 838064 [startup+90.0055 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 8156 46 0 0 25 0 11 0 405653761 858177536 22627 4294967295 134512640 134569956 3221224416 3221214816 1131260120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 22627 13073 16 0 209500 0 vsize: 838064 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 9130 46 0 0 25 0 11 0 405653761 858177536 23060 4294967295 134512640 134569956 3221224416 3221214864 1131149424 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23060 13073 16 0 209500 0 vsize: 838064 [startup+110.006 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 10113 46 0 0 25 0 11 0 405653761 858177536 23073 4294967295 134512640 134569956 3221224416 3221214816 1131259632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23073 13073 16 0 209500 0 vsize: 838064 [startup+120.007 s] Raw data (loadavg): 1.01 1.01 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 11081 46 0 0 25 0 11 0 405653761 858177536 23087 4294967295 134512640 134569956 3221224416 3221214856 1131382100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23087 13073 16 0 209500 0 vsize: 838064 [startup+130.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) S 27384 26667 26666 0 -1 0 18073 3 1 0 12022 46 0 0 25 0 11 0 405653761 858177536 23135 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23135 13073 16 0 209500 0 vsize: 838064 [startup+140.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 12966 47 0 0 25 0 11 0 405653761 858177536 23154 4294967295 134512640 134569956 3221224416 3221214608 1131532329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23154 13073 16 0 209500 0 vsize: 838064 [startup+150.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 13886 47 0 0 25 0 11 0 405653761 858177536 23186 4294967295 134512640 134569956 3221224416 3221214608 1131533881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23186 13073 16 0 209500 0 vsize: 838064 [startup+160.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 14829 47 0 0 25 0 11 0 405653761 858177536 23501 4294967295 134512640 134569956 3221224416 3221214712 1131562375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23501 13073 16 0 209500 0 vsize: 838064 [startup+170.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 15786 47 0 0 25 0 11 0 405653761 858177536 23640 4294967295 134512640 134569956 3221224416 3221214816 1131260120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23640 13073 16 0 209500 0 vsize: 838064 [startup+180.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 16748 47 0 0 25 0 11 0 405653761 858177536 23804 4294967295 134512640 134569956 3221224416 3221214864 1131149376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23804 13073 16 0 209500 0 vsize: 838064 [startup+190.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18073 3 1 0 17717 47 0 0 25 0 11 0 405653761 858177536 23883 4294967295 134512640 134569956 3221224416 3221214864 1131149386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23883 13073 16 0 209500 0 vsize: 838064 [startup+200.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 18684 47 0 0 25 0 11 0 405653761 858177536 23933 4294967295 134512640 134569956 3221224416 3221214608 1131532102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 23933 13073 16 0 209500 0 vsize: 838064 [startup+210.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 19655 48 0 0 25 0 11 0 405653761 858177536 24018 4294967295 134512640 134569956 3221224416 3221214864 1131149376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24018 13073 16 0 209500 0 vsize: 838064 [startup+220.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 20625 48 0 0 25 0 11 0 405653761 858177536 24090 4294967295 134512640 134569956 3221224416 3221214608 1131313018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24090 13073 16 0 209500 0 vsize: 838064 [startup+230.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 21591 48 0 0 24 0 11 0 405653761 858177536 24133 4294967295 134512640 134569956 3221224416 3221214712 1131562375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24133 13073 16 0 209500 0 vsize: 838064 [startup+240.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 22565 48 0 0 25 0 11 0 405653761 858177536 24168 4294967295 134512640 134569956 3221224416 3221214864 1131149427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24168 13073 16 0 209500 0 vsize: 838064 [startup+250.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 23532 48 0 0 25 0 11 0 405653761 858177536 24224 4294967295 134512640 134569956 3221224416 3221214816 1131259250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24224 13073 16 0 209500 0 vsize: 838064 [startup+260.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 24490 48 0 0 25 0 11 0 405653761 858177536 24343 4294967295 134512640 134569956 3221224416 3221214864 1131149376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24343 13073 16 0 209500 0 vsize: 838064 [startup+270.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 25460 48 0 0 25 0 11 0 405653761 858177536 24408 4294967295 134512640 134569956 3221224416 3221214912 1131333173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24408 13073 16 0 209500 0 vsize: 838064 [startup+280.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 26433 48 0 0 25 0 11 0 405653761 858177536 24524 4294967295 134512640 134569956 3221224416 3221214816 1131259514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24524 13073 16 0 209500 0 vsize: 838064 [startup+290.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 27407 48 0 0 25 0 11 0 405653761 858177536 24540 4294967295 134512640 134569956 3221224416 3221214816 1131259486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209516 24540 13073 16 0 209500 0 vsize: 838064 [startup+300.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 28373 48 0 0 25 0 11 0 405653761 858177536 24562 4294967295 134512640 134569956 3221224416 3221214912 1131332997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24562 13073 16 0 209500 0 vsize: 838064 [startup+310.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 29346 48 0 0 25 0 11 0 405653761 858177536 24657 4294967295 134512640 134569956 3221224416 3221214816 1131260110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24657 13073 16 0 209500 0 vsize: 838064 [startup+320.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 30325 49 0 0 25 0 11 0 405653761 858177536 24744 4294967295 134512640 134569956 3221224416 3221214864 1131149424 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24744 13073 16 0 209500 0 vsize: 838064 [startup+330.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 31302 49 0 0 25 0 11 0 405653761 858177536 24768 4294967295 134512640 134569956 3221224416 3221214744 1131413465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24768 13073 16 0 209500 0 vsize: 838064 [startup+340.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 32278 49 0 0 25 0 11 0 405653761 858177536 24791 4294967295 134512640 134569956 3221224416 3221214816 1131259529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24791 13073 16 0 209500 0 vsize: 838064 [startup+350.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 33254 49 0 0 25 0 11 0 405653761 858177536 24854 4294967295 134512640 134569956 3221224416 3221214912 1131333130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24854 13073 16 0 209500 0 vsize: 838064 [startup+360.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 34234 49 0 0 25 0 11 0 405653761 858177536 24914 4294967295 134512640 134569956 3221224416 3221214696 1131468511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24914 13073 16 0 209500 0 vsize: 838064 [startup+370.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 35217 49 0 0 25 0 11 0 405653761 858177536 24950 4294967295 134512640 134569956 3221224416 3221214864 1131149495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24950 13073 16 0 209500 0 vsize: 838064 [startup+380.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 36205 49 0 0 25 0 11 0 405653761 858177536 24990 4294967295 134512640 134569956 3221224416 3221214720 1131433109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 24990 13073 16 0 209500 0 vsize: 838064 [startup+390.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 37193 49 0 0 25 0 11 0 405653761 858177536 25014 4294967295 134512640 134569956 3221224416 3221214792 1131353313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25014 13073 16 0 209500 0 vsize: 838064 [startup+400.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 38180 49 0 0 25 0 11 0 405653761 858177536 25038 4294967295 134512640 134569956 3221224416 3221214816 1131259516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25038 13073 16 0 209500 0 vsize: 838064 [startup+410.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 39167 49 0 0 25 0 11 0 405653761 858177536 25044 4294967295 134512640 134569956 3221224416 3221214728 1131258080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25044 13073 16 0 209500 0 vsize: 838064 [startup+420.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 40151 50 0 0 25 0 11 0 405653761 858177536 25070 4294967295 134512640 134569956 3221224416 3221214776 1131417229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25070 13073 16 0 209500 0 vsize: 838064 [startup+430.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 41133 50 0 0 25 0 11 0 405653761 858177536 25094 4294967295 134512640 134569956 3221224416 3221214576 1131572335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25094 13073 16 0 209500 0 vsize: 838064 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 42116 50 0 0 25 0 11 0 405653761 858177536 25150 4294967295 134512640 134569956 3221224416 3221214696 1131469145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25150 13073 16 0 209500 0 vsize: 838064 [startup+450.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 43098 50 0 0 25 0 11 0 405653761 858177536 25178 4294967295 134512640 134569956 3221224416 3221214712 1131560657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25178 13073 16 0 209500 0 vsize: 838064 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 44080 50 0 0 25 0 11 0 405653761 858177536 25201 4294967295 134512640 134569956 3221224416 3221214608 1131531125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25201 13073 16 0 209500 0 vsize: 838064 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 45065 50 0 0 25 0 11 0 405653761 858177536 25240 4294967295 134512640 134569956 3221224416 3221214912 1131332821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25240 13073 16 0 209500 0 vsize: 838064 [startup+480.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 46046 50 0 0 25 0 11 0 405653761 858177536 25258 4294967295 134512640 134569956 3221224416 3221214864 1131149373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25258 13073 16 0 209500 0 vsize: 838064 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 47025 50 0 0 25 0 11 0 405653761 858177536 25301 4294967295 134512640 134569956 3221224416 3221214608 1131313134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25301 13073 16 0 209500 0 vsize: 838064 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 48004 50 0 0 25 0 11 0 405653761 858177536 25345 4294967295 134512640 134569956 3221224416 3221214656 1131453664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25345 13073 16 0 209500 0 vsize: 838064 [startup+510.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 48985 50 0 0 25 0 11 0 405653761 858177536 25382 4294967295 134512640 134569956 3221224416 3221214776 1131417116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25382 13073 16 0 209500 0 vsize: 838064 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 49971 50 0 0 25 0 11 0 405653761 858177536 25408 4294967295 134512640 134569956 3221224416 3221214712 1131562375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25408 13073 16 0 209500 0 vsize: 838064 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 50955 50 0 0 25 0 11 0 405653761 858177536 25477 4294967295 134512640 134569956 3221224416 3221214608 1131313082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25477 13073 16 0 209500 0 vsize: 838064 [startup+540.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 51941 51 0 0 25 0 11 0 405653761 858177536 25520 4294967295 134512640 134569956 3221224416 3221214656 1131453220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25520 13073 16 0 209500 0 vsize: 838064 [startup+550.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 52932 51 0 0 25 0 11 0 405653761 858177536 25545 4294967295 134512640 134569956 3221224416 3221214864 1131149409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25545 13073 16 0 209500 0 vsize: 838064 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 53911 51 0 0 25 0 11 0 405653761 858177536 25624 4294967295 134512640 134569956 3221224416 3221214608 1131531672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25624 13073 16 0 209500 0 vsize: 838064 [startup+570.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 54900 51 0 0 25 0 11 0 405653761 858177536 25686 4294967295 134512640 134569956 3221224416 3221214612 1131528620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25686 13073 16 0 209500 0 vsize: 838064 [startup+580.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 55892 51 0 0 25 0 11 0 405653761 858177536 25735 4294967295 134512640 134569956 3221224416 3221214608 1131313157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25735 13073 16 0 209500 0 vsize: 838064 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 56887 51 0 0 25 0 11 0 405653761 858177536 25735 4294967295 134512640 134569956 3221224416 3221214664 1131499021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25735 13073 16 0 209500 0 vsize: 838064 [startup+600.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 57877 51 0 0 25 0 11 0 405653761 858177536 25735 4294967295 134512640 134569956 3221224416 3221214608 1131313223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25735 13073 16 0 209500 0 vsize: 838064 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 58868 51 0 0 25 0 11 0 405653761 858177536 25790 4294967295 134512640 134569956 3221224416 3221214432 1131568483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25790 13073 16 0 209500 0 vsize: 838064 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 59863 51 0 0 25 0 11 0 405653761 858177536 25790 4294967295 134512640 134569956 3221224416 3221214752 1131278106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 25790 13073 16 0 209500 0 vsize: 838064 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 60852 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214608 1131531719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 61848 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214608 1131313229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 62840 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214608 1131313192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 63834 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214616 1131499081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 64827 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214696 1131469379 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 65822 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214576 1131580976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 66818 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214608 1131313016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 67815 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214504 1131581391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 68810 51 0 0 25 0 11 0 405653761 858177536 26450 4294967295 134512640 134569956 3221224416 3221214656 1131454840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209516 26450 13073 16 0 209500 0 vsize: 838064 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 69804 51 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214504 1131581395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 70803 51 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214608 1131313157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 71802 51 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214656 1131454648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 72797 51 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214608 1131313213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 73793 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214520 1131578561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 74787 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214664 1131498948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 75783 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214512 1080216972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 76779 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214608 1131313192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+800.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 77777 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214752 1131355635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 78773 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214568 1131556800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 79769 52 0 0 25 0 11 0 405653761 858177536 26991 4294967295 134512640 134569956 3221224416 3221214656 1131454710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 26991 13073 16 0 209500 0 vsize: 838064 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 80758 52 0 0 25 0 11 0 405653761 858177536 27171 4294967295 134512640 134569956 3221224416 3221214576 1131581295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27171 13073 16 0 209500 0 vsize: 838064 [startup+840.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 81754 52 0 0 25 0 11 0 405653761 858177536 27171 4294967295 134512640 134569956 3221224416 3221214708 1131312691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27171 13073 16 0 209500 0 vsize: 838064 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 82746 52 0 0 25 0 11 0 405653761 858177536 27171 4294967295 134512640 134569956 3221224416 3221214608 1131313264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27171 13073 16 0 209500 0 vsize: 838064 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) S 27384 26667 26666 0 -1 0 18074 3 1 0 83741 52 0 0 25 0 11 0 405653761 858177536 27171 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27171 13073 16 0 209500 0 vsize: 838064 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 84735 52 0 0 25 0 11 0 405653761 858177536 27395 4294967295 134512640 134569956 3221224416 3221214624 1131584271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27395 13073 16 0 209500 0 vsize: 838064 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 85730 52 0 0 25 0 11 0 405653761 858177536 27395 4294967295 134512640 134569956 3221224416 3221214816 1131259484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27395 13073 16 0 209500 0 vsize: 838064 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 86722 52 0 0 25 0 11 0 405653761 858177536 27395 4294967295 134512640 134569956 3221224416 3221214624 1131584269 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27395 13073 16 0 209500 0 vsize: 838064 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 87716 52 0 0 25 0 11 0 405653761 858177536 27723 4294967295 134512640 134569956 3221224416 3221214616 1131499150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27723 13073 16 0 209500 0 vsize: 838064 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 88716 52 0 0 25 0 11 0 405653761 858177536 27723 4294967295 134512640 134569956 3221224416 3221214520 1131578264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27723 13073 16 0 209500 0 vsize: 838064 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 89716 52 0 0 25 0 11 0 405653761 858177536 27723 4294967295 134512640 134569956 3221224416 3221214520 1131578064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27723 13073 16 0 209500 0 vsize: 838064 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 90714 52 0 0 25 0 11 0 405653761 858177536 27723 4294967295 134512640 134569956 3221224416 3221214576 1131581282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 27723 13073 16 0 209500 0 vsize: 838064 [startup+940.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 91709 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214504 1131581356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+950.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 92709 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214608 1131531719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+960.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 93709 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214608 1131313229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 94709 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214504 1131581525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 95709 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214520 1131578015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 96706 52 0 0 25 0 11 0 405653761 858177536 28024 4294967295 134512640 134569956 3221224416 3221214576 1131581076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209516 28024 13073 16 0 209500 0 vsize: 838064 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 97699 52 0 0 25 0 11 0 405653761 858177536 28077 4294967295 134512640 134569956 3221224416 3221214504 1131581588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28077 13073 16 0 209500 0 vsize: 838064 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 98697 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214520 1131578084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 99697 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214568 1131556865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 100696 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214608 1131313223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 101696 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214608 1131531781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 102696 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214568 1131556835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 103696 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214576 1131581224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 104692 52 0 0 24 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214576 1131581297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 105687 52 0 0 25 0 11 0 405653761 858177536 28511 4294967295 134512640 134569956 3221224416 3221214632 1131565460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 28511 13073 16 0 209500 0 vsize: 838064 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 106682 52 0 0 25 0 11 0 405653761 858177536 29752 4294967295 134512640 134569956 3221224416 3221214560 1131566664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 29752 13073 16 0 209500 0 vsize: 838064 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 107674 52 0 0 25 0 11 0 405653761 858177536 32225 4294967295 134512640 134569956 3221224416 3221214576 1131581905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 32225 13073 16 0 209500 0 vsize: 838064 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 108673 52 0 0 25 0 11 0 405653761 858177536 32225 4294967295 134512640 134569956 3221224416 3221214576 1131581155 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 32225 13073 16 0 209500 0 vsize: 838064 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 109673 52 0 0 25 0 11 0 405653761 858177536 32225 4294967295 134512640 134569956 3221224416 3221214816 1131259529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 32225 13073 16 0 209500 0 vsize: 838064 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 110661 52 0 0 25 0 11 0 405653761 858177536 34184 4294967295 134512640 134569956 3221224416 3221214692 1131468729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 34184 13073 16 0 209500 0 vsize: 838064 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 111654 52 0 0 25 0 11 0 405653761 858177536 34184 4294967295 134512640 134569956 3221224416 3221214608 1131313235 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 34184 13073 16 0 209500 0 vsize: 838064 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 112648 52 0 0 25 0 11 0 405653761 858177536 34184 4294967295 134512640 134569956 3221224416 3221214576 1131581115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 34184 13073 16 0 209500 0 vsize: 838064 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 113642 52 0 0 25 0 11 0 405653761 858177536 34184 4294967295 134512640 134569956 3221224416 3221214448 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 34184 13073 16 0 209500 0 vsize: 838064 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 114631 52 0 0 25 0 11 0 405653761 858177536 35664 4294967295 134512640 134569956 3221224416 3221214592 1079721531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 35664 13073 16 0 209500 0 vsize: 838064 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 115630 52 0 0 25 0 11 0 405653761 858177536 35664 4294967295 134512640 134569956 3221224416 3221214592 1079721549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 35664 13073 16 0 209500 0 vsize: 838064 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 116621 52 0 0 25 0 11 0 405653761 858177536 38137 4294967295 134512640 134569956 3221224416 3221214656 1131454901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 38137 13073 16 0 209500 0 vsize: 838064 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 117621 52 0 0 25 0 11 0 405653761 858177536 38137 4294967295 134512640 134569956 3221224416 3221214656 1131454170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 38137 13073 16 0 209500 0 vsize: 838064 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 118614 52 0 0 25 0 11 0 405653761 858177536 40095 4294967295 134512640 134569956 3221224416 3221214456 1131581391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 40095 13073 16 0 209500 0 vsize: 838064 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 119613 52 0 0 25 0 11 0 405653761 858177536 40095 4294967295 134512640 134569956 3221224416 3221214616 1131499077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 40095 13073 16 0 209500 0 vsize: 838064 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 27399 Raw data (stat): 27385 (java) R 27384 26667 26666 0 -1 0 18074 3 1 0 120612 52 0 0 25 0 11 0 405653761 858177536 40095 4294967295 134512640 134569956 3221224416 3221214908 1131149562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209516 40095 13073 16 0 209500 0 vsize: 838064 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 27401 Raw data (stat): 27385 (java) Z 27384 26667 26666 0 -1 1036 18074 20664 1 0 120612 52 2088 46 25 0 1 0 405653761 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): 1230.15 CPU time (s): 1228.01 CPU user time (s): 1227.01 CPU system time (s): 0.993848 CPU usage (%): 99.8263 Max. virtual memory (Kb): 838332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####