Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | 7850e0b228f4ef5ee038a9c3595683ab |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
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 | 945 |
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.08 |
Number of variables | 945 |
Total number of constraints | 58579 |
Number of constraints which are clauses | 58579 |
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 wulflinc30 THE 2005-04-13 17:52:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2997 boxname=wulflinc30 idbench=333 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7850e0b228f4ef5ee038a9c3595683ab /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-5.opb IDLAUNCH: 2997 /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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 747312 kB Buffers: 36992 kB Cached: 209576 kB SwapCached: 0 kB Active: 80020 kB Inactive: 169320 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 747060 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 32428 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:14:13 (client local time) WITH STATUS 143 IN SECONDS stats: 2997 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-5.opb c reading problem c [nbvar=945] c [nbconstr=58579] c time 9.561 c #vars 945 c #clauses 58579 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) : 9.993 c starts : 1 c conflicts : 0 c decisions : 945 c propagations : 945 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) : 10.181 c starts : 2 c conflicts : 0 c decisions : 1889 c propagations : 1890 c inspects : 264 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) : 15.432 c starts : 3 c conflicts : 20 c decisions : 2833 c propagations : 3065 c inspects : 3434 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 3 c c CURRENT OPTIMUM=-32 c Current CPU time (ms) : 15.584 c starts : 4 c conflicts : 20 c decisions : 2865 c propagations : 4010 c inspects : 7218 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 4 c c CURRENT OPTIMUM=-33 c Current CPU time (ms) : 90.578 c starts : 7 c conflicts : 272 c decisions : 3245 c propagations : 8750 c inspects : 109533 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 272 c root simplifications : 7 c c CURRENT OPTIMUM=-34 c Current CPU time (ms) : 104.979 c starts : 8 c conflicts : 331 c decisions : 3359 c propagations : 10085 c inspects : 135968 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 331 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): 0.85 0.97 0.99 2/54 12719 Raw data (stat): 12719 (runsolver) R 12718 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477891760 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.0003 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 12728 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 17999 0 1 0 777 45 0 0 25 0 10 0 477891760 859488256 22657 4294967295 134512640 134569956 3221224416 3221214548 1131193237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209836 22657 13073 16 0 209820 0 vsize: 839344 [startup+20.001 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18070 4 1 0 1514 46 0 0 25 0 11 0 477891760 858210304 29347 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29347 13073 16 0 209508 0 vsize: 838096 [startup+30.0013 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18070 4 1 0 2433 46 0 0 25 0 11 0 477891760 858210304 29350 4294967295 134512640 134569956 3221224416 3221214712 1131379572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29350 13073 16 0 209508 0 vsize: 838096 [startup+40.0017 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 3332 46 0 0 25 0 11 0 477891760 858210304 29888 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29888 13073 16 0 209508 0 vsize: 838096 [startup+50.0025 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 4216 46 0 0 25 0 11 0 477891760 858210304 30533 4294967295 134512640 134569956 3221224416 3221214712 1131199880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30533 13073 16 0 209508 0 vsize: 838096 [startup+60.0027 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 5114 46 0 0 25 0 11 0 477891760 858210304 30894 4294967295 134512640 134569956 3221224416 3221214712 1131199341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30894 13073 16 0 209508 0 vsize: 838096 [startup+70.0031 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 6012 46 0 0 25 0 11 0 477891760 858210304 31292 4294967295 134512640 134569956 3221224416 3221214624 1131254466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 31292 13073 16 0 209508 0 vsize: 838096 [startup+80.0037 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 6919 47 0 0 25 0 11 0 477891760 858210304 31628 4294967295 134512640 134569956 3221224416 3221214808 1131357774 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 31628 13073 16 0 209508 0 vsize: 838096 [startup+90.0031 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12733 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 7814 47 0 0 25 0 11 0 477891760 858210304 32082 4294967295 134512640 134569956 3221224416 3221214712 1131200105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 32082 13073 16 0 209508 0 vsize: 838096 [startup+100.004 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12734 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 8684 47 0 0 25 0 11 0 477891760 858210304 32682 4294967295 134512640 134569956 3221224416 3221213792 1079753348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32682 13073 16 0 209508 0 vsize: 838096 [startup+110.005 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 9542 47 0 0 24 0 11 0 477891760 862404608 33936 4294967295 134512640 134569956 3221224416 3221214712 1131199407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210548 33936 13073 16 0 210532 0 vsize: 842192 [startup+120.006 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 10413 48 0 0 25 0 11 0 477891760 861356032 34400 4294967295 134512640 134569956 3221224416 3221214824 1131371773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 34400 13073 16 0 210276 0 vsize: 841168 [startup+130.007 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 11293 48 0 0 25 0 11 0 477891760 861356032 34829 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 34829 13073 16 0 210276 0 vsize: 841168 [startup+140.008 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 12188 48 0 0 25 0 11 0 477891760 861356032 35138 4294967295 134512640 134569956 3221224416 3221214712 1131199845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 35138 13073 16 0 210276 0 vsize: 841168 [startup+150.008 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 13057 48 0 0 25 0 11 0 477891760 861356032 35446 4294967295 134512640 134569956 3221224416 3221214712 1131199136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 35446 13073 16 0 210276 0 vsize: 841168 [startup+160.008 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 13918 48 0 0 25 0 11 0 477891760 861356032 35791 4294967295 134512640 134569956 3221224416 3221214712 1131379376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 35791 13073 16 0 210276 0 vsize: 841168 [startup+170.008 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 14798 48 0 0 25 0 11 0 477891760 861356032 36138 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 36138 13073 16 0 210276 0 vsize: 841168 [startup+180.008 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 15695 48 0 0 25 0 11 0 477891760 861356032 36377 4294967295 134512640 134569956 3221224416 3221214624 1131254294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 36377 13073 16 0 210276 0 vsize: 841168 [startup+190.009 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 16593 48 0 0 25 0 11 0 477891760 861356032 36694 4294967295 134512640 134569956 3221224416 3221214020 1077100736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 36694 13073 16 0 210276 0 vsize: 841168 [startup+200.009 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 17481 48 0 0 25 0 11 0 477891760 861356032 36947 4294967295 134512640 134569956 3221224416 3221214656 1131335120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 36947 13073 16 0 210276 0 vsize: 841168 [startup+210.01 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 18385 48 0 0 25 0 11 0 477891760 861356032 37212 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 37212 13073 16 0 210276 0 vsize: 841168 [startup+220.01 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 19267 48 0 0 25 0 11 0 477891760 861356032 37532 4294967295 134512640 134569956 3221224416 3221214048 1131144225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 37532 13073 16 0 210276 0 vsize: 841168 [startup+230.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 20141 48 0 0 25 0 11 0 477891760 861356032 37818 4294967295 134512640 134569956 3221224416 3221214712 1131199109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 37818 13073 16 0 210276 0 vsize: 841168 [startup+240.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 21019 48 0 0 25 0 11 0 477891760 861356032 38168 4294967295 134512640 134569956 3221224416 3221214712 1131199345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 38168 13073 16 0 210276 0 vsize: 841168 [startup+250.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 21900 48 0 0 25 0 11 0 477891760 861356032 38619 4294967295 134512640 134569956 3221224416 3221214808 1131358704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 38619 13073 16 0 210276 0 vsize: 841168 [startup+260.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 22784 49 0 0 25 0 11 0 477891760 861356032 38875 4294967295 134512640 134569956 3221224416 3221214712 1131199673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 38875 13073 16 0 210276 0 vsize: 841168 [startup+270.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 23667 49 0 0 25 0 11 0 477891760 861356032 39269 4294967295 134512640 134569956 3221224416 3221214712 1131200214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 39269 13073 16 0 210276 0 vsize: 841168 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 24562 49 0 0 25 0 11 0 477891760 861356032 39601 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 39601 13073 16 0 210276 0 vsize: 841168 [startup+290.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 25455 49 0 0 25 0 11 0 477891760 861356032 39753 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 39753 13073 16 0 210276 0 vsize: 841168 [startup+300.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 26344 49 0 0 24 0 11 0 477891760 861356032 40072 4294967295 134512640 134569956 3221224416 3221214712 1131199845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 40072 13073 16 0 210276 0 vsize: 841168 [startup+310.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 27259 49 0 0 25 0 11 0 477891760 861356032 40403 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210292 40403 13073 16 0 210276 0 vsize: 841168 [startup+320.017 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 28174 49 0 0 24 0 11 0 477891760 860307456 40341 4294967295 134512640 134569956 3221224416 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 40341 13073 16 0 210020 0 vsize: 840144 [startup+330.017 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 29083 49 0 0 25 0 11 0 477891760 860307456 40510 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 40510 13073 16 0 210020 0 vsize: 840144 [startup+340.017 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 29995 49 0 0 21 0 11 0 477891760 860307456 40698 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 40698 13073 16 0 210020 0 vsize: 840144 [startup+350.02 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 30900 50 0 0 24 0 11 0 477891760 860307456 40947 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 40947 13073 16 0 210020 0 vsize: 840144 [startup+360.021 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 31796 50 0 0 22 0 11 0 477891760 860307456 40996 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 40996 13073 16 0 210020 0 vsize: 840144 [startup+370.021 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 32681 50 0 0 19 0 11 0 477891760 860307456 41191 4294967295 134512640 134569956 3221224416 3221214656 1131335259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 41191 13073 16 0 210020 0 vsize: 840144 [startup+380.022 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 33567 50 0 0 18 0 11 0 477891760 860307456 41484 4294967295 134512640 134569956 3221224416 3221214712 1131199105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 41484 13073 16 0 210020 0 vsize: 840144 [startup+390.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 34466 50 0 0 21 0 11 0 477891760 860307456 41808 4294967295 134512640 134569956 3221224416 3221214568 1131414955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 41808 13073 16 0 210020 0 vsize: 840144 [startup+400.022 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 35356 51 0 0 16 0 11 0 477891760 860307456 41979 4294967295 134512640 134569956 3221224416 3221214688 1131575418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 41979 13073 16 0 210020 0 vsize: 840144 [startup+410.023 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 36269 51 0 0 23 0 11 0 477891760 860307456 42301 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 42301 13073 16 0 210020 0 vsize: 840144 [startup+420.023 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 37183 51 0 0 21 0 11 0 477891760 860307456 42568 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 42568 13073 16 0 210020 0 vsize: 840144 [startup+430.025 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 38107 51 0 0 25 0 11 0 477891760 860307456 42712 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 42712 13073 16 0 210020 0 vsize: 840144 [startup+440.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 39033 52 0 0 25 0 11 0 477891760 860307456 42911 4294967295 134512640 134569956 3221224416 3221214568 1131414955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 42911 13073 16 0 210020 0 vsize: 840144 [startup+450.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 39956 53 0 0 25 0 11 0 477891760 860307456 43084 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 43084 13073 16 0 210020 0 vsize: 840144 [startup+460.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 40867 53 0 0 24 0 11 0 477891760 860307456 43224 4294967295 134512640 134569956 3221224416 3221214712 1131199289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 43224 13073 16 0 210020 0 vsize: 840144 [startup+470.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12735 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 41783 53 0 0 25 0 11 0 477891760 860307456 43421 4294967295 134512640 134569956 3221224416 3221214712 1131200304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 43421 13073 16 0 210020 0 vsize: 840144 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 42702 54 0 0 25 0 11 0 477891760 860307456 43613 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 43613 13073 16 0 210020 0 vsize: 840144 [startup+490.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 43619 54 0 0 25 0 11 0 477891760 860307456 43839 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 43839 13073 16 0 210020 0 vsize: 840144 [startup+500.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 44526 54 0 0 24 0 11 0 477891760 860307456 44027 4294967295 134512640 134569956 3221224416 3221214712 1131199298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 44027 13073 16 0 210020 0 vsize: 840144 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 45433 54 0 0 25 0 11 0 477891760 860307456 44174 4294967295 134512640 134569956 3221224416 3221214712 1131200304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210036 44174 13073 16 0 210020 0 vsize: 840144 [startup+520.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 46338 54 0 0 25 0 11 0 477891760 860307456 44343 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 44343 13073 16 0 210020 0 vsize: 840144 [startup+530.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 47255 55 0 0 25 0 11 0 477891760 860307456 44647 4294967295 134512640 134569956 3221224416 3221214808 1131358588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 44647 13073 16 0 210020 0 vsize: 840144 [startup+540.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12788 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 48180 55 0 0 25 0 11 0 477891760 860307456 44874 4294967295 134512640 134569956 3221224416 3221214704 1131254431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 44874 13073 16 0 210020 0 vsize: 840144 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 49100 55 0 0 25 0 11 0 477891760 860307456 45049 4294967295 134512640 134569956 3221224416 3221214808 1131357662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45049 13073 16 0 210020 0 vsize: 840144 [startup+560.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 50013 56 0 0 25 0 11 0 477891760 860307456 45171 4294967295 134512640 134569956 3221224416 3221214712 1131200189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45171 13073 16 0 210020 0 vsize: 840144 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 50929 56 0 0 25 0 11 0 477891760 860307456 45369 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45369 13073 16 0 210020 0 vsize: 840144 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 51861 57 0 0 25 0 11 0 477891760 860307456 45534 4294967295 134512640 134569956 3221224416 3221214808 1131358588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45534 13073 16 0 210020 0 vsize: 840144 [startup+590.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 52787 57 0 0 25 0 11 0 477891760 860307456 45581 4294967295 134512640 134569956 3221224416 3221214912 1131504763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45581 13073 16 0 210020 0 vsize: 840144 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 53692 57 0 0 25 0 11 0 477891760 860307456 45701 4294967295 134512640 134569956 3221224416 3221214808 1131358669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45701 13073 16 0 210020 0 vsize: 840144 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 54604 58 0 0 25 0 11 0 477891760 860307456 45890 4294967295 134512640 134569956 3221224416 3221214624 1131404770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 45890 13073 16 0 210020 0 vsize: 840144 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 55511 58 0 0 25 0 11 0 477891760 860307456 46115 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 46115 13073 16 0 210020 0 vsize: 840144 [startup+630.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 56429 59 0 0 25 0 11 0 477891760 860307456 46328 4294967295 134512640 134569956 3221224416 3221214712 1131199761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 46328 13073 16 0 210020 0 vsize: 840144 [startup+640.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 57341 59 0 0 25 0 11 0 477891760 860307456 46515 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 46515 13073 16 0 210020 0 vsize: 840144 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 58254 59 0 0 24 0 11 0 477891760 860307456 46723 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 46723 13073 16 0 210020 0 vsize: 840144 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 59178 60 0 0 25 0 11 0 477891760 860307456 46956 4294967295 134512640 134569956 3221224416 3221214712 1131378961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 46956 13073 16 0 210020 0 vsize: 840144 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 60095 60 0 0 25 0 11 0 477891760 860307456 47129 4294967295 134512640 134569956 3221224416 3221214712 1131199134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47129 13073 16 0 210020 0 vsize: 840144 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 61020 60 0 0 25 0 11 0 477891760 860307456 47266 4294967295 134512640 134569956 3221224416 3221214608 1131568532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47266 13073 16 0 210020 0 vsize: 840144 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 61943 61 0 0 25 0 11 0 477891760 860307456 47475 4294967295 134512640 134569956 3221224416 3221214712 1131380189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47475 13073 16 0 210020 0 vsize: 840144 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 62872 61 0 0 24 0 11 0 477891760 860307456 47663 4294967295 134512640 134569956 3221224416 3221214712 1131199629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47663 13073 16 0 210020 0 vsize: 840144 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 63807 62 0 0 25 0 11 0 477891760 860307456 47820 4294967295 134512640 134569956 3221224416 3221214824 1131371541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47820 13073 16 0 210020 0 vsize: 840144 [startup+720.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 64741 62 0 0 24 0 11 0 477891760 860307456 47954 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 47954 13073 16 0 210020 0 vsize: 840144 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 65686 62 0 0 25 0 11 0 477891760 860307456 48101 4294967295 134512640 134569956 3221224416 3221214712 1131199101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48101 13073 16 0 210020 0 vsize: 840144 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 66616 63 0 0 25 0 11 0 477891760 860307456 48214 4294967295 134512640 134569956 3221224416 3221214808 1131358591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48214 13073 16 0 210020 0 vsize: 840144 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 67538 63 0 0 25 0 11 0 477891760 860307456 48330 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48330 13073 16 0 210020 0 vsize: 840144 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 68459 63 0 0 25 0 11 0 477891760 860307456 48500 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48500 13073 16 0 210020 0 vsize: 840144 [startup+770.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 69391 63 0 0 25 0 11 0 477891760 860307456 48679 4294967295 134512640 134569956 3221224416 3221214712 1131199139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48679 13073 16 0 210020 0 vsize: 840144 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 70317 63 0 0 25 0 11 0 477891760 860307456 48841 4294967295 134512640 134569956 3221224416 3221214712 1131199697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 48841 13073 16 0 210020 0 vsize: 840144 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 71236 64 0 0 25 0 11 0 477891760 860307456 49015 4294967295 134512640 134569956 3221224416 3221214704 1131254187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49015 13073 16 0 210020 0 vsize: 840144 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 72153 64 0 0 25 0 11 0 477891760 860307456 49127 4294967295 134512640 134569956 3221224416 3221214808 1131357908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49127 13073 16 0 210020 0 vsize: 840144 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 73072 65 0 0 25 0 11 0 477891760 860307456 49370 4294967295 134512640 134569956 3221224416 3221214584 1131546519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49370 13073 16 0 210020 0 vsize: 840144 [startup+820.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12790 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 73990 65 0 0 25 0 11 0 477891760 860307456 49544 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49544 13073 16 0 210020 0 vsize: 840144 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 74917 66 0 0 25 0 11 0 477891760 860307456 49735 4294967295 134512640 134569956 3221224416 3221214712 1131199105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49735 13073 16 0 210020 0 vsize: 840144 [startup+840.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 75841 66 0 0 25 0 11 0 477891760 860307456 49874 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 49874 13073 16 0 210020 0 vsize: 840144 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 76761 66 0 0 25 0 11 0 477891760 860307456 50026 4294967295 134512640 134569956 3221224416 3221214808 1131358702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50026 13073 16 0 210020 0 vsize: 840144 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 77676 67 0 0 25 0 11 0 477891760 860307456 50219 4294967295 134512640 134569956 3221224416 3221214808 1131357716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50219 13073 16 0 210020 0 vsize: 840144 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 78592 67 0 0 24 0 11 0 477891760 860307456 50367 4294967295 134512640 134569956 3221224416 3221214712 1131200259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50367 13073 16 0 210020 0 vsize: 840144 [startup+880.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 79517 67 0 0 24 0 11 0 477891760 860307456 50636 4294967295 134512640 134569956 3221224416 3221214712 1131199517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50636 13073 16 0 210020 0 vsize: 840144 [startup+890.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 80448 68 0 0 25 0 11 0 477891760 860307456 50824 4294967295 134512640 134569956 3221224416 3221214712 1131200189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50824 13073 16 0 210020 0 vsize: 840144 [startup+900.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 81370 68 0 0 25 0 11 0 477891760 860307456 50942 4294967295 134512640 134569956 3221224416 3221214804 1131199084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 50942 13073 16 0 210020 0 vsize: 840144 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 82297 68 0 0 25 0 11 0 477891760 860307456 51142 4294967295 134512640 134569956 3221224416 3221214712 1131200209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51142 13073 16 0 210020 0 vsize: 840144 [startup+920.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 83233 69 0 0 25 0 11 0 477891760 860307456 51325 4294967295 134512640 134569956 3221224416 3221214712 1131200224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51325 13073 16 0 210020 0 vsize: 840144 [startup+930.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 84171 69 0 0 25 0 11 0 477891760 860307456 51436 4294967295 134512640 134569956 3221224416 3221214712 1131199644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51436 13073 16 0 210020 0 vsize: 840144 [startup+940.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 85103 70 0 0 23 0 11 0 477891760 860307456 51556 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51556 13073 16 0 210020 0 vsize: 840144 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 86043 71 0 0 25 0 11 0 477891760 860307456 51697 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51697 13073 16 0 210020 0 vsize: 840144 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 86978 71 0 0 25 0 11 0 477891760 860307456 51829 4294967295 134512640 134569956 3221224416 3221214712 1131199473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51829 13073 16 0 210020 0 vsize: 840144 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 87916 71 0 0 25 0 11 0 477891760 860307456 51975 4294967295 134512640 134569956 3221224416 3221214712 1131199127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 51975 13073 16 0 210020 0 vsize: 840144 [startup+980.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 88851 71 0 0 25 0 11 0 477891760 860307456 52091 4294967295 134512640 134569956 3221224416 3221214712 1131199109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52091 13073 16 0 210020 0 vsize: 840144 [startup+990.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 89792 72 0 0 25 0 11 0 477891760 860307456 52263 4294967295 134512640 134569956 3221224416 3221214808 1131357774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52263 13073 16 0 210020 0 vsize: 840144 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 90724 72 0 0 25 0 11 0 477891760 860307456 52364 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52364 13073 16 0 210020 0 vsize: 840144 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 91653 72 0 0 25 0 11 0 477891760 860307456 52530 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52530 13073 16 0 210020 0 vsize: 840144 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 92585 72 0 0 25 0 11 0 477891760 860307456 52655 4294967295 134512640 134569956 3221224416 3221214808 1131357698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52655 13073 16 0 210020 0 vsize: 840144 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 93527 73 0 0 25 0 11 0 477891760 860307456 52793 4294967295 134512640 134569956 3221224416 3221214712 1131199366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52793 13073 16 0 210020 0 vsize: 840144 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 94461 73 0 0 25 0 11 0 477891760 860307456 52828 4294967295 134512640 134569956 3221224416 3221214712 1131199769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52828 13073 16 0 210020 0 vsize: 840144 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 95377 74 0 0 25 0 11 0 477891760 860307456 52857 4294967295 134512640 134569956 3221224416 3221214968 1131481111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 52857 13073 16 0 210020 0 vsize: 840144 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 96280 74 0 0 24 0 11 0 477891760 860307456 53081 4294967295 134512640 134569956 3221224416 3221214804 1131199084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 53081 13073 16 0 210020 0 vsize: 840144 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 97191 75 0 0 25 0 11 0 477891760 860307456 53250 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 53250 13073 16 0 210020 0 vsize: 840144 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 98100 76 0 0 25 0 11 0 477891760 860307456 53463 4294967295 134512640 134569956 3221224416 3221214584 1131547428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 53463 13073 16 0 210020 0 vsize: 840144 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 99023 76 0 0 25 0 11 0 477891760 860307456 53745 4294967295 134512640 134569956 3221224416 3221214712 1131199841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 53745 13073 16 0 210020 0 vsize: 840144 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 99959 76 0 0 25 0 11 0 477891760 860307456 53909 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 53909 13073 16 0 210020 0 vsize: 840144 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 100903 76 0 0 25 0 11 0 477891760 860307456 54032 4294967295 134512640 134569956 3221224416 3221214712 1131199563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54032 13073 16 0 210020 0 vsize: 840144 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 101846 76 0 0 25 0 11 0 477891760 860307456 54159 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54159 13073 16 0 210020 0 vsize: 840144 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 102775 77 0 0 25 0 11 0 477891760 860307456 54237 4294967295 134512640 134569956 3221224416 3221214712 1131199769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54237 13073 16 0 210020 0 vsize: 840144 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 103689 77 0 0 24 0 11 0 477891760 860307456 54318 4294967295 134512640 134569956 3221224416 3221214712 1131199644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54318 13073 16 0 210020 0 vsize: 840144 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 104614 78 0 0 25 0 11 0 477891760 860307456 54527 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54527 13073 16 0 210020 0 vsize: 840144 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 105543 78 0 0 25 0 11 0 477891760 860307456 54751 4294967295 134512640 134569956 3221224416 3221214808 1131357609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54751 13073 16 0 210020 0 vsize: 840144 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 106475 78 0 0 25 0 11 0 477891760 860307456 54902 4294967295 134512640 134569956 3221224416 3221214712 1131200118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 54902 13073 16 0 210020 0 vsize: 840144 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 107403 79 0 0 25 0 11 0 477891760 860307456 55046 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55046 13073 16 0 210020 0 vsize: 840144 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 108323 79 0 0 25 0 11 0 477891760 860307456 55156 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55156 13073 16 0 210020 0 vsize: 840144 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 109245 80 0 0 25 0 11 0 477891760 860307456 55355 4294967295 134512640 134569956 3221224416 3221214808 1131358629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55355 13073 16 0 210020 0 vsize: 840144 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 110166 80 0 0 25 0 11 0 477891760 860307456 55442 4294967295 134512640 134569956 3221224416 3221214080 1076461257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55442 13073 16 0 210020 0 vsize: 840144 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 111074 80 0 0 25 0 11 0 477891760 860307456 55631 4294967295 134512640 134569956 3221224416 3221214712 1131199515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55631 13073 16 0 210020 0 vsize: 840144 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 111980 81 0 0 24 0 11 0 477891760 860307456 55837 4294967295 134512640 134569956 3221224416 3221214584 1131545904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 55837 13073 16 0 210020 0 vsize: 840144 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 112901 81 0 0 25 0 11 0 477891760 860307456 56054 4294967295 134512640 134569956 3221224416 3221214712 1131199805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56054 13073 16 0 210020 0 vsize: 840144 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 113816 82 0 0 25 0 11 0 477891760 860307456 56228 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56228 13073 16 0 210020 0 vsize: 840144 [startup+1260.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 114736 83 0 0 25 0 11 0 477891760 860307456 56441 4294967295 134512640 134569956 3221224416 3221214664 1131568532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56441 13073 16 0 210020 0 vsize: 840144 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 115655 83 0 0 25 0 11 0 477891760 860307456 56624 4294967295 134512640 134569956 3221224416 3221214608 1131568532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56624 13073 16 0 210020 0 vsize: 840144 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 116579 84 0 0 25 0 11 0 477891760 860307456 56799 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56799 13073 16 0 210020 0 vsize: 840144 [startup+1290.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 117506 84 0 0 25 0 11 0 477891760 860307456 56984 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 56984 13073 16 0 210020 0 vsize: 840144 [startup+1300.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 118451 84 0 0 21 0 11 0 477891760 860307456 57103 4294967295 134512640 134569956 3221224416 3221214712 1131199314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 57103 13073 16 0 210020 0 vsize: 840144 [startup+1310.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 12792 Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 119404 85 0 0 25 0 11 0 477891760 860307456 57259 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 57259 13073 16 0 210020 0 vsize: 840144 [startup+1320.07 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 12792 Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 120356 85 0 0 25 0 11 0 477891760 860307456 57367 4294967295 134512640 134569956 3221224416 3221214596 1080204274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 57367 13073 16 0 210020 0 vsize: 840144 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1320.22 s] Raw data (loadavg): 1.06 1.02 1.00 1/54 12794 Raw data (stat): 12719 (java) Z 12718 11931 11930 0 -1 1036 18071 44754 1 0 120360 96 12539 109 25 0 1 0 477891760 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): 1320.22 CPU time (s): 1331.06 CPU user time (s): 1329 CPU system time (s): 2.06269 CPU usage (%): 100.821 Max. virtual memory (Kb): 842192 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####