Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | db06e7fbd4f70a4af68f8f196fdb3636 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03884 |
Number of variables | 807 |
Total number of constraints | 1838 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-13 15:53:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=549 boxname=wulflinc23 idbench=61 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: db06e7fbd4f70a4af68f8f196fdb3636 /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb IDLAUNCH: 549 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 920640 kB Buffers: 31160 kB Cached: 39912 kB SwapCached: 192 kB Active: 36600 kB Inactive: 37536 kB HighTotal: 131008 kB HighFree: 86772 kB LowTotal: 903652 kB LowFree: 833868 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6908 kB Slab: 34340 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:15:08 (client local time) WITH STATUS 143 IN SECONDS stats: 549 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb c reading problem c [nbvar=808] c [nbconstr=1838] c time 3.75 c #vars 808 c #clauses 1823 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=65 c Current CPU time (ms) : 5.148 c starts : 1 c conflicts : 3 c decisions : 749 c propagations : 818 c inspects : 6598 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 1 c c CURRENT OPTIMUM=64 c Current CPU time (ms) : 720.409 c starts : 7 c conflicts : 1790 c decisions : 36820 c propagations : 67700 c inspects : 529023 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1790 c root simplifications : 7 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.78 0.27 0.09 2/54 3406 Raw data (stat): 3406 (runsolver) R 3405 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477182603 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+10.0003 s] Raw data (loadavg): 0.96 0.32 0.11 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 650 41 0 0 25 0 11 0 477182603 863911936 21658 4294967295 134512640 134569956 3221224416 3221214680 1131377316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 21658 13073 16 0 210900 0 vsize: 843664 [startup+20.0014 s] Raw data (loadavg): 0.97 0.35 0.12 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 1579 41 0 0 25 0 11 0 477182603 863879168 21714 4294967295 134512640 134569956 3221224416 3221214648 1131378715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 21714 13073 16 0 210892 0 vsize: 843632 [startup+30.0025 s] Raw data (loadavg): 0.97 0.37 0.13 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 2516 41 0 0 25 0 11 0 477182603 863879168 21836 4294967295 134512640 134569956 3221224416 3221214744 1131435021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 21836 13073 16 0 210892 0 vsize: 843632 [startup+40.0032 s] Raw data (loadavg): 1.05 0.40 0.14 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 3457 41 0 0 25 0 11 0 477182603 863879168 22327 4294967295 134512640 134569956 3221224416 3221214568 1131415233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 22327 13073 16 0 210892 0 vsize: 843632 [startup+50.0032 s] Raw data (loadavg): 1.04 0.42 0.15 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 4426 41 0 0 25 0 11 0 477182603 863879168 22401 4294967295 134512640 134569956 3221224416 3221214728 1131371273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 22401 13073 16 0 210892 0 vsize: 843632 [startup+60.0034 s] Raw data (loadavg): 1.03 0.44 0.16 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 5362 41 0 0 24 0 11 0 477182603 863879168 22614 4294967295 134512640 134569956 3221224416 3221214732 1080204290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 22614 13073 16 0 210892 0 vsize: 843632 [startup+70.0039 s] Raw data (loadavg): 1.03 0.46 0.17 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 6286 41 0 0 25 0 11 0 477182603 863879168 22881 4294967295 134512640 134569956 3221224416 3221214648 1131377760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 22881 13073 16 0 210892 0 vsize: 843632 [startup+80.004 s] Raw data (loadavg): 1.02 0.48 0.18 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 7190 41 0 0 25 0 11 0 477182603 863879168 23146 4294967295 134512640 134569956 3221224416 3221214712 1131229406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 23146 13073 16 0 210892 0 vsize: 843632 [startup+90.0055 s] Raw data (loadavg): 1.02 0.49 0.19 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 8095 42 0 0 25 0 11 0 477182603 863879168 23507 4294967295 134512640 134569956 3221224416 3221214744 1131437686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 23507 13073 16 0 210892 0 vsize: 843632 [startup+100.009 s] Raw data (loadavg): 1.10 0.53 0.20 2/64 3417 Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18071 4 1 0 9001 42 0 0 25 0 11 0 477182603 863879168 23897 4294967295 134512640 134569956 3221224416 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 23897 13073 16 0 210892 0 vsize: 843632 [startup+110.01 s] Raw data (loadavg): 1.08 0.54 0.21 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 9900 42 0 0 25 0 11 0 477182603 863879168 24080 4294967295 134512640 134569956 3221224416 3221214568 1131292500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 24080 13073 16 0 210892 0 vsize: 843632 [startup+120.011 s] Raw data (loadavg): 1.07 0.56 0.22 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 10811 42 0 0 25 0 11 0 477182603 863879168 24301 4294967295 134512640 134569956 3221224416 3221214744 1131291751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 24301 13073 16 0 210892 0 vsize: 843632 [startup+130.012 s] Raw data (loadavg): 1.06 0.57 0.22 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 11731 42 0 0 25 0 11 0 477182603 863879168 24645 4294967295 134512640 134569956 3221224416 3221214664 1131619536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 24645 13073 16 0 210892 0 vsize: 843632 [startup+140.012 s] Raw data (loadavg): 1.05 0.58 0.23 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 12647 42 0 0 25 0 11 0 477182603 863879168 24858 4294967295 134512640 134569956 3221224416 3221214608 1131378611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 24858 13073 16 0 210892 0 vsize: 843632 [startup+150.013 s] Raw data (loadavg): 1.04 0.60 0.24 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 13552 42 0 0 25 0 11 0 477182603 863879168 25205 4294967295 134512640 134569956 3221224416 3221214608 1131378005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 25205 13073 16 0 210892 0 vsize: 843632 [startup+160.013 s] Raw data (loadavg): 1.03 0.61 0.25 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 14465 42 0 0 25 0 11 0 477182603 863879168 25459 4294967295 134512640 134569956 3221224416 3221214624 1131619404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 25459 13073 16 0 210892 0 vsize: 843632 [startup+170.019 s] Raw data (loadavg): 1.03 0.62 0.26 2/64 3417 Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 15378 43 0 0 25 0 11 0 477182603 863879168 25633 4294967295 134512640 134569956 3221224416 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 25633 13073 16 0 210892 0 vsize: 843632 [startup+180.02 s] Raw data (loadavg): 1.02 0.63 0.26 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 16304 43 0 0 25 0 11 0 477182603 863879168 25831 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 25831 13073 16 0 210892 0 vsize: 843632 [startup+190.021 s] Raw data (loadavg): 1.02 0.65 0.27 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 17232 43 0 0 25 0 11 0 477182603 863879168 26252 4294967295 134512640 134569956 3221224416 3221214640 1131313533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 26252 13073 16 0 210892 0 vsize: 843632 [startup+200.022 s] Raw data (loadavg): 1.02 0.66 0.28 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 18158 43 0 0 25 0 11 0 477182603 863879168 26344 4294967295 134512640 134569956 3221224416 3221214704 1131291881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 26344 13073 16 0 210892 0 vsize: 843632 [startup+210.021 s] Raw data (loadavg): 1.01 0.67 0.29 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 19098 43 0 0 25 0 11 0 477182603 863879168 26494 4294967295 134512640 134569956 3221224416 3221214704 1131429943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 26494 13073 16 0 210892 0 vsize: 843632 [startup+220.022 s] Raw data (loadavg): 1.01 0.68 0.29 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 20026 43 0 0 25 0 11 0 477182603 863879168 26567 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 26567 13073 16 0 210892 0 vsize: 843632 [startup+230.023 s] Raw data (loadavg): 1.01 0.69 0.30 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 20956 43 0 0 24 0 11 0 477182603 863879168 26816 4294967295 134512640 134569956 3221224416 3221214624 1131621319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 26816 13073 16 0 210892 0 vsize: 843632 [startup+240.023 s] Raw data (loadavg): 1.01 0.70 0.31 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 21906 43 0 0 25 0 11 0 477182603 863879168 27007 4294967295 134512640 134569956 3221224416 3221214416 1131422802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 27007 13073 16 0 210892 0 vsize: 843632 [startup+250.024 s] Raw data (loadavg): 1.00 0.71 0.31 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 22849 43 0 0 25 0 11 0 477182603 863879168 27108 4294967295 134512640 134569956 3221224416 3221214784 1131323659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 27108 13073 16 0 210892 0 vsize: 843632 [startup+260.024 s] Raw data (loadavg): 1.00 0.72 0.32 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 23784 44 0 0 25 0 11 0 477182603 863879168 27278 4294967295 134512640 134569956 3221224416 3221214704 1131436495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 27278 13073 16 0 210892 0 vsize: 843632 [startup+270.025 s] Raw data (loadavg): 1.00 0.72 0.33 2/64 3417 Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 24706 44 0 0 25 0 11 0 477182603 863879168 27399 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 27399 13073 16 0 210892 0 vsize: 843632 [startup+280.026 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 25630 44 0 0 25 0 11 0 477182603 863879168 27721 4294967295 134512640 134569956 3221224416 3221214608 1131377540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 27721 13073 16 0 210892 0 vsize: 843632 [startup+290.027 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 26546 44 0 0 25 0 11 0 477182603 863879168 27883 4294967295 134512640 134569956 3221224416 3221214784 1131324325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 27883 13073 16 0 210892 0 vsize: 843632 [startup+300.028 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 27435 44 0 0 25 0 11 0 477182603 863879168 28393 4294967295 134512640 134569956 3221224416 3221214632 1131316778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 28393 13073 16 0 210892 0 vsize: 843632 [startup+310.028 s] Raw data (loadavg): 1.00 0.76 0.35 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 28326 45 0 0 25 0 11 0 477182603 863879168 28911 4294967295 134512640 134569956 3221224416 3221214688 1131229907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 28911 13073 16 0 210892 0 vsize: 843632 [startup+320.028 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 29224 45 0 0 24 0 11 0 477182603 863879168 28997 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 28997 13073 16 0 210892 0 vsize: 843632 [startup+330.029 s] Raw data (loadavg): 1.00 0.77 0.37 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 30130 45 0 0 24 0 11 0 477182603 863879168 29158 4294967295 134512640 134569956 3221224416 3221214800 1131309923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 29158 13073 16 0 210892 0 vsize: 843632 [startup+340.029 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 31055 46 0 0 25 0 11 0 477182603 863879168 29594 4294967295 134512640 134569956 3221224416 3221214692 1080203708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 29594 13073 16 0 210892 0 vsize: 843632 [startup+350.029 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 31995 46 0 0 25 0 11 0 477182603 863879168 29869 4294967295 134512640 134569956 3221224416 3221214688 1131229869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 29869 13073 16 0 210892 0 vsize: 843632 [startup+360.03 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 32930 46 0 0 25 0 11 0 477182603 863879168 29917 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 29917 13073 16 0 210892 0 vsize: 843632 [startup+370.03 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 3417 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 33865 46 0 0 25 0 11 0 477182603 863879168 30000 4294967295 134512640 134569956 3221224416 3221214528 1131291720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 30000 13073 16 0 210892 0 vsize: 843632 [startup+380.055 s] Raw data (loadavg): 1.00 0.81 0.40 3/67 3453 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 34791 49 0 0 17 0 11 0 477182603 863879168 30093 4294967295 134512640 134569956 3221224416 3221214688 1131229476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 30093 13073 16 0 210892 0 vsize: 843632 [startup+390.056 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 35722 51 0 0 25 0 11 0 477182603 863879168 30398 4294967295 134512640 134569956 3221224416 3221214688 1131229414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 30398 13073 16 0 210892 0 vsize: 843632 [startup+400.056 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 36650 51 0 0 25 0 11 0 477182603 863879168 30532 4294967295 134512640 134569956 3221224416 3221214608 1131376949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 30532 13073 16 0 210892 0 vsize: 843632 [startup+410.057 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 37555 51 0 0 25 0 11 0 477182603 863879168 30749 4294967295 134512640 134569956 3221224416 3221214784 1131322506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 30749 13073 16 0 210892 0 vsize: 843632 [startup+420.058 s] Raw data (loadavg): 1.00 0.83 0.42 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 38443 51 0 0 25 0 11 0 477182603 863879168 31537 4294967295 134512640 134569956 3221224416 3221214512 1131566384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 31537 13073 16 0 210892 0 vsize: 843632 [startup+430.058 s] Raw data (loadavg): 1.00 0.83 0.43 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 39361 52 0 0 25 0 11 0 477182603 863879168 31631 4294967295 134512640 134569956 3221224416 3221214688 1131229646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 31631 13073 16 0 210892 0 vsize: 843632 [startup+440.057 s] Raw data (loadavg): 1.00 0.84 0.43 2/64 3470 Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 40253 52 0 0 25 0 11 0 477182603 863879168 32169 4294967295 134512640 134569956 3221224416 3221213168 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 32169 13073 16 0 210892 0 vsize: 843632 [startup+450.058 s] Raw data (loadavg): 1.00 0.84 0.44 2/64 3470 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 41153 52 0 0 25 0 11 0 477182603 863879168 32629 4294967295 134512640 134569956 3221224416 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 32629 13073 16 0 210892 0 vsize: 843632 [startup+460.059 s] Raw data (loadavg): 1.00 0.85 0.44 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 42068 52 0 0 25 0 11 0 477182603 863879168 32952 4294967295 134512640 134569956 3221224416 3221214848 1131506824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 32952 13073 16 0 210892 0 vsize: 843632 [startup+470.061 s] Raw data (loadavg): 1.00 0.85 0.45 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 42984 53 0 0 25 0 11 0 477182603 863879168 33234 4294967295 134512640 134569956 3221224416 3221214784 1131322399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 33234 13073 16 0 210892 0 vsize: 843632 [startup+480.061 s] Raw data (loadavg): 1.00 0.86 0.45 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 43887 53 0 0 25 0 11 0 477182603 863879168 33601 4294967295 134512640 134569956 3221224416 3221214784 1131324472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 33601 13073 16 0 210892 0 vsize: 843632 [startup+490.061 s] Raw data (loadavg): 1.00 0.86 0.46 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 44779 53 0 0 25 0 11 0 477182603 863879168 34291 4294967295 134512640 134569956 3221224416 3221214208 1131629660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 34291 13073 16 0 210892 0 vsize: 843632 [startup+500.061 s] Raw data (loadavg): 1.00 0.86 0.46 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 45715 54 0 0 25 0 11 0 477182603 863879168 34578 4294967295 134512640 134569956 3221224416 3221214784 1131323312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 34578 13073 16 0 210892 0 vsize: 843632 [startup+510.061 s] Raw data (loadavg): 1.00 0.87 0.47 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 46643 54 0 0 25 0 11 0 477182603 863879168 34883 4294967295 134512640 134569956 3221224416 3221214672 1131291799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 34883 13073 16 0 210892 0 vsize: 843632 [startup+520.062 s] Raw data (loadavg): 1.00 0.87 0.47 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 47573 54 0 0 25 0 11 0 477182603 863879168 34924 4294967295 134512640 134569956 3221224416 3221214688 1131229309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 34924 13073 16 0 210892 0 vsize: 843632 [startup+530.063 s] Raw data (loadavg): 1.00 0.88 0.48 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 48477 54 0 0 25 0 11 0 477182603 863879168 35069 4294967295 134512640 134569956 3221224416 3221214480 1131390923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 35069 13073 16 0 210892 0 vsize: 843632 [startup+540.063 s] Raw data (loadavg): 1.00 0.88 0.48 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 49381 55 0 0 25 0 11 0 477182603 863879168 35413 4294967295 134512640 134569956 3221224416 3221214704 1131432861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 35413 13073 16 0 210892 0 vsize: 843632 [startup+550.063 s] Raw data (loadavg): 1.00 0.88 0.49 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 50342 55 0 0 25 0 11 0 477182603 863879168 35575 4294967295 134512640 134569956 3221224416 3221214688 1131229317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 35575 13073 16 0 210892 0 vsize: 843632 [startup+560.063 s] Raw data (loadavg): 1.00 0.89 0.49 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 51278 55 0 0 25 0 11 0 477182603 863879168 35817 4294967295 134512640 134569956 3221224416 3221214688 1131229325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 35817 13073 16 0 210892 0 vsize: 843632 [startup+570.064 s] Raw data (loadavg): 1.00 0.89 0.50 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 52243 55 0 0 25 0 11 0 477182603 863879168 35823 4294967295 134512640 134569956 3221224416 3221214556 1131630409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 35823 13073 16 0 210892 0 vsize: 843632 [startup+580.063 s] Raw data (loadavg): 1.00 0.89 0.50 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 53178 55 0 0 25 0 11 0 477182603 863879168 36106 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 36106 13073 16 0 210892 0 vsize: 843632 [startup+590.063 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 54099 56 0 0 25 0 11 0 477182603 863879168 36517 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 36517 13073 16 0 210892 0 vsize: 843632 [startup+600.064 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 55036 56 0 0 25 0 11 0 477182603 863879168 36987 4294967295 134512640 134569956 3221224416 3221214688 1131229313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 36987 13073 16 0 210892 0 vsize: 843632 [startup+610.064 s] Raw data (loadavg): 1.00 0.90 0.52 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 55968 56 0 0 25 0 11 0 477182603 863879168 37504 4294967295 134512640 134569956 3221224416 3221214688 1131229814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 37504 13073 16 0 210892 0 vsize: 843632 [startup+620.065 s] Raw data (loadavg): 1.00 0.90 0.52 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 56942 56 0 0 25 0 11 0 477182603 863879168 37648 4294967295 134512640 134569956 3221224416 3221214784 1131322473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 37648 13073 16 0 210892 0 vsize: 843632 [startup+630.066 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 57891 56 0 0 24 0 11 0 477182603 863879168 37834 4294967295 134512640 134569956 3221224416 3221214608 1131376874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 37834 13073 16 0 210892 0 vsize: 843632 [startup+640.066 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 58844 57 0 0 25 0 11 0 477182603 863879168 37964 4294967295 134512640 134569956 3221224416 3221214704 1131435087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 37964 13073 16 0 210892 0 vsize: 843632 [startup+650.067 s] Raw data (loadavg): 1.00 0.91 0.54 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 59832 57 0 0 25 0 11 0 477182603 863879168 38115 4294967295 134512640 134569956 3221224416 3221214336 1131630388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 38115 13073 16 0 210892 0 vsize: 843632 [startup+660.067 s] Raw data (loadavg): 1.00 0.91 0.54 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 60774 57 0 0 25 0 11 0 477182603 863879168 38305 4294967295 134512640 134569956 3221224416 3221214200 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 38305 13073 16 0 210892 0 vsize: 843632 [startup+670.068 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 61714 57 0 0 25 0 11 0 477182603 863879168 38831 4294967295 134512640 134569956 3221224416 3221214688 1131229646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 38831 13073 16 0 210892 0 vsize: 843632 [startup+680.069 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 62658 57 0 0 25 0 11 0 477182603 863879168 39531 4294967295 134512640 134569956 3221224416 3221214784 1131323551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39531 13073 16 0 210892 0 vsize: 843632 [startup+690.068 s] Raw data (loadavg): 1.00 0.92 0.56 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 63603 58 0 0 25 0 11 0 477182603 863879168 39531 4294967295 134512640 134569956 3221224416 3221214688 1131230327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39531 13073 16 0 210892 0 vsize: 843632 [startup+700.069 s] Raw data (loadavg): 1.00 0.92 0.56 2/64 3472 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 64576 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221214256 1131646128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39870 13073 16 0 210892 0 vsize: 843632 [startup+710.069 s] Raw data (loadavg): 1.00 0.92 0.56 2/64 3474 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 65553 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221213896 1085679446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39870 13073 16 0 210892 0 vsize: 843632 [startup+720.07 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 3474 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 66494 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221214688 1131229745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39870 13073 16 0 210892 0 vsize: 843632 [startup+730.071 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 67471 59 0 0 25 0 11 0 477182603 863879168 39871 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39871 13073 16 0 210892 0 vsize: 843632 [startup+740.071 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 68401 59 0 0 25 0 11 0 477182603 863879168 39929 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 39929 13073 16 0 210892 0 vsize: 843632 [startup+750.072 s] Raw data (loadavg): 1.00 0.93 0.58 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 69330 59 0 0 25 0 11 0 477182603 863879168 40113 4294967295 134512640 134569956 3221224416 3221214672 1131291881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40113 13073 16 0 210892 0 vsize: 843632 [startup+760.072 s] Raw data (loadavg): 1.00 0.93 0.58 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 70300 60 0 0 25 0 11 0 477182603 863879168 40193 4294967295 134512640 134569956 3221224416 3221214688 1131229449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40193 13073 16 0 210892 0 vsize: 843632 [startup+770.073 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 71281 60 0 0 25 0 11 0 477182603 863879168 40213 4294967295 134512640 134569956 3221224416 3221214256 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40213 13073 16 0 210892 0 vsize: 843632 [startup+780.074 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 72253 60 0 0 25 0 11 0 477182603 863879168 40605 4294967295 134512640 134569956 3221224416 3221214328 1131629143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40605 13073 16 0 210892 0 vsize: 843632 [startup+790.073 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 73246 61 0 0 25 0 11 0 477182603 863879168 40652 4294967295 134512640 134569956 3221224416 3221214088 1085679284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40652 13073 16 0 210892 0 vsize: 843632 [startup+800.074 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 74214 61 0 0 25 0 11 0 477182603 863879168 40745 4294967295 134512640 134569956 3221224416 3221214688 1131230364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40745 13073 16 0 210892 0 vsize: 843632 [startup+810.074 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 75190 61 0 0 25 0 11 0 477182603 863879168 40752 4294967295 134512640 134569956 3221224416 3221213864 1085632292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40752 13073 16 0 210892 0 vsize: 843632 [startup+820.075 s] Raw data (loadavg): 1.00 0.94 0.61 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 76149 62 0 0 25 0 11 0 477182603 863879168 40780 4294967295 134512640 134569956 3221224416 3221214040 1131641400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40780 13073 16 0 210892 0 vsize: 843632 [startup+830.075 s] Raw data (loadavg): 1.00 0.94 0.61 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 77141 62 0 0 25 0 11 0 477182603 863879168 40783 4294967295 134512640 134569956 3221224416 3221214008 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40783 13073 16 0 210892 0 vsize: 843632 [startup+840.074 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 78117 62 0 0 25 0 11 0 477182603 863879168 40795 4294967295 134512640 134569956 3221224416 3221214480 1131390915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40795 13073 16 0 210892 0 vsize: 843632 [startup+850.075 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 79081 63 0 0 25 0 11 0 477182603 863879168 40846 4294967295 134512640 134569956 3221224416 3221214784 1131322434 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40846 13073 16 0 210892 0 vsize: 843632 [startup+860.075 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 80034 63 0 0 25 0 11 0 477182603 863879168 40931 4294967295 134512640 134569956 3221224416 3221214784 1131323598 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 40931 13073 16 0 210892 0 vsize: 843632 [startup+870.075 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 80987 63 0 0 25 0 11 0 477182603 863879168 41093 4294967295 134512640 134569956 3221224416 3221214784 1131322414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41093 13073 16 0 210892 0 vsize: 843632 [startup+880.076 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 81945 63 0 0 25 0 11 0 477182603 863879168 41136 4294967295 134512640 134569956 3221224416 3221214808 1131651971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41136 13073 16 0 210892 0 vsize: 843632 [startup+890.076 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 82892 64 0 0 25 0 11 0 477182603 863879168 41293 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41293 13073 16 0 210892 0 vsize: 843632 [startup+900.076 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 83858 64 0 0 25 0 11 0 477182603 863879168 41365 4294967295 134512640 134569956 3221224416 3221214680 1131343070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41365 13073 16 0 210892 0 vsize: 843632 [startup+910.077 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 84835 64 0 0 25 0 11 0 477182603 863879168 41471 4294967295 134512640 134569956 3221224416 3221214280 1131630396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41471 13073 16 0 210892 0 vsize: 843632 [startup+920.077 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 85828 65 0 0 25 0 11 0 477182603 863879168 41486 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41486 13073 16 0 210892 0 vsize: 843632 [startup+930.078 s] Raw data (loadavg): 1.00 0.95 0.65 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 86793 65 0 0 24 0 11 0 477182603 863879168 41687 4294967295 134512640 134569956 3221224416 3221214688 1131229938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41687 13073 16 0 210892 0 vsize: 843632 [startup+940.077 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 87772 65 0 0 25 0 11 0 477182603 863879168 41696 4294967295 134512640 134569956 3221224416 3221214368 1085679502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41696 13073 16 0 210892 0 vsize: 843632 [startup+950.078 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 88741 65 0 0 25 0 11 0 477182603 863879168 41696 4294967295 134512640 134569956 3221224416 3221214344 1131629624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41696 13073 16 0 210892 0 vsize: 843632 [startup+960.079 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 89709 66 0 0 25 0 11 0 477182603 863879168 41698 4294967295 134512640 134569956 3221224416 3221214028 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41698 13073 16 0 210892 0 vsize: 843632 [startup+970.079 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 90695 66 0 0 25 0 11 0 477182603 863879168 41737 4294967295 134512640 134569956 3221224416 3221214112 1131630396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41737 13073 16 0 210892 0 vsize: 843632 [startup+980.08 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 91665 66 0 0 25 0 11 0 477182603 863879168 41774 4294967295 134512640 134569956 3221224416 3221214216 1131599575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41774 13073 16 0 210892 0 vsize: 843632 [startup+990.081 s] Raw data (loadavg): 1.00 0.96 0.66 3/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 92615 66 0 0 25 0 11 0 477182603 863879168 41873 4294967295 134512640 134569956 3221224416 3221214624 1131619408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 41873 13073 16 0 210892 0 vsize: 843632 [startup+1000.08 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 3475 Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 93578 66 0 0 25 0 11 0 477182603 863879168 41889 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 41889 13073 16 0 210892 0 vsize: 843632 [startup+1010.08 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 94528 67 0 0 25 0 11 0 477182603 863879168 42094 4294967295 134512640 134569956 3221224416 3221214528 1131291881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42094 13073 16 0 210892 0 vsize: 843632 [startup+1020.08 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 95502 67 0 0 25 0 11 0 477182603 863879168 42110 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42110 13073 16 0 210892 0 vsize: 843632 [startup+1030.08 s] Raw data (loadavg): 1.00 0.96 0.68 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 96455 67 0 0 25 0 11 0 477182603 863879168 42222 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42222 13073 16 0 210892 0 vsize: 843632 [startup+1040.08 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 97406 67 0 0 24 0 11 0 477182603 863879168 42463 4294967295 134512640 134569956 3221224416 3221214528 1131291881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42463 13073 16 0 210892 0 vsize: 843632 [startup+1050.08 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 98374 68 0 0 25 0 11 0 477182603 863879168 42495 4294967295 134512640 134569956 3221224416 3221213704 1131629676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42495 13073 16 0 210892 0 vsize: 843632 [startup+1060.08 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 99336 68 0 0 24 0 11 0 477182603 863879168 42518 4294967295 134512640 134569956 3221224416 3221214704 1131434413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42518 13073 16 0 210892 0 vsize: 843632 [startup+1070.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 100302 68 0 0 24 0 11 0 477182603 863879168 42600 4294967295 134512640 134569956 3221224416 3221214704 1131291881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42600 13073 16 0 210892 0 vsize: 843632 [startup+1080.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 101279 69 0 0 25 0 11 0 477182603 863879168 42694 4294967295 134512640 134569956 3221224416 3221214008 1131629624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42694 13073 16 0 210892 0 vsize: 843632 [startup+1090.09 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 102260 69 0 0 25 0 11 0 477182603 863879168 42729 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42729 13073 16 0 210892 0 vsize: 843632 [startup+1100.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 103241 69 0 0 25 0 11 0 477182603 863879168 42755 4294967295 134512640 134569956 3221224416 3221214784 1131324428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42755 13073 16 0 210892 0 vsize: 843632 [startup+1110.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 104216 70 0 0 25 0 11 0 477182603 863879168 42820 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42820 13073 16 0 210892 0 vsize: 843632 [startup+1120.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 105209 70 0 0 25 0 11 0 477182603 863879168 42830 4294967295 134512640 134569956 3221224416 3221214056 1131630396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42830 13073 16 0 210892 0 vsize: 843632 [startup+1130.09 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 106196 71 0 0 25 0 11 0 477182603 863879168 42844 4294967295 134512640 134569956 3221224416 3221213816 1131629606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42844 13073 16 0 210892 0 vsize: 843632 [startup+1140.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 107178 71 0 0 25 0 11 0 477182603 863879168 42866 4294967295 134512640 134569956 3221224416 3221214396 1131629592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42866 13073 16 0 210892 0 vsize: 843632 [startup+1150.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 108158 71 0 0 25 0 11 0 477182603 863879168 42881 4294967295 134512640 134569956 3221224416 3221214264 1131641572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42881 13073 16 0 210892 0 vsize: 843632 [startup+1160.09 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 109135 72 0 0 25 0 11 0 477182603 863879168 42892 4294967295 134512640 134569956 3221224416 3221214688 1131229979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42892 13073 16 0 210892 0 vsize: 843632 [startup+1170.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 110099 72 0 0 25 0 11 0 477182603 863879168 42900 4294967295 134512640 134569956 3221224416 3221214624 1131621405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42900 13073 16 0 210892 0 vsize: 843632 [startup+1180.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 111077 72 0 0 25 0 11 0 477182603 863879168 42953 4294967295 134512640 134569956 3221224416 3221214624 1131621340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42953 13073 16 0 210892 0 vsize: 843632 [startup+1190.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 112057 73 0 0 25 0 11 0 477182603 863879168 42987 4294967295 134512640 134569956 3221224416 3221214448 1131630396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 42987 13073 16 0 210892 0 vsize: 843632 [startup+1200.09 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 113034 73 0 0 25 0 11 0 477182603 863879168 43039 4294967295 134512640 134569956 3221224416 3221214560 1131630350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43039 13073 16 0 210892 0 vsize: 843632 [startup+1210.09 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 114014 74 0 0 24 0 11 0 477182603 863879168 43107 4294967295 134512640 134569956 3221224416 3221214688 1131229833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210908 43107 13073 16 0 210892 0 vsize: 843632 [startup+1220.09 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 114995 74 0 0 25 0 11 0 477182603 863879168 43181 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43181 13073 16 0 210892 0 vsize: 843632 [startup+1230.09 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 115976 74 0 0 25 0 11 0 477182603 863879168 43191 4294967295 134512640 134569956 3221224416 3221214784 1131322151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43191 13073 16 0 210892 0 vsize: 843632 [startup+1240.09 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 116949 74 0 0 24 0 11 0 477182603 863879168 43203 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43203 13073 16 0 210892 0 vsize: 843632 [startup+1250.09 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 117923 75 0 0 25 0 11 0 477182603 863879168 43214 4294967295 134512640 134569956 3221224416 3221214552 1131343747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43214 13073 16 0 210892 0 vsize: 843632 [startup+1260.09 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 118896 75 0 0 25 0 11 0 477182603 863879168 43222 4294967295 134512640 134569956 3221224416 3221214688 1131229353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43222 13073 16 0 210892 0 vsize: 843632 [startup+1270.09 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 119871 75 0 0 25 0 11 0 477182603 863879168 43239 4294967295 134512640 134569956 3221224416 3221214092 1131630156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43239 13073 16 0 210892 0 vsize: 843632 [startup+1280.09 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 3475 Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 120838 75 0 0 25 0 11 0 477182603 863879168 43295 4294967295 134512640 134569956 3221224416 3221214168 1131630249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210908 43295 13073 16 0 210892 0 vsize: 843632 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.24 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 3477 Raw data (stat): 3406 (java) Z 3405 3260 3259 0 -1 1036 18072 29898 1 1 120844 84 8078 79 25 0 1 0 477182603 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1280.24 CPU time (s): 1290.87 CPU user time (s): 1289.23 CPU system time (s): 1.64075 CPU usage (%): 100.83 Max. virtual memory (Kb): 843664 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####