Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 16a8eb66aae2bcfd534a482dd0a3948e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -28 |
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 | 27856 |
Number of constraints which are clauses | 27856 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-13 17:40:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2871 boxname=wulflinc17 idbench=319 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 16a8eb66aae2bcfd534a482dd0a3948e /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb IDLAUNCH: 2871 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 860344 kB Buffers: 33236 kB Cached: 106304 kB SwapCached: 2376 kB Active: 48128 kB Inactive: 96732 kB HighTotal: 131008 kB HighFree: 21140 kB LowTotal: 903652 kB LowFree: 839204 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23896 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:01:57 (client local time) WITH STATUS 143 IN SECONDS stats: 2871 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb c reading problem c [nbvar=595] c [nbconstr=27856] c time 6.31 c #vars 595 c #clauses 27856 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) : 6.687 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) : 6.782 c starts : 2 c conflicts : 0 c decisions : 1189 c propagations : 1190 c inspects : 145 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) : 10.186 c starts : 3 c conflicts : 16 c decisions : 1783 c propagations : 1937 c inspects : 1448 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=-25 c Current CPU time (ms) : 10.316 c starts : 4 c conflicts : 16 c decisions : 1808 c propagations : 2532 c inspects : 3708 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=-26 c Current CPU time (ms) : 11.253 c starts : 5 c conflicts : 28 c decisions : 1848 c propagations : 3197 c inspects : 8551 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 28 c root simplifications : 5 c c CURRENT OPTIMUM=-27 c Current CPU time (ms) : 40.559 c starts : 7 c conflicts : 217 c decisions : 2121 c propagations : 5647 c inspects : 69710 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 217 c root simplifications : 7 c c CURRENT OPTIMUM=-28 c Current CPU time (ms) : 80.558 c starts : 9 c conflicts : 365 c decisions : 2320 c propagations : 7773 c inspects : 143479 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 365 c root simplifications : 9 #### 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.92 0.98 0.97 2/55 22582 Raw data (stat): 22582 (runsolver) R 22581 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477830086 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.0315 s] Raw data (loadavg): 1.01 1.00 0.98 4/65 22594 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18065 3 1 0 668 40 0 0 25 0 11 0 477830086 859529216 22738 4294967295 134512640 134569956 3221224416 3221214664 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209846 22738 13073 16 0 209830 0 vsize: 839384 [startup+20.0321 s] Raw data (loadavg): 1.00 1.00 0.98 2/65 22597 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18068 3 1 0 1543 41 0 0 25 0 11 0 477830086 858673152 25006 4294967295 134512640 134569956 3221224416 3221214904 1131371413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209637 25006 13073 16 0 209621 0 vsize: 838548 [startup+30.0331 s] Raw data (loadavg): 1.08 1.02 0.98 2/65 22599 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18068 3 1 0 2424 41 0 0 25 0 11 0 477830086 863916032 26817 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 26817 13073 16 0 210901 0 vsize: 843668 [startup+40.0338 s] Raw data (loadavg): 1.14 1.03 0.99 2/65 22599 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 3290 41 0 0 25 0 11 0 477830086 863916032 27381 4294967295 134512640 134569956 3221224416 3221214808 1131206046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 27381 13073 16 0 210901 0 vsize: 843668 [startup+50.0339 s] Raw data (loadavg): 1.12 1.03 0.99 2/65 22600 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 4151 42 0 0 25 0 11 0 477830086 863916032 27742 4294967295 134512640 134569956 3221224416 3221214808 1131205534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 27742 13073 16 0 210901 0 vsize: 843668 [startup+60.0335 s] Raw data (loadavg): 1.10 1.03 0.99 2/65 22600 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 5035 42 0 0 25 0 11 0 477830086 863916032 28088 4294967295 134512640 134569956 3221224416 3221214696 1131205696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 28088 13073 16 0 210901 0 vsize: 843668 [startup+70.0347 s] Raw data (loadavg): 1.08 1.03 0.99 2/65 22600 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 5921 42 0 0 25 0 11 0 477830086 863916032 28388 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 28388 13073 16 0 210901 0 vsize: 843668 [startup+80.0352 s] Raw data (loadavg): 1.07 1.03 0.99 2/65 22600 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 6805 43 0 0 25 0 11 0 477830086 863916032 28735 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 28735 13073 16 0 210901 0 vsize: 843668 [startup+90.0353 s] Raw data (loadavg): 1.06 1.03 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 7666 43 0 0 24 0 11 0 477830086 863916032 29098 4294967295 134512640 134569956 3221224416 3221214808 1131205531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 29098 13073 16 0 210901 0 vsize: 843668 [startup+100.035 s] Raw data (loadavg): 1.05 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 8554 43 0 0 25 0 11 0 477830086 863916032 29314 4294967295 134512640 134569956 3221224416 3221214576 1131542133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 29314 13073 16 0 210901 0 vsize: 843668 [startup+110.036 s] Raw data (loadavg): 1.04 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 9426 44 0 0 25 0 11 0 477830086 863916032 29567 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 29567 13073 16 0 210901 0 vsize: 843668 [startup+120.036 s] Raw data (loadavg): 1.03 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 10306 44 0 0 17 0 11 0 477830086 863916032 29966 4294967295 134512640 134569956 3221224416 3221214752 1131401292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 29966 13073 16 0 210901 0 vsize: 843668 [startup+130.036 s] Raw data (loadavg): 1.03 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 11192 44 0 0 20 0 11 0 477830086 863916032 30216 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 30216 13073 16 0 210901 0 vsize: 843668 [startup+140.038 s] Raw data (loadavg): 1.02 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 12067 45 0 0 21 0 11 0 477830086 863916032 30476 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 30476 13073 16 0 210901 0 vsize: 843668 [startup+150.039 s] Raw data (loadavg): 1.02 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 12940 45 0 0 16 0 11 0 477830086 863916032 30767 4294967295 134512640 134569956 3221224416 3221214632 1131486555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 30767 13073 16 0 210901 0 vsize: 843668 [startup+160.041 s] Raw data (loadavg): 1.02 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 13829 45 0 0 17 0 11 0 477830086 863916032 31086 4294967295 134512640 134569956 3221224416 3221214752 1131402583 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 31086 13073 16 0 210901 0 vsize: 843668 [startup+170.044 s] Raw data (loadavg): 1.01 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 14728 46 0 0 18 0 11 0 477830086 863916032 31350 4294967295 134512640 134569956 3221224416 3221214808 1131206589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 31350 13073 16 0 210901 0 vsize: 843668 [startup+180.045 s] Raw data (loadavg): 1.01 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 15612 46 0 0 17 0 11 0 477830086 863916032 31596 4294967295 134512640 134569956 3221224416 3221214904 1131370898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 31596 13073 16 0 210901 0 vsize: 843668 [startup+190.046 s] Raw data (loadavg): 1.01 1.02 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 16508 46 0 0 20 0 11 0 477830086 863916032 31861 4294967295 134512640 134569956 3221224416 3221213664 1131292509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 31861 13073 16 0 210901 0 vsize: 843668 [startup+200.046 s] Raw data (loadavg): 1.01 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 17404 47 0 0 22 0 11 0 477830086 863916032 32109 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 32109 13073 16 0 210901 0 vsize: 843668 [startup+210.045 s] Raw data (loadavg): 1.01 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 18278 47 0 0 16 0 11 0 477830086 863916032 32329 4294967295 134512640 134569956 3221224416 3221214904 1131371403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 32329 13073 16 0 210901 0 vsize: 843668 [startup+220.049 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 19167 47 0 0 22 0 11 0 477830086 863916032 32634 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 32634 13073 16 0 210901 0 vsize: 843668 [startup+230.049 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 20041 48 0 0 16 0 11 0 477830086 863916032 32835 4294967295 134512640 134569956 3221224416 3221214808 1131205550 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 32835 13073 16 0 210901 0 vsize: 843668 [startup+240.049 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 20934 48 0 0 16 0 11 0 477830086 863916032 33171 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 33171 13073 16 0 210901 0 vsize: 843668 [startup+250.049 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 21833 48 0 0 16 0 11 0 477830086 863916032 33526 4294967295 134512640 134569956 3221224416 3221214808 1131205509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 33526 13073 16 0 210901 0 vsize: 843668 [startup+260.05 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 22734 48 0 0 16 0 11 0 477830086 863916032 33734 4294967295 134512640 134569956 3221224416 3221214752 1131401155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 33734 13073 16 0 210901 0 vsize: 843668 [startup+270.052 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 23636 48 0 0 16 0 11 0 477830086 863916032 33981 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 33981 13073 16 0 210901 0 vsize: 843668 [startup+280.055 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 24530 48 0 0 16 0 11 0 477830086 863916032 34192 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 34192 13073 16 0 210901 0 vsize: 843668 [startup+290.056 s] Raw data (loadavg): 1.00 1.01 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 25433 48 0 0 16 0 11 0 477830086 863916032 34361 4294967295 134512640 134569956 3221224416 3221214808 1131205505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 34361 13073 16 0 210901 0 vsize: 843668 [startup+300.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 26340 48 0 0 16 0 11 0 477830086 863916032 34629 4294967295 134512640 134569956 3221224416 3221214856 1131390070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 34629 13073 16 0 210901 0 vsize: 843668 [startup+310.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 27249 49 0 0 16 0 11 0 477830086 863916032 34901 4294967295 134512640 134569956 3221224416 3221214904 1131371544 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 34901 13073 16 0 210901 0 vsize: 843668 [startup+320.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22601 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 28167 49 0 0 16 0 11 0 477830086 863916032 35080 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 35080 13073 16 0 210901 0 vsize: 843668 [startup+330.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 29083 49 0 0 16 0 11 0 477830086 863916032 35316 4294967295 134512640 134569956 3221224416 3221214808 1131205518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 35316 13073 16 0 210901 0 vsize: 843668 [startup+340.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 30006 49 0 0 16 0 11 0 477830086 863916032 35519 4294967295 134512640 134569956 3221224416 3221214808 1131205505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 35519 13073 16 0 210901 0 vsize: 843668 [startup+350.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 30937 49 0 0 16 0 11 0 477830086 863916032 35695 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 35695 13073 16 0 210901 0 vsize: 843668 [startup+360.059 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 31873 49 0 0 16 0 11 0 477830086 863916032 35847 4294967295 134512640 134569956 3221224416 3221214752 1131401412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 35847 13073 16 0 210901 0 vsize: 843668 [startup+370.059 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 32816 49 0 0 16 0 11 0 477830086 863916032 36005 4294967295 134512640 134569956 3221224416 3221214856 1131140074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36005 13073 16 0 210901 0 vsize: 843668 [startup+380.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/65 22603 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 33750 49 0 0 16 0 11 0 477830086 863916032 36130 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36130 13073 16 0 210901 0 vsize: 843668 [startup+390.066 s] Raw data (loadavg): 1.08 1.02 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 34677 49 0 0 16 0 11 0 477830086 863916032 36292 4294967295 134512640 134569956 3221224416 3221214864 1131189696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36292 13073 16 0 210901 0 vsize: 843668 [startup+400.066 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 35604 49 0 0 16 0 11 0 477830086 863916032 36456 4294967295 134512640 134569956 3221224416 3221214808 1131206201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36456 13073 16 0 210901 0 vsize: 843668 [startup+410.066 s] Raw data (loadavg): 1.06 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 36531 49 0 0 16 0 11 0 477830086 863916032 36584 4294967295 134512640 134569956 3221224416 3221214808 1131205939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36584 13073 16 0 210901 0 vsize: 843668 [startup+420.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 37457 49 0 0 16 0 11 0 477830086 863916032 36749 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36749 13073 16 0 210901 0 vsize: 843668 [startup+430.075 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 38381 49 0 0 16 0 11 0 477830086 863916032 36925 4294967295 134512640 134569956 3221224416 3221214808 1131205509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 36925 13073 16 0 210901 0 vsize: 843668 [startup+440.076 s] Raw data (loadavg): 1.03 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 39300 49 0 0 16 0 11 0 477830086 863916032 37113 4294967295 134512640 134569956 3221224416 3221214900 1131140012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37113 13073 16 0 210901 0 vsize: 843668 [startup+450.079 s] Raw data (loadavg): 1.03 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 40220 49 0 0 17 0 11 0 477830086 863916032 37232 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37232 13073 16 0 210901 0 vsize: 843668 [startup+460.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 41141 49 0 0 16 0 11 0 477830086 863916032 37385 4294967295 134512640 134569956 3221224416 3221214808 1131205912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37385 13073 16 0 210901 0 vsize: 843668 [startup+470.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 42060 50 0 0 16 0 11 0 477830086 863916032 37611 4294967295 134512640 134569956 3221224416 3221214808 1131206629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37611 13073 16 0 210901 0 vsize: 843668 [startup+480.081 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 42985 50 0 0 16 0 11 0 477830086 863916032 37775 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37775 13073 16 0 210901 0 vsize: 843668 [startup+490.082 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 43915 50 0 0 16 0 11 0 477830086 863916032 37949 4294967295 134512640 134569956 3221224416 3221214424 1078033476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 37949 13073 16 0 210901 0 vsize: 843668 [startup+500.082 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 44850 50 0 0 16 0 11 0 477830086 863916032 38128 4294967295 134512640 134569956 3221224416 3221214904 1131371332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38128 13073 16 0 210901 0 vsize: 843668 [startup+510.081 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 45787 50 0 0 16 0 11 0 477830086 863916032 38259 4294967295 134512640 134569956 3221224416 3221214904 1131371460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38259 13073 16 0 210901 0 vsize: 843668 [startup+520.082 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 46725 50 0 0 17 0 11 0 477830086 863916032 38380 4294967295 134512640 134569956 3221224416 3221214688 1131241055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38380 13073 16 0 210901 0 vsize: 843668 [startup+530.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 47661 50 0 0 16 0 11 0 477830086 863916032 38517 4294967295 134512640 134569956 3221224416 3221214808 1131206116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38517 13073 16 0 210901 0 vsize: 843668 [startup+540.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 48605 50 0 0 16 0 11 0 477830086 863916032 38657 4294967295 134512640 134569956 3221224416 3221214904 1131371141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38657 13073 16 0 210901 0 vsize: 843668 [startup+550.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 49551 50 0 0 17 0 11 0 477830086 863916032 38814 4294967295 134512640 134569956 3221224416 3221214856 1131140078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38814 13073 16 0 210901 0 vsize: 843668 [startup+560.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 50496 51 0 0 16 0 11 0 477830086 863916032 38927 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 38927 13073 16 0 210901 0 vsize: 843668 [startup+570.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 51444 51 0 0 17 0 11 0 477830086 863916032 39016 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39016 13073 16 0 210901 0 vsize: 843668 [startup+580.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 52389 51 0 0 16 0 11 0 477830086 863916032 39149 4294967295 134512640 134569956 3221224416 3221214664 1131425201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39149 13073 16 0 210901 0 vsize: 843668 [startup+590.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 53332 51 0 0 16 0 11 0 477830086 863916032 39256 4294967295 134512640 134569956 3221224416 3221214752 1131401120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39256 13073 16 0 210901 0 vsize: 843668 [startup+600.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 54264 51 0 0 16 0 11 0 477830086 863916032 39366 4294967295 134512640 134569956 3221224416 3221214764 1080204314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39366 13073 16 0 210901 0 vsize: 843668 [startup+610.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 55187 51 0 0 17 0 11 0 477830086 863916032 39514 4294967295 134512640 134569956 3221224416 3221214808 1131205509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39514 13073 16 0 210901 0 vsize: 843668 [startup+620.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22603 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 56112 51 0 0 16 0 11 0 477830086 863916032 39649 4294967295 134512640 134569956 3221224416 3221214904 1131371718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39649 13073 16 0 210901 0 vsize: 843668 [startup+630.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 57037 51 0 0 16 0 11 0 477830086 863916032 39820 4294967295 134512640 134569956 3221224416 3221214856 1131140151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 39820 13073 16 0 210901 0 vsize: 843668 [startup+640.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 57976 51 0 0 16 0 11 0 477830086 863916032 40003 4294967295 134512640 134569956 3221224416 3221214720 1131281236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40003 13073 16 0 210901 0 vsize: 843668 [startup+650.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 58920 51 0 0 17 0 11 0 477830086 863916032 40158 4294967295 134512640 134569956 3221224416 3221214808 1131205807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40158 13073 16 0 210901 0 vsize: 843668 [startup+660.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 59858 51 0 0 16 0 11 0 477830086 863916032 40283 4294967295 134512640 134569956 3221224416 3221214748 1131502788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40283 13073 16 0 210901 0 vsize: 843668 [startup+670.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 60801 51 0 0 16 0 11 0 477830086 863916032 40442 4294967295 134512640 134569956 3221224416 3221214448 1131661196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40442 13073 16 0 210901 0 vsize: 843668 [startup+680.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 61747 51 0 0 16 0 11 0 477830086 863916032 40547 4294967295 134512640 134569956 3221224416 3221214552 1131272345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40547 13073 16 0 210901 0 vsize: 843668 [startup+690.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 62687 51 0 0 16 0 11 0 477830086 863916032 40689 4294967295 134512640 134569956 3221224416 3221214824 1131432410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40689 13073 16 0 210901 0 vsize: 843668 [startup+700.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 63628 51 0 0 16 0 11 0 477830086 863916032 40833 4294967295 134512640 134569956 3221224416 3221214808 1131206604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 40833 13073 16 0 210901 0 vsize: 843668 [startup+710.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 64579 51 0 0 17 0 11 0 477830086 863916032 41025 4294967295 134512640 134569956 3221224416 3221214808 1131206197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41025 13073 16 0 210901 0 vsize: 843668 [startup+720.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 65539 51 0 0 17 0 11 0 477830086 863916032 41119 4294967295 134512640 134569956 3221224416 3221214904 1131371137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41119 13073 16 0 210901 0 vsize: 843668 [startup+730.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 66475 51 0 0 16 0 11 0 477830086 863916032 41279 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41279 13073 16 0 210901 0 vsize: 843668 [startup+740.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 67403 51 0 0 16 0 11 0 477830086 863916032 41404 4294967295 134512640 134569956 3221224416 3221214904 1131371352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41404 13073 16 0 210901 0 vsize: 843668 [startup+750.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 68334 52 0 0 16 0 11 0 477830086 863916032 41505 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41505 13073 16 0 210901 0 vsize: 843668 [startup+760.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 69257 52 0 0 16 0 11 0 477830086 863916032 41737 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41737 13073 16 0 210901 0 vsize: 843668 [startup+770.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 70194 52 0 0 16 0 11 0 477830086 863916032 41871 4294967295 134512640 134569956 3221224416 3221214752 1131400909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 41871 13073 16 0 210901 0 vsize: 843668 [startup+780.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 71128 52 0 0 16 0 11 0 477830086 863916032 42015 4294967295 134512640 134569956 3221224416 3221214808 1131205524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42015 13073 16 0 210901 0 vsize: 843668 [startup+790.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 72058 52 0 0 16 0 11 0 477830086 863916032 42060 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42060 13073 16 0 210901 0 vsize: 843668 [startup+800.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 72988 52 0 0 16 0 11 0 477830086 863916032 42227 4294967295 134512640 134569956 3221224416 3221214808 1131205898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42227 13073 16 0 210901 0 vsize: 843668 [startup+810.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 73925 52 0 0 16 0 11 0 477830086 863916032 42362 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42362 13073 16 0 210901 0 vsize: 843668 [startup+820.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 74866 52 0 0 17 0 11 0 477830086 863916032 42486 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42486 13073 16 0 210901 0 vsize: 843668 [startup+830.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 75808 52 0 0 16 0 11 0 477830086 863916032 42643 4294967295 134512640 134569956 3221224416 3221214808 1131206029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42643 13073 16 0 210901 0 vsize: 843668 [startup+840.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 76756 52 0 0 17 0 11 0 477830086 863916032 42745 4294967295 134512640 134569956 3221224416 3221214808 1131206589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42745 13073 16 0 210901 0 vsize: 843668 [startup+850.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 77703 52 0 0 17 0 11 0 477830086 863916032 42829 4294967295 134512640 134569956 3221224416 3221214808 1131206609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42829 13073 16 0 210901 0 vsize: 843668 [startup+860.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 78651 52 0 0 17 0 11 0 477830086 863916032 42951 4294967295 134512640 134569956 3221224416 3221214808 1131205967 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 42951 13073 16 0 210901 0 vsize: 843668 [startup+870.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 79596 53 0 0 16 0 11 0 477830086 863916032 43045 4294967295 134512640 134569956 3221224416 3221214808 1131205803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43045 13073 16 0 210901 0 vsize: 843668 [startup+880.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 80546 53 0 0 16 0 11 0 477830086 863916032 43154 4294967295 134512640 134569956 3221224416 3221214904 1131370965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43154 13073 16 0 210901 0 vsize: 843668 [startup+890.114 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 81497 53 0 0 17 0 11 0 477830086 863916032 43235 4294967295 134512640 134569956 3221224416 3221214808 1131205505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43235 13073 16 0 210901 0 vsize: 843668 [startup+900.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 82438 53 0 0 17 0 11 0 477830086 863916032 43339 4294967295 134512640 134569956 3221224416 3221214808 1131206159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43339 13073 16 0 210901 0 vsize: 843668 [startup+910.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 83386 53 0 0 17 0 11 0 477830086 863916032 43446 4294967295 134512640 134569956 3221224416 3221214808 1131205840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43446 13073 16 0 210901 0 vsize: 843668 [startup+920.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22605 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 84335 53 0 0 17 0 11 0 477830086 863916032 43560 4294967295 134512640 134569956 3221224416 3221214808 1131205967 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43560 13073 16 0 210901 0 vsize: 843668 [startup+930.116 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 85279 53 0 0 16 0 11 0 477830086 863916032 43652 4294967295 134512640 134569956 3221224416 3221214824 1131434252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43652 13073 16 0 210901 0 vsize: 843668 [startup+940.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 86222 53 0 0 16 0 11 0 477830086 863916032 43771 4294967295 134512640 134569956 3221224416 3221214904 1131371141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43771 13073 16 0 210901 0 vsize: 843668 [startup+950.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 87164 53 0 0 16 0 11 0 477830086 863916032 43859 4294967295 134512640 134569956 3221224416 3221214808 1131206644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 43859 13073 16 0 210901 0 vsize: 843668 [startup+960.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 88101 53 0 0 16 0 11 0 477830086 863916032 44023 4294967295 134512640 134569956 3221224416 3221214808 1131205967 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44023 13073 16 0 210901 0 vsize: 843668 [startup+970.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 89046 53 0 0 16 0 11 0 477830086 863916032 44126 4294967295 134512640 134569956 3221224416 3221214752 1131400039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44126 13073 16 0 210901 0 vsize: 843668 [startup+980.118 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 89993 53 0 0 17 0 11 0 477830086 863916032 44250 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44250 13073 16 0 210901 0 vsize: 843668 [startup+990.119 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 90943 54 0 0 17 0 11 0 477830086 863916032 44362 4294967295 134512640 134569956 3221224416 3221214808 1131206066 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44362 13073 16 0 210901 0 vsize: 843668 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 91891 54 0 0 17 0 11 0 477830086 863916032 44461 4294967295 134512640 134569956 3221224416 3221214808 1131205768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44461 13073 16 0 210901 0 vsize: 843668 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 92828 54 0 0 16 0 11 0 477830086 863916032 44565 4294967295 134512640 134569956 3221224416 3221214892 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44565 13073 16 0 210901 0 vsize: 843668 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 93769 54 0 0 16 0 11 0 477830086 863916032 44680 4294967295 134512640 134569956 3221224416 3221214808 1131205518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 44680 13073 16 0 210901 0 vsize: 843668 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 94714 54 0 0 16 0 11 0 477830086 863916032 44823 4294967295 134512640 134569956 3221224416 3221214808 1131206205 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 44823 13073 16 0 210901 0 vsize: 843668 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 95662 54 0 0 17 0 11 0 477830086 863916032 44949 4294967295 134512640 134569956 3221224416 3221214808 1131205840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 44949 13073 16 0 210901 0 vsize: 843668 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 96606 54 0 0 16 0 11 0 477830086 863916032 45048 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45048 13073 16 0 210901 0 vsize: 843668 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 97555 55 0 0 17 0 11 0 477830086 863916032 45161 4294967295 134512640 134569956 3221224416 3221214904 1131371370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45161 13073 16 0 210901 0 vsize: 843668 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 98505 56 0 0 17 0 11 0 477830086 863916032 45268 4294967295 134512640 134569956 3221224416 3221214832 1131549119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45268 13073 16 0 210901 0 vsize: 843668 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 99450 56 0 0 17 0 11 0 477830086 863916032 45371 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45371 13073 16 0 210901 0 vsize: 843668 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 100387 56 0 0 16 0 11 0 477830086 863916032 45436 4294967295 134512640 134569956 3221224416 3221214856 1131140056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45436 13073 16 0 210901 0 vsize: 843668 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 101323 57 0 0 16 0 11 0 477830086 863916032 45580 4294967295 134512640 134569956 3221224416 3221214904 1131371370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45580 13073 16 0 210901 0 vsize: 843668 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 102260 57 0 0 16 0 11 0 477830086 863916032 45716 4294967295 134512640 134569956 3221224416 3221214808 1131206289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45716 13073 16 0 210901 0 vsize: 843668 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 103193 58 0 0 16 0 11 0 477830086 863916032 45817 4294967295 134512640 134569956 3221224416 3221214808 1131206013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 45817 13073 16 0 210901 0 vsize: 843668 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 104136 58 0 0 16 0 11 0 477830086 863916032 45966 4294967295 134512640 134569956 3221224416 3221214632 1131485676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 45966 13073 16 0 210901 0 vsize: 843668 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 105084 58 0 0 17 0 11 0 477830086 863916032 46078 4294967295 134512640 134569956 3221224416 3221214776 1131215795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46078 13073 16 0 210901 0 vsize: 843668 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 106036 58 0 0 17 0 11 0 477830086 863916032 46161 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46161 13073 16 0 210901 0 vsize: 843668 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 106990 58 0 0 17 0 11 0 477830086 863916032 46276 4294967295 134512640 134569956 3221224416 3221214808 1131206757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46276 13073 16 0 210901 0 vsize: 843668 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 107945 58 0 0 18 0 11 0 477830086 863916032 46372 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46372 13073 16 0 210901 0 vsize: 843668 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22607 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 108889 58 0 0 16 0 11 0 477830086 863916032 46433 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46433 13073 16 0 210901 0 vsize: 843668 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 1.00 3/69 22611 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 109832 59 0 0 16 0 11 0 477830086 863916032 46528 4294967295 134512640 134569956 3221224416 3221214904 1131371274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 46528 13073 16 0 210901 0 vsize: 843668 [startup+1200.14 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 22660 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 110758 73 0 0 16 0 11 0 477830086 863916032 46655 4294967295 134512640 134569956 3221224416 3221214576 1131541258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 46655 13073 16 0 210901 0 vsize: 843668 [startup+1210.14 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 22660 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 111702 74 0 0 16 0 11 0 477830086 863916032 46766 4294967295 134512640 134569956 3221224416 3221214808 1131206245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 46766 13073 16 0 210901 0 vsize: 843668 [startup+1220.14 s] Raw data (loadavg): 1.05 1.01 1.00 2/65 22660 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 112648 74 0 0 17 0 11 0 477830086 863916032 46885 4294967295 134512640 134569956 3221224416 3221214856 1131140096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 46885 13073 16 0 210901 0 vsize: 843668 [startup+1230.15 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 22662 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 113591 75 0 0 16 0 11 0 477830086 863916032 47005 4294967295 134512640 134569956 3221224416 3221214808 1131205712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47005 13073 16 0 210901 0 vsize: 843668 [startup+1240.15 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 22662 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 114542 75 0 0 17 0 11 0 477830086 863916032 47117 4294967295 134512640 134569956 3221224416 3221214808 1131206554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47117 13073 16 0 210901 0 vsize: 843668 [startup+1250.15 s] Raw data (loadavg): 1.03 1.01 1.00 2/65 22662 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 115500 76 0 0 17 0 11 0 477830086 863916032 47185 4294967295 134512640 134569956 3221224416 3221214808 1131206193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47185 13073 16 0 210901 0 vsize: 843668 [startup+1260.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22662 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 116459 76 0 0 18 0 11 0 477830086 863916032 47290 4294967295 134512640 134569956 3221224416 3221214808 1131206483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47290 13073 16 0 210901 0 vsize: 843668 [startup+1270.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22664 Raw data (stat): 22582 (java) S 22581 20838 20837 0 -1 0 18069 3 1 0 117415 77 0 0 18 0 11 0 477830086 863916032 47337 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47337 13073 16 0 210901 0 vsize: 843668 [startup+1280.15 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 22664 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 118368 77 0 0 17 0 11 0 477830086 863916032 47382 4294967295 134512640 134569956 3221224416 3221214808 1131205667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47382 13073 16 0 210901 0 vsize: 843668 [startup+1290.15 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 22664 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 119320 78 0 0 17 0 11 0 477830086 863916032 47477 4294967295 134512640 134569956 3221224416 3221214808 1131206609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210917 47477 13073 16 0 210901 0 vsize: 843668 [startup+1300.15 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 22664 Raw data (stat): 22582 (java) R 22581 20838 20837 0 -1 0 18069 3 1 0 120265 78 0 0 17 0 11 0 477830086 863916032 47558 4294967295 134512640 134569956 3221224416 3221214808 1131206241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210917 47558 13073 16 0 210901 0 vsize: 843668 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.29 s] Raw data (loadavg): 1.01 1.01 1.00 1/55 22666 Raw data (stat): 22582 (java) Z 22581 20838 20837 0 -1 1036 18069 33743 1 0 120270 87 10627 91 17 0 1 0 477830086 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): 1300.29 CPU time (s): 1310.76 CPU user time (s): 1308.97 CPU system time (s): 1.79173 CPU usage (%): 100.806 Max. virtual memory (Kb): 843668 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####