Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | fbdb3cf321a85412feefcaac30780520 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01684 |
Number of variables | 319 |
Total number of constraints | 325 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 319 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 231 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-21 05:20:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17026 boxname=wulflinc21 idbench=1310 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: fbdb3cf321a85412feefcaac30780520 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 17026 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 587348 kB Buffers: 8448 kB Cached: 415940 kB SwapCached: 0 kB Active: 72676 kB Inactive: 354632 kB HighTotal: 131008 kB HighFree: 13608 kB LowTotal: 903652 kB LowFree: 573740 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6948 kB Slab: 14376 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 05:41:20 (client local time) WITH STATUS 143 IN 1236.12 SECONDS stats: 17026 7 1236.12 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-mod008.opb c reading problem c [nbvar=319] c [nbconstr=325] c time 1.209 c #vars 319 c #clauses 6 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=696 c Current CPU time (ms) : 1.567 c starts : 1 c conflicts : 0 c decisions : 311 c propagations : 319 c inspects : 109 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=609 c Current CPU time (ms) : 13.238 c starts : 2 c conflicts : 32 c decisions : 660 c propagations : 787 c inspects : 587 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 32 c root simplifications : 2 c c CURRENT OPTIMUM=589 c Current CPU time (ms) : 13.414 c starts : 3 c conflicts : 33 c decisions : 731 c propagations : 1300 c inspects : 843 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 33 c root simplifications : 3 c c CURRENT OPTIMUM=566 c Current CPU time (ms) : 39.591 c starts : 5 c conflicts : 142 c decisions : 2476 c propagations : 4163 c inspects : 8283 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 142 c root simplifications : 5 c c CURRENT OPTIMUM=555 c Current CPU time (ms) : 42.281 c starts : 6 c conflicts : 147 c decisions : 2746 c propagations : 4902 c inspects : 9696 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 147 c root simplifications : 6 c c CURRENT OPTIMUM=512 c Current CPU time (ms) : 45.377 c starts : 7 c conflicts : 160 c decisions : 3093 c propagations : 5600 c inspects : 11155 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 160 c root simplifications : 7 c c CURRENT OPTIMUM=501 c Current CPU time (ms) : 53.22 c starts : 8 c conflicts : 188 c decisions : 3388 c propagations : 6246 c inspects : 16245 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 188 c root simplifications : 8 c c CURRENT OPTIMUM=500 c Current CPU time (ms) : 53.856 c starts : 9 c conflicts : 193 c decisions : 3435 c propagations : 6614 c inspects : 17628 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 193 c root simplifications : 9 c c CURRENT OPTIMUM=490 c Current CPU time (ms) : 55.108 c starts : 10 c conflicts : 198 c decisions : 3752 c propagations : 7013 c inspects : 19702 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 198 c root simplifications : 10 c c CURRENT OPTIMUM=477 c Current CPU time (ms) : 86.865 c starts : 11 c conflicts : 223 c decisions : 4042 c propagations : 7911 c inspects : 24561 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 223 c root simplifications : 11 c c CURRENT OPTIMUM=438 c Current CPU time (ms) : 112.239 c starts : 12 c conflicts : 260 c decisions : 4672 c propagations : 9306 c inspects : 29566 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 260 c root simplifications : 12 c c CURRENT OPTIMUM=430 c Current CPU time (ms) : 250.157 c starts : 13 c conflicts : 296 c decisions : 5641 c propagations : 11541 c inspects : 40065 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 296 c root simplifications : 13 #### 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/55 2701 Raw data (stat): 2701 (runsolver) R 2700 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 419778486 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.10 1.02 1.01 4/65 2712 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 17529 3 1 0 556 37 0 0 25 0 11 0 419778486 872079360 21873 4294967295 134512640 134569956 3221224400 3221214328 1078829708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212910 21873 13073 16 0 212894 0 vsize: 851640 [startup+20.0015 s] Raw data (loadavg): 1.23 1.05 1.02 2/65 2714 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18091 3 1 0 1488 39 0 0 25 0 11 0 419778486 869117952 22837 4294967295 134512640 134569956 3221224400 3221214484 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212187 22837 13073 16 0 212171 0 vsize: 848748 [startup+30.0019 s] Raw data (loadavg): 1.20 1.05 1.01 2/65 2714 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18092 3 1 0 2446 39 0 0 25 0 11 0 419778486 865443840 22411 4294967295 134512640 134569956 3221224400 3221214544 1131234174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 22411 13073 16 0 211274 0 vsize: 845160 [startup+40.0015 s] Raw data (loadavg): 1.17 1.04 1.01 2/65 2714 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18092 3 1 0 3389 39 0 0 25 0 11 0 419778486 865443840 22818 4294967295 134512640 134569956 3221224400 3221214576 1131261079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 22818 13073 16 0 211274 0 vsize: 845160 [startup+50.0017 s] Raw data (loadavg): 1.14 1.04 1.01 2/65 2717 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 4328 39 0 0 25 0 11 0 419778486 865443840 23150 4294967295 134512640 134569956 3221224400 3221214520 1131258082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 23150 13073 16 0 211274 0 vsize: 845160 [startup+60.0019 s] Raw data (loadavg): 1.12 1.04 1.01 2/65 2720 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 5266 39 0 0 25 0 11 0 419778486 865443840 23459 4294967295 134512640 134569956 3221224400 3221214544 1131235064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 23459 13073 16 0 211274 0 vsize: 845160 [startup+70.0026 s] Raw data (loadavg): 1.10 1.04 1.01 2/65 2720 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 6212 39 0 0 25 0 11 0 419778486 865443840 23639 4294967295 134512640 134569956 3221224400 3221214544 1131234223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 23639 13073 16 0 211274 0 vsize: 845160 [startup+80.0038 s] Raw data (loadavg): 1.08 1.04 1.01 2/65 2720 Raw data (stat): 2701 (java) S 2700 30927 30926 0 -1 0 18093 3 1 0 7163 40 0 0 25 0 11 0 419778486 865443840 23884 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 23884 13073 16 0 211274 0 vsize: 845160 [startup+90.0039 s] Raw data (loadavg): 1.07 1.04 1.01 2/65 2721 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 8130 40 0 0 25 0 11 0 419778486 865443840 24071 4294967295 134512640 134569956 3221224400 3221214568 1131223015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24071 13073 16 0 211274 0 vsize: 845160 [startup+100.004 s] Raw data (loadavg): 1.06 1.03 1.01 2/65 2721 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 9114 41 0 0 25 0 11 0 419778486 865443840 24290 4294967295 134512640 134569956 3221224400 3221214576 1131260374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24290 13073 16 0 211274 0 vsize: 845160 [startup+110.005 s] Raw data (loadavg): 1.05 1.03 1.01 2/65 2721 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 10101 41 0 0 25 0 11 0 419778486 865443840 24292 4294967295 134512640 134569956 3221224400 3221214792 1131195653 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24292 13073 16 0 211274 0 vsize: 845160 [startup+120.005 s] Raw data (loadavg): 1.04 1.03 1.01 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 11078 41 0 0 25 0 11 0 419778486 865443840 24292 4294967295 134512640 134569956 3221224400 3221214576 1131260264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24292 13073 16 0 211274 0 vsize: 845160 [startup+130.006 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 12053 41 0 0 25 0 11 0 419778486 865443840 24324 4294967295 134512640 134569956 3221224400 3221214568 1131221983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24324 13073 16 0 211274 0 vsize: 845160 [startup+140.006 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 13032 41 0 0 25 0 11 0 419778486 865443840 24420 4294967295 134512640 134569956 3221224400 3221214576 1131260200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24420 13073 16 0 211274 0 vsize: 845160 [startup+150.006 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 14015 41 0 0 25 0 11 0 419778486 865443840 24554 4294967295 134512640 134569956 3221224400 3221214568 1131222399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24554 13073 16 0 211274 0 vsize: 845160 [startup+160.006 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 15003 41 0 0 25 0 11 0 419778486 865443840 24554 4294967295 134512640 134569956 3221224400 3221214576 1131260289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24554 13073 16 0 211274 0 vsize: 845160 [startup+170.006 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 15991 41 0 0 25 0 11 0 419778486 865443840 24559 4294967295 134512640 134569956 3221224400 3221214568 1131224123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24559 13073 16 0 211274 0 vsize: 845160 [startup+180.006 s] Raw data (loadavg): 1.09 1.04 1.01 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 16980 41 0 0 25 0 11 0 419778486 865443840 24602 4294967295 134512640 134569956 3221224400 3221214640 1131201815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24602 13073 16 0 211274 0 vsize: 845160 [startup+190.007 s] Raw data (loadavg): 1.08 1.04 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 17974 41 0 0 25 0 11 0 419778486 865443840 24664 4294967295 134512640 134569956 3221224400 3221214568 1131222775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24664 13073 16 0 211274 0 vsize: 845160 [startup+200.007 s] Raw data (loadavg): 1.07 1.04 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 18969 41 0 0 25 0 11 0 419778486 865443840 24666 4294967295 134512640 134569956 3221224400 3221214544 1131236604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24666 13073 16 0 211274 0 vsize: 845160 [startup+210.007 s] Raw data (loadavg): 1.06 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 19963 41 0 0 25 0 11 0 419778486 865443840 24666 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24666 13073 16 0 211274 0 vsize: 845160 [startup+220.007 s] Raw data (loadavg): 1.05 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 20958 42 0 0 25 0 11 0 419778486 865443840 24695 4294967295 134512640 134569956 3221224400 3221214568 1131222779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24695 13073 16 0 211274 0 vsize: 845160 [startup+230.008 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 21953 42 0 0 25 0 11 0 419778486 865443840 24695 4294967295 134512640 134569956 3221224400 3221214692 1131577447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24695 13073 16 0 211274 0 vsize: 845160 [startup+240.008 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 22947 42 0 0 25 0 11 0 419778486 865443840 24702 4294967295 134512640 134569956 3221224400 3221214576 1131260313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24702 13073 16 0 211274 0 vsize: 845160 [startup+250.008 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 2722 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 23941 42 0 0 25 0 11 0 419778486 865443840 24718 4294967295 134512640 134569956 3221224400 3221214576 1131260482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24718 13073 16 0 211274 0 vsize: 845160 [startup+260.009 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 24930 42 0 0 25 0 11 0 419778486 865443840 24718 4294967295 134512640 134569956 3221224400 3221214576 1131259865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 24718 13073 16 0 211274 0 vsize: 845160 [startup+270.009 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 25915 42 0 0 25 0 11 0 419778486 865443840 24741 4294967295 134512640 134569956 3221224400 3221214632 1131557564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 24741 13073 16 0 211274 0 vsize: 845160 [startup+280.01 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 26897 42 0 0 25 0 11 0 419778486 865443840 24741 4294967295 134512640 134569956 3221224400 3221214792 1131196256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 24741 13073 16 0 211274 0 vsize: 845160 [startup+290.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 27868 42 0 0 25 0 11 0 419778486 865443840 24795 4294967295 134512640 134569956 3221224400 3221214640 1131570561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 24795 13073 16 0 211274 0 vsize: 845160 [startup+300.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 28839 42 0 0 25 0 11 0 419778486 865443840 24840 4294967295 134512640 134569956 3221224400 3221214568 1131222506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 24840 13073 16 0 211274 0 vsize: 845160 [startup+310.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 29800 42 0 0 25 0 11 0 419778486 865443840 24920 4294967295 134512640 134569956 3221224400 3221214544 1131236601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 24920 13073 16 0 211274 0 vsize: 845160 [startup+320.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 30770 42 0 0 25 0 11 0 419778486 865443840 25020 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25020 13073 16 0 211274 0 vsize: 845160 [startup+330.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 31749 42 0 0 25 0 11 0 419778486 865443840 25134 4294967295 134512640 134569956 3221224400 3221214576 1131260146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 25134 13073 16 0 211274 0 vsize: 845160 [startup+340.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 32730 42 0 0 25 0 11 0 419778486 865443840 25244 4294967295 134512640 134569956 3221224400 3221214808 1131280169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25244 13073 16 0 211274 0 vsize: 845160 [startup+350.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 33716 42 0 0 25 0 11 0 419778486 865443840 25258 4294967295 134512640 134569956 3221224400 3221214600 1131441621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25258 13073 16 0 211274 0 vsize: 845160 [startup+360.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 34702 42 0 0 25 0 11 0 419778486 865443840 25261 4294967295 134512640 134569956 3221224400 3221214568 1131222831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25261 13073 16 0 211274 0 vsize: 845160 [startup+370.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 35689 43 0 0 25 0 11 0 419778486 865443840 25315 4294967295 134512640 134569956 3221224400 3221214468 1131460368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25315 13073 16 0 211274 0 vsize: 845160 [startup+380.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 36679 43 0 0 25 0 11 0 419778486 865443840 25366 4294967295 134512640 134569956 3221224400 3221214544 1131236505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25366 13073 16 0 211274 0 vsize: 845160 [startup+390.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 37670 43 0 0 25 0 11 0 419778486 865443840 25391 4294967295 134512640 134569956 3221224400 3221214568 1131221953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25391 13073 16 0 211274 0 vsize: 845160 [startup+400.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 38660 43 0 0 25 0 11 0 419778486 865443840 25391 4294967295 134512640 134569956 3221224400 3221214360 1080216945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25391 13073 16 0 211274 0 vsize: 845160 [startup+410.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 39648 43 0 0 25 0 11 0 419778486 865443840 25402 4294967295 134512640 134569956 3221224400 3221214592 1131196490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25402 13073 16 0 211274 0 vsize: 845160 [startup+420.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 40635 43 0 0 25 0 11 0 419778486 865443840 25473 4294967295 134512640 134569956 3221224400 3221214544 1131234204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 25473 13073 16 0 211274 0 vsize: 845160 [startup+430.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 41619 43 0 0 25 0 11 0 419778486 865443840 25473 4294967295 134512640 134569956 3221224400 3221214488 1131450419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 25473 13073 16 0 211274 0 vsize: 845160 [startup+440.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 42601 43 0 0 25 0 11 0 419778486 865443840 25482 4294967295 134512640 134569956 3221224400 3221214544 1131236601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25482 13073 16 0 211274 0 vsize: 845160 [startup+450.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 43582 43 0 0 25 0 11 0 419778486 865443840 25514 4294967295 134512640 134569956 3221224400 3221214580 1131460368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25514 13073 16 0 211274 0 vsize: 845160 [startup+460.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 44563 43 0 0 25 0 11 0 419778486 865443840 25611 4294967295 134512640 134569956 3221224400 3221214568 1131222005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25611 13073 16 0 211274 0 vsize: 845160 [startup+470.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 45547 44 0 0 24 0 11 0 419778486 865443840 25636 4294967295 134512640 134569956 3221224400 3221214576 1131260114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25636 13073 16 0 211274 0 vsize: 845160 [startup+480.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 46536 44 0 0 25 0 11 0 419778486 865443840 25665 4294967295 134512640 134569956 3221224400 3221214576 1131260438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25665 13073 16 0 211274 0 vsize: 845160 [startup+490.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 47525 44 0 0 25 0 11 0 419778486 865443840 25685 4294967295 134512640 134569956 3221224400 3221214568 1131222916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25685 13073 16 0 211274 0 vsize: 845160 [startup+500.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 48513 44 0 0 25 0 11 0 419778486 865443840 25771 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25771 13073 16 0 211274 0 vsize: 845160 [startup+510.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 49504 44 0 0 25 0 11 0 419778486 865443840 25783 4294967295 134512640 134569956 3221224400 3221214568 1131222975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25783 13073 16 0 211274 0 vsize: 845160 [startup+520.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 50492 45 0 0 25 0 11 0 419778486 865443840 25792 4294967295 134512640 134569956 3221224400 3221214600 1131405872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25792 13073 16 0 211274 0 vsize: 845160 [startup+530.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 51480 45 0 0 25 0 11 0 419778486 865443840 25830 4294967295 134512640 134569956 3221224400 3221214544 1131235078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25830 13073 16 0 211274 0 vsize: 845160 [startup+540.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 52472 45 0 0 25 0 11 0 419778486 865443840 25833 4294967295 134512640 134569956 3221224400 3221214568 1131222399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25833 13073 16 0 211274 0 vsize: 845160 [startup+550.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 53462 45 0 0 25 0 11 0 419778486 865443840 25875 4294967295 134512640 134569956 3221224400 3221214576 1131260048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25875 13073 16 0 211274 0 vsize: 845160 [startup+560.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 54453 45 0 0 25 0 11 0 419778486 865443840 25890 4294967295 134512640 134569956 3221224400 3221214576 1131259922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25890 13073 16 0 211274 0 vsize: 845160 [startup+570.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 55443 46 0 0 25 0 11 0 419778486 865443840 25902 4294967295 134512640 134569956 3221224400 3221214432 1131449446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25902 13073 16 0 211274 0 vsize: 845160 [startup+580.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 56433 46 0 0 25 0 11 0 419778486 865443840 25926 4294967295 134512640 134569956 3221224400 3221214336 1078829665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25926 13073 16 0 211274 0 vsize: 845160 [startup+590.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 57426 46 0 0 25 0 11 0 419778486 865443840 25941 4294967295 134512640 134569956 3221224400 3221214568 1131222027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25941 13073 16 0 211274 0 vsize: 845160 [startup+600.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 58419 46 0 0 25 0 11 0 419778486 865443840 25948 4294967295 134512640 134569956 3221224400 3221214568 1131222967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25948 13073 16 0 211274 0 vsize: 845160 [startup+610.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 59411 46 0 0 25 0 11 0 419778486 865443840 25957 4294967295 134512640 134569956 3221224400 3221214568 1131222275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25957 13073 16 0 211274 0 vsize: 845160 [startup+620.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 60404 46 0 0 25 0 11 0 419778486 865443840 25967 4294967295 134512640 134569956 3221224400 3221214252 1131460368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25967 13073 16 0 211274 0 vsize: 845160 [startup+630.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 61392 46 0 0 25 0 11 0 419778486 865443840 25992 4294967295 134512640 134569956 3221224400 3221214784 1131590292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25992 13073 16 0 211274 0 vsize: 845160 [startup+640.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 62374 46 0 0 25 0 11 0 419778486 865443840 25993 4294967295 134512640 134569956 3221224400 3221214576 1131261168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 25993 13073 16 0 211274 0 vsize: 845160 [startup+650.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 63351 46 0 0 25 0 11 0 419778486 865443840 26004 4294967295 134512640 134569956 3221224400 3221214576 1131260264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26004 13073 16 0 211274 0 vsize: 845160 [startup+660.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 64329 46 0 0 25 0 11 0 419778486 865443840 26053 4294967295 134512640 134569956 3221224400 3221214576 1131260058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26053 13073 16 0 211274 0 vsize: 845160 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 65309 46 0 0 25 0 11 0 419778486 865443840 26119 4294967295 134512640 134569956 3221224400 3221214568 1131222396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26119 13073 16 0 211274 0 vsize: 845160 [startup+680.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 66292 47 0 0 25 0 11 0 419778486 865443840 26201 4294967295 134512640 134569956 3221224400 3221214792 1131195765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26201 13073 16 0 211274 0 vsize: 845160 [startup+690.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 67275 47 0 0 25 0 11 0 419778486 865443840 26240 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26240 13073 16 0 211274 0 vsize: 845160 [startup+700.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 68258 47 0 0 25 0 11 0 419778486 865443840 26274 4294967295 134512640 134569956 3221224400 3221214544 1131234227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26274 13073 16 0 211274 0 vsize: 845160 [startup+710.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 69241 47 0 0 25 0 11 0 419778486 865443840 26304 4294967295 134512640 134569956 3221224400 3221214568 1131224127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26304 13073 16 0 211274 0 vsize: 845160 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 70227 47 0 0 25 0 11 0 419778486 865443840 26367 4294967295 134512640 134569956 3221224400 3221214568 1131224123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26367 13073 16 0 211274 0 vsize: 845160 [startup+730.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 71216 47 0 0 25 0 11 0 419778486 865443840 26394 4294967295 134512640 134569956 3221224400 3221214576 1131371084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26394 13073 16 0 211274 0 vsize: 845160 [startup+740.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 72202 47 0 0 25 0 11 0 419778486 865443840 26429 4294967295 134512640 134569956 3221224400 3221214544 1131234945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26429 13073 16 0 211274 0 vsize: 845160 [startup+750.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 73191 47 0 0 25 0 11 0 419778486 865443840 26457 4294967295 134512640 134569956 3221224400 3221214576 1131260124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26457 13073 16 0 211274 0 vsize: 845160 [startup+760.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 74177 47 0 0 25 0 11 0 419778486 865443840 26472 4294967295 134512640 134569956 3221224400 3221214576 1131260237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26472 13073 16 0 211274 0 vsize: 845160 [startup+770.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 75158 48 0 0 25 0 11 0 419778486 865443840 26502 4294967295 134512640 134569956 3221224400 3221214568 1131222131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26502 13073 16 0 211274 0 vsize: 845160 [startup+780.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 76137 48 0 0 25 0 11 0 419778486 865443840 26530 4294967295 134512640 134569956 3221224400 3221214808 1131280643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26530 13073 16 0 211274 0 vsize: 845160 [startup+790.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 77117 48 0 0 25 0 11 0 419778486 865443840 26564 4294967295 134512640 134569956 3221224400 3221214408 1078032557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26564 13073 16 0 211274 0 vsize: 845160 [startup+800.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 78093 48 0 0 25 0 11 0 419778486 865443840 26642 4294967295 134512640 134569956 3221224400 3221214544 1131234866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26642 13073 16 0 211274 0 vsize: 845160 [startup+810.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 79069 48 0 0 25 0 11 0 419778486 865443840 26698 4294967295 134512640 134569956 3221224400 3221214568 1131222156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26698 13073 16 0 211274 0 vsize: 845160 [startup+820.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 80046 48 0 0 25 0 11 0 419778486 865443840 26734 4294967295 134512640 134569956 3221224400 3221214544 1131234264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26734 13073 16 0 211274 0 vsize: 845160 [startup+830.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 81020 49 0 0 25 0 11 0 419778486 865443840 26823 4294967295 134512640 134569956 3221224400 3221214576 1131260337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26823 13073 16 0 211274 0 vsize: 845160 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 82000 49 0 0 25 0 11 0 419778486 865443840 26880 4294967295 134512640 134569956 3221224400 3221214808 1131279196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26880 13073 16 0 211274 0 vsize: 845160 [startup+850.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 82980 49 0 0 25 0 11 0 419778486 865443840 26904 4294967295 134512640 134569956 3221224400 3221214808 1131277513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 26904 13073 16 0 211274 0 vsize: 845160 [startup+860.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 83965 49 0 0 25 0 11 0 419778486 865443840 26992 4294967295 134512640 134569956 3221224400 3221214568 1131222368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 26992 13073 16 0 211274 0 vsize: 845160 [startup+870.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 84947 50 0 0 25 0 11 0 419778486 865443840 27033 4294967295 134512640 134569956 3221224400 3221214544 1131234204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27033 13073 16 0 211274 0 vsize: 845160 [startup+880.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 85929 50 0 0 25 0 11 0 419778486 865443840 27054 4294967295 134512640 134569956 3221224400 3221214792 1131196347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27054 13073 16 0 211274 0 vsize: 845160 [startup+890.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 86907 50 0 0 25 0 11 0 419778486 865443840 27106 4294967295 134512640 134569956 3221224400 3221214568 1131224131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27106 13073 16 0 211274 0 vsize: 845160 [startup+900.031 s] Raw data (loadavg): 1.00 1.00 1.00 3/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 87880 50 0 0 25 0 11 0 419778486 865443840 27156 4294967295 134512640 134569956 3221224400 3221214576 1131260264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27156 13073 16 0 211274 0 vsize: 845160 [startup+910.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 88855 50 0 0 24 0 11 0 419778486 865443840 27219 4294967295 134512640 134569956 3221224400 3221214568 1131222396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27219 13073 16 0 211274 0 vsize: 845160 [startup+920.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 89828 50 0 0 25 0 11 0 419778486 865443840 27307 4294967295 134512640 134569956 3221224400 3221214576 1131259824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27307 13073 16 0 211274 0 vsize: 845160 [startup+930.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 90805 50 0 0 25 0 11 0 419778486 865443840 27384 4294967295 134512640 134569956 3221224400 3221214576 1131260337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27384 13073 16 0 211274 0 vsize: 845160 [startup+940.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 91778 50 0 0 25 0 11 0 419778486 865443840 27424 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27424 13073 16 0 211274 0 vsize: 845160 [startup+950.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 92740 51 0 0 24 0 11 0 419778486 865443840 27487 4294967295 134512640 134569956 3221224400 3221214432 1131450586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27487 13073 16 0 211274 0 vsize: 845160 [startup+960.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 93712 51 0 0 25 0 11 0 419778486 865443840 27540 4294967295 134512640 134569956 3221224400 3221214576 1131260514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27540 13073 16 0 211274 0 vsize: 845160 [startup+970.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 94685 51 0 0 25 0 11 0 419778486 865443840 27636 4294967295 134512640 134569956 3221224400 3221214692 1080204176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27636 13073 16 0 211274 0 vsize: 845160 [startup+980.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 95667 51 0 0 25 0 11 0 419778486 865443840 27746 4294967295 134512640 134569956 3221224400 3221214488 1131450586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27746 13073 16 0 211274 0 vsize: 845160 [startup+990.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 96654 51 0 0 24 0 11 0 419778486 865443840 27800 4294967295 134512640 134569956 3221224400 3221214576 1131260337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27800 13073 16 0 211274 0 vsize: 845160 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 97643 52 0 0 25 0 11 0 419778486 865443840 27821 4294967295 134512640 134569956 3221224400 3221214576 1131261171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27821 13073 16 0 211274 0 vsize: 845160 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 98630 52 0 0 25 0 11 0 419778486 865443840 27885 4294967295 134512640 134569956 3221224400 3221214544 1131447110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27885 13073 16 0 211274 0 vsize: 845160 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 99618 52 0 0 25 0 11 0 419778486 865443840 27904 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27904 13073 16 0 211274 0 vsize: 845160 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 100605 52 0 0 25 0 11 0 419778486 865443840 27931 4294967295 134512640 134569956 3221224400 3221214792 1131196272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27931 13073 16 0 211274 0 vsize: 845160 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 101588 52 0 0 25 0 11 0 419778486 865443840 27968 4294967295 134512640 134569956 3221224400 3221214568 1131222174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27968 13073 16 0 211274 0 vsize: 845160 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 102575 52 0 0 25 0 11 0 419778486 865443840 27984 4294967295 134512640 134569956 3221224400 3221214524 1131460368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 27984 13073 16 0 211274 0 vsize: 845160 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 103566 52 0 0 25 0 11 0 419778486 865443840 28005 4294967295 134512640 134569956 3221224400 3221214760 1131590292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 28005 13073 16 0 211274 0 vsize: 845160 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 104558 52 0 0 25 0 11 0 419778486 865443840 28005 4294967295 134512640 134569956 3221224400 3221214544 1131236601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28005 13073 16 0 211274 0 vsize: 845160 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 105541 52 0 0 25 0 11 0 419778486 865443840 28036 4294967295 134512640 134569956 3221224400 3221214808 1131280618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28036 13073 16 0 211274 0 vsize: 845160 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 106525 52 0 0 25 0 11 0 419778486 865443840 28073 4294967295 134512640 134569956 3221224400 3221214792 1131196055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28073 13073 16 0 211274 0 vsize: 845160 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 107504 53 0 0 25 0 11 0 419778486 865443840 28089 4294967295 134512640 134569956 3221224400 3221214244 1131557540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28089 13073 16 0 211274 0 vsize: 845160 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 108485 53 0 0 25 0 11 0 419778486 865443840 28138 4294967295 134512640 134569956 3221224400 3221214568 1131222032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28138 13073 16 0 211274 0 vsize: 845160 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 109470 53 0 0 25 0 11 0 419778486 865443840 28186 4294967295 134512640 134569956 3221224400 3221214568 1131221956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28186 13073 16 0 211274 0 vsize: 845160 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 110454 53 0 0 25 0 11 0 419778486 865443840 28223 4294967295 134512640 134569956 3221224400 3221214664 1131552519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28223 13073 16 0 211274 0 vsize: 845160 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 111434 53 0 0 25 0 11 0 419778486 865443840 28263 4294967295 134512640 134569956 3221224400 3221214704 1131329454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28263 13073 16 0 211274 0 vsize: 845160 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 112419 53 0 0 25 0 11 0 419778486 865443840 28295 4294967295 134512640 134569956 3221224400 3221214656 1131590292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28295 13073 16 0 211274 0 vsize: 845160 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 113395 54 0 0 25 0 11 0 419778486 865443840 28329 4294967295 134512640 134569956 3221224400 3221214760 1131277406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28329 13073 16 0 211274 0 vsize: 845160 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 114370 54 0 0 25 0 11 0 419778486 865443840 28365 4294967295 134512640 134569956 3221224400 3221214520 1131224131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28365 13073 16 0 211274 0 vsize: 845160 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 115344 54 0 0 25 0 11 0 419778486 865443840 28466 4294967295 134512640 134569956 3221224400 3221214520 1131221983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28466 13073 16 0 211274 0 vsize: 845160 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 116323 54 0 0 25 0 11 0 419778486 865443840 28511 4294967295 134512640 134569956 3221224400 3221214760 1131280311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28511 13073 16 0 211274 0 vsize: 845160 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 117307 54 0 0 25 0 11 0 419778486 865443840 28585 4294967295 134512640 134569956 3221224400 3221214528 1131260264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 28585 13073 16 0 211274 0 vsize: 845160 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 118297 54 0 0 25 0 11 0 419778486 865443840 28620 4294967295 134512640 134569956 3221224400 3221214520 1131223205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 28620 13073 16 0 211274 0 vsize: 845160 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 119286 54 0 0 25 0 11 0 419778486 865443840 28654 4294967295 134512640 134569956 3221224400 3221214176 1131557570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 28654 13073 16 0 211274 0 vsize: 845160 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 2723 Raw data (stat): 2701 (java) R 2700 30927 30926 0 -1 0 18093 3 1 0 120268 55 0 0 25 0 11 0 419778486 865443840 28690 4294967295 134512640 134569956 3221224400 3221214544 1085679372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 28690 13073 16 0 211274 0 vsize: 845160 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 2725 Raw data (stat): 2701 (java) Z 2700 30927 30926 0 -1 1036 18093 14522 1 0 120273 55 3241 42 25 0 1 0 419778486 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1230.15 CPU time (s): 1236.12 CPU user time (s): 1235.15 CPU system time (s): 0.976851 CPU usage (%): 100.486 Max. virtual memory (Kb): 851640 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####