Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | e3892e1941a878802a8ccbbd36201a02 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -27 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 595 |
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 | 595 |
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 | 595 |
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 | 1175.05 |
Number of variables | 595 |
Total number of constraints | 27842 |
Number of constraints which are clauses | 27842 |
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 wulflinc19 THE 2005-04-13 17:41:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2898 boxname=wulflinc19 idbench=322 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e3892e1941a878802a8ccbbd36201a02 /oldhome/oroussel/tmp/wulflinc19/normalized-frb35-17-4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-frb35-17-4.opb IDLAUNCH: 2898 /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: 898724 kB Buffers: 32004 kB Cached: 70076 kB SwapCached: 56 kB Active: 41984 kB Inactive: 63084 kB HighTotal: 131008 kB HighFree: 56896 kB LowTotal: 903652 kB LowFree: 841828 kB SwapTotal: 2097892 kB SwapFree: 2097836 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7028 kB Slab: 25352 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:03:38 (client local time) WITH STATUS 143 IN SECONDS stats: 2898 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-frb35-17-4.opb c reading problem c [nbvar=595] c [nbconstr=27842] c time 6.707 c #vars 595 c #clauses 27842 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) : 7.075 c starts : 1 c conflicts : 0 c decisions : 595 c propagations : 595 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) : 7.167 c starts : 2 c conflicts : 0 c decisions : 1189 c propagations : 1190 c inspects : 128 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) : 11.116 c starts : 3 c conflicts : 16 c decisions : 1783 c propagations : 1937 c inspects : 1130 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 16 c root simplifications : 3 c c CURRENT OPTIMUM=-26 c Current CPU time (ms) : 11.309 c starts : 4 c conflicts : 16 c decisions : 1809 c propagations : 2532 c inspects : 3476 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 16 c root simplifications : 4 c c CURRENT OPTIMUM=-27 c Current CPU time (ms) : 14.264 c starts : 5 c conflicts : 40 c decisions : 1866 c propagations : 3283 c inspects : 9898 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 40 c root simplifications : 5 #### 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.99 1.00 1.00 2/55 24463 Raw data (stat): 24463 (runsolver) R 24462 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477827078 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.0007 s] Raw data (loadavg): 1.22 1.05 1.02 3/65 24475 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 17966 3 1 0 676 45 0 0 25 0 11 0 477827078 860839936 20011 4294967295 134512640 134569956 3221224416 3221214632 1131454145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210166 20012 13073 16 0 210150 0 vsize: 840664 [startup+20.002 s] Raw data (loadavg): 1.33 1.08 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18084 3 1 0 1441 46 0 0 25 0 11 0 477827078 860790784 25473 4294967295 134512640 134569956 3221224416 3221214712 1131453477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210154 25473 13073 16 0 210138 0 vsize: 840616 [startup+30.0022 s] Raw data (loadavg): 1.28 1.08 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 2345 46 0 0 25 0 11 0 477827078 860377088 26058 4294967295 134512640 134569956 3221224416 3221214856 1131140151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 26058 13073 16 0 210037 0 vsize: 840212 [startup+40.0022 s] Raw data (loadavg): 1.24 1.07 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 3230 46 0 0 25 0 11 0 477827078 860377088 26545 4294967295 134512640 134569956 3221224416 3221214808 1131216405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 26545 13073 16 0 210037 0 vsize: 840212 [startup+50.0034 s] Raw data (loadavg): 1.20 1.07 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 4115 46 0 0 25 0 11 0 477827078 860377088 26842 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 26842 13073 16 0 210037 0 vsize: 840212 [startup+60.0037 s] Raw data (loadavg): 1.17 1.07 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 5014 47 0 0 25 0 11 0 477827078 860377088 27108 4294967295 134512640 134569956 3221224416 3221214584 1131637935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 27108 13073 16 0 210037 0 vsize: 840212 [startup+70.0045 s] Raw data (loadavg): 1.14 1.06 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 5891 47 0 0 24 0 11 0 477827078 860377088 27520 4294967295 134512640 134569956 3221224416 3221214584 1131639358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 27520 13073 16 0 210037 0 vsize: 840212 [startup+80.0048 s] Raw data (loadavg): 1.12 1.06 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 6776 47 0 0 24 0 11 0 477827078 860377088 27830 4294967295 134512640 134569956 3221224416 3221214712 1131455645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 27830 13073 16 0 210037 0 vsize: 840212 [startup+90.0051 s] Raw data (loadavg): 1.10 1.06 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 7661 48 0 0 24 0 11 0 477827078 860377088 28085 4294967295 134512640 134569956 3221224416 3221214808 1131217153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 28085 13073 16 0 210037 0 vsize: 840212 [startup+100.005 s] Raw data (loadavg): 1.09 1.06 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 8554 48 0 0 25 0 11 0 477827078 860377088 28379 4294967295 134512640 134569956 3221224416 3221214808 1131216084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 28379 13073 16 0 210037 0 vsize: 840212 [startup+110.006 s] Raw data (loadavg): 1.07 1.05 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 9450 49 0 0 25 0 11 0 477827078 860377088 28641 4294967295 134512640 134569956 3221224416 3221214688 1131717143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 28641 13073 16 0 210037 0 vsize: 840212 [startup+120.006 s] Raw data (loadavg): 1.06 1.05 1.02 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 10353 49 0 0 25 0 11 0 477827078 860377088 28863 4294967295 134512640 134569956 3221224416 3221214704 1131217047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 28863 13073 16 0 210037 0 vsize: 840212 [startup+130.006 s] Raw data (loadavg): 1.05 1.05 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 11247 49 0 0 24 0 11 0 477827078 860377088 29164 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 29164 13073 16 0 210037 0 vsize: 840212 [startup+140.007 s] Raw data (loadavg): 1.04 1.05 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 12144 49 0 0 25 0 11 0 477827078 860377088 29389 4294967295 134512640 134569956 3221224416 3221214784 1131485540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 29389 13073 16 0 210037 0 vsize: 840212 [startup+150.008 s] Raw data (loadavg): 1.04 1.05 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 13041 49 0 0 25 0 11 0 477827078 860377088 29659 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 29659 13073 16 0 210037 0 vsize: 840212 [startup+160.009 s] Raw data (loadavg): 1.03 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 13925 49 0 0 25 0 11 0 477827078 860377088 29904 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 29904 13073 16 0 210037 0 vsize: 840212 [startup+170.009 s] Raw data (loadavg): 1.02 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 14827 49 0 0 25 0 11 0 477827078 860377088 30166 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 30166 13073 16 0 210037 0 vsize: 840212 [startup+180.008 s] Raw data (loadavg): 1.02 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 15723 49 0 0 25 0 11 0 477827078 860377088 30393 4294967295 134512640 134569956 3221224416 3221214808 1131216086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 30393 13073 16 0 210037 0 vsize: 840212 [startup+190.009 s] Raw data (loadavg): 1.02 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 16622 49 0 0 25 0 11 0 477827078 860377088 30671 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 30671 13073 16 0 210037 0 vsize: 840212 [startup+200.009 s] Raw data (loadavg): 1.01 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 17525 49 0 0 25 0 11 0 477827078 860377088 30931 4294967295 134512640 134569956 3221224416 3221214688 1131717024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 30931 13073 16 0 210037 0 vsize: 840212 [startup+210.01 s] Raw data (loadavg): 1.01 1.04 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 18440 49 0 0 25 0 11 0 477827078 860377088 31156 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 31156 13073 16 0 210037 0 vsize: 840212 [startup+220.011 s] Raw data (loadavg): 1.01 1.03 1.01 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 19344 49 0 0 25 0 11 0 477827078 860377088 31418 4294967295 134512640 134569956 3221224416 3221214808 1131215873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 31418 13073 16 0 210037 0 vsize: 840212 [startup+230.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 20261 49 0 0 25 0 11 0 477827078 860377088 31604 4294967295 134512640 134569956 3221224416 3221214800 1131435568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 31604 13073 16 0 210037 0 vsize: 840212 [startup+240.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 21171 49 0 0 25 0 11 0 477827078 860377088 31823 4294967295 134512640 134569956 3221224416 3221214808 1131215873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 31823 13073 16 0 210037 0 vsize: 840212 [startup+250.011 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 22072 49 0 0 25 0 11 0 477827078 860377088 32067 4294967295 134512640 134569956 3221224416 3221214808 1131216133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 32067 13073 16 0 210037 0 vsize: 840212 [startup+260.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 24478 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 22968 49 0 0 25 0 11 0 477827078 860377088 32287 4294967295 134512640 134569956 3221224416 3221214808 1131216979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 32287 13073 16 0 210037 0 vsize: 840212 [startup+270.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 23861 49 0 0 25 0 11 0 477827078 860377088 32488 4294967295 134512640 134569956 3221224416 3221214808 1131217047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 32488 13073 16 0 210037 0 vsize: 840212 [startup+280.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 24746 50 0 0 25 0 11 0 477827078 860377088 32789 4294967295 134512640 134569956 3221224416 3221214808 1131216341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 32789 13073 16 0 210037 0 vsize: 840212 [startup+290.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 25633 50 0 0 24 0 11 0 477827078 860377088 33066 4294967295 134512640 134569956 3221224416 3221214900 1131217162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 33066 13073 16 0 210037 0 vsize: 840212 [startup+300.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 26526 50 0 0 25 0 11 0 477827078 860377088 33311 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 33311 13073 16 0 210037 0 vsize: 840212 [startup+310.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 27424 50 0 0 25 0 11 0 477827078 860377088 33610 4294967295 134512640 134569956 3221224416 3221214808 1131215877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 33610 13073 16 0 210037 0 vsize: 840212 [startup+320.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 28323 50 0 0 25 0 11 0 477827078 860377088 33920 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 33922 13073 16 0 210037 0 vsize: 840212 [startup+330.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 29235 50 0 0 25 0 11 0 477827078 860377088 34179 4294967295 134512640 134569956 3221224416 3221214808 1131216575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 34179 13073 16 0 210037 0 vsize: 840212 [startup+340.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 30145 50 0 0 25 0 11 0 477827078 860377088 34356 4294967295 134512640 134569956 3221224416 3221214900 1131217156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 34356 13073 16 0 210037 0 vsize: 840212 [startup+350.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 31054 50 0 0 25 0 11 0 477827078 860377088 34566 4294967295 134512640 134569956 3221224416 3221214688 1131716992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 34566 13073 16 0 210037 0 vsize: 840212 [startup+360.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 31968 51 0 0 25 0 11 0 477827078 860377088 34806 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 34806 13073 16 0 210037 0 vsize: 840212 [startup+370.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 32892 51 0 0 25 0 11 0 477827078 860377088 35012 4294967295 134512640 134569956 3221224416 3221214584 1131637940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35012 13073 16 0 210037 0 vsize: 840212 [startup+380.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 33820 51 0 0 25 0 11 0 477827078 860377088 35213 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35213 13073 16 0 210037 0 vsize: 840212 [startup+390.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 34738 51 0 0 25 0 11 0 477827078 860377088 35376 4294967295 134512640 134569956 3221224416 3221214904 1131425989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35376 13073 16 0 210037 0 vsize: 840212 [startup+400.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 35657 51 0 0 25 0 11 0 477827078 860377088 35558 4294967295 134512640 134569956 3221224416 3221214784 1131487708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35558 13073 16 0 210037 0 vsize: 840212 [startup+410.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 36577 51 0 0 25 0 11 0 477827078 860377088 35748 4294967295 134512640 134569956 3221224416 3221214808 1131216581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35748 13073 16 0 210037 0 vsize: 840212 [startup+420.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 37502 51 0 0 25 0 11 0 477827078 860377088 35947 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 35947 13073 16 0 210037 0 vsize: 840212 [startup+430.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 38415 51 0 0 25 0 11 0 477827078 860377088 36158 4294967295 134512640 134569956 3221224416 3221214808 1131216432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 36158 13073 16 0 210037 0 vsize: 840212 [startup+440.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 39327 51 0 0 24 0 11 0 477827078 860377088 36328 4294967295 134512640 134569956 3221224416 3221214808 1131216467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 36328 13073 16 0 210037 0 vsize: 840212 [startup+450.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 40239 51 0 0 25 0 11 0 477827078 860377088 36534 4294967295 134512640 134569956 3221224416 3221214808 1131215910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 36534 13073 16 0 210037 0 vsize: 840212 [startup+460.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 41156 51 0 0 25 0 11 0 477827078 860377088 36696 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 36696 13073 16 0 210037 0 vsize: 840212 [startup+470.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 42069 51 0 0 25 0 11 0 477827078 860377088 36860 4294967295 134512640 134569956 3221224416 3221214808 1131216129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 36860 13073 16 0 210037 0 vsize: 840212 [startup+480.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 42987 51 0 0 25 0 11 0 477827078 860377088 37096 4294967295 134512640 134569956 3221224416 3221214808 1131216076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 37096 13073 16 0 210037 0 vsize: 840212 [startup+490.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 43901 52 0 0 25 0 11 0 477827078 860377088 37274 4294967295 134512640 134569956 3221224416 3221214784 1131486391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 37274 13073 16 0 210037 0 vsize: 840212 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 44819 52 0 0 25 0 11 0 477827078 860377088 37495 4294967295 134512640 134569956 3221224416 3221214904 1131426112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 37495 13073 16 0 210037 0 vsize: 840212 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 45746 52 0 0 25 0 11 0 477827078 860377088 37648 4294967295 134512640 134569956 3221224416 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 37648 13073 16 0 210037 0 vsize: 840212 [startup+520.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 46675 53 0 0 25 0 11 0 477827078 860377088 37809 4294967295 134512640 134569956 3221224416 3221214856 1131140029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 37809 13073 16 0 210037 0 vsize: 840212 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 47595 53 0 0 25 0 11 0 477827078 860377088 37971 4294967295 134512640 134569956 3221224416 3221214808 1131216043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 37971 13073 16 0 210037 0 vsize: 840212 [startup+540.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 48518 53 0 0 25 0 11 0 477827078 860377088 38166 4294967295 134512640 134569956 3221224416 3221214856 1131140102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38166 13073 16 0 210037 0 vsize: 840212 [startup+550.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 49445 53 0 0 25 0 11 0 477827078 860377088 38336 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38336 13073 16 0 210037 0 vsize: 840212 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24480 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 50372 54 0 0 25 0 11 0 477827078 860377088 38474 4294967295 134512640 134569956 3221224416 3221214808 1131216529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38474 13073 16 0 210037 0 vsize: 840212 [startup+570.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 51296 54 0 0 24 0 11 0 477827078 860377088 38621 4294967295 134512640 134569956 3221224416 3221214728 1131533104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38621 13073 16 0 210037 0 vsize: 840212 [startup+580.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 52233 55 0 0 25 0 11 0 477827078 860377088 38797 4294967295 134512640 134569956 3221224416 3221214680 1131421796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38797 13073 16 0 210037 0 vsize: 840212 [startup+590.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 53167 55 0 0 25 0 11 0 477827078 860377088 38934 4294967295 134512640 134569956 3221224416 3221214808 1131216887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 38934 13073 16 0 210037 0 vsize: 840212 [startup+600.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 54105 55 0 0 25 0 11 0 477827078 860377088 39072 4294967295 134512640 134569956 3221224416 3221214880 1131471293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39072 13073 16 0 210037 0 vsize: 840212 [startup+610.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 55040 56 0 0 25 0 11 0 477827078 860377088 39229 4294967295 134512640 134569956 3221224416 3221214808 1131216100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39229 13073 16 0 210037 0 vsize: 840212 [startup+620.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 55976 56 0 0 25 0 11 0 477827078 860377088 39339 4294967295 134512640 134569956 3221224416 3221214808 1131216286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39339 13073 16 0 210037 0 vsize: 840212 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 56912 57 0 0 25 0 11 0 477827078 860377088 39518 4294967295 134512640 134569956 3221224416 3221214856 1131140037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39518 13073 16 0 210037 0 vsize: 840212 [startup+640.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 57849 57 0 0 25 0 11 0 477827078 860377088 39607 4294967295 134512640 134569956 3221224416 3221214544 1131267888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39607 13073 16 0 210037 0 vsize: 840212 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 58784 57 0 0 24 0 11 0 477827078 860377088 39735 4294967295 134512640 134569956 3221224416 3221214656 1131479248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39735 13073 16 0 210037 0 vsize: 840212 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 59721 58 0 0 25 0 11 0 477827078 860377088 39867 4294967295 134512640 134569956 3221224416 3221214880 1131471281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 39867 13073 16 0 210037 0 vsize: 840212 [startup+670.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 60649 58 0 0 25 0 11 0 477827078 860377088 40027 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40027 13073 16 0 210037 0 vsize: 840212 [startup+680.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 61563 59 0 0 25 0 11 0 477827078 860377088 40168 4294967295 134512640 134569956 3221224416 3221214808 1131215888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40168 13073 16 0 210037 0 vsize: 840212 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 62479 59 0 0 25 0 11 0 477827078 860377088 40290 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40290 13073 16 0 210037 0 vsize: 840212 [startup+700.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 63384 59 0 0 25 0 11 0 477827078 860377088 40506 4294967295 134512640 134569956 3221224416 3221214904 1131426571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40506 13073 16 0 210037 0 vsize: 840212 [startup+710.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 64303 60 0 0 25 0 11 0 477827078 860377088 40769 4294967295 134512640 134569956 3221224416 3221214808 1131216467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40769 13073 16 0 210037 0 vsize: 840212 [startup+720.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 65229 60 0 0 25 0 11 0 477827078 860377088 40963 4294967295 134512640 134569956 3221224416 3221214808 1131216950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 40963 13073 16 0 210037 0 vsize: 840212 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 66157 60 0 0 25 0 11 0 477827078 860377088 41117 4294967295 134512640 134569956 3221224416 3221214808 1131216286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41117 13073 16 0 210037 0 vsize: 840212 [startup+740.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 67084 60 0 0 25 0 11 0 477827078 860377088 41275 4294967295 134512640 134569956 3221224416 3221214808 1131216277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41275 13073 16 0 210037 0 vsize: 840212 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 68010 61 0 0 25 0 11 0 477827078 860377088 41408 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41408 13073 16 0 210037 0 vsize: 840212 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 68942 61 0 0 25 0 11 0 477827078 860377088 41581 4294967295 134512640 134569956 3221224416 3221214808 1131216062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41581 13073 16 0 210037 0 vsize: 840212 [startup+770.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 69868 61 0 0 25 0 11 0 477827078 860377088 41730 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41730 13073 16 0 210037 0 vsize: 840212 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 70794 61 0 0 25 0 11 0 477827078 860377088 41880 4294967295 134512640 134569956 3221224416 3221214584 1131638109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 41880 13073 16 0 210037 0 vsize: 840212 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 71714 62 0 0 25 0 11 0 477827078 860377088 42030 4294967295 134512640 134569956 3221224416 3221214808 1131216148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42030 13073 16 0 210037 0 vsize: 840212 [startup+800.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 72639 62 0 0 25 0 11 0 477827078 860377088 42178 4294967295 134512640 134569956 3221224416 3221214808 1131215873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42178 13073 16 0 210037 0 vsize: 840212 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 73564 62 0 0 25 0 11 0 477827078 860377088 42405 4294967295 134512640 134569956 3221224416 3221214808 1131216341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42405 13073 16 0 210037 0 vsize: 840212 [startup+820.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 74496 63 0 0 25 0 11 0 477827078 860377088 42548 4294967295 134512640 134569956 3221224416 3221214808 1131216065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42548 13073 16 0 210037 0 vsize: 840212 [startup+830.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 75419 63 0 0 25 0 11 0 477827078 860377088 42679 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42679 13073 16 0 210037 0 vsize: 840212 [startup+840.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 76331 64 0 0 25 0 11 0 477827078 860377088 42855 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 42855 13073 16 0 210037 0 vsize: 840212 [startup+850.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 77238 64 0 0 25 0 11 0 477827078 860377088 43001 4294967295 134512640 134569956 3221224416 3221214808 1131216659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 43001 13073 16 0 210037 0 vsize: 840212 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24482 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 78134 65 0 0 24 0 11 0 477827078 860377088 43130 4294967295 134512640 134569956 3221224416 3221214808 1131215910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 43130 13073 16 0 210037 0 vsize: 840212 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 79036 65 0 0 25 0 11 0 477827078 860377088 43360 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 43360 13073 16 0 210037 0 vsize: 840212 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 79929 66 0 0 25 0 11 0 477827078 860377088 43586 4294967295 134512640 134569956 3221224416 3221214808 1131216999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 43586 13073 16 0 210037 0 vsize: 840212 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 80836 66 0 0 25 0 11 0 477827078 860377088 43860 4294967295 134512640 134569956 3221224416 3221214856 1131140049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 43860 13073 16 0 210037 0 vsize: 840212 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 81739 66 0 0 25 0 11 0 477827078 860377088 44123 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44123 13073 16 0 210037 0 vsize: 840212 [startup+910.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 82651 66 0 0 24 0 11 0 477827078 860377088 44291 4294967295 134512640 134569956 3221224416 3221214808 1131216330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44291 13073 16 0 210037 0 vsize: 840212 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 83570 67 0 0 24 0 11 0 477827078 860377088 44515 4294967295 134512640 134569956 3221224416 3221214584 1131637976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44515 13073 16 0 210037 0 vsize: 840212 [startup+930.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 84504 67 0 0 24 0 11 0 477827078 860377088 44704 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44704 13073 16 0 210037 0 vsize: 840212 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 85447 67 0 0 25 0 11 0 477827078 860377088 44845 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44845 13073 16 0 210037 0 vsize: 840212 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 86383 67 0 0 25 0 11 0 477827078 860377088 44974 4294967295 134512640 134569956 3221224416 3221214808 1131216054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 44974 13073 16 0 210037 0 vsize: 840212 [startup+960.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 87316 67 0 0 25 0 11 0 477827078 860377088 45086 4294967295 134512640 134569956 3221224416 3221214808 1131215877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45086 13073 16 0 210037 0 vsize: 840212 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 88251 67 0 0 25 0 11 0 477827078 860377088 45226 4294967295 134512640 134569956 3221224416 3221213672 1131331918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45226 13073 16 0 210037 0 vsize: 840212 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 89192 67 0 0 25 0 11 0 477827078 860377088 45405 4294967295 134512640 134569956 3221224416 3221214904 1131426261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45405 13073 16 0 210037 0 vsize: 840212 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 90135 67 0 0 25 0 11 0 477827078 860377088 45532 4294967295 134512640 134569956 3221224416 3221214808 1131216410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45532 13073 16 0 210037 0 vsize: 840212 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 91080 67 0 0 25 0 11 0 477827078 860377088 45631 4294967295 134512640 134569956 3221224416 3221214808 1131216148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45631 13073 16 0 210037 0 vsize: 840212 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 92020 67 0 0 25 0 11 0 477827078 860377088 45753 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45753 13073 16 0 210037 0 vsize: 840212 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 92968 67 0 0 25 0 11 0 477827078 860377088 45876 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45876 13073 16 0 210037 0 vsize: 840212 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 93911 68 0 0 25 0 11 0 477827078 860377088 45991 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 45991 13073 16 0 210037 0 vsize: 840212 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 94853 68 0 0 25 0 11 0 477827078 860377088 46088 4294967295 134512640 134569956 3221224416 3221214856 1131140056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46088 13073 16 0 210037 0 vsize: 840212 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 95787 68 0 0 25 0 11 0 477827078 860377088 46187 4294967295 134512640 134569956 3221224416 3221214808 1131216389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46187 13073 16 0 210037 0 vsize: 840212 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 96728 68 0 0 25 0 11 0 477827078 860377088 46327 4294967295 134512640 134569956 3221224416 3221214808 1131217104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46327 13073 16 0 210037 0 vsize: 840212 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 97669 69 0 0 25 0 11 0 477827078 860377088 46473 4294967295 134512640 134569956 3221224416 3221214808 1131216341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46473 13073 16 0 210037 0 vsize: 840212 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 98609 69 0 0 25 0 11 0 477827078 860377088 46565 4294967295 134512640 134569956 3221224416 3221214808 1131215869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46565 13073 16 0 210037 0 vsize: 840212 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24484 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 99543 69 0 0 25 0 11 0 477827078 860377088 46657 4294967295 134512640 134569956 3221224416 3221214808 1131215873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46657 13073 16 0 210037 0 vsize: 840212 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 1.00 3/67 24492 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 100481 70 0 0 25 0 11 0 477827078 860377088 46835 4294967295 134512640 134569956 3221224416 3221214808 1131215877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210053 46835 13073 16 0 210037 0 vsize: 840212 [startup+1110.1 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 101413 71 0 0 25 0 11 0 477827078 860377088 46936 4294967295 134512640 134569956 3221224416 3221214808 1131216286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 46936 13073 16 0 210037 0 vsize: 840212 [startup+1120.1 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 102346 71 0 0 25 0 11 0 477827078 860377088 47080 4294967295 134512640 134569956 3221224416 3221214856 1131140090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47080 13073 16 0 210037 0 vsize: 840212 [startup+1130.1 s] Raw data (loadavg): 1.05 1.01 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 103279 71 0 0 25 0 11 0 477827078 860377088 47215 4294967295 134512640 134569956 3221224416 3221214808 1131216181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47215 13073 16 0 210037 0 vsize: 840212 [startup+1140.1 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 104213 72 0 0 24 0 11 0 477827078 860377088 47374 4294967295 134512640 134569956 3221224416 3221214856 1131140064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47374 13073 16 0 210037 0 vsize: 840212 [startup+1150.1 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 105151 72 0 0 25 0 11 0 477827078 860377088 47517 4294967295 134512640 134569956 3221224416 3221214808 1131216476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47517 13073 16 0 210037 0 vsize: 840212 [startup+1160.1 s] Raw data (loadavg): 1.03 1.01 1.00 2/65 24537 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 106083 72 0 0 25 0 11 0 477827078 860377088 47613 4294967295 134512640 134569956 3221224416 3221214808 1131215903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47613 13073 16 0 210037 0 vsize: 840212 [startup+1170.11 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 107016 73 0 0 24 0 11 0 477827078 860377088 47719 4294967295 134512640 134569956 3221224416 3221214856 1131140220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47719 13073 16 0 210037 0 vsize: 840212 [startup+1180.11 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 107956 73 0 0 25 0 11 0 477827078 860377088 47887 4294967295 134512640 134569956 3221224416 3221214808 1131216179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 47887 13073 16 0 210037 0 vsize: 840212 [startup+1190.11 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 108898 73 0 0 25 0 11 0 477827078 860377088 48006 4294967295 134512640 134569956 3221224416 3221214852 1130916188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48006 13073 16 0 210037 0 vsize: 840212 [startup+1200.11 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 109841 73 0 0 25 0 11 0 477827078 860377088 48100 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48100 13073 16 0 210037 0 vsize: 840212 [startup+1210.11 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 110769 74 0 0 25 0 11 0 477827078 860377088 48231 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48231 13073 16 0 210037 0 vsize: 840212 [startup+1220.11 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 111687 74 0 0 24 0 11 0 477827078 860377088 48317 4294967295 134512640 134569956 3221224416 3221214808 1131216447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48317 13073 16 0 210037 0 vsize: 840212 [startup+1230.11 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) S 24462 22929 22928 0 -1 0 18085 3 1 0 112606 74 0 0 25 0 11 0 477827078 860377088 48473 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48473 13073 16 0 210037 0 vsize: 840212 [startup+1240.11 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 113525 75 0 0 25 0 11 0 477827078 860377088 48690 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48690 13073 16 0 210037 0 vsize: 840212 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 114465 75 0 0 25 0 11 0 477827078 860377088 48907 4294967295 134512640 134569956 3221224416 3221214808 1131216254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 48907 13073 16 0 210037 0 vsize: 840212 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 115406 75 0 0 25 0 11 0 477827078 860377088 49013 4294967295 134512640 134569956 3221224416 3221214808 1131216891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49013 13073 16 0 210037 0 vsize: 840212 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 116346 75 0 0 25 0 11 0 477827078 860377088 49082 4294967295 134512640 134569956 3221224416 3221214808 1131216330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49082 13073 16 0 210037 0 vsize: 840212 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 117280 76 0 0 25 0 11 0 477827078 860377088 49237 4294967295 134512640 134569956 3221224416 3221214808 1131216979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49237 13073 16 0 210037 0 vsize: 840212 [startup+1290.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 118226 76 0 0 25 0 11 0 477827078 860377088 49354 4294967295 134512640 134569956 3221224416 3221214632 1131217149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49354 13073 16 0 210037 0 vsize: 840212 [startup+1300.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 119172 76 0 0 25 0 11 0 477827078 860377088 49441 4294967295 134512640 134569956 3221224416 3221214856 1131140114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49441 13073 16 0 210037 0 vsize: 840212 [startup+1310.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 24541 Raw data (stat): 24463 (java) R 24462 22929 22928 0 -1 0 18085 3 1 0 120120 76 0 0 25 0 11 0 477827078 860377088 49549 4294967295 134512640 134569956 3221224416 3221214856 1131140078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210053 49549 13073 16 0 210037 0 vsize: 840212 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 24543 Raw data (stat): 24463 (java) Z 24462 22929 22928 0 -1 1036 18085 35236 1 0 120121 86 11746 92 25 0 1 0 477827078 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.22 CPU time (s): 1320.47 CPU user time (s): 1318.68 CPU system time (s): 1.79173 CPU usage (%): 100.782 Max. virtual memory (Kb): 840664 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####