Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb |
MD5SUM | f8f477e05e80ba24d613a231e387041a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1164 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3204 |
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 | 3204 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3204 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.16 |
Number of variables | 3204 |
Total number of constraints | 24883 |
Number of constraints which are clauses | 24883 |
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 | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-13 16:15:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1233 boxname=wulflinc8 idbench=137 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f8f477e05e80ba24d613a231e387041a /oldhome/oroussel/tmp/wulflinc8/normalized-ii16a2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-ii16a2.opb IDLAUNCH: 1233 /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: 920596 kB Buffers: 36400 kB Cached: 58256 kB SwapCached: 0 kB Active: 72664 kB Inactive: 24816 kB HighTotal: 131008 kB HighFree: 68936 kB LowTotal: 903652 kB LowFree: 851660 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6932 kB Slab: 11100 kB Committed_AS: 63476 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:36:17 (client local time) WITH STATUS 143 IN SECONDS stats: 1233 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-ii16a2.opb c reading problem c [nbvar=3204] c [nbconstr=24883] c time 10.698 c #vars 3204 c #clauses 24883 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=1470 c Current CPU time (ms) : 90.998 c starts : 4 c conflicts : 609 c decisions : 2256 c propagations : 220865 c inspects : 733357 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 609 c root simplifications : 4 c c CURRENT OPTIMUM=1468 c Current CPU time (ms) : 136.34 c starts : 6 c conflicts : 755 c decisions : 2973 c propagations : 281453 c inspects : 931137 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 755 c root simplifications : 6 #### 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): 1.12 1.02 0.77 1/54 27281 Raw data (stat): 27281 (runsolver) D 27280 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 405527819 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.26 1.05 0.78 2/63 27290 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18013 0 1 0 808 47 0 0 19 0 10 0 405527819 856788992 19630 4294967295 134512640 134569956 3221224416 3221214856 1131161187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209177 19630 13073 16 0 209161 0 vsize: 836708 [startup+20.0014 s] Raw data (loadavg): 1.38 1.08 0.79 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 1617 48 0 0 25 0 11 0 405527819 865865728 25169 4294967295 134512640 134569956 3221224416 3221214848 1131357740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 25169 13073 16 0 211377 0 vsize: 845572 [startup+30.0022 s] Raw data (loadavg): 1.32 1.08 0.80 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 2583 48 0 0 25 0 11 0 405527819 865865728 25628 4294967295 134512640 134569956 3221224416 3221214848 1131357820 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 25628 13073 16 0 211377 0 vsize: 845572 [startup+40.0019 s] Raw data (loadavg): 1.27 1.08 0.80 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 3550 48 0 0 25 0 11 0 405527819 865865728 25628 4294967295 134512640 134569956 3221224416 3221214752 1131236476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 25628 13073 16 0 211377 0 vsize: 845572 [startup+50.0027 s] Raw data (loadavg): 1.23 1.07 0.80 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 4524 48 0 0 25 0 11 0 405527819 865865728 25628 4294967295 134512640 134569956 3221224416 3221214656 1131430373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 25628 13073 16 0 211377 0 vsize: 845572 [startup+60.0025 s] Raw data (loadavg): 1.19 1.07 0.80 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 5491 48 0 0 25 0 11 0 405527819 865865728 25888 4294967295 134512640 134569956 3221224416 3221214536 1131540248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 25888 13073 16 0 211377 0 vsize: 845572 [startup+70.0032 s] Raw data (loadavg): 1.16 1.07 0.80 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 6462 48 0 0 25 0 11 0 405527819 865865728 26093 4294967295 134512640 134569956 3221224416 3221214848 1131357823 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 26093 13073 16 0 211377 0 vsize: 845572 [startup+80.0041 s] Raw data (loadavg): 1.14 1.06 0.81 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 7434 49 0 0 25 0 11 0 405527819 865865728 26232 4294967295 134512640 134569956 3221224416 3221214656 1131432465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 26232 13073 16 0 211377 0 vsize: 845572 [startup+90.0038 s] Raw data (loadavg): 1.12 1.06 0.81 2/64 27291 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18099 0 1 0 8403 49 0 0 25 0 11 0 405527819 865865728 26421 4294967295 134512640 134569956 3221224416 3221214848 1131357728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 26421 13073 16 0 211377 0 vsize: 845572 [startup+100.004 s] Raw data (loadavg): 1.10 1.06 0.81 2/64 27292 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 9309 49 0 0 25 0 11 0 405527819 865865728 26869 4294967295 134512640 134569956 3221224416 3221214848 1131358009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 26869 13073 16 0 211377 0 vsize: 845572 [startup+110.004 s] Raw data (loadavg): 1.08 1.06 0.81 2/64 27292 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 10233 49 0 0 25 0 11 0 405527819 865865728 27001 4294967295 134512640 134569956 3221224416 3221214792 1131401560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27001 13073 16 0 211377 0 vsize: 845572 [startup+120.004 s] Raw data (loadavg): 1.07 1.05 0.81 2/64 27292 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 11168 49 0 0 25 0 11 0 405527819 865865728 27163 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27163 13073 16 0 211377 0 vsize: 845572 [startup+130.004 s] Raw data (loadavg): 1.06 1.05 0.82 2/64 27292 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 12091 49 0 0 25 0 11 0 405527819 865865728 27276 4294967295 134512640 134569956 3221224416 3221214792 1131406615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27276 13073 16 0 211377 0 vsize: 845572 [startup+140.004 s] Raw data (loadavg): 1.05 1.05 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 12989 49 0 0 25 0 11 0 405527819 865865728 27395 4294967295 134512640 134569956 3221224416 3221214696 1131236407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27395 13073 16 0 211377 0 vsize: 845572 [startup+150.008 s] Raw data (loadavg): 1.04 1.05 0.82 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 13893 49 0 0 25 0 11 0 405527819 865865728 27499 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27499 13073 16 0 211377 0 vsize: 845572 [startup+160.007 s] Raw data (loadavg): 1.03 1.05 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 14786 49 0 0 25 0 11 0 405527819 865865728 27653 4294967295 134512640 134569956 3221224416 3221214736 1131503542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27653 13073 16 0 211377 0 vsize: 845572 [startup+170.008 s] Raw data (loadavg): 1.03 1.04 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 15662 49 0 0 18 0 11 0 405527819 865865728 27936 4294967295 134512640 134569956 3221224416 3221214876 1080204298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 27936 13073 16 0 211377 0 vsize: 845572 [startup+180.008 s] Raw data (loadavg): 1.02 1.04 0.82 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 16545 49 0 0 25 0 11 0 405527819 865865728 28310 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 28310 13073 16 0 211377 0 vsize: 845572 [startup+190.009 s] Raw data (loadavg): 1.02 1.04 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 17444 49 0 0 25 0 11 0 405527819 865865728 28542 4294967295 134512640 134569956 3221224416 3221214736 1131501396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 28542 13073 16 0 211377 0 vsize: 845572 [startup+200.01 s] Raw data (loadavg): 1.02 1.04 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 18344 49 0 0 25 0 11 0 405527819 865865728 28706 4294967295 134512640 134569956 3221224416 3221214576 1131487865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 28706 13073 16 0 211377 0 vsize: 845572 [startup+210.01 s] Raw data (loadavg): 1.01 1.04 0.82 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 19252 49 0 0 25 0 11 0 405527819 865865728 29089 4294967295 134512640 134569956 3221224416 3221214736 1131505769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 29089 13073 16 0 211377 0 vsize: 845572 [startup+220.011 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 20174 49 0 0 25 0 11 0 405527819 865865728 29361 4294967295 134512640 134569956 3221224416 3221214704 1131314671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 29361 13073 16 0 211377 0 vsize: 845572 [startup+230.012 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 21095 49 0 0 25 0 11 0 405527819 865865728 29573 4294967295 134512640 134569956 3221224416 3221214652 1131539340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 29573 13073 16 0 211377 0 vsize: 845572 [startup+240.012 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 22030 50 0 0 25 0 11 0 405527819 865865728 29817 4294967295 134512640 134569956 3221224416 3221214736 1131505039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 29817 13073 16 0 211377 0 vsize: 845572 [startup+250.018 s] Raw data (loadavg): 1.00 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 22970 50 0 0 25 0 11 0 405527819 865865728 29997 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 29999 13073 16 0 211377 0 vsize: 845572 [startup+260.019 s] Raw data (loadavg): 1.00 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 23914 50 0 0 25 0 11 0 405527819 865865728 30130 4294967295 134512640 134569956 3221224416 3221214704 1131314671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 30130 13073 16 0 211377 0 vsize: 845572 [startup+270.019 s] Raw data (loadavg): 1.00 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 24848 50 0 0 25 0 11 0 405527819 865865728 30283 4294967295 134512640 134569956 3221224416 3221214656 1131432465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 30283 13073 16 0 211377 0 vsize: 845572 [startup+280.019 s] Raw data (loadavg): 1.00 1.03 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 25767 50 0 0 25 0 11 0 405527819 865865728 30437 4294967295 134512640 134569956 3221224416 3221214736 1131501479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 30437 13073 16 0 211377 0 vsize: 845572 [startup+290.019 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 26671 50 0 0 25 0 11 0 405527819 865865728 30593 4294967295 134512640 134569956 3221224416 3221214696 1131392126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 30593 13073 16 0 211377 0 vsize: 845572 [startup+300.019 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 27576 50 0 0 25 0 11 0 405527819 865865728 30804 4294967295 134512640 134569956 3221224416 3221214656 1131428613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 30804 13073 16 0 211377 0 vsize: 845572 [startup+310.02 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 28489 50 0 0 25 0 11 0 405527819 865865728 31166 4294967295 134512640 134569956 3221224416 3221214736 1131506319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 31166 13073 16 0 211377 0 vsize: 845572 [startup+320.021 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 29413 50 0 0 25 0 11 0 405527819 865865728 31373 4294967295 134512640 134569956 3221224416 3221214736 1131502700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 31373 13073 16 0 211377 0 vsize: 845572 [startup+330.022 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 30318 51 0 0 25 0 11 0 405527819 865865728 31584 4294967295 134512640 134569956 3221224416 3221214744 1131444025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 31584 13073 16 0 211377 0 vsize: 845572 [startup+340.022 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 31215 51 0 0 25 0 11 0 405527819 865865728 31987 4294967295 134512640 134569956 3221224416 3221214736 1131501396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 31987 13073 16 0 211377 0 vsize: 845572 [startup+350.023 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 32113 51 0 0 25 0 11 0 405527819 865865728 32375 4294967295 134512640 134569956 3221224416 3221214376 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 32375 13073 16 0 211377 0 vsize: 845572 [startup+360.023 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 33005 51 0 0 25 0 11 0 405527819 865865728 32644 4294967295 134512640 134569956 3221224416 3221214712 1131486229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 32644 13073 16 0 211377 0 vsize: 845572 [startup+370.024 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 33898 51 0 0 17 0 11 0 405527819 865865728 32797 4294967295 134512640 134569956 3221224416 3221214688 1131362435 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 32797 13073 16 0 211377 0 vsize: 845572 [startup+380.028 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 34788 51 0 0 25 0 11 0 405527819 865865728 33292 4294967295 134512640 134569956 3221224416 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 33292 13073 16 0 211377 0 vsize: 845572 [startup+390.028 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 35709 51 0 0 25 0 11 0 405527819 865865728 33449 4294967295 134512640 134569956 3221224416 3221214792 1131400655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 33449 13073 16 0 211377 0 vsize: 845572 [startup+400.029 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 36666 51 0 0 25 0 11 0 405527819 865865728 33778 4294967295 134512640 134569956 3221224416 3221214792 1131401590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 33778 13073 16 0 211377 0 vsize: 845572 [startup+410.03 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 37631 51 0 0 25 0 11 0 405527819 865865728 33778 4294967295 134512640 134569956 3221224416 3221214952 1131186137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 33778 13073 16 0 211377 0 vsize: 845572 [startup+420.03 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 38563 51 0 0 24 0 11 0 405527819 865865728 33778 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 33778 13073 16 0 211377 0 vsize: 845572 [startup+430.031 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 39527 51 0 0 25 0 11 0 405527819 865865728 34129 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34129 13073 16 0 211377 0 vsize: 845572 [startup+440.033 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 40491 52 0 0 25 0 11 0 405527819 865865728 34129 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34129 13073 16 0 211377 0 vsize: 845572 [startup+450.034 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 41432 52 0 0 25 0 11 0 405527819 865865728 34282 4294967295 134512640 134569956 3221224416 3221214696 1131236682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34282 13073 16 0 211377 0 vsize: 845572 [startup+460.034 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 42384 52 0 0 25 0 11 0 405527819 865865728 34595 4294967295 134512640 134569956 3221224416 3221214792 1131404131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34595 13073 16 0 211377 0 vsize: 845572 [startup+470.035 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 43361 52 0 0 25 0 11 0 405527819 865865728 34630 4294967295 134512640 134569956 3221224416 3221214696 1131237345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34630 13073 16 0 211377 0 vsize: 845572 [startup+480.036 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 44342 52 0 0 25 0 11 0 405527819 865865728 34661 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34661 13073 16 0 211377 0 vsize: 845572 [startup+490.036 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 45329 52 0 0 25 0 11 0 405527819 865865728 34697 4294967295 134512640 134569956 3221224416 3221214696 1131236437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34697 13073 16 0 211377 0 vsize: 845572 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 46320 52 0 0 25 0 11 0 405527819 865865728 34707 4294967295 134512640 134569956 3221224416 3221214696 1131236389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34707 13073 16 0 211377 0 vsize: 845572 [startup+510.037 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 47310 52 0 0 25 0 11 0 405527819 865865728 34727 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34727 13073 16 0 211377 0 vsize: 845572 [startup+520.038 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 48298 52 0 0 25 0 11 0 405527819 865865728 34734 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34734 13073 16 0 211377 0 vsize: 845572 [startup+530.038 s] Raw data (loadavg): 1.08 1.02 0.86 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 49283 52 0 0 25 0 11 0 405527819 865865728 34742 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34742 13073 16 0 211377 0 vsize: 845572 [startup+540.038 s] Raw data (loadavg): 1.07 1.02 0.86 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 50271 52 0 0 25 0 11 0 405527819 865865728 34755 4294967295 134512640 134569956 3221224416 3221214696 1131236911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34755 13073 16 0 211377 0 vsize: 845572 [startup+550.039 s] Raw data (loadavg): 1.06 1.02 0.86 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 51259 52 0 0 25 0 11 0 405527819 865865728 34763 4294967295 134512640 134569956 3221224416 3221214696 1131236816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34763 13073 16 0 211377 0 vsize: 845572 [startup+560.039 s] Raw data (loadavg): 1.05 1.02 0.86 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 52241 52 0 0 25 0 11 0 405527819 865865728 34783 4294967295 134512640 134569956 3221224416 3221214696 1131236490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34783 13073 16 0 211377 0 vsize: 845572 [startup+570.041 s] Raw data (loadavg): 1.04 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 53231 52 0 0 25 0 11 0 405527819 865865728 34789 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 34789 13073 16 0 211377 0 vsize: 845572 [startup+580.04 s] Raw data (loadavg): 1.03 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 54212 52 0 0 24 0 11 0 405527819 865865728 34804 4294967295 134512640 134569956 3221224416 3221214696 1131237007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34804 13073 16 0 211377 0 vsize: 845572 [startup+590.041 s] Raw data (loadavg): 1.03 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 55203 52 0 0 25 0 11 0 405527819 865865728 34813 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34813 13073 16 0 211377 0 vsize: 845572 [startup+600.041 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 56191 52 0 0 25 0 11 0 405527819 865865728 34824 4294967295 134512640 134569956 3221224416 3221214792 1131400609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34824 13073 16 0 211377 0 vsize: 845572 [startup+610.042 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 57180 52 0 0 25 0 11 0 405527819 865865728 34825 4294967295 134512640 134569956 3221224416 3221214792 1131400533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34825 13073 16 0 211377 0 vsize: 845572 [startup+620.043 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 58168 52 0 0 25 0 11 0 405527819 865865728 34837 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34837 13073 16 0 211377 0 vsize: 845572 [startup+630.043 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 59155 52 0 0 25 0 11 0 405527819 865865728 34842 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34842 13073 16 0 211377 0 vsize: 845572 [startup+640.044 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 60138 52 0 0 25 0 11 0 405527819 865865728 34847 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34847 13073 16 0 211377 0 vsize: 845572 [startup+650.044 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 61127 52 0 0 25 0 11 0 405527819 865865728 34864 4294967295 134512640 134569956 3221224416 3221214696 1131236802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34864 13073 16 0 211377 0 vsize: 845572 [startup+660.045 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 62108 52 0 0 25 0 11 0 405527819 865865728 34890 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34890 13073 16 0 211377 0 vsize: 845572 [startup+670.046 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 63101 52 0 0 25 0 11 0 405527819 865865728 34893 4294967295 134512640 134569956 3221224416 3221214792 1131401648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34893 13073 16 0 211377 0 vsize: 845572 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 64090 52 0 0 25 0 11 0 405527819 865865728 34904 4294967295 134512640 134569956 3221224416 3221214792 1131401637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34904 13073 16 0 211377 0 vsize: 845572 [startup+690.046 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 65077 53 0 0 25 0 11 0 405527819 865865728 34916 4294967295 134512640 134569956 3221224416 3221214696 1131236389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34916 13073 16 0 211377 0 vsize: 845572 [startup+700.047 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 66066 53 0 0 25 0 11 0 405527819 865865728 34916 4294967295 134512640 134569956 3221224416 3221214792 1131400671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34916 13073 16 0 211377 0 vsize: 845572 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 67055 53 0 0 25 0 11 0 405527819 865865728 34932 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34932 13073 16 0 211377 0 vsize: 845572 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 68041 53 0 0 25 0 11 0 405527819 865865728 34933 4294967295 134512640 134569956 3221224416 3221214792 1131400655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34933 13073 16 0 211377 0 vsize: 845572 [startup+730.047 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 69025 53 0 0 25 0 11 0 405527819 865865728 34952 4294967295 134512640 134569956 3221224416 3221214696 1131236911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34952 13073 16 0 211377 0 vsize: 845572 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 70010 53 0 0 25 0 11 0 405527819 865865728 34966 4294967295 134512640 134569956 3221224416 3221214696 1131236389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34966 13073 16 0 211377 0 vsize: 845572 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 70999 53 0 0 25 0 11 0 405527819 865865728 34973 4294967295 134512640 134569956 3221224416 3221214696 1131237053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34973 13073 16 0 211377 0 vsize: 845572 [startup+760.048 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 71986 53 0 0 25 0 11 0 405527819 865865728 34990 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34990 13073 16 0 211377 0 vsize: 845572 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 72974 53 0 0 25 0 11 0 405527819 865865728 34998 4294967295 134512640 134569956 3221224416 3221214792 1131401738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34998 13073 16 0 211377 0 vsize: 845572 [startup+780.05 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 73963 53 0 0 25 0 11 0 405527819 865865728 34999 4294967295 134512640 134569956 3221224416 3221214792 1131400770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 34999 13073 16 0 211377 0 vsize: 845572 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 74953 53 0 0 25 0 11 0 405527819 865865728 35003 4294967295 134512640 134569956 3221224416 3221214696 1131236389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35003 13073 16 0 211377 0 vsize: 845572 [startup+800.051 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 75941 53 0 0 25 0 11 0 405527819 865865728 35003 4294967295 134512640 134569956 3221224416 3221214696 1131237661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35003 13073 16 0 211377 0 vsize: 845572 [startup+810.051 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 76922 53 0 0 25 0 11 0 405527819 865865728 35008 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35008 13073 16 0 211377 0 vsize: 845572 [startup+820.052 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 77901 53 0 0 25 0 11 0 405527819 865865728 35029 4294967295 134512640 134569956 3221224416 3221214792 1131402603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35029 13073 16 0 211377 0 vsize: 845572 [startup+830.056 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) S 27280 26667 26666 0 -1 0 18100 3 1 0 78877 53 0 0 25 0 11 0 405527819 865865728 35041 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35041 13073 16 0 211377 0 vsize: 845572 [startup+840.056 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 79861 53 0 0 25 0 11 0 405527819 865865728 35075 4294967295 134512640 134569956 3221224416 3221214792 1131400797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 35075 13073 16 0 211377 0 vsize: 845572 [startup+850.057 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 80850 53 0 0 25 0 11 0 405527819 865865728 35091 4294967295 134512640 134569956 3221224416 3221214792 1131400404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35091 13073 16 0 211377 0 vsize: 845572 [startup+860.058 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 81834 53 0 0 25 0 11 0 405527819 865865728 35106 4294967295 134512640 134569956 3221224416 3221214696 1131236381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35106 13073 16 0 211377 0 vsize: 845572 [startup+870.058 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 82817 53 0 0 25 0 11 0 405527819 865865728 35115 4294967295 134512640 134569956 3221224416 3221214696 1131237046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35115 13073 16 0 211377 0 vsize: 845572 [startup+880.059 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 83800 53 0 0 25 0 11 0 405527819 865865728 35144 4294967295 134512640 134569956 3221224416 3221214792 1131400401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35144 13073 16 0 211377 0 vsize: 845572 [startup+890.059 s] Raw data (loadavg): 1.07 1.02 0.90 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 84788 53 0 0 25 0 11 0 405527819 865865728 35162 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35162 13073 16 0 211377 0 vsize: 845572 [startup+900.059 s] Raw data (loadavg): 1.06 1.01 0.90 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 85778 53 0 0 25 0 11 0 405527819 865865728 35172 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35172 13073 16 0 211377 0 vsize: 845572 [startup+910.06 s] Raw data (loadavg): 1.05 1.01 0.90 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 86765 54 0 0 25 0 11 0 405527819 865865728 35184 4294967295 134512640 134569956 3221224416 3221214792 1131401637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35184 13073 16 0 211377 0 vsize: 845572 [startup+920.062 s] Raw data (loadavg): 1.04 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 87748 54 0 0 25 0 11 0 405527819 865865728 35194 4294967295 134512640 134569956 3221224416 3221214696 1131236385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35194 13073 16 0 211377 0 vsize: 845572 [startup+930.062 s] Raw data (loadavg): 1.03 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 88730 54 0 0 25 0 11 0 405527819 865865728 35202 4294967295 134512640 134569956 3221224416 3221214696 1131236570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35202 13073 16 0 211377 0 vsize: 845572 [startup+940.062 s] Raw data (loadavg): 1.03 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 89713 54 0 0 25 0 11 0 405527819 865865728 35222 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35222 13073 16 0 211377 0 vsize: 845572 [startup+950.063 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 90704 54 0 0 25 0 11 0 405527819 865865728 35252 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35252 13073 16 0 211377 0 vsize: 845572 [startup+960.063 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 91699 54 0 0 25 0 11 0 405527819 865865728 35255 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35255 13073 16 0 211377 0 vsize: 845572 [startup+970.064 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 92694 54 0 0 25 0 11 0 405527819 865865728 35257 4294967295 134512640 134569956 3221224416 3221214696 1131236389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35257 13073 16 0 211377 0 vsize: 845572 [startup+980.065 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 93687 54 0 0 25 0 11 0 405527819 865865728 35262 4294967295 134512640 134569956 3221224416 3221214696 1131236957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35262 13073 16 0 211377 0 vsize: 845572 [startup+990.066 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 94680 54 0 0 25 0 11 0 405527819 865865728 35266 4294967295 134512640 134569956 3221224416 3221214696 1131236393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35266 13073 16 0 211377 0 vsize: 845572 [startup+1000.07 s] Raw data (loadavg): 1.01 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 95672 54 0 0 25 0 11 0 405527819 865865728 35270 4294967295 134512640 134569956 3221224416 3221214792 1131402575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35270 13073 16 0 211377 0 vsize: 845572 [startup+1010.07 s] Raw data (loadavg): 1.01 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 96666 54 0 0 25 0 11 0 405527819 865865728 35280 4294967295 134512640 134569956 3221224416 3221214696 1131236989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35280 13073 16 0 211377 0 vsize: 845572 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 97660 54 0 0 25 0 11 0 405527819 865865728 35285 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35285 13073 16 0 211377 0 vsize: 845572 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 98654 55 0 0 25 0 11 0 405527819 865865728 35289 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35289 13073 16 0 211377 0 vsize: 845572 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 99650 55 0 0 25 0 11 0 405527819 865865728 35292 4294967295 134512640 134569956 3221224416 3221214792 1131401738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35292 13073 16 0 211377 0 vsize: 845572 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 100637 55 0 0 25 0 11 0 405527819 865865728 35294 4294967295 134512640 134569956 3221224416 3221214696 1131236725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 35294 13073 16 0 211377 0 vsize: 845572 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 101615 55 0 0 25 0 11 0 405527819 865865728 35298 4294967295 134512640 134569956 3221224416 3221214792 1131401684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35298 13073 16 0 211377 0 vsize: 845572 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 102590 55 0 0 25 0 11 0 405527819 865865728 35300 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35300 13073 16 0 211377 0 vsize: 845572 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 103565 55 0 0 25 0 11 0 405527819 865865728 35304 4294967295 134512640 134569956 3221224416 3221214792 1131401637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35304 13073 16 0 211377 0 vsize: 845572 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 104543 55 0 0 25 0 11 0 405527819 865865728 35368 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35368 13073 16 0 211377 0 vsize: 845572 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 105530 55 0 0 25 0 11 0 405527819 865865728 35394 4294967295 134512640 134569956 3221224416 3221214696 1131237053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35394 13073 16 0 211377 0 vsize: 845572 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 106518 55 0 0 25 0 11 0 405527819 865865728 35398 4294967295 134512640 134569956 3221224416 3221214792 1131400533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35398 13073 16 0 211377 0 vsize: 845572 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 107507 56 0 0 25 0 11 0 405527819 865865728 35398 4294967295 134512640 134569956 3221224416 3221214696 1131237250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35398 13073 16 0 211377 0 vsize: 845572 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 108493 56 0 0 25 0 11 0 405527819 865865728 35417 4294967295 134512640 134569956 3221224416 3221214848 1131357808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35417 13073 16 0 211377 0 vsize: 845572 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 109482 56 0 0 25 0 11 0 405527819 865865728 35418 4294967295 134512640 134569956 3221224416 3221214792 1131400401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35418 13073 16 0 211377 0 vsize: 845572 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 110468 56 0 0 25 0 11 0 405527819 865865728 35419 4294967295 134512640 134569956 3221224416 3221214792 1131401650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35419 13073 16 0 211377 0 vsize: 845572 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 111456 56 0 0 25 0 11 0 405527819 865865728 35438 4294967295 134512640 134569956 3221224416 3221214696 1131236381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35438 13073 16 0 211377 0 vsize: 845572 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 112444 56 0 0 25 0 11 0 405527819 865865728 35438 4294967295 134512640 134569956 3221224416 3221214792 1131401590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35438 13073 16 0 211377 0 vsize: 845572 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 113430 56 0 0 25 0 11 0 405527819 865865728 35443 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35443 13073 16 0 211377 0 vsize: 845572 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 114417 56 0 0 25 0 11 0 405527819 865865728 35470 4294967295 134512640 134569956 3221224416 3221214792 1131400571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35470 13073 16 0 211377 0 vsize: 845572 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 115404 56 0 0 25 0 11 0 405527819 865865728 35472 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35472 13073 16 0 211377 0 vsize: 845572 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 116389 56 0 0 25 0 11 0 405527819 865865728 35472 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35472 13073 16 0 211377 0 vsize: 845572 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 117369 56 0 0 25 0 11 0 405527819 865865728 35494 4294967295 134512640 134569956 3221224416 3221214696 1131236785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35494 13073 16 0 211377 0 vsize: 845572 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 118360 56 0 0 25 0 11 0 405527819 865865728 35515 4294967295 134512640 134569956 3221224416 3221214792 1131400632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35515 13073 16 0 211377 0 vsize: 845572 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 119344 56 0 0 25 0 11 0 405527819 865865728 35537 4294967295 134512640 134569956 3221224416 3221214696 1131236911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35537 13073 16 0 211377 0 vsize: 845572 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 27293 Raw data (stat): 27281 (java) R 27280 26667 26666 0 -1 0 18100 3 1 0 120333 56 0 0 25 0 11 0 405527819 865865728 35545 4294967295 134512640 134569956 3221224416 3221214696 1131236461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211393 35545 13073 16 0 211377 0 vsize: 845572 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.16 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 27295 Raw data (stat): 27281 (java) Z 27280 26667 26666 0 -1 1036 18100 19215 1 0 120334 56 5027 55 25 0 1 0 405527819 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.16 CPU time (s): 1254.74 CPU user time (s): 1253.62 CPU system time (s): 1.11983 CPU usage (%): 100.367 Max. virtual memory (Kb): 845572 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####