Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb |
MD5SUM | 5e8935802e4aa1a1ac8f2a923d842947 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22547 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6892 |
Biggest coefficient in the objective function | 667 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 371779 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 667 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 371779 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 8405 |
Total number of constraints | 19071 |
Number of constraints which are clauses | 9918 |
Number of constraints which are cardinality constraints (but not clauses) | 9153 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 351 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-04-13 18:04:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3186 boxname=wulflinc15 idbench=354 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 5e8935802e4aa1a1ac8f2a923d842947 /oldhome/oroussel/tmp/wulflinc15/normalized-ss97-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-ss97-2.opb IDLAUNCH: 3186 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 928984 kB Buffers: 34228 kB Cached: 49852 kB SwapCached: 2144 kB Active: 54908 kB Inactive: 34184 kB HighTotal: 131008 kB HighFree: 77252 kB LowTotal: 903652 kB LowFree: 851732 kB SwapTotal: 2097136 kB SwapFree: 2094992 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 11028 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:25:47 (client local time) WITH STATUS 143 IN SECONDS stats: 3186 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc15/normalized-ss97-2.opb c reading problem c [nbvar=8405] c [nbconstr=19071] c time 31.372 c #vars 8405 c #clauses 11367 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=35357 c Current CPU time (ms) : 502.082 c starts : 3 c conflicts : 548 c decisions : 97222 c propagations : 193992 c inspects : 121566 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 548 c root simplifications : 3 #### 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 1.00 0.99 2/54 30629 Raw data (stat): 30629 (runsolver) R 30628 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419743462 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.93 1.00 0.99 2/63 30638 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 17981 0 1 0 890 44 0 0 25 0 10 0 419743462 854081536 19152 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208516 19152 13073 16 0 208500 0 vsize: 834064 [startup+20.0025 s] Raw data (loadavg): 1.10 1.04 1.00 3/63 30638 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18005 0 1 0 1711 44 0 0 25 0 10 0 419743462 868491264 22921 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212034 22921 13073 16 0 212018 0 vsize: 848136 [startup+30.0031 s] Raw data (loadavg): 1.16 1.05 1.01 2/63 30638 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18008 0 1 0 2588 45 0 0 25 0 10 0 419743462 865832960 23242 4294967295 134512640 134569956 3221224416 3221214756 1131221523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211385 23242 13073 16 0 211369 0 vsize: 845540 [startup+40.003 s] Raw data (loadavg): 1.22 1.06 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18075 0 1 0 3396 46 0 0 25 0 11 0 419743462 866967552 26403 4294967295 134512640 134569956 3221224416 3221214680 1131584123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211662 26403 13073 16 0 211646 0 vsize: 846648 [startup+50.0034 s] Raw data (loadavg): 1.18 1.06 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 4366 46 0 0 25 0 11 0 419743462 862818304 25458 4294967295 134512640 134569956 3221224416 3221214520 1131577419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25458 13073 16 0 210633 0 vsize: 842596 [startup+60.0038 s] Raw data (loadavg): 1.15 1.06 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 5324 46 0 0 25 0 11 0 419743462 862818304 25426 4294967295 134512640 134569956 3221224416 3221214568 1131585497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25426 13073 16 0 210633 0 vsize: 842596 [startup+70.0045 s] Raw data (loadavg): 1.13 1.06 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 6282 46 0 0 25 0 11 0 419743462 862818304 25426 4294967295 134512640 134569956 3221224416 3221214612 1080204176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25426 13073 16 0 210633 0 vsize: 842596 [startup+80.0057 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 7218 46 0 0 24 0 11 0 419743462 862818304 25447 4294967295 134512640 134569956 3221224416 3221214680 1131481915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25447 13073 16 0 210633 0 vsize: 842596 [startup+90.0061 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 8129 47 0 0 25 0 11 0 419743462 862818304 25583 4294967295 134512640 134569956 3221224416 3221214688 1131584170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25583 13073 16 0 210633 0 vsize: 842596 [startup+100.006 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 30639 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 9039 47 0 0 25 0 11 0 419743462 862818304 25663 4294967295 134512640 134569956 3221224416 3221214612 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25663 13073 16 0 210633 0 vsize: 842596 [startup+110.007 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 9949 47 0 0 25 0 11 0 419743462 862818304 25965 4294967295 134512640 134569956 3221224416 3221214856 1131472672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 25965 13073 16 0 210633 0 vsize: 842596 [startup+120.008 s] Raw data (loadavg): 1.05 1.05 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 10887 47 0 0 25 0 11 0 419743462 862818304 26139 4294967295 134512640 134569956 3221224416 3221214688 1131587009 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26139 13073 16 0 210633 0 vsize: 842596 [startup+130.008 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 11824 47 0 0 25 0 11 0 419743462 862818304 26330 4294967295 134512640 134569956 3221224416 3221214688 1131583969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26330 13073 16 0 210633 0 vsize: 842596 [startup+140.009 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 12771 47 0 0 25 0 11 0 419743462 862818304 26501 4294967295 134512640 134569956 3221224416 3221214600 1131642836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26501 13073 16 0 210633 0 vsize: 842596 [startup+150.009 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 13716 47 0 0 25 0 11 0 419743462 862818304 26667 4294967295 134512640 134569956 3221224416 3221214688 1131583635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26667 13073 16 0 210633 0 vsize: 842596 [startup+160.012 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 0 1 0 14661 47 0 0 25 0 11 0 419743462 862818304 26785 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26785 13073 16 0 210633 0 vsize: 842596 [startup+170.012 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 15598 47 0 0 25 0 11 0 419743462 862818304 26903 4294967295 134512640 134569956 3221224416 3221214632 1131201104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 26903 13073 16 0 210633 0 vsize: 842596 [startup+180.012 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 16532 47 0 0 25 0 11 0 419743462 862818304 27055 4294967295 134512640 134569956 3221224416 3221214616 1131552500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27055 13073 16 0 210633 0 vsize: 842596 [startup+190.013 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 17476 47 0 0 25 0 11 0 419743462 862818304 27224 4294967295 134512640 134569956 3221224416 3221214616 1131551606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27224 13073 16 0 210633 0 vsize: 842596 [startup+200.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 18421 47 0 0 25 0 11 0 419743462 862818304 27408 4294967295 134512640 134569956 3221224416 3221214688 1131586975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27408 13073 16 0 210633 0 vsize: 842596 [startup+210.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 19365 47 0 0 25 0 11 0 419743462 862818304 27557 4294967295 134512640 134569956 3221224416 3221214616 1131553742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27557 13073 16 0 210633 0 vsize: 842596 [startup+220.015 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 20304 47 0 0 25 0 11 0 419743462 862818304 27676 4294967295 134512640 134569956 3221224416 3221214892 1080204274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27676 13073 16 0 210633 0 vsize: 842596 [startup+230.016 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 21235 47 0 0 25 0 11 0 419743462 862818304 27797 4294967295 134512640 134569956 3221224416 3221214560 1131546990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27797 13073 16 0 210633 0 vsize: 842596 [startup+240.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 22178 47 0 0 25 0 11 0 419743462 862818304 27991 4294967295 134512640 134569956 3221224416 3221214688 1131584683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 27991 13073 16 0 210633 0 vsize: 842596 [startup+250.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 23120 47 0 0 25 0 11 0 419743462 862818304 28198 4294967295 134512640 134569956 3221224416 3221214640 1131544854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 28198 13073 16 0 210633 0 vsize: 842596 [startup+260.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 24071 47 0 0 25 0 11 0 419743462 862818304 28316 4294967295 134512640 134569956 3221224416 3221214616 1131551776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 28316 13073 16 0 210633 0 vsize: 842596 [startup+270.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 25008 47 0 0 25 0 11 0 419743462 862818304 28464 4294967295 134512640 134569956 3221224416 3221214584 1131549532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 28464 13073 16 0 210633 0 vsize: 842596 [startup+280.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 25949 47 0 0 25 0 11 0 419743462 862818304 28584 4294967295 134512640 134569956 3221224416 3221214688 1131584162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 28584 13073 16 0 210633 0 vsize: 842596 [startup+290.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 26884 47 0 0 25 0 11 0 419743462 862818304 28689 4294967295 134512640 134569956 3221224416 3221214552 1131567200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 28689 13073 16 0 210633 0 vsize: 842596 [startup+300.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 27794 47 0 0 25 0 11 0 419743462 862818304 29075 4294967295 134512640 134569956 3221224416 3221214680 1131642836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 29075 13073 16 0 210633 0 vsize: 842596 [startup+310.019 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 28693 47 0 0 25 0 11 0 419743462 864563200 29837 4294967295 134512640 134569956 3221224416 3221214680 1131481826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211075 29837 13073 16 0 211059 0 vsize: 844300 [startup+320.019 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 29615 47 0 0 25 0 11 0 419743462 862818304 29639 4294967295 134512640 134569956 3221224416 3221214872 1131473091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 29639 13073 16 0 210633 0 vsize: 842596 [startup+330.021 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 30518 48 0 0 25 0 11 0 419743462 862818304 29741 4294967295 134512640 134569956 3221224416 3221214872 1131472690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 29741 13073 16 0 210633 0 vsize: 842596 [startup+340.021 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 31439 48 0 0 25 0 11 0 419743462 862818304 30139 4294967295 134512640 134569956 3221224416 3221214872 1131472924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30139 13073 16 0 210633 0 vsize: 842596 [startup+350.021 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 32389 48 0 0 25 0 11 0 419743462 862818304 30479 4294967295 134512640 134569956 3221224416 3221214872 1131472672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30479 13073 16 0 210633 0 vsize: 842596 [startup+360.022 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 33353 49 0 0 25 0 11 0 419743462 862818304 30558 4294967295 134512640 134569956 3221224416 3221214872 1131472679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30558 13073 16 0 210633 0 vsize: 842596 [startup+370.022 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 34313 50 0 0 25 0 11 0 419743462 862818304 30629 4294967295 134512640 134569956 3221224416 3221214768 1131551870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30629 13073 16 0 210633 0 vsize: 842596 [startup+380.023 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 35269 50 0 0 24 0 11 0 419743462 862818304 30718 4294967295 134512640 134569956 3221224416 3221214832 1080203665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30718 13073 16 0 210633 0 vsize: 842596 [startup+390.024 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 36224 50 0 0 25 0 11 0 419743462 862818304 30773 4294967295 134512640 134569956 3221224416 3221214680 1131278499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30773 13073 16 0 210633 0 vsize: 842596 [startup+400.024 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 37174 50 0 0 25 0 11 0 419743462 862818304 30888 4294967295 134512640 134569956 3221224416 3221214680 1131278144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30888 13073 16 0 210633 0 vsize: 842596 [startup+410.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 38109 50 0 0 25 0 11 0 419743462 862818304 30964 4294967295 134512640 134569956 3221224416 3221214680 1131481826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 30964 13073 16 0 210633 0 vsize: 842596 [startup+420.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 39023 51 0 0 25 0 11 0 419743462 862818304 31849 4294967295 134512640 134569956 3221224416 3221214680 1131481826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 31849 13073 16 0 210633 0 vsize: 842596 [startup+430.025 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 39948 51 0 0 24 0 11 0 419743462 862818304 31872 4294967295 134512640 134569956 3221224416 3221214816 1131548826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 31872 13073 16 0 210633 0 vsize: 842596 [startup+440.025 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 40863 51 0 0 25 0 11 0 419743462 862818304 32149 4294967295 134512640 134569956 3221224416 3221214840 1131585150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 32149 13073 16 0 210633 0 vsize: 842596 [startup+450.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 41775 51 0 0 25 0 11 0 419743462 862818304 32352 4294967295 134512640 134569956 3221224416 3221214680 1131481826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 32352 13073 16 0 210633 0 vsize: 842596 [startup+460.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 0 1 0 42686 52 0 0 25 0 11 0 419743462 862818304 32714 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 32714 13073 16 0 210633 0 vsize: 842596 [startup+470.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 43594 52 0 0 25 0 11 0 419743462 862818304 32964 4294967295 134512640 134569956 3221224416 3221214840 1131586734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 32964 13073 16 0 210633 0 vsize: 842596 [startup+480.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 44515 53 0 0 25 0 11 0 419743462 862818304 33108 4294967295 134512640 134569956 3221224416 3221214792 1131544771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 33108 13073 16 0 210633 0 vsize: 842596 [startup+490.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 45448 53 0 0 25 0 11 0 419743462 862818304 33463 4294967295 134512640 134569956 3221224416 3221214768 1131552626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 33463 13073 16 0 210633 0 vsize: 842596 [startup+500.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30641 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 0 1 0 46371 53 0 0 25 0 11 0 419743462 862818304 33696 4294967295 134512640 134569956 3221224416 3221214840 1131585487 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 33696 13073 16 0 210633 0 vsize: 842596 [startup+510.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 47285 53 0 0 25 0 11 0 419743462 862818304 33818 4294967295 134512640 134569956 3221224416 3221214680 1131278981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 33818 13073 16 0 210633 0 vsize: 842596 [startup+520.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 48208 54 0 0 25 0 11 0 419743462 862818304 33899 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 33899 13073 16 0 210633 0 vsize: 842596 [startup+530.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 49156 54 0 0 25 0 11 0 419743462 862818304 34035 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34035 13073 16 0 210633 0 vsize: 842596 [startup+540.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 50099 55 0 0 25 0 11 0 419743462 862818304 34275 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34275 13073 16 0 210633 0 vsize: 842596 [startup+550.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 51045 55 0 0 25 0 11 0 419743462 862818304 34628 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34628 13073 16 0 210633 0 vsize: 842596 [startup+560.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 52010 55 0 0 24 0 11 0 419743462 862818304 34650 4294967295 134512640 134569956 3221224416 3221214784 1131488122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34650 13073 16 0 210633 0 vsize: 842596 [startup+570.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 52978 56 0 0 25 0 11 0 419743462 862818304 34694 4294967295 134512640 134569956 3221224416 3221214680 1131278499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34694 13073 16 0 210633 0 vsize: 842596 [startup+580.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 53952 56 0 0 25 0 11 0 419743462 862818304 34860 4294967295 134512640 134569956 3221224416 3221214680 1131278190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34860 13073 16 0 210633 0 vsize: 842596 [startup+590.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 54942 56 0 0 25 0 11 0 419743462 862818304 34880 4294967295 134512640 134569956 3221224416 3221214680 1131278081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34880 13073 16 0 210633 0 vsize: 842596 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 55931 57 0 0 25 0 11 0 419743462 862818304 34885 4294967295 134512640 134569956 3221224416 3221214756 1080204343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34885 13073 16 0 210633 0 vsize: 842596 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 56890 57 0 0 25 0 11 0 419743462 862818304 34889 4294967295 134512640 134569956 3221224416 3221214792 1131642836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 34889 13073 16 0 210633 0 vsize: 842596 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 57800 58 0 0 24 0 11 0 419743462 862818304 36607 4294967295 134512640 134569956 3221224416 3221214768 1131551567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 36607 13073 16 0 210633 0 vsize: 842596 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 58736 58 0 0 25 0 11 0 419743462 862818304 37143 4294967295 134512640 134569956 3221224416 3221214680 1131278190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37143 13073 16 0 210633 0 vsize: 842596 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 59677 58 0 0 25 0 11 0 419743462 862818304 37143 4294967295 134512640 134569956 3221224416 3221214712 1131547491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37143 13073 16 0 210633 0 vsize: 842596 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 60584 58 0 0 25 0 11 0 419743462 862818304 37143 4294967295 134512640 134569956 3221224416 3221214840 1131584153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37143 13073 16 0 210633 0 vsize: 842596 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 61512 58 0 0 25 0 11 0 419743462 862818304 37528 4294967295 134512640 134569956 3221224416 3221214784 1131489146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37528 13073 16 0 210633 0 vsize: 842596 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 62452 59 0 0 25 0 11 0 419743462 862818304 37614 4294967295 134512640 134569956 3221224416 3221214784 1131488093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37614 13073 16 0 210633 0 vsize: 842596 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 63382 59 0 0 25 0 11 0 419743462 862818304 37787 4294967295 134512640 134569956 3221224416 3221214680 1131481878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 37787 13073 16 0 210633 0 vsize: 842596 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 64317 60 0 0 25 0 11 0 419743462 862818304 38018 4294967295 134512640 134569956 3221224416 3221214680 1131278599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38018 13073 16 0 210633 0 vsize: 842596 [startup+700.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 65269 60 0 0 25 0 11 0 419743462 862818304 38300 4294967295 134512640 134569956 3221224416 3221214872 1131473121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38300 13073 16 0 210633 0 vsize: 842596 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 66234 61 0 0 25 0 11 0 419743462 862818304 38322 4294967295 134512640 134569956 3221224416 3221214784 1131488036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38322 13073 16 0 210633 0 vsize: 842596 [startup+720.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 67188 61 0 0 24 0 11 0 419743462 862818304 38433 4294967295 134512640 134569956 3221224416 3221214768 1131551779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38433 13073 16 0 210633 0 vsize: 842596 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 68139 61 0 0 25 0 11 0 419743462 862818304 38442 4294967295 134512640 134569956 3221224416 3221214784 1131201104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38442 13073 16 0 210633 0 vsize: 842596 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 69075 62 0 0 25 0 11 0 419743462 862818304 38563 4294967295 134512640 134569956 3221224416 3221214768 1131551013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38563 13073 16 0 210633 0 vsize: 842596 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 69994 62 0 0 25 0 11 0 419743462 862818304 38719 4294967295 134512640 134569956 3221224416 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38719 13073 16 0 210633 0 vsize: 842596 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 70908 63 0 0 17 0 11 0 419743462 862818304 38878 4294967295 134512640 134569956 3221224416 3221214792 1131544817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 38878 13073 16 0 210633 0 vsize: 842596 [startup+770.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 71835 63 0 0 25 0 11 0 419743462 862818304 39029 4294967295 134512640 134569956 3221224416 3221214840 1131586678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 39029 13073 16 0 210633 0 vsize: 842596 [startup+780.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 72747 64 0 0 25 0 11 0 419743462 862818304 39875 4294967295 134512640 134569956 3221224416 3221214680 1131481834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 39875 13073 16 0 210633 0 vsize: 842596 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 73654 64 0 0 24 0 11 0 419743462 862818304 40841 4294967295 134512640 134569956 3221224416 3221214688 1131567259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 40841 13073 16 0 210633 0 vsize: 842596 [startup+800.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 74579 64 0 0 25 0 11 0 419743462 862818304 41003 4294967295 134512640 134569956 3221224416 3221214680 1131279120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 41003 13073 16 0 210633 0 vsize: 842596 [startup+810.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 75493 65 0 0 25 0 11 0 419743462 862818304 41124 4294967295 134512640 134569956 3221224416 3221214712 1131547152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 41124 13073 16 0 210633 0 vsize: 842596 [startup+820.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 76395 65 0 0 25 0 11 0 419743462 862818304 41338 4294967295 134512640 134569956 3221224416 3221214680 1131278089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 41338 13073 16 0 210633 0 vsize: 842596 [startup+830.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 77319 65 0 0 25 0 11 0 419743462 862818304 41875 4294967295 134512640 134569956 3221224416 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 41875 13073 16 0 210633 0 vsize: 842596 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 78269 66 0 0 25 0 11 0 419743462 862818304 41888 4294967295 134512640 134569956 3221224416 3221214760 1131541902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 41888 13073 16 0 210633 0 vsize: 842596 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 79182 66 0 0 25 0 11 0 419743462 862818304 42085 4294967295 134512640 134569956 3221224416 3221214680 1131278081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42085 13073 16 0 210633 0 vsize: 842596 [startup+860.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 80101 66 0 0 25 0 11 0 419743462 862818304 42127 4294967295 134512640 134569956 3221224416 3221214784 1131488122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42127 13073 16 0 210633 0 vsize: 842596 [startup+870.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 81056 67 0 0 25 0 11 0 419743462 862818304 42129 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42129 13073 16 0 210633 0 vsize: 842596 [startup+880.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 81982 67 0 0 25 0 11 0 419743462 862818304 42359 4294967295 134512640 134569956 3221224416 3221214784 1131489087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42359 13073 16 0 210633 0 vsize: 842596 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 82913 68 0 0 25 0 11 0 419743462 862818304 42871 4294967295 134512640 134569956 3221224416 3221214760 1131542032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42871 13073 16 0 210633 0 vsize: 842596 [startup+900.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 83858 68 0 0 25 0 11 0 419743462 862818304 42965 4294967295 134512640 134569956 3221224416 3221214780 1080203741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 42965 13073 16 0 210633 0 vsize: 842596 [startup+910.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 84805 68 0 0 25 0 11 0 419743462 862818304 43016 4294967295 134512640 134569956 3221224416 3221214784 1131488011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43016 13073 16 0 210633 0 vsize: 842596 [startup+920.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 85753 68 0 0 24 0 11 0 419743462 862818304 43117 4294967295 134512640 134569956 3221224416 3221214784 1131489080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43117 13073 16 0 210633 0 vsize: 842596 [startup+930.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 86718 69 0 0 25 0 11 0 419743462 862818304 43259 4294967295 134512640 134569956 3221224416 3221214680 1131279274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43259 13073 16 0 210633 0 vsize: 842596 [startup+940.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 87699 69 0 0 25 0 11 0 419743462 862818304 43384 4294967295 134512640 134569956 3221224416 3221214680 1131278586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43384 13073 16 0 210633 0 vsize: 842596 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 88684 69 0 0 25 0 11 0 419743462 862818304 43400 4294967295 134512640 134569956 3221224416 3221214784 1131489067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43400 13073 16 0 210633 0 vsize: 842596 [startup+960.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 89671 70 0 0 25 0 11 0 419743462 862818304 43411 4294967295 134512640 134569956 3221224416 3221214680 1131278429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43411 13073 16 0 210633 0 vsize: 842596 [startup+970.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 90657 70 0 0 25 0 11 0 419743462 862818304 43421 4294967295 134512640 134569956 3221224416 3221214768 1131552516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43421 13073 16 0 210633 0 vsize: 842596 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 91621 70 0 0 25 0 11 0 419743462 862818304 43430 4294967295 134512640 134569956 3221224416 3221214764 1131549420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43430 13073 16 0 210633 0 vsize: 842596 [startup+990.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 92540 71 0 0 25 0 11 0 419743462 862818304 43442 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43442 13073 16 0 210633 0 vsize: 842596 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 93459 71 0 0 25 0 11 0 419743462 862818304 43665 4294967295 134512640 134569956 3221224416 3221214680 1131481503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 43665 13073 16 0 210633 0 vsize: 842596 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 94392 71 0 0 25 0 11 0 419743462 862818304 45396 4294967295 134512640 134569956 3221224416 3221214872 1131473125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 45396 13073 16 0 210633 0 vsize: 842596 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 95312 71 0 0 25 0 11 0 419743462 862818304 46962 4294967295 134512640 134569956 3221224416 3221214800 1131543671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 46962 13073 16 0 210633 0 vsize: 842596 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 96242 71 0 0 25 0 11 0 419743462 862818304 46962 4294967295 134512640 134569956 3221224416 3221214680 1131278420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 46962 13073 16 0 210633 0 vsize: 842596 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 97155 72 0 0 25 0 11 0 419743462 862818304 46962 4294967295 134512640 134569956 3221224416 3221214784 1131488032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 46962 13073 16 0 210633 0 vsize: 842596 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 98061 72 0 0 25 0 11 0 419743462 862818304 47459 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 47459 13073 16 0 210633 0 vsize: 842596 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 99019 72 0 0 25 0 11 0 419743462 862818304 47767 4294967295 134512640 134569956 3221224416 3221214872 1131472672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 47767 13073 16 0 210633 0 vsize: 842596 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 99981 72 0 0 25 0 11 0 419743462 862818304 47867 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 47867 13073 16 0 210633 0 vsize: 842596 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 100937 72 0 0 24 0 11 0 419743462 862818304 47876 4294967295 134512640 134569956 3221224416 3221214680 1131278658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 47876 13073 16 0 210633 0 vsize: 842596 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 101887 72 0 0 25 0 11 0 419743462 862818304 47883 4294967295 134512640 134569956 3221224416 3221214840 1131585103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 47883 13073 16 0 210633 0 vsize: 842596 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 102791 72 0 0 25 0 11 0 419743462 862818304 48274 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 48274 13073 16 0 210633 0 vsize: 842596 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 103695 72 0 0 25 0 11 0 419743462 862818304 48866 4294967295 134512640 134569956 3221224416 3221214836 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 48866 13073 16 0 210633 0 vsize: 842596 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 104601 72 0 0 25 0 11 0 419743462 862818304 48866 4294967295 134512640 134569956 3221224416 3221214840 1131584880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 48866 13073 16 0 210633 0 vsize: 842596 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 105511 72 0 0 25 0 11 0 419743462 862818304 49085 4294967295 134512640 134569956 3221224416 3221214680 1131481826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 49085 13073 16 0 210633 0 vsize: 842596 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 106438 73 0 0 25 0 11 0 419743462 862818304 49419 4294967295 134512640 134569956 3221224416 3221214792 1131577617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49419 13073 16 0 210633 0 vsize: 842596 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 107409 73 0 0 25 0 11 0 419743462 862818304 49757 4294967295 134512640 134569956 3221224416 3221214868 1131565612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49757 13073 16 0 210633 0 vsize: 842596 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 108390 73 0 0 25 0 11 0 419743462 862818304 49785 4294967295 134512640 134569956 3221224416 3221214764 1131622304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49785 13073 16 0 210633 0 vsize: 842596 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 109372 74 0 0 25 0 11 0 419743462 862818304 49816 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49816 13073 16 0 210633 0 vsize: 842596 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 110354 74 0 0 25 0 11 0 419743462 862818304 49835 4294967295 134512640 134569956 3221224416 3221214680 1131278170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49835 13073 16 0 210633 0 vsize: 842596 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 111333 74 0 0 25 0 11 0 419743462 862818304 49864 4294967295 134512640 134569956 3221224416 3221214784 1131488036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49864 13073 16 0 210633 0 vsize: 842596 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 112312 74 0 0 25 0 11 0 419743462 862818304 49887 4294967295 134512640 134569956 3221224416 3221214680 1131278085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49887 13073 16 0 210633 0 vsize: 842596 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 113288 74 0 0 25 0 11 0 419743462 862818304 49925 4294967295 134512640 134569956 3221224416 3221214680 1131278186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 49925 13073 16 0 210633 0 vsize: 842596 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 114265 75 0 0 25 0 11 0 419743462 862818304 49943 4294967295 134512640 134569956 3221224416 3221214784 1131488093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49943 13073 16 0 210633 0 vsize: 842596 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 115244 75 0 0 25 0 11 0 419743462 862818304 49949 4294967295 134512640 134569956 3221224416 3221214680 1131278499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 49949 13073 16 0 210633 0 vsize: 842596 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 116220 75 0 0 25 0 11 0 419743462 862818304 49953 4294967295 134512640 134569956 3221224416 3221214784 1131489087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210649 49953 13073 16 0 210633 0 vsize: 842596 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) S 30628 29151 29150 0 -1 0 18076 4 1 0 117200 75 0 0 25 0 11 0 419743462 862818304 50039 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 50039 13073 16 0 210633 0 vsize: 842596 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 118182 75 0 0 25 0 11 0 419743462 862818304 50056 4294967295 134512640 134569956 3221224416 3221214784 1131489067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 50056 13073 16 0 210633 0 vsize: 842596 [startup+1270.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 119168 76 0 0 25 0 11 0 419743462 862818304 50073 4294967295 134512640 134569956 3221224416 3221214680 1131278373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 50073 13073 16 0 210633 0 vsize: 842596 [startup+1280.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30642 Raw data (stat): 30629 (java) R 30628 29151 29150 0 -1 0 18076 4 1 0 120155 76 0 0 25 0 11 0 419743462 862818304 50085 4294967295 134512640 134569956 3221224416 3221214784 1131489042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210649 50085 13073 16 0 210633 0 vsize: 842596 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 30644 Raw data (stat): 30629 (java) Z 30628 29151 29150 0 -1 1036 18076 42584 1 0 120159 85 9382 109 25 0 1 0 419743462 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): 1280.22 CPU time (s): 1297.37 CPU user time (s): 1295.42 CPU system time (s): 1.9467 CPU usage (%): 101.34 Max. virtual memory (Kb): 848136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####