Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb |
MD5SUM | 650632b92fbb7592f9a040d6375b78e9 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 8814 |
Biggest coefficient in the objective function | 3375324200960 |
Number of bits for the biggest coefficient in the objective function | 42 |
Sum of the numbers in the objective function | 2061624536571104 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 3375324200960 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 2061624536571104 |
Number of bits of the biggest sum of numbers | 51 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.116981 |
Number of variables | 12846 |
Total number of constraints | 1074 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 144 |
Number of constraints which are nor clauses,nor cardinality constraints | 930 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 192 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 13:54:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21426 boxname=wulflinc9 idbench=1414 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 650632b92fbb7592f9a040d6375b78e9 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gen.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gen.opb IDLAUNCH: 21426 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 455044 kB Buffers: 35092 kB Cached: 522808 kB SwapCached: 584 kB Active: 58960 kB Inactive: 501036 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 454792 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5416 kB Slab: 13984 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 14:15:54 (client local time) WITH STATUS 143 IN 1281 SECONDS stats: 21426 7 1281 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gen.opb c reading problem ... done. Time 52.714 ms. c #vars 12846 c #constraints 1080 c starts : 10 c conflicts : 7506 c decisions : 10730 c propagations : 43358 c inspects : 4724853 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7506 c root simplifications : 14 s UNKNOWN c Total CPU time (ms) : 1259.099 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/54 20557 Raw data (stat): 20557 (runsolver) R 20556 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781176589 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 20566 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18004 0 1 0 877 36 0 0 25 0 10 0 781176589 857108480 20134 4294967295 134512640 134569956 3221224384 3221214652 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209255 20134 13086 16 0 209239 0 vsize: 837020 [startup+20.0012 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 20566 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18004 0 1 0 1773 37 0 0 25 0 10 0 781176589 855564288 20359 4294967295 134512640 134569956 3221224384 3221214660 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208878 20359 13086 16 0 208862 0 vsize: 835512 [startup+30.0025 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 20566 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18012 0 1 0 2658 37 0 0 20 0 10 0 781176589 855564288 20907 4294967295 134512640 134569956 3221224384 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208878 20907 13086 16 0 208862 0 vsize: 835512 [startup+40.0035 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 20566 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18013 0 1 0 3570 37 0 0 25 0 10 0 781176589 855564288 21240 4294967295 134512640 134569956 3221224384 3221214808 1131257803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208878 21240 13086 16 0 208862 0 vsize: 835512 [startup+50.0052 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 20566 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18014 0 1 0 4488 37 0 0 25 0 10 0 781176589 855564288 21459 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208878 21459 13086 16 0 208862 0 vsize: 835512 [startup+60.0058 s] Raw data (loadavg): 1.17 1.02 1.01 4/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18124 0 1 0 5273 39 0 0 25 0 11 0 781176589 868741120 25146 4294967295 134512640 134569956 3221224384 3221213740 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212095 25146 13086 16 0 212079 0 vsize: 848380 [startup+70.0066 s] Raw data (loadavg): 1.37 1.07 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 5905 40 0 0 25 0 11 0 781176589 868864000 26290 4294967295 134512640 134569956 3221224384 3221214672 1131683981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 26290 13086 16 0 212109 0 vsize: 848500 [startup+80.0069 s] Raw data (loadavg): 1.31 1.07 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 6873 40 0 0 25 0 11 0 781176589 868864000 26297 4294967295 134512640 134569956 3221224384 3221214432 1131465600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 26297 13086 16 0 212109 0 vsize: 848500 [startup+90.0072 s] Raw data (loadavg): 1.26 1.06 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 7818 41 0 0 25 0 11 0 781176589 868864000 26507 4294967295 134512640 134569956 3221224384 3221214448 1131350805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 26507 13086 16 0 212109 0 vsize: 848500 [startup+100.008 s] Raw data (loadavg): 1.22 1.06 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 8755 41 0 0 25 0 11 0 781176589 868864000 26803 4294967295 134512640 134569956 3221224384 3221214648 1131687358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 26803 13086 16 0 212109 0 vsize: 848500 [startup+110.009 s] Raw data (loadavg): 1.19 1.06 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 9695 41 0 0 25 0 11 0 781176589 868864000 27087 4294967295 134512640 134569956 3221224384 3221214520 1131459118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 27087 13086 16 0 212109 0 vsize: 848500 [startup+120.009 s] Raw data (loadavg): 1.16 1.06 1.02 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 10636 41 0 0 25 0 11 0 781176589 868864000 27374 4294967295 134512640 134569956 3221224384 3221214472 1131351059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 27374 13086 16 0 212109 0 vsize: 848500 [startup+130.01 s] Raw data (loadavg): 1.13 1.05 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 11577 41 0 0 25 0 11 0 781176589 868864000 27545 4294967295 134512640 134569956 3221224384 3221214552 1131366933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 27545 13086 16 0 212109 0 vsize: 848500 [startup+140.01 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 12524 41 0 0 25 0 11 0 781176589 868864000 27838 4294967295 134512640 134569956 3221224384 3221214136 1131773418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 27838 13086 16 0 212109 0 vsize: 848500 [startup+150.015 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 20567 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 13460 41 0 0 25 0 11 0 781176589 868864000 28087 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 28087 13086 16 0 212109 0 vsize: 848500 [startup+160.016 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 14394 41 0 0 25 0 11 0 781176589 868864000 28310 4294967295 134512640 134569956 3221224384 3221213856 1085679337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 28310 13086 16 0 212109 0 vsize: 848500 [startup+170.015 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 15334 41 0 0 25 0 11 0 781176589 868864000 28438 4294967295 134512640 134569956 3221224384 3221214536 1131478338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 28438 13086 16 0 212109 0 vsize: 848500 [startup+180.016 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 16264 41 0 0 25 0 11 0 781176589 868864000 28663 4294967295 134512640 134569956 3221224384 3221214552 1131367668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 28663 13086 16 0 212109 0 vsize: 848500 [startup+190.017 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 17205 42 0 0 25 0 11 0 781176589 868864000 28796 4294967295 134512640 134569956 3221224384 3221214648 1131683805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 28796 13086 16 0 212109 0 vsize: 848500 [startup+200.018 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 18150 42 0 0 25 0 11 0 781176589 868864000 29027 4294967295 134512640 134569956 3221224384 3221214804 1130883254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29027 13086 16 0 212109 0 vsize: 848500 [startup+210.018 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 19097 42 0 0 25 0 11 0 781176589 868864000 29198 4294967295 134512640 134569956 3221224384 3221214392 1131362915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29198 13086 16 0 212109 0 vsize: 848500 [startup+220.018 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 20037 42 0 0 25 0 11 0 781176589 868864000 29376 4294967295 134512640 134569956 3221224384 3221214376 1131535785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29376 13086 16 0 212109 0 vsize: 848500 [startup+230.019 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 20986 42 0 0 25 0 11 0 781176589 868864000 29529 4294967295 134512640 134569956 3221224384 3221214648 1131688377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29529 13086 16 0 212109 0 vsize: 848500 [startup+240.019 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 21929 42 0 0 25 0 11 0 781176589 868864000 29689 4294967295 134512640 134569956 3221224384 3221214648 1131687012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29689 13086 16 0 212109 0 vsize: 848500 [startup+250.021 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 22881 43 0 0 25 0 11 0 781176589 868864000 29841 4294967295 134512640 134569956 3221224384 3221214304 1131773319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29841 13086 16 0 212109 0 vsize: 848500 [startup+260.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 23836 43 0 0 25 0 11 0 781176589 868864000 29988 4294967295 134512640 134569956 3221224384 3221214552 1131368191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 29988 13086 16 0 212109 0 vsize: 848500 [startup+270.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 24790 43 0 0 25 0 11 0 781176589 868864000 30116 4294967295 134512640 134569956 3221224384 3221213992 1131535886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30116 13086 16 0 212109 0 vsize: 848500 [startup+280.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 25744 43 0 0 25 0 11 0 781176589 868864000 30243 4294967295 134512640 134569956 3221224384 3221214012 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30243 13086 16 0 212109 0 vsize: 848500 [startup+290.022 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 26697 43 0 0 25 0 11 0 781176589 868864000 30350 4294967295 134512640 134569956 3221224384 3221214556 1131216435 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30350 13086 16 0 212109 0 vsize: 848500 [startup+300.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 27649 43 0 0 25 0 11 0 781176589 868864000 30476 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30476 13086 16 0 212109 0 vsize: 848500 [startup+310.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20567 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 28598 43 0 0 25 0 11 0 781176589 868864000 30566 4294967295 134512640 134569956 3221224384 3221213880 1131535932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 30566 13086 16 0 212109 0 vsize: 848500 [startup+320.022 s] Raw data (loadavg): 1.22 1.07 1.02 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 29536 50 0 0 25 0 11 0 781176589 868864000 30734 4294967295 134512640 134569956 3221224384 3221214488 1131535722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30734 13086 16 0 212109 0 vsize: 848500 [startup+330.028 s] Raw data (loadavg): 1.19 1.07 1.01 2/64 20620 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 30489 50 0 0 25 0 11 0 781176589 868864000 30851 4294967295 134512640 134569956 3221224384 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 30851 13086 16 0 212109 0 vsize: 848500 [startup+340.028 s] Raw data (loadavg): 1.16 1.07 1.01 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 31440 50 0 0 25 0 11 0 781176589 868864000 31009 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31009 13086 16 0 212109 0 vsize: 848500 [startup+350.029 s] Raw data (loadavg): 1.13 1.06 1.01 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 32394 50 0 0 25 0 11 0 781176589 868864000 31127 4294967295 134512640 134569956 3221224384 3221214648 1131687426 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31127 13086 16 0 212109 0 vsize: 848500 [startup+360.03 s] Raw data (loadavg): 1.11 1.06 1.01 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 33343 50 0 0 25 0 11 0 781176589 868864000 31317 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31317 13086 16 0 212109 0 vsize: 848500 [startup+370.03 s] Raw data (loadavg): 1.10 1.06 1.01 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 34303 50 0 0 25 0 11 0 781176589 868864000 31440 4294967295 134512640 134569956 3221224384 3221214552 1131367130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31440 13086 16 0 212109 0 vsize: 848500 [startup+380.03 s] Raw data (loadavg): 1.08 1.06 1.01 2/64 20620 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 35263 50 0 0 25 0 11 0 781176589 868864000 31552 4294967295 134512640 134569956 3221224384 3221214552 1131367018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31552 13086 16 0 212109 0 vsize: 848500 [startup+390.03 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 36220 50 0 0 25 0 11 0 781176589 868864000 31675 4294967295 134512640 134569956 3221224384 3221214648 1131687403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31675 13086 16 0 212109 0 vsize: 848500 [startup+400.031 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 37178 50 0 0 24 0 11 0 781176589 868864000 31792 4294967295 134512640 134569956 3221224384 3221214648 1131693498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31792 13086 16 0 212109 0 vsize: 848500 [startup+410.032 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 38141 50 0 0 25 0 11 0 781176589 868864000 31883 4294967295 134512640 134569956 3221224384 3221214648 1131687067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31883 13086 16 0 212109 0 vsize: 848500 [startup+420.031 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 39099 51 0 0 25 0 11 0 781176589 868864000 31989 4294967295 134512640 134569956 3221224384 3221214552 1131367452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 31989 13086 16 0 212109 0 vsize: 848500 [startup+430.033 s] Raw data (loadavg): 1.03 1.05 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 40059 51 0 0 25 0 11 0 781176589 868864000 32095 4294967295 134512640 134569956 3221224384 3221213744 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32095 13086 16 0 212109 0 vsize: 848500 [startup+440.032 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 41026 51 0 0 25 0 11 0 781176589 868864000 32181 4294967295 134512640 134569956 3221224384 3221214552 1131367245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32181 13086 16 0 212109 0 vsize: 848500 [startup+450.033 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 41988 51 0 0 25 0 11 0 781176589 868864000 32289 4294967295 134512640 134569956 3221224384 3221214648 1131694520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32289 13086 16 0 212109 0 vsize: 848500 [startup+460.033 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 42952 51 0 0 25 0 11 0 781176589 868864000 32385 4294967295 134512640 134569956 3221224384 3221214648 1131693068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32385 13086 16 0 212109 0 vsize: 848500 [startup+470.034 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 43916 51 0 0 25 0 11 0 781176589 868864000 32466 4294967295 134512640 134569956 3221224384 3221214328 1131425137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32466 13086 16 0 212109 0 vsize: 848500 [startup+480.034 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 44886 51 0 0 25 0 11 0 781176589 868864000 32533 4294967295 134512640 134569956 3221224384 3221214552 1131366937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32533 13086 16 0 212109 0 vsize: 848500 [startup+490.034 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 45850 51 0 0 25 0 11 0 781176589 868864000 32619 4294967295 134512640 134569956 3221224384 3221214648 1131686263 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32619 13086 16 0 212109 0 vsize: 848500 [startup+500.036 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 46819 51 0 0 25 0 11 0 781176589 868864000 32695 4294967295 134512640 134569956 3221224384 3221214320 1131535946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32695 13086 16 0 212109 0 vsize: 848500 [startup+510.036 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 47783 51 0 0 25 0 11 0 781176589 868864000 32770 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32770 13086 16 0 212109 0 vsize: 848500 [startup+520.036 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 48752 51 0 0 25 0 11 0 781176589 868864000 32835 4294967295 134512640 134569956 3221224384 3221214648 1131686150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32835 13086 16 0 212109 0 vsize: 848500 [startup+530.037 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 49715 52 0 0 25 0 11 0 781176589 868864000 32922 4294967295 134512640 134569956 3221224384 3221213712 1131425108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 32922 13086 16 0 212109 0 vsize: 848500 [startup+540.037 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 50679 52 0 0 25 0 11 0 781176589 868864000 33009 4294967295 134512640 134569956 3221224384 3221214648 1131694413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33009 13086 16 0 212109 0 vsize: 848500 [startup+550.038 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 51648 52 0 0 25 0 11 0 781176589 868864000 33074 4294967295 134512640 134569956 3221224384 3221214552 1131366612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33074 13086 16 0 212109 0 vsize: 848500 [startup+560.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 52618 52 0 0 25 0 11 0 781176589 868864000 33154 4294967295 134512640 134569956 3221224384 3221214472 1131350955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33154 13086 16 0 212109 0 vsize: 848500 [startup+570.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 53582 52 0 0 25 0 11 0 781176589 868864000 33230 4294967295 134512640 134569956 3221224384 3221214648 1131685830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33230 13086 16 0 212109 0 vsize: 848500 [startup+580.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 54551 52 0 0 25 0 11 0 781176589 868864000 33297 4294967295 134512640 134569956 3221224384 3221214552 1131366635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33297 13086 16 0 212109 0 vsize: 848500 [startup+590.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 55515 52 0 0 25 0 11 0 781176589 868864000 33366 4294967295 134512640 134569956 3221224384 3221214648 1131693572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33366 13086 16 0 212109 0 vsize: 848500 [startup+600.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 56483 52 0 0 25 0 11 0 781176589 868864000 33439 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33439 13086 16 0 212109 0 vsize: 848500 [startup+610.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 57446 52 0 0 25 0 11 0 781176589 868864000 33521 4294967295 134512640 134569956 3221224384 3221214272 1131425162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33521 13086 16 0 212109 0 vsize: 848500 [startup+620.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 58416 52 0 0 25 0 11 0 781176589 868864000 33591 4294967295 134512640 134569956 3221224384 3221213920 1131535935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33591 13086 16 0 212109 0 vsize: 848500 [startup+630.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 59381 53 0 0 25 0 11 0 781176589 868864000 33672 4294967295 134512640 134569956 3221224384 3221214552 1131367152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33672 13086 16 0 212109 0 vsize: 848500 [startup+640.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 60352 53 0 0 25 0 11 0 781176589 868864000 33748 4294967295 134512640 134569956 3221224384 3221214552 1131366773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33748 13086 16 0 212109 0 vsize: 848500 [startup+650.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 61327 53 0 0 25 0 11 0 781176589 868864000 33798 4294967295 134512640 134569956 3221224384 3221214376 1131535722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33798 13086 16 0 212109 0 vsize: 848500 [startup+660.043 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 62295 53 0 0 25 0 11 0 781176589 868864000 33863 4294967295 134512640 134569956 3221224384 3221214648 1131687580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33863 13086 16 0 212109 0 vsize: 848500 [startup+670.045 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 63261 53 0 0 24 0 11 0 781176589 868864000 33917 4294967295 134512640 134569956 3221224384 3221214728 1131502709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33917 13086 16 0 212109 0 vsize: 848500 [startup+680.048 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 20622 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 64231 53 0 0 25 0 11 0 781176589 868864000 33963 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 33963 13086 16 0 212109 0 vsize: 848500 [startup+690.048 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 65194 53 0 0 25 0 11 0 781176589 868864000 34022 4294967295 134512640 134569956 3221224384 3221214648 1131683828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34022 13086 16 0 212109 0 vsize: 848500 [startup+700.049 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 66156 53 0 0 25 0 11 0 781176589 868864000 34100 4294967295 134512640 134569956 3221224384 3221214616 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34100 13086 16 0 212109 0 vsize: 848500 [startup+710.05 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 67117 53 0 0 25 0 11 0 781176589 868864000 34201 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34201 13086 16 0 212109 0 vsize: 848500 [startup+720.049 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 68080 53 0 0 25 0 11 0 781176589 868864000 34295 4294967295 134512640 134569956 3221224384 3221214648 1131693516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34295 13086 16 0 212109 0 vsize: 848500 [startup+730.052 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 69040 53 0 0 25 0 11 0 781176589 868864000 34385 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34385 13086 16 0 212109 0 vsize: 848500 [startup+740.053 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 70009 53 0 0 25 0 11 0 781176589 868864000 34470 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34470 13086 16 0 212109 0 vsize: 848500 [startup+750.054 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 70969 54 0 0 25 0 11 0 781176589 868864000 34565 4294967295 134512640 134569956 3221224384 3221214504 1131216473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34565 13086 16 0 212109 0 vsize: 848500 [startup+760.057 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 71937 54 0 0 25 0 11 0 781176589 868864000 34631 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34631 13086 16 0 212109 0 vsize: 848500 [startup+770.057 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 72902 54 0 0 25 0 11 0 781176589 868864000 34712 4294967295 134512640 134569956 3221224384 3221214488 1131535924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34712 13086 16 0 212109 0 vsize: 848500 [startup+780.059 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 73869 54 0 0 25 0 11 0 781176589 868864000 34786 4294967295 134512640 134569956 3221224384 3221214736 1131778755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34786 13086 16 0 212109 0 vsize: 848500 [startup+790.059 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 74835 54 0 0 25 0 11 0 781176589 868864000 34856 4294967295 134512640 134569956 3221224384 3221214616 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34856 13086 16 0 212109 0 vsize: 848500 [startup+800.06 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 75802 54 0 0 25 0 11 0 781176589 868864000 34935 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 34935 13086 16 0 212109 0 vsize: 848500 [startup+810.061 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 76769 54 0 0 25 0 11 0 781176589 868864000 35007 4294967295 134512640 134569956 3221224384 3221214648 1131687447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35007 13086 16 0 212109 0 vsize: 848500 [startup+820.061 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 77736 54 0 0 25 0 11 0 781176589 868864000 35082 4294967295 134512640 134569956 3221224384 3221214648 1131686255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35082 13086 16 0 212109 0 vsize: 848500 [startup+830.062 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 78703 54 0 0 25 0 11 0 781176589 868864000 35145 4294967295 134512640 134569956 3221224384 3221214144 1131535944 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35145 13086 16 0 212109 0 vsize: 848500 [startup+840.062 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 79665 54 0 0 25 0 11 0 781176589 868864000 35218 4294967295 134512640 134569956 3221224384 3221214320 1131535722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35218 13086 16 0 212109 0 vsize: 848500 [startup+850.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 80632 54 0 0 25 0 11 0 781176589 868864000 35299 4294967295 134512640 134569956 3221224384 3221214000 1131425137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35299 13086 16 0 212109 0 vsize: 848500 [startup+860.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 81600 55 0 0 25 0 11 0 781176589 868864000 35373 4294967295 134512640 134569956 3221224384 3221214552 1131367537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35373 13086 16 0 212109 0 vsize: 848500 [startup+870.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 82569 55 0 0 25 0 11 0 781176589 868864000 35443 4294967295 134512640 134569956 3221224384 3221214648 1131687412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35443 13086 16 0 212109 0 vsize: 848500 [startup+880.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 83537 55 0 0 25 0 11 0 781176589 868864000 35509 4294967295 134512640 134569956 3221224384 3221214480 1131425621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35509 13086 16 0 212109 0 vsize: 848500 [startup+890.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 84504 55 0 0 25 0 11 0 781176589 868864000 35568 4294967295 134512640 134569956 3221224384 3221214552 1131366937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35568 13086 16 0 212109 0 vsize: 848500 [startup+900.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 85473 55 0 0 25 0 11 0 781176589 868864000 35618 4294967295 134512640 134569956 3221224384 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35618 13086 16 0 212109 0 vsize: 848500 [startup+910.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 20624 Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 86439 56 0 0 25 0 11 0 781176589 868864000 35685 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35685 13086 16 0 212109 0 vsize: 848500 [startup+920.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 87407 56 0 0 25 0 11 0 781176589 868864000 35751 4294967295 134512640 134569956 3221224384 3221214016 1085679735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 35751 13086 16 0 212109 0 vsize: 848500 [startup+930.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 88373 56 0 0 25 0 11 0 781176589 868864000 35820 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35820 13086 16 0 212109 0 vsize: 848500 [startup+940.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 89338 56 0 0 25 0 11 0 781176589 868864000 35891 4294967295 134512640 134569956 3221224384 3221213992 1131535932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35891 13086 16 0 212109 0 vsize: 848500 [startup+950.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 90303 57 0 0 25 0 11 0 781176589 868864000 35962 4294967295 134512640 134569956 3221224384 3221214552 1131366995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 35962 13086 16 0 212109 0 vsize: 848500 [startup+960.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 91269 57 0 0 25 0 11 0 781176589 868864000 36032 4294967295 134512640 134569956 3221224384 3221213816 1131535944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36032 13086 16 0 212109 0 vsize: 848500 [startup+970.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 92235 57 0 0 25 0 11 0 781176589 868864000 36106 4294967295 134512640 134569956 3221224384 3221214648 1131685891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36106 13086 16 0 212109 0 vsize: 848500 [startup+980.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 93201 58 0 0 25 0 11 0 781176589 868864000 36177 4294967295 134512640 134569956 3221224384 3221214104 1131425169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36177 13086 16 0 212109 0 vsize: 848500 [startup+990.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 94168 58 0 0 25 0 11 0 781176589 868864000 36247 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36247 13086 16 0 212109 0 vsize: 848500 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 95135 58 0 0 25 0 11 0 781176589 868864000 36317 4294967295 134512640 134569956 3221224384 3221214648 1131694780 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36317 13086 16 0 212109 0 vsize: 848500 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 96108 58 0 0 25 0 11 0 781176589 868864000 36387 4294967295 134512640 134569956 3221224384 3221214264 1131535892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36387 13086 16 0 212109 0 vsize: 848500 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 97075 59 0 0 25 0 11 0 781176589 868864000 36445 4294967295 134512640 134569956 3221224384 3221213716 1131425168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36445 13086 16 0 212109 0 vsize: 848500 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 98041 59 0 0 25 0 11 0 781176589 868864000 36511 4294967295 134512640 134569956 3221224384 3221213848 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36511 13086 16 0 212109 0 vsize: 848500 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 99007 60 0 0 25 0 11 0 781176589 868864000 36575 4294967295 134512640 134569956 3221224384 3221213696 1131776567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36575 13086 16 0 212109 0 vsize: 848500 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 99978 60 0 0 25 0 11 0 781176589 868864000 36626 4294967295 134512640 134569956 3221224384 3221214552 1131367156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36626 13086 16 0 212109 0 vsize: 848500 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 100943 60 0 0 25 0 11 0 781176589 868864000 36705 4294967295 134512640 134569956 3221224384 3221214648 1131694940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 36705 13086 16 0 212109 0 vsize: 848500 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 101907 61 0 0 25 0 11 0 781176589 868864000 36766 4294967295 134512640 134569956 3221224384 3221214208 1131535886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36766 13086 16 0 212109 0 vsize: 848500 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 102876 61 0 0 25 0 11 0 781176589 868864000 36846 4294967295 134512640 134569956 3221224384 3221213868 1131535908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 36846 13086 16 0 212109 0 vsize: 848500 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 103843 62 0 0 24 0 11 0 781176589 868864000 36936 4294967295 134512640 134569956 3221224384 3221214648 1131683789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212125 36936 13086 16 0 212109 0 vsize: 848500 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 104815 62 0 0 25 0 11 0 781176589 868864000 37000 4294967295 134512640 134569956 3221224384 3221214552 1131366961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37000 13086 16 0 212109 0 vsize: 848500 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 105783 62 0 0 25 0 11 0 781176589 868864000 37069 4294967295 134512640 134569956 3221224384 3221214528 1131210664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37069 13086 16 0 212109 0 vsize: 848500 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 106756 62 0 0 25 0 11 0 781176589 868864000 37131 4294967295 134512640 134569956 3221224384 3221214648 1131687403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37131 13086 16 0 212109 0 vsize: 848500 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 107725 63 0 0 25 0 11 0 781176589 868864000 37225 4294967295 134512640 134569956 3221224384 3221213680 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37225 13086 16 0 212109 0 vsize: 848500 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 108699 63 0 0 25 0 11 0 781176589 868864000 37288 4294967295 134512640 134569956 3221224384 3221214432 1131535919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37288 13086 16 0 212109 0 vsize: 848500 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 109668 64 0 0 25 0 11 0 781176589 868864000 37362 4294967295 134512640 134569956 3221224384 3221214368 1131425621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37362 13086 16 0 212109 0 vsize: 848500 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 110634 65 0 0 25 0 11 0 781176589 868864000 37430 4294967295 134512640 134569956 3221224384 3221214324 1131425168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37430 13086 16 0 212109 0 vsize: 848500 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 111599 65 0 0 25 0 11 0 781176589 868864000 37491 4294967295 134512640 134569956 3221224384 3221214552 1131367445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37491 13086 16 0 212109 0 vsize: 848500 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 112569 65 0 0 25 0 11 0 781176589 868864000 37547 4294967295 134512640 134569956 3221224384 3221214532 1131604563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37547 13086 16 0 212109 0 vsize: 848500 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 113533 66 0 0 25 0 11 0 781176589 868864000 37619 4294967295 134512640 134569956 3221224384 3221213688 1085632281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37619 13086 16 0 212109 0 vsize: 848500 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 114497 66 0 0 25 0 11 0 781176589 868864000 37691 4294967295 134512640 134569956 3221224384 3221214552 1131368141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37691 13086 16 0 212109 0 vsize: 848500 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 115463 67 0 0 25 0 11 0 781176589 868864000 37758 4294967295 134512640 134569956 3221224384 3221214552 1131366801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37758 13086 16 0 212109 0 vsize: 848500 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 116428 67 0 0 25 0 11 0 781176589 868864000 37832 4294967295 134512640 134569956 3221224384 3221213184 1085679446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37832 13086 16 0 212109 0 vsize: 848500 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 117394 68 0 0 25 0 11 0 781176589 868864000 37893 4294967295 134512640 134569956 3221224384 3221214552 1131366791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37893 13086 16 0 212109 0 vsize: 848500 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 118360 68 0 0 25 0 11 0 781176589 868864000 37986 4294967295 134512640 134569956 3221224384 3221214648 1131687426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 37986 13086 16 0 212109 0 vsize: 848500 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 119337 68 0 0 25 0 11 0 781176589 868864000 38023 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 38023 13086 16 0 212109 0 vsize: 848500 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 20624 Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 120306 68 0 0 25 0 11 0 781176589 868864000 38067 4294967295 134512640 134569956 3221224384 3221214552 1131366917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212125 38067 13086 16 0 212109 0 vsize: 848500 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 20626 Raw data (stat): 20557 (java) Z 20556 3944 3943 0 -1 1036 18131 31325 1 0 120308 75 7632 82 25 0 1 0 781176589 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): 1260.17 CPU time (s): 1281 CPU user time (s): 1279.41 CPU system time (s): 1.58676 CPU usage (%): 101.653 Max. virtual memory (Kb): 848500 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####