Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 417d3abd60fd3b9eb4200ff5119a92c4 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05084 |
Number of variables | 2289 |
Total number of constraints | 3052 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 2692 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-04-13 18:04:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3195 boxname=wulflinc13 idbench=355 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 417d3abd60fd3b9eb4200ff5119a92c4 /oldhome/oroussel/tmp/wulflinc13/normalized-ss97-4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ss97-4.opb IDLAUNCH: 3195 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 926456 kB Buffers: 33528 kB Cached: 55024 kB SwapCached: 392 kB Active: 45840 kB Inactive: 45972 kB HighTotal: 131008 kB HighFree: 72100 kB LowTotal: 903652 kB LowFree: 854356 kB SwapTotal: 2097136 kB SwapFree: 2096744 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10836 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:26:17 (client local time) WITH STATUS 143 IN SECONDS stats: 3195 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc13/normalized-ss97-4.opb c reading problem c [nbvar=2289] c [nbconstr=3052] c time 5.801 c #vars 2289 c #clauses 1141 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=20729 c Current CPU time (ms) : 15.268 c starts : 1 c conflicts : 57 c decisions : 4676 c propagations : 9471 c inspects : 9773 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 7 c learned clauses : 57 c root simplifications : 1 c c CURRENT OPTIMUM=19771 c Current CPU time (ms) : 19.046 c starts : 2 c conflicts : 77 c decisions : 5757 c propagations : 13568 c inspects : 16966 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 7 c learned clauses : 77 c root simplifications : 2 c c CURRENT OPTIMUM=18745 c Current CPU time (ms) : 23.137 c starts : 3 c conflicts : 84 c decisions : 8399 c propagations : 24368 c inspects : 30371 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 84 c root simplifications : 3 c c CURRENT OPTIMUM=18543 c Current CPU time (ms) : 23.898 c starts : 4 c conflicts : 84 c decisions : 9165 c propagations : 26649 c inspects : 32530 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 84 c root simplifications : 4 c c CURRENT OPTIMUM=18443 c Current CPU time (ms) : 25.436 c starts : 5 c conflicts : 90 c decisions : 9955 c propagations : 29013 c inspects : 33783 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 90 c root simplifications : 5 c c CURRENT OPTIMUM=2244 c Current CPU time (ms) : 27.392 c starts : 6 c conflicts : 90 c decisions : 10845 c propagations : 31294 c inspects : 40653 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 90 c root simplifications : 6 c c CURRENT OPTIMUM=2243 c Current CPU time (ms) : 32.892 c starts : 7 c conflicts : 110 c decisions : 11768 c propagations : 33814 c inspects : 42367 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 110 c root simplifications : 7 c c CURRENT OPTIMUM=1929 c Current CPU time (ms) : 34.117 c starts : 8 c conflicts : 110 c decisions : 12671 c propagations : 36095 c inspects : 45113 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 110 c root simplifications : 8 c c CURRENT OPTIMUM=1426 c Current CPU time (ms) : 64.15 c starts : 10 c conflicts : 212 c decisions : 14618 c propagations : 41338 c inspects : 54235 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 212 c root simplifications : 10 c c CURRENT OPTIMUM=1425 c Current CPU time (ms) : 89.05 c starts : 11 c conflicts : 275 c decisions : 15932 c propagations : 44914 c inspects : 60305 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 275 c root simplifications : 11 c c CURRENT OPTIMUM=1424 c Current CPU time (ms) : 197.15 c starts : 13 c conflicts : 417 c decisions : 22913 c propagations : 61723 c inspects : 89024 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 417 c root simplifications : 13 c c CURRENT OPTIMUM=1419 c Current CPU time (ms) : 221.058 c starts : 14 c conflicts : 431 c decisions : 23892 c propagations : 64464 c inspects : 105276 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 431 c root simplifications : 14 c c CURRENT OPTIMUM=1323 c Current CPU time (ms) : 229.75 c starts : 15 c conflicts : 431 c decisions : 24820 c propagations : 66745 c inspects : 115533 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 431 c root simplifications : 15 c c CURRENT OPTIMUM=1223 c Current CPU time (ms) : 238.323 c starts : 16 c conflicts : 459 c decisions : 25807 c propagations : 69311 c inspects : 119072 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 459 c root simplifications : 16 c c CURRENT OPTIMUM=1220 c Current CPU time (ms) : 324.718 c starts : 18 c conflicts : 568 c decisions : 27819 c propagations : 76809 c inspects : 152341 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 568 c root simplifications : 18 c c CURRENT OPTIMUM=1120 c Current CPU time (ms) : 445.807 c starts : 20 c conflicts : 675 c decisions : 30005 c propagations : 83119 c inspects : 185567 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 14 c learned clauses : 675 c root simplifications : 20 #### 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 32266 Raw data (stat): 32266 (runsolver) R 32265 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419752106 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.03 1.00 1.00 4/64 32276 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18064 0 1 0 685 44 0 0 25 0 11 0 419752106 862490624 20971 4294967295 134512640 134569956 3221224416 3221214720 1130904691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210569 20971 13073 16 0 210553 0 vsize: 842276 [startup+20.0013 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 32278 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18067 4 1 0 1563 44 0 0 25 0 11 0 419752106 862212096 22280 4294967295 134512640 134569956 3221224416 3221214680 1131234377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 22280 13073 16 0 210485 0 vsize: 842004 [startup+30.0015 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 32282 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 2451 45 0 0 25 0 11 0 419752106 862212096 22948 4294967295 134512640 134569956 3221224416 3221214560 1130894846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 22948 13073 16 0 210485 0 vsize: 842004 [startup+40.0026 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 32286 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 3374 46 0 0 25 0 11 0 419752106 862212096 23887 4294967295 134512640 134569956 3221224416 3221214680 1131403313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 23887 13073 16 0 210485 0 vsize: 842004 [startup+50.0033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32286 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 4289 46 0 0 25 0 11 0 419752106 862212096 25611 4294967295 134512640 134569956 3221224416 3221214604 1080203744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 25611 13073 16 0 210485 0 vsize: 842004 [startup+60.0025 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32286 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 5205 46 0 0 24 0 11 0 419752106 862212096 27064 4294967295 134512640 134569956 3221224416 3221214728 1131371009 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 27064 13073 16 0 210485 0 vsize: 842004 [startup+70.0036 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32287 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 6151 47 0 0 25 0 11 0 419752106 862212096 27641 4294967295 134512640 134569956 3221224416 3221213912 1131185486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 27641 13073 16 0 210485 0 vsize: 842004 [startup+80.0042 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32287 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 7067 47 0 0 25 0 11 0 419752106 862212096 29042 4294967295 134512640 134569956 3221224416 3221214784 1131413786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 29042 13073 16 0 210485 0 vsize: 842004 [startup+90.0044 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 7976 47 0 0 25 0 11 0 419752106 862212096 29615 4294967295 134512640 134569956 3221224416 3221214784 1131413864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 29615 13073 16 0 210485 0 vsize: 842004 [startup+100.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 8904 47 0 0 25 0 11 0 419752106 863457280 30343 4294967295 134512640 134569956 3221224416 3221214708 1080204208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 30343 13073 16 0 210789 0 vsize: 843220 [startup+110.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 9828 48 0 0 25 0 11 0 419752106 863457280 30722 4294967295 134512640 134569956 3221224416 3221214680 1131403329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 30722 13073 16 0 210789 0 vsize: 843220 [startup+120.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 10738 48 0 0 25 0 11 0 419752106 863457280 31000 4294967295 134512640 134569956 3221224416 3221214832 1131370643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 31000 13073 16 0 210789 0 vsize: 843220 [startup+130.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 11649 48 0 0 25 0 11 0 419752106 863457280 31261 4294967295 134512640 134569956 3221224416 3221214720 1131449689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 31261 13073 16 0 210789 0 vsize: 843220 [startup+140.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 12555 48 0 0 25 0 11 0 419752106 863457280 31692 4294967295 134512640 134569956 3221224416 3221214680 1131403327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 31692 13073 16 0 210789 0 vsize: 843220 [startup+150.006 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 13468 48 0 0 25 0 11 0 419752106 863457280 31816 4294967295 134512640 134569956 3221224416 3221214784 1131200992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 31816 13073 16 0 210789 0 vsize: 843220 [startup+160.006 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 14381 48 0 0 25 0 11 0 419752106 863457280 32062 4294967295 134512640 134569956 3221224416 3221214784 1131413617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 32062 13073 16 0 210789 0 vsize: 843220 [startup+170.007 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 15294 48 0 0 25 0 11 0 419752106 863457280 32201 4294967295 134512640 134569956 3221224416 3221214680 1131234336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 32201 13073 16 0 210789 0 vsize: 843220 [startup+180.006 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32288 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 16206 48 0 0 25 0 11 0 419752106 863457280 32622 4294967295 134512640 134569956 3221224416 3221214832 1131373086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 32622 13073 16 0 210789 0 vsize: 843220 [startup+190.012 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32288 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18068 4 1 0 17113 48 0 0 25 0 11 0 419752106 863457280 33175 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 33175 13073 16 0 210789 0 vsize: 843220 [startup+200.012 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32289 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 18033 48 0 0 25 0 11 0 419752106 863457280 33258 4294967295 134512640 134569956 3221224416 3221214784 1131413996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210805 33258 13073 16 0 210789 0 vsize: 843220 [startup+210.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32289 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18068 4 1 0 18976 49 0 0 25 0 11 0 419752106 863457280 33258 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 33258 13073 16 0 210789 0 vsize: 843220 [startup+220.013 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32289 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 19873 49 0 0 25 0 11 0 419752106 863457280 33648 4294967295 134512640 134569956 3221224416 3221214640 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 33648 13073 16 0 210789 0 vsize: 843220 [startup+230.013 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32290 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 20812 49 0 0 25 0 11 0 419752106 863457280 34040 4294967295 134512640 134569956 3221224416 3221214680 1131234278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 34040 13073 16 0 210789 0 vsize: 843220 [startup+240.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 21743 49 0 0 25 0 11 0 419752106 863457280 35623 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 35623 13073 16 0 210789 0 vsize: 843220 [startup+250.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 22705 49 0 0 25 0 11 0 419752106 863457280 35623 4294967295 134512640 134569956 3221224416 3221214096 1077101249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 35623 13073 16 0 210789 0 vsize: 843220 [startup+260.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 23609 49 0 0 25 0 11 0 419752106 863457280 36113 4294967295 134512640 134569956 3221224416 3221214680 1131233885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 36113 13073 16 0 210789 0 vsize: 843220 [startup+270.014 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 24511 49 0 0 25 0 11 0 419752106 863457280 36598 4294967295 134512640 134569956 3221224416 3221214784 1131413611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 36598 13073 16 0 210789 0 vsize: 843220 [startup+280.015 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 25434 49 0 0 25 0 11 0 419752106 863457280 37159 4294967295 134512640 134569956 3221224416 3221214680 1131233900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 37159 13073 16 0 210789 0 vsize: 843220 [startup+290.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 26336 49 0 0 24 0 11 0 419752106 863457280 37925 4294967295 134512640 134569956 3221224416 3221214680 1131234950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 37925 13073 16 0 210789 0 vsize: 843220 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 27254 49 0 0 25 0 11 0 419752106 863457280 38474 4294967295 134512640 134569956 3221224416 3221214912 1131700771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 38474 13073 16 0 210789 0 vsize: 843220 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 28201 49 0 0 25 0 11 0 419752106 863457280 38647 4294967295 134512640 134569956 3221224416 3221214680 1131234325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 38647 13073 16 0 210789 0 vsize: 843220 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32292 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 29107 49 0 0 25 0 11 0 419752106 863457280 38647 4294967295 134512640 134569956 3221224416 3221214784 1131414842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 38647 13073 16 0 210789 0 vsize: 843220 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 30020 50 0 0 25 0 11 0 419752106 863457280 38760 4294967295 134512640 134569956 3221224416 3221214680 1131234319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 38760 13073 16 0 210789 0 vsize: 843220 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 30968 50 0 0 25 0 11 0 419752106 863457280 39391 4294967295 134512640 134569956 3221224416 3221214680 1131403329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210805 39391 13073 16 0 210789 0 vsize: 843220 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 31898 50 0 0 25 0 11 0 419752106 862212096 39514 4294967295 134512640 134569956 3221224416 3221214784 1131418315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 39514 13073 16 0 210485 0 vsize: 842004 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 32810 51 0 0 25 0 11 0 419752106 862212096 39870 4294967295 134512640 134569956 3221224416 3221214680 1131403321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 39870 13073 16 0 210485 0 vsize: 842004 [startup+370.019 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 32293 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18068 4 1 0 33724 51 0 0 25 0 11 0 419752106 862212096 40216 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 40216 13073 16 0 210485 0 vsize: 842004 [startup+380.02 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 34638 51 0 0 25 0 11 0 419752106 862212096 40387 4294967295 134512640 134569956 3221224416 3221214680 1131234283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 40387 13073 16 0 210485 0 vsize: 842004 [startup+390.02 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 35539 51 0 0 25 0 11 0 419752106 862212096 40648 4294967295 134512640 134569956 3221224416 3221214784 1131414938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 40648 13073 16 0 210485 0 vsize: 842004 [startup+400.021 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 36447 51 0 0 25 0 11 0 419752106 862212096 40905 4294967295 134512640 134569956 3221224416 3221214720 1131248390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 40905 13073 16 0 210485 0 vsize: 842004 [startup+410.021 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 37344 52 0 0 25 0 11 0 419752106 862212096 41192 4294967295 134512640 134569956 3221224416 3221214832 1131373319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 41192 13073 16 0 210485 0 vsize: 842004 [startup+420.021 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 38308 52 0 0 25 0 11 0 419752106 862212096 41392 4294967295 134512640 134569956 3221224416 3221214416 1085679372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 41392 13073 16 0 210485 0 vsize: 842004 [startup+430.022 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 39213 53 0 0 25 0 11 0 419752106 862212096 41559 4294967295 134512640 134569956 3221224416 3221214336 1131636353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 41559 13073 16 0 210485 0 vsize: 842004 [startup+440.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32293 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 40155 53 0 0 25 0 11 0 419752106 862212096 41786 4294967295 134512640 134569956 3221224416 3221214680 1131234033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 41786 13073 16 0 210485 0 vsize: 842004 [startup+450.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 41118 53 0 0 25 0 11 0 419752106 862212096 41878 4294967295 134512640 134569956 3221224416 3221214784 1131413864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 41878 13073 16 0 210485 0 vsize: 842004 [startup+460.022 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 42110 53 0 0 25 0 11 0 419752106 862212096 42021 4294967295 134512640 134569956 3221224416 3221214680 1131234196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42021 13073 16 0 210485 0 vsize: 842004 [startup+470.022 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 43069 54 0 0 24 0 11 0 419752106 862212096 42022 4294967295 134512640 134569956 3221224416 3221214680 1131403301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42022 13073 16 0 210485 0 vsize: 842004 [startup+480.023 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 44006 54 0 0 25 0 11 0 419752106 862212096 42303 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42303 13073 16 0 210485 0 vsize: 842004 [startup+490.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18068 4 1 0 44929 54 0 0 25 0 11 0 419752106 862212096 42332 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42332 13073 16 0 210485 0 vsize: 842004 [startup+500.023 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 45833 54 0 0 25 0 11 0 419752106 862212096 42537 4294967295 134512640 134569956 3221224416 3221214376 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42537 13073 16 0 210485 0 vsize: 842004 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 46761 55 0 0 25 0 11 0 419752106 862212096 42786 4294967295 134512640 134569956 3221224416 3221214784 1131414867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 42786 13073 16 0 210485 0 vsize: 842004 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 47667 55 0 0 25 0 11 0 419752106 862212096 43009 4294967295 134512640 134569956 3221224416 3221214680 1131234505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 43009 13073 16 0 210485 0 vsize: 842004 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 48587 56 0 0 25 0 11 0 419752106 862212096 43209 4294967295 134512640 134569956 3221224416 3221214680 1131403321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 43209 13073 16 0 210485 0 vsize: 842004 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 49500 56 0 0 24 0 11 0 419752106 862212096 43481 4294967295 134512640 134569956 3221224416 3221214832 1131373722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 43481 13073 16 0 210485 0 vsize: 842004 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 50431 56 0 0 25 0 11 0 419752106 862212096 43639 4294967295 134512640 134569956 3221224416 3221214832 1131371851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 43639 13073 16 0 210485 0 vsize: 842004 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 51341 56 0 0 25 0 11 0 419752106 862212096 43837 4294967295 134512640 134569956 3221224416 3221214680 1131234229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 43837 13073 16 0 210485 0 vsize: 842004 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 52250 56 0 0 25 0 11 0 419752106 862212096 44064 4294967295 134512640 134569956 3221224416 3221214680 1131233998 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44064 13073 16 0 210485 0 vsize: 842004 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 53207 57 0 0 25 0 11 0 419752106 862212096 44183 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44183 13073 16 0 210485 0 vsize: 842004 [startup+590.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 54198 57 0 0 25 0 11 0 419752106 862212096 44184 4294967295 134512640 134569956 3221224416 3221214784 1131413864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44184 13073 16 0 210485 0 vsize: 842004 [startup+600.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 55189 57 0 0 25 0 11 0 419752106 862212096 44184 4294967295 134512640 134569956 3221224416 3221214388 1131636432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44184 13073 16 0 210485 0 vsize: 842004 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 56172 57 0 0 25 0 11 0 419752106 862212096 44269 4294967295 134512640 134569956 3221224416 3221214504 1131636412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44269 13073 16 0 210485 0 vsize: 842004 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18068 4 1 0 57156 57 0 0 25 0 11 0 419752106 862212096 44355 4294967295 134512640 134569956 3221224416 3221214020 1131603191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44355 13073 16 0 210485 0 vsize: 842004 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 58108 57 0 0 25 0 11 0 419752106 862212096 44693 4294967295 134512640 134569956 3221224416 3221214488 1131248403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44693 13073 16 0 210485 0 vsize: 842004 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 59068 58 0 0 25 0 11 0 419752106 862212096 44722 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44722 13073 16 0 210485 0 vsize: 842004 [startup+650.029 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 59997 58 0 0 25 0 11 0 419752106 862212096 44820 4294967295 134512640 134569956 3221224416 3221214720 1131450298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 44820 13073 16 0 210485 0 vsize: 842004 [startup+660.029 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 60886 58 0 0 25 0 11 0 419752106 862212096 46654 4294967295 134512640 134569956 3221224416 3221214532 1131200394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 46654 13073 16 0 210485 0 vsize: 842004 [startup+670.03 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 61805 58 0 0 25 0 11 0 419752106 862212096 48638 4294967295 134512640 134569956 3221224416 3221214720 1131248410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 48638 13073 16 0 210485 0 vsize: 842004 [startup+680.031 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 62716 59 0 0 25 0 11 0 419752106 862212096 49481 4294967295 134512640 134569956 3221224416 3221214832 1131371115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 49481 13073 16 0 210485 0 vsize: 842004 [startup+690.03 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 63628 59 0 0 25 0 11 0 419752106 862212096 50216 4294967295 134512640 134569956 3221224416 3221214784 1131357465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50216 13073 16 0 210485 0 vsize: 842004 [startup+700.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 64615 59 0 0 25 0 11 0 419752106 862212096 50216 4294967295 134512640 134569956 3221224416 3221214248 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50216 13073 16 0 210485 0 vsize: 842004 [startup+710.031 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 65590 60 0 0 25 0 11 0 419752106 862212096 50398 4294967295 134512640 134569956 3221224416 3221214112 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50398 13073 16 0 210485 0 vsize: 842004 [startup+720.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 66577 60 0 0 25 0 11 0 419752106 862212096 50398 4294967295 134512640 134569956 3221224416 3221214784 1131413828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50398 13073 16 0 210485 0 vsize: 842004 [startup+730.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 67553 60 0 0 25 0 11 0 419752106 862212096 50398 4294967295 134512640 134569956 3221224416 3221214784 1131413864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50398 13073 16 0 210485 0 vsize: 842004 [startup+740.032 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 68507 60 0 0 25 0 11 0 419752106 862212096 50398 4294967295 134512640 134569956 3221224416 3221214680 1131234033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50398 13073 16 0 210485 0 vsize: 842004 [startup+750.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18069 4 1 0 69430 61 0 0 25 0 11 0 419752106 862212096 50398 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50398 13073 16 0 210485 0 vsize: 842004 [startup+760.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 70332 61 0 0 25 0 11 0 419752106 862212096 50627 4294967295 134512640 134569956 3221224416 3221214600 1131465091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 50627 13073 16 0 210485 0 vsize: 842004 [startup+770.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 71272 61 0 0 25 0 11 0 419752106 862212096 51280 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51280 13073 16 0 210485 0 vsize: 842004 [startup+780.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 72268 61 0 0 25 0 11 0 419752106 862212096 51280 4294967295 134512640 134569956 3221224416 3221214784 1131413803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51280 13073 16 0 210485 0 vsize: 842004 [startup+790.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 73268 61 0 0 25 0 11 0 419752106 862212096 51280 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51280 13073 16 0 210485 0 vsize: 842004 [startup+800.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 74263 61 0 0 25 0 11 0 419752106 862212096 51280 4294967295 134512640 134569956 3221224416 3221214784 1131413817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51280 13073 16 0 210485 0 vsize: 842004 [startup+810.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 75256 62 0 0 25 0 11 0 419752106 862212096 51281 4294967295 134512640 134569956 3221224416 3221214784 1131413904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51281 13073 16 0 210485 0 vsize: 842004 [startup+820.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 76241 62 0 0 25 0 11 0 419752106 862212096 51292 4294967295 134512640 134569956 3221224416 3221214680 1131234206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51292 13073 16 0 210485 0 vsize: 842004 [startup+830.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 77222 62 0 0 25 0 11 0 419752106 862212096 51295 4294967295 134512640 134569956 3221224416 3221214784 1131414842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51295 13073 16 0 210485 0 vsize: 842004 [startup+840.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 78187 62 0 0 25 0 11 0 419752106 862212096 51296 4294967295 134512640 134569956 3221224416 3221214784 1131413824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51296 13073 16 0 210485 0 vsize: 842004 [startup+850.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 79148 62 0 0 25 0 11 0 419752106 862212096 51395 4294967295 134512640 134569956 3221224416 3221214680 1131234515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51395 13073 16 0 210485 0 vsize: 842004 [startup+860.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 80107 63 0 0 25 0 11 0 419752106 862212096 51437 4294967295 134512640 134569956 3221224416 3221214832 1131372145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51437 13073 16 0 210485 0 vsize: 842004 [startup+870.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 81042 63 0 0 25 0 11 0 419752106 862212096 51458 4294967295 134512640 134569956 3221224416 3221214712 1080203669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51458 13073 16 0 210485 0 vsize: 842004 [startup+880.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 81949 64 0 0 25 0 11 0 419752106 862212096 51562 4294967295 134512640 134569956 3221224416 3221214772 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51562 13073 16 0 210485 0 vsize: 842004 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 82867 64 0 0 25 0 11 0 419752106 862212096 51784 4294967295 134512640 134569956 3221224416 3221214824 1131527079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 51784 13073 16 0 210485 0 vsize: 842004 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 83802 65 0 0 25 0 11 0 419752106 862212096 52005 4294967295 134512640 134569956 3221224416 3221214720 1131248607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 52005 13073 16 0 210485 0 vsize: 842004 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 84733 65 0 0 25 0 11 0 419752106 862212096 52174 4294967295 134512640 134569956 3221224416 3221214720 1131449620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 52174 13073 16 0 210485 0 vsize: 842004 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 85660 65 0 0 25 0 11 0 419752106 862212096 52312 4294967295 134512640 134569956 3221224416 3221214332 1131636368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 52312 13073 16 0 210485 0 vsize: 842004 [startup+930.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 86573 66 0 0 25 0 11 0 419752106 862212096 52417 4294967295 134512640 134569956 3221224416 3221214816 1131411465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 52417 13073 16 0 210485 0 vsize: 842004 [startup+940.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18069 4 1 0 87479 66 0 0 25 0 11 0 419752106 862212096 52601 4294967295 134512640 134569956 3221224416 3221214720 1131452787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 52601 13073 16 0 210485 0 vsize: 842004 [startup+950.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 88391 67 0 0 25 0 11 0 419752106 862212096 52841 4294967295 134512640 134569956 3221224416 3221214680 1131234866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 52841 13073 16 0 210485 0 vsize: 842004 [startup+960.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 89313 67 0 0 25 0 11 0 419752106 862212096 53081 4294967295 134512640 134569956 3221224416 3221214480 1131248489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 53081 13073 16 0 210485 0 vsize: 842004 [startup+970.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 90244 67 0 0 25 0 11 0 419752106 862212096 53402 4294967295 134512640 134569956 3221224416 3221214720 1131452126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 53402 13073 16 0 210485 0 vsize: 842004 [startup+980.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 91191 68 0 0 25 0 11 0 419752106 862212096 53503 4294967295 134512640 134569956 3221224416 3221214928 1131610028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 53503 13073 16 0 210485 0 vsize: 842004 [startup+990.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 92102 68 0 0 25 0 11 0 419752106 862212096 53640 4294967295 134512640 134569956 3221224416 3221214744 1131525829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 53640 13073 16 0 210485 0 vsize: 842004 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 93004 69 0 0 25 0 11 0 419752106 862212096 53705 4294967295 134512640 134569956 3221224416 3221214784 1131417570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 53705 13073 16 0 210485 0 vsize: 842004 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 93905 69 0 0 25 0 11 0 419752106 862212096 53895 4294967295 134512640 134569956 3221224416 3221214480 1131248398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 53895 13073 16 0 210485 0 vsize: 842004 [startup+1020.04 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 94835 69 0 0 25 0 11 0 419752106 862212096 54304 4294967295 134512640 134569956 3221224416 3221214576 1131248463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 54304 13073 16 0 210485 0 vsize: 842004 [startup+1030.04 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 95801 70 0 0 25 0 11 0 419752106 862212096 54530 4294967295 134512640 134569956 3221224416 3221214688 1131756499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 54530 13073 16 0 210485 0 vsize: 842004 [startup+1040.04 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 96786 70 0 0 25 0 11 0 419752106 862212096 54589 4294967295 134512640 134569956 3221224416 3221214608 1131635114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 54589 13073 16 0 210485 0 vsize: 842004 [startup+1050.05 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 97765 70 0 0 25 0 11 0 419752106 862212096 54589 4294967295 134512640 134569956 3221224416 3221214784 1131413986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 54589 13073 16 0 210485 0 vsize: 842004 [startup+1060.04 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 98720 70 0 0 25 0 11 0 419752106 862212096 54589 4294967295 134512640 134569956 3221224416 3221214900 1080204306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 54589 13073 16 0 210485 0 vsize: 842004 [startup+1070.04 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 99660 71 0 0 25 0 11 0 419752106 862212096 54589 4294967295 134512640 134569956 3221224416 3221214164 1131636432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 54589 13073 16 0 210485 0 vsize: 842004 [startup+1080.05 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 100584 71 0 0 25 0 11 0 419752106 862212096 54589 4294967295 134512640 134569956 3221224416 3221214584 1131248603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 54589 13073 16 0 210485 0 vsize: 842004 [startup+1090.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 101492 71 0 0 25 0 11 0 419752106 862212096 54779 4294967295 134512640 134569956 3221224416 3221214688 1131756499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 54779 13073 16 0 210485 0 vsize: 842004 [startup+1100.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18070 4 1 0 102424 71 0 0 25 0 11 0 419752106 862212096 55043 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 55043 13073 16 0 210485 0 vsize: 842004 [startup+1110.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 103375 71 0 0 25 0 11 0 419752106 862212096 55407 4294967295 134512640 134569956 3221224416 3221214584 1131248365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210501 55407 13073 16 0 210485 0 vsize: 842004 [startup+1120.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 104341 72 0 0 20 0 11 0 419752106 862212096 55443 4294967295 134512640 134569956 3221224416 3221214832 1131370934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55443 13073 16 0 210485 0 vsize: 842004 [startup+1130.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 105297 72 0 0 25 0 11 0 419752106 862212096 55443 4294967295 134512640 134569956 3221224416 3221214688 1131756619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55443 13073 16 0 210485 0 vsize: 842004 [startup+1140.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 106252 72 0 0 25 0 11 0 419752106 862212096 55584 4294967295 134512640 134569956 3221224416 3221214584 1131248436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55584 13073 16 0 210485 0 vsize: 842004 [startup+1150.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 107217 72 0 0 25 0 11 0 419752106 862212096 55584 4294967295 134512640 134569956 3221224416 3221214760 1131248363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55584 13073 16 0 210485 0 vsize: 842004 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 108157 72 0 0 25 0 11 0 419752106 862212096 55649 4294967295 134512640 134569956 3221224416 3221214760 1131248463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55649 13073 16 0 210485 0 vsize: 842004 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 109074 72 0 0 25 0 11 0 419752106 862212096 55768 4294967295 134512640 134569956 3221224416 3221214688 1131756499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55768 13073 16 0 210485 0 vsize: 842004 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 109988 72 0 0 25 0 11 0 419752106 862212096 55768 4294967295 134512640 134569956 3221224416 3221214724 1080204298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 55768 13073 16 0 210485 0 vsize: 842004 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 110885 72 0 0 25 0 11 0 419752106 862212096 56067 4294967295 134512640 134569956 3221224416 3221214720 1131450825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56067 13073 16 0 210485 0 vsize: 842004 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 111827 72 0 0 25 0 11 0 419752106 862212096 56341 4294967295 134512640 134569956 3221224416 3221214680 1131233925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56341 13073 16 0 210485 0 vsize: 842004 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 112772 72 0 0 25 0 11 0 419752106 862212096 56543 4294967295 134512640 134569956 3221224416 3221214720 1131452003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56543 13073 16 0 210485 0 vsize: 842004 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 113687 72 0 0 24 0 11 0 419752106 862212096 56681 4294967295 134512640 134569956 3221224416 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56681 13073 16 0 210485 0 vsize: 842004 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 114606 72 0 0 25 0 11 0 419752106 862212096 56784 4294967295 134512640 134569956 3221224416 3221214584 1131582853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56784 13073 16 0 210485 0 vsize: 842004 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 115520 72 0 0 25 0 11 0 419752106 862212096 56925 4294967295 134512640 134569956 3221224416 3221214080 1131602912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 56925 13073 16 0 210485 0 vsize: 842004 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 116448 72 0 0 25 0 11 0 419752106 862212096 57216 4294967295 134512640 134569956 3221224416 3221214680 1131758501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 57216 13073 16 0 210485 0 vsize: 842004 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 117383 72 0 0 25 0 11 0 419752106 862212096 57538 4294967295 134512640 134569956 3221224416 3221214584 1131582853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 57538 13073 16 0 210485 0 vsize: 842004 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) S 32265 30701 30700 0 -1 0 18070 4 1 0 118345 72 0 0 25 0 11 0 419752106 862212096 57562 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 57562 13073 16 0 210485 0 vsize: 842004 [startup+1280.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 119310 73 0 0 25 0 11 0 419752106 862212096 57760 4294967295 134512640 134569956 3221224416 3221214584 1131585339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 57760 13073 16 0 210485 0 vsize: 842004 [startup+1290.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 32294 Raw data (stat): 32266 (java) R 32265 30701 30700 0 -1 0 18070 4 1 0 120304 73 0 0 25 0 11 0 419752106 862212096 57781 4294967295 134512640 134569956 3221224416 3221214664 1131188633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210501 57781 13073 16 0 210485 0 vsize: 842004 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1290.21 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 32296 Raw data (stat): 32266 (java) Z 32265 30701 30700 0 -1 1036 18070 37360 1 0 120308 73 8154 95 25 0 1 0 419752106 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): 1290.21 CPU time (s): 1286.33 CPU user time (s): 1284.64 CPU system time (s): 1.69174 CPU usage (%): 99.699 Max. virtual memory (Kb): 843220 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####