Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | 42c2d619b73aa24781f1b54bddde28cc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.13 |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-13 18:02:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3141 boxname=wulflinc17 idbench=349 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 42c2d619b73aa24781f1b54bddde28cc /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb IDLAUNCH: 3141 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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: 854364 kB Buffers: 33556 kB Cached: 111560 kB SwapCached: 2376 kB Active: 51152 kB Inactive: 99288 kB HighTotal: 131008 kB HighFree: 15960 kB LowTotal: 903652 kB LowFree: 838404 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 24196 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:24:18 (client local time) WITH STATUS 143 IN SECONDS stats: 3141 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb c reading problem c [nbvar=1534] c [nbconstr=126555] c time 18.393 c #vars 1534 c #clauses 126555 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=0 c Current CPU time (ms) : 18.921 c starts : 1 c conflicts : 0 c decisions : 1534 c propagations : 1534 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-1 c Current CPU time (ms) : 19.156 c starts : 2 c conflicts : 0 c decisions : 3067 c propagations : 3068 c inspects : 198 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-2 c Current CPU time (ms) : 25.851 c starts : 3 c conflicts : 25 c decisions : 4600 c propagations : 4952 c inspects : 5186 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 3 c c CURRENT OPTIMUM=-43 c Current CPU time (ms) : 26.293 c starts : 4 c conflicts : 25 c decisions : 4643 c propagations : 6486 c inspects : 12074 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 4 c c CURRENT OPTIMUM=-44 c Current CPU time (ms) : 29.604 c starts : 5 c conflicts : 34 c decisions : 4699 c propagations : 8097 c inspects : 24411 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 34 c root simplifications : 5 c c CURRENT OPTIMUM=-45 c Current CPU time (ms) : 100.082 c starts : 7 c conflicts : 157 c decisions : 4933 c propagations : 12020 c inspects : 95076 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 157 c root simplifications : 7 c c CURRENT OPTIMUM=-46 c Current CPU time (ms) : 109.424 c starts : 8 c conflicts : 160 c decisions : 4982 c propagations : 13586 c inspects : 115821 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 160 c root simplifications : 8 #### 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.00 1.01 1.00 2/55 22756 Raw data (stat): 22756 (runsolver) R 22755 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477961157 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22765 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 17991 0 1 0 797 43 0 0 25 0 10 0 477961157 854507520 23076 4294967295 134512640 134569956 3221224416 3221214856 1131153862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208620 23076 13073 16 0 208604 0 vsize: 834480 [startup+20.0353 s] Raw data (loadavg): 1.00 1.00 1.00 3/65 22768 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18048 3 1 0 1674 45 0 0 25 0 11 0 477961157 855035904 29526 4294967295 134512640 134569956 3221224416 3221201192 1074835150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208749 29526 13073 16 0 208733 0 vsize: 834996 [startup+30.0361 s] Raw data (loadavg): 1.15 1.04 1.01 2/65 22770 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18065 3 1 0 2270 46 0 0 25 0 11 0 477961157 865128448 37954 4294967295 134512640 134569956 3221224416 3221214616 1131434679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211213 37954 13073 16 0 211197 0 vsize: 844852 [startup+40.0358 s] Raw data (loadavg): 1.13 1.03 1.01 2/65 22771 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18065 3 1 0 3161 46 0 0 25 0 11 0 477961157 865128448 38076 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211213 38079 13073 16 0 211197 0 vsize: 844852 [startup+50.0367 s] Raw data (loadavg): 1.11 1.03 1.01 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 4036 46 0 0 25 0 11 0 477961157 863326208 38278 4294967295 134512640 134569956 3221224416 3221214600 1131661439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210773 38278 13073 16 0 210757 0 vsize: 843092 [startup+60.0369 s] Raw data (loadavg): 1.09 1.03 1.01 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 4951 46 0 0 25 0 11 0 477961157 862441472 38503 4294967295 134512640 134569956 3221224416 3221214600 1131662911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 38503 13073 16 0 210541 0 vsize: 842228 [startup+70.038 s] Raw data (loadavg): 1.08 1.03 1.01 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 5860 46 0 0 25 0 11 0 477961157 862441472 38896 4294967295 134512640 134569956 3221224416 3221214624 1131439138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 38896 13073 16 0 210541 0 vsize: 842228 [startup+80.0394 s] Raw data (loadavg): 1.06 1.03 1.00 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 6781 46 0 0 25 0 11 0 477961157 862441472 39095 4294967295 134512640 134569956 3221224416 3221214784 1131365565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 39095 13073 16 0 210541 0 vsize: 842228 [startup+90.0397 s] Raw data (loadavg): 1.05 1.03 1.00 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 7673 46 0 0 25 0 11 0 477961157 862441472 39587 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 39587 13073 16 0 210541 0 vsize: 842228 [startup+100.039 s] Raw data (loadavg): 1.05 1.03 1.00 2/65 22771 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 8544 47 0 0 25 0 11 0 477961157 862441472 40058 4294967295 134512640 134569956 3221224416 3221214656 1131249341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 40058 13073 16 0 210541 0 vsize: 842228 [startup+110.044 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 22772 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 9389 47 0 0 19 0 11 0 477961157 862441472 40401 4294967295 134512640 134569956 3221224416 3221214784 1131363686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 40401 13073 16 0 210541 0 vsize: 842228 [startup+120.044 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 10231 47 0 0 19 0 11 0 477961157 862441472 40556 4294967295 134512640 134569956 3221224416 3221214688 1131230165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 40556 13073 16 0 210541 0 vsize: 842228 [startup+130.045 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 11095 47 0 0 22 0 11 0 477961157 862441472 41067 4294967295 134512640 134569956 3221224416 3221214600 1131662124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 41067 13073 16 0 210541 0 vsize: 842228 [startup+140.046 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 11953 47 0 0 16 0 11 0 477961157 862441472 41391 4294967295 134512640 134569956 3221224416 3221214712 1131732711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 41391 13073 16 0 210541 0 vsize: 842228 [startup+150.048 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 12861 47 0 0 25 0 11 0 477961157 862441472 41727 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 41727 13073 16 0 210541 0 vsize: 842228 [startup+160.049 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 13754 47 0 0 18 0 11 0 477961157 862441472 42035 4294967295 134512640 134569956 3221224416 3221214688 1131229825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 42035 13073 16 0 210541 0 vsize: 842228 [startup+170.049 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 14653 48 0 0 23 0 11 0 477961157 862441472 42327 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 42327 13073 16 0 210541 0 vsize: 842228 [startup+180.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 15556 48 0 0 25 0 11 0 477961157 862441472 42515 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 42515 13073 16 0 210541 0 vsize: 842228 [startup+190.051 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 16427 48 0 0 18 0 11 0 477961157 862441472 42774 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 42774 13073 16 0 210541 0 vsize: 842228 [startup+200.052 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 17283 48 0 0 16 0 11 0 477961157 862441472 43148 4294967295 134512640 134569956 3221224416 3221214688 1131229331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 43148 13073 16 0 210541 0 vsize: 842228 [startup+210.053 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22773 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 18171 49 0 0 18 0 11 0 477961157 862441472 43397 4294967295 134512640 134569956 3221224416 3221214600 1131662240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 43397 13073 16 0 210541 0 vsize: 842228 [startup+220.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22775 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 19066 49 0 0 21 0 11 0 477961157 862441472 43626 4294967295 134512640 134569956 3221224416 3221214784 1131364774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 43626 13073 16 0 210541 0 vsize: 842228 [startup+230.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 19962 50 0 0 22 0 11 0 477961157 862441472 43711 4294967295 134512640 134569956 3221224416 3221214624 1131439215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 43711 13073 16 0 210541 0 vsize: 842228 [startup+240.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 20856 50 0 0 20 0 11 0 477961157 862441472 43954 4294967295 134512640 134569956 3221224416 3221214720 1131255250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 43954 13073 16 0 210541 0 vsize: 842228 [startup+250.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 21752 50 0 0 21 0 11 0 477961157 862441472 44148 4294967295 134512640 134569956 3221224416 3221214784 1131365744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 44148 13073 16 0 210541 0 vsize: 842228 [startup+260.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 22648 51 0 0 21 0 11 0 477961157 862441472 44459 4294967295 134512640 134569956 3221224416 3221214688 1131229722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 44459 13073 16 0 210541 0 vsize: 842228 [startup+270.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 23552 51 0 0 18 0 11 0 477961157 862441472 44765 4294967295 134512640 134569956 3221224416 3221214780 1131230332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 44765 13073 16 0 210541 0 vsize: 842228 [startup+280.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 24459 52 0 0 19 0 11 0 477961157 862441472 44905 4294967295 134512640 134569956 3221224416 3221214688 1131229247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 44905 13073 16 0 210541 0 vsize: 842228 [startup+290.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 25361 52 0 0 23 0 11 0 477961157 862441472 45201 4294967295 134512640 134569956 3221224416 3221214720 1131255406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 45201 13073 16 0 210541 0 vsize: 842228 [startup+300.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 26270 52 0 0 17 0 11 0 477961157 862441472 45432 4294967295 134512640 134569956 3221224416 3221214568 1131354215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 45432 13073 16 0 210541 0 vsize: 842228 [startup+310.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 27180 53 0 0 21 0 11 0 477961157 862441472 45646 4294967295 134512640 134569956 3221224416 3221214544 1131497548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 45646 13073 16 0 210541 0 vsize: 842228 [startup+320.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 28102 53 0 0 25 0 11 0 477961157 862441472 45874 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 45874 13073 16 0 210541 0 vsize: 842228 [startup+330.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 29020 54 0 0 25 0 11 0 477961157 862441472 46093 4294967295 134512640 134569956 3221224416 3221214336 1080217364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 46093 13073 16 0 210541 0 vsize: 842228 [startup+340.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 29931 54 0 0 16 0 11 0 477961157 862441472 46298 4294967295 134512640 134569956 3221224416 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 46298 13073 16 0 210541 0 vsize: 842228 [startup+350.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 30847 54 0 0 22 0 11 0 477961157 862441472 46465 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 46465 13073 16 0 210541 0 vsize: 842228 [startup+360.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 31761 54 0 0 25 0 11 0 477961157 862441472 46732 4294967295 134512640 134569956 3221224416 3221214648 1131352137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 46732 13073 16 0 210541 0 vsize: 842228 [startup+370.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 32661 55 0 0 16 0 11 0 477961157 862441472 46998 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 46998 13073 16 0 210541 0 vsize: 842228 [startup+380.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 33540 55 0 0 16 0 11 0 477961157 862441472 47250 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 47250 13073 16 0 210541 0 vsize: 842228 [startup+390.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 34425 55 0 0 19 0 11 0 477961157 862441472 47523 4294967295 134512640 134569956 3221224416 3221214784 1131364771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 47523 13073 16 0 210541 0 vsize: 842228 [startup+400.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 35299 55 0 0 18 0 11 0 477961157 862441472 47767 4294967295 134512640 134569956 3221224416 3221214784 1131364808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 47767 13073 16 0 210541 0 vsize: 842228 [startup+410.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 36174 55 0 0 17 0 11 0 477961157 862441472 47918 4294967295 134512640 134569956 3221224416 3221214688 1131229638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 47918 13073 16 0 210541 0 vsize: 842228 [startup+420.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 37069 56 0 0 20 0 11 0 477961157 862441472 48234 4294967295 134512640 134569956 3221224416 3221214784 1131364878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 48234 13073 16 0 210541 0 vsize: 842228 [startup+430.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 37965 56 0 0 21 0 11 0 477961157 862441472 48422 4294967295 134512640 134569956 3221224416 3221214784 1131365731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 48422 13073 16 0 210541 0 vsize: 842228 [startup+440.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 38852 56 0 0 18 0 11 0 477961157 862441472 48730 4294967295 134512640 134569956 3221224416 3221214688 1131229854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 48730 13073 16 0 210541 0 vsize: 842228 [startup+450.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 39759 56 0 0 24 0 11 0 477961157 862441472 49025 4294967295 134512640 134569956 3221224416 3221214728 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 49025 13073 16 0 210541 0 vsize: 842228 [startup+460.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 40665 56 0 0 18 0 11 0 477961157 862441472 49229 4294967295 134512640 134569956 3221224416 3221214688 1131229833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 49229 13073 16 0 210541 0 vsize: 842228 [startup+470.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 41583 57 0 0 23 0 11 0 477961157 862441472 49435 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 49435 13073 16 0 210541 0 vsize: 842228 [startup+480.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 42494 57 0 0 16 0 11 0 477961157 862441472 49617 4294967295 134512640 134569956 3221224416 3221214688 1131229590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 49617 13073 16 0 210541 0 vsize: 842228 [startup+490.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 43409 57 0 0 19 0 11 0 477961157 862441472 49823 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 49823 13073 16 0 210541 0 vsize: 842228 [startup+500.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 44300 57 0 0 20 0 11 0 477961157 862441472 50034 4294967295 134512640 134569956 3221224416 3221214696 1131402694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 50034 13073 16 0 210541 0 vsize: 842228 [startup+510.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22777 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 45178 58 0 0 19 0 11 0 477961157 862441472 50250 4294967295 134512640 134569956 3221224416 3221214600 1131662142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 50250 13073 16 0 210541 0 vsize: 842228 [startup+520.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 46067 58 0 0 21 0 11 0 477961157 862441472 50475 4294967295 134512640 134569956 3221224416 3221214680 1131389521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 50475 13073 16 0 210541 0 vsize: 842228 [startup+530.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 46959 58 0 0 22 0 11 0 477961157 862441472 50770 4294967295 134512640 134569956 3221224416 3221214688 1131229761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 50770 13073 16 0 210541 0 vsize: 842228 [startup+540.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 47851 58 0 0 18 0 11 0 477961157 862441472 51039 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 51039 13073 16 0 210541 0 vsize: 842228 [startup+550.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 48756 59 0 0 17 0 11 0 477961157 862441472 51298 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 51298 13073 16 0 210541 0 vsize: 842228 [startup+560.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 49671 59 0 0 19 0 11 0 477961157 862441472 51471 4294967295 134512640 134569956 3221224416 3221214688 1131229797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 51471 13073 16 0 210541 0 vsize: 842228 [startup+570.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 50582 59 0 0 22 0 11 0 477961157 862441472 51754 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 51754 13073 16 0 210541 0 vsize: 842228 [startup+580.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 51500 60 0 0 23 0 11 0 477961157 862441472 51928 4294967295 134512640 134569956 3221224416 3221214688 1131230196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 51928 13073 16 0 210541 0 vsize: 842228 [startup+590.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 52409 60 0 0 25 0 11 0 477961157 862441472 52131 4294967295 134512640 134569956 3221224416 3221214688 1131230216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 52131 13073 16 0 210541 0 vsize: 842228 [startup+600.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 53302 60 0 0 25 0 11 0 477961157 862441472 52299 4294967295 134512640 134569956 3221224416 3221214688 1131229331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 52299 13073 16 0 210541 0 vsize: 842228 [startup+610.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 54207 60 0 0 25 0 11 0 477961157 862441472 52522 4294967295 134512640 134569956 3221224416 3221214784 1131365573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 52522 13073 16 0 210541 0 vsize: 842228 [startup+620.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 55125 60 0 0 25 0 11 0 477961157 862441472 52789 4294967295 134512640 134569956 3221224416 3221214688 1131230240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 52789 13073 16 0 210541 0 vsize: 842228 [startup+630.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 56067 60 0 0 25 0 11 0 477961157 862441472 52835 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 52835 13073 16 0 210541 0 vsize: 842228 [startup+640.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 56974 60 0 0 25 0 11 0 477961157 862441472 52863 4294967295 134512640 134569956 3221224416 3221214688 1131229362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 52863 13073 16 0 210541 0 vsize: 842228 [startup+650.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 57852 61 0 0 24 0 11 0 477961157 862441472 53074 4294967295 134512640 134569956 3221224416 3221214712 1131731079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 53074 13073 16 0 210541 0 vsize: 842228 [startup+660.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 58732 61 0 0 25 0 11 0 477961157 862441472 53189 4294967295 134512640 134569956 3221224416 3221214624 1131441287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 53189 13073 16 0 210541 0 vsize: 842228 [startup+670.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 59626 61 0 0 25 0 11 0 477961157 862441472 53598 4294967295 134512640 134569956 3221224416 3221214712 1131732815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 53598 13073 16 0 210541 0 vsize: 842228 [startup+680.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 60521 61 0 0 19 0 11 0 477961157 862441472 53877 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 53877 13073 16 0 210541 0 vsize: 842228 [startup+690.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 61418 61 0 0 17 0 11 0 477961157 862441472 54070 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 54070 13073 16 0 210541 0 vsize: 842228 [startup+700.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 62326 61 0 0 25 0 11 0 477961157 862441472 54269 4294967295 134512640 134569956 3221224416 3221214648 1131254964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 54269 13073 16 0 210541 0 vsize: 842228 [startup+710.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 63229 61 0 0 24 0 11 0 477961157 862441472 54467 4294967295 134512640 134569956 3221224416 3221214688 1131229025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 54467 13073 16 0 210541 0 vsize: 842228 [startup+720.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 64137 61 0 0 23 0 11 0 477961157 862441472 54706 4294967295 134512640 134569956 3221224416 3221214688 1131229463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 54706 13073 16 0 210541 0 vsize: 842228 [startup+730.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 65051 61 0 0 25 0 11 0 477961157 862441472 54951 4294967295 134512640 134569956 3221224416 3221214784 1131365702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210557 54951 13073 16 0 210541 0 vsize: 842228 [startup+740.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 65967 61 0 0 25 0 11 0 477961157 862441472 55104 4294967295 134512640 134569956 3221224416 3221214696 1131403398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 55104 13073 16 0 210541 0 vsize: 842228 [startup+750.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 66882 62 0 0 25 0 11 0 477961157 862441472 55263 4294967295 134512640 134569956 3221224416 3221214688 1131229021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 55263 13073 16 0 210541 0 vsize: 842228 [startup+760.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 67782 62 0 0 24 0 11 0 477961157 862441472 55460 4294967295 134512640 134569956 3221224416 3221214688 1131230201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 55460 13073 16 0 210541 0 vsize: 842228 [startup+770.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 68686 62 0 0 25 0 11 0 477961157 862441472 55664 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 55664 13073 16 0 210541 0 vsize: 842228 [startup+780.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 69580 62 0 0 25 0 11 0 477961157 862441472 55843 4294967295 134512640 134569956 3221224416 3221214688 1131229829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 55843 13073 16 0 210541 0 vsize: 842228 [startup+790.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 70483 62 0 0 25 0 11 0 477961157 862441472 56053 4294967295 134512640 134569956 3221224416 3221214624 1131439847 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56053 13073 16 0 210541 0 vsize: 842228 [startup+800.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 71397 63 0 0 25 0 11 0 477961157 862441472 56365 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56365 13073 16 0 210541 0 vsize: 842228 [startup+810.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22779 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 72313 63 0 0 25 0 11 0 477961157 862441472 56505 4294967295 134512640 134569956 3221224416 3221214780 1131229004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56505 13073 16 0 210541 0 vsize: 842228 [startup+820.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 73230 63 0 0 25 0 11 0 477961157 862441472 56660 4294967295 134512640 134569956 3221224416 3221214600 1131662082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56660 13073 16 0 210541 0 vsize: 842228 [startup+830.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 74144 63 0 0 25 0 11 0 477961157 862441472 56787 4294967295 134512640 134569956 3221224416 3221214784 1131364774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56787 13073 16 0 210541 0 vsize: 842228 [startup+840.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 75055 64 0 0 25 0 11 0 477961157 862441472 56996 4294967295 134512640 134569956 3221224416 3221214624 1131439481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 56996 13073 16 0 210541 0 vsize: 842228 [startup+850.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 75973 64 0 0 25 0 11 0 477961157 862441472 57155 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 57155 13073 16 0 210541 0 vsize: 842228 [startup+860.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 76896 64 0 0 25 0 11 0 477961157 862441472 57361 4294967295 134512640 134569956 3221224416 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 57361 13073 16 0 210541 0 vsize: 842228 [startup+870.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 77824 65 0 0 25 0 11 0 477961157 862441472 57577 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 57577 13073 16 0 210541 0 vsize: 842228 [startup+880.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 78753 65 0 0 24 0 11 0 477961157 862441472 57721 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 57721 13073 16 0 210541 0 vsize: 842228 [startup+890.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 79682 65 0 0 25 0 11 0 477961157 862441472 57855 4294967295 134512640 134569956 3221224416 3221214688 1131229273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 57855 13073 16 0 210541 0 vsize: 842228 [startup+900.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 80613 66 0 0 25 0 11 0 477961157 862441472 58011 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58011 13073 16 0 210541 0 vsize: 842228 [startup+910.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 81538 66 0 0 25 0 11 0 477961157 862441472 58136 4294967295 134512640 134569956 3221224416 3221214688 1131229393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58136 13073 16 0 210541 0 vsize: 842228 [startup+920.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 82468 66 0 0 25 0 11 0 477961157 862441472 58315 4294967295 134512640 134569956 3221224416 3221214688 1131229021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58315 13073 16 0 210541 0 vsize: 842228 [startup+930.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 83401 67 0 0 25 0 11 0 477961157 862441472 58386 4294967295 134512640 134569956 3221224416 3221214784 1131365630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58386 13073 16 0 210541 0 vsize: 842228 [startup+940.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 84328 67 0 0 25 0 11 0 477961157 862441472 58558 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58558 13073 16 0 210541 0 vsize: 842228 [startup+950.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 85260 67 0 0 25 0 11 0 477961157 862441472 58672 4294967295 134512640 134569956 3221224416 3221214600 1131662879 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58672 13073 16 0 210541 0 vsize: 842228 [startup+960.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 86185 68 0 0 25 0 11 0 477961157 862441472 58851 4294967295 134512640 134569956 3221224416 3221214784 1131365675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58851 13073 16 0 210541 0 vsize: 842228 [startup+970.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 87118 68 0 0 25 0 11 0 477961157 862441472 58977 4294967295 134512640 134569956 3221224416 3221214600 1131662230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 58977 13073 16 0 210541 0 vsize: 842228 [startup+980.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 88050 68 0 0 25 0 11 0 477961157 862441472 59168 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59168 13073 16 0 210541 0 vsize: 842228 [startup+990.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 88976 69 0 0 25 0 11 0 477961157 862441472 59294 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59294 13073 16 0 210541 0 vsize: 842228 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 89887 69 0 0 25 0 11 0 477961157 862441472 59427 4294967295 134512640 134569956 3221224416 3221214688 1131229058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59427 13073 16 0 210541 0 vsize: 842228 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 90788 69 0 0 25 0 11 0 477961157 862441472 59455 4294967295 134512640 134569956 3221224416 3221214780 1131230338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59455 13073 16 0 210541 0 vsize: 842228 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 91697 69 0 0 25 0 11 0 477961157 862441472 59842 4294967295 134512640 134569956 3221224416 3221214688 1131229807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59842 13073 16 0 210541 0 vsize: 842228 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 92628 70 0 0 25 0 11 0 477961157 862441472 59973 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 59973 13073 16 0 210541 0 vsize: 842228 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 93543 70 0 0 25 0 11 0 477961157 862441472 60098 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60098 13073 16 0 210541 0 vsize: 842228 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 94446 70 0 0 25 0 11 0 477961157 862441472 60255 4294967295 134512640 134569956 3221224416 3221214784 1131363751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60255 13073 16 0 210541 0 vsize: 842228 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 95352 71 0 0 25 0 11 0 477961157 862441472 60381 4294967295 134512640 134569956 3221224416 3221214688 1131229393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60381 13073 16 0 210541 0 vsize: 842228 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 96293 71 0 0 25 0 11 0 477961157 862441472 60655 4294967295 134512640 134569956 3221224416 3221214688 1131229515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60655 13073 16 0 210541 0 vsize: 842228 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 97261 72 0 0 25 0 11 0 477961157 862441472 60691 4294967295 134512640 134569956 3221224416 3221214688 1131229362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60691 13073 16 0 210541 0 vsize: 842228 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 98224 72 0 0 25 0 11 0 477961157 862441472 60721 4294967295 134512640 134569956 3221224416 3221214696 1131402192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60721 13073 16 0 210541 0 vsize: 842228 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 99166 72 0 0 25 0 11 0 477961157 862441472 60744 4294967295 134512640 134569956 3221224416 3221214864 1131359902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60744 13073 16 0 210541 0 vsize: 842228 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22781 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 100090 73 0 0 25 0 11 0 477961157 862441472 60768 4294967295 134512640 134569956 3221224416 3221214688 1131229247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60768 13073 16 0 210541 0 vsize: 842228 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 101010 73 0 0 25 0 11 0 477961157 862441472 60810 4294967295 134512640 134569956 3221224416 3221214688 1131230196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 60810 13073 16 0 210541 0 vsize: 842228 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 101917 73 0 0 25 0 11 0 477961157 862441472 61037 4294967295 134512640 134569956 3221224416 3221214688 1131229505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 61037 13073 16 0 210541 0 vsize: 842228 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 102827 74 0 0 25 0 11 0 477961157 862441472 61224 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 61224 13073 16 0 210541 0 vsize: 842228 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 103745 74 0 0 25 0 11 0 477961157 862441472 61373 4294967295 134512640 134569956 3221224416 3221214784 1131364914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 61373 13073 16 0 210541 0 vsize: 842228 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 104655 74 0 0 25 0 11 0 477961157 862441472 61619 4294967295 134512640 134569956 3221224416 3221214752 1131478867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 61619 13073 16 0 210541 0 vsize: 842228 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 105574 75 0 0 25 0 11 0 477961157 862441472 61842 4294967295 134512640 134569956 3221224416 3221214600 1131663675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 61842 13073 16 0 210541 0 vsize: 842228 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 106498 75 0 0 25 0 11 0 477961157 862441472 62007 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62007 13073 16 0 210541 0 vsize: 842228 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 107421 76 0 0 24 0 11 0 477961157 862441472 62120 4294967295 134512640 134569956 3221224416 3221214784 1131364697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62120 13073 16 0 210541 0 vsize: 842228 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 108361 76 0 0 25 0 11 0 477961157 862441472 62355 4294967295 134512640 134569956 3221224416 3221214784 1131364792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62355 13073 16 0 210541 0 vsize: 842228 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 109311 77 0 0 25 0 11 0 477961157 862441472 62429 4294967295 134512640 134569956 3221224416 3221214784 1131364781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62429 13073 16 0 210541 0 vsize: 842228 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 110256 77 0 0 25 0 11 0 477961157 862441472 62542 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62542 13073 16 0 210541 0 vsize: 842228 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 111200 77 0 0 25 0 11 0 477961157 862441472 62675 4294967295 134512640 134569956 3221224416 3221214600 1131662215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62675 13073 16 0 210541 0 vsize: 842228 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 112139 78 0 0 25 0 11 0 477961157 862441472 62738 4294967295 134512640 134569956 3221224416 3221214600 1131662124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62738 13073 16 0 210541 0 vsize: 842228 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 113069 78 0 0 24 0 11 0 477961157 862441472 62847 4294967295 134512640 134569956 3221224416 3221214784 1131364795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62847 13073 16 0 210541 0 vsize: 842228 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 114000 78 0 0 25 0 11 0 477961157 862441472 62985 4294967295 134512640 134569956 3221224416 3221214688 1131230075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 62985 13073 16 0 210541 0 vsize: 842228 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 114929 79 0 0 25 0 11 0 477961157 862441472 63158 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63158 13073 16 0 210541 0 vsize: 842228 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 115858 79 0 0 25 0 11 0 477961157 862441472 63277 4294967295 134512640 134569956 3221224416 3221214780 1131229004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63277 13073 16 0 210541 0 vsize: 842228 [startup+1290.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 116783 80 0 0 25 0 11 0 477961157 862441472 63430 4294967295 134512640 134569956 3221224416 3221214784 1131364792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63430 13073 16 0 210541 0 vsize: 842228 [startup+1300.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 117719 80 0 0 25 0 11 0 477961157 862441472 63552 4294967295 134512640 134569956 3221224416 3221214688 1131230097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63552 13073 16 0 210541 0 vsize: 842228 [startup+1310.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 118656 81 0 0 25 0 11 0 477961157 862441472 63710 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63710 13073 16 0 210541 0 vsize: 842228 [startup+1320.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 119592 81 0 0 25 0 11 0 477961157 862441472 63838 4294967295 134512640 134569956 3221224416 3221214688 1131229479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63838 13073 16 0 210541 0 vsize: 842228 [startup+1330.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22783 Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 120520 81 0 0 24 0 11 0 477961157 862441472 63963 4294967295 134512640 134569956 3221224416 3221214688 1131229505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210557 63963 13073 16 0 210541 0 vsize: 842228 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.28 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 22785 Raw data (stat): 22756 (java) Z 22755 20838 20837 0 -1 1036 18066 47661 1 0 120525 81 12643 105 25 0 1 0 477961157 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): 1330.28 CPU time (s): 1333.56 CPU user time (s): 1331.69 CPU system time (s): 1.87871 CPU usage (%): 100.247 Max. virtual memory (Kb): 844852 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####