Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb |
MD5SUM | d5b771efe8f3bc863eeca85beb6d9cd6 |
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 | 140 |
Biggest coefficient in the objective function | 52428800 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 318766800 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 75573493760 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 2374370081400 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.05684 |
Number of variables | 20142 |
Total number of constraints | 462 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 462 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 14900 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-25 12:25:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21282 boxname=wulflinc1 idbench=1270 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d5b771efe8f3bc863eeca85beb6d9cd6 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-standata.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-standata.opb IDLAUNCH: 21282 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 669056 kB Buffers: 32028 kB Cached: 303932 kB SwapCached: 3972 kB Active: 71292 kB Inactive: 271516 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 668804 kB SwapTotal: 2097136 kB SwapFree: 2092844 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6960 kB Slab: 17076 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:45:47 (client local time) WITH STATUS 143 IN 1238.57 SECONDS stats: 21282 7 1238.57 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/wulflinc1/normalized-mps-v2-13-7-standata.opb c reading problem ... done. Time 119.862 ms. c #vars 20142 c #constraints 615 c starts : 1 c conflicts : 59 c decisions : 8444 c propagations : 20520 c inspects : 38449 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 58 c root simplifications : 2 s UNKNOWN c Total CPU time (ms) : 1239.002 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.97 0.99 2/55 21686 Raw data (stat): 21686 (runsolver) R 21685 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 723782525 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.001 s] Raw data (loadavg): 1.01 0.98 0.99 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 829 37 0 0 25 0 10 0 723782525 855822336 20037 4294967295 134512640 134569956 3221224368 3221214656 1131217037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208941 20037 13086 16 0 208925 0 vsize: 835764 [startup+20.0038 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 21695 Raw data (stat): 21686 (java) S 21685 8378 8377 0 -1 0 18017 0 1 0 1709 38 0 0 25 0 10 0 723782525 855822336 20659 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208941 20659 13086 16 0 208925 0 vsize: 835764 [startup+30.0036 s] Raw data (loadavg): 1.08 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 2584 38 0 0 25 0 10 0 723782525 855822336 21127 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208941 21127 13086 16 0 208925 0 vsize: 835764 [startup+40.0051 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 3482 38 0 0 25 0 10 0 723782525 855822336 21503 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 21503 13086 16 0 208925 0 vsize: 835764 [startup+50.0053 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 4387 38 0 0 19 0 10 0 723782525 855822336 21739 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 21739 13086 16 0 208925 0 vsize: 835764 [startup+60.005 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 5296 39 0 0 23 0 10 0 723782525 855822336 21926 4294967295 134512640 134569956 3221224368 3221214776 1131337976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 21926 13086 16 0 208925 0 vsize: 835764 [startup+70.0058 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 6213 39 0 0 25 0 10 0 723782525 855822336 22153 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22153 13086 16 0 208925 0 vsize: 835764 [startup+80.0067 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 7137 39 0 0 25 0 10 0 723782525 855822336 22306 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22306 13086 16 0 208925 0 vsize: 835764 [startup+90.0073 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 8068 40 0 0 25 0 10 0 723782525 855822336 22436 4294967295 134512640 134569956 3221224368 3221214056 1131319217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22436 13086 16 0 208925 0 vsize: 835764 [startup+100.007 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 8997 40 0 0 25 0 10 0 723782525 855822336 22551 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22551 13086 16 0 208925 0 vsize: 835764 [startup+110.007 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 9916 40 0 0 25 0 10 0 723782525 855822336 22662 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22662 13086 16 0 208925 0 vsize: 835764 [startup+120.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 21695 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 10834 41 0 0 25 0 10 0 723782525 855822336 22859 4294967295 134512640 134569956 3221224368 3221213696 1131266815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208941 22859 13086 16 0 208925 0 vsize: 835764 [startup+130.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 11745 41 0 0 25 0 11 0 723782525 856350720 23774 4294967295 134512640 134569956 3221224368 3221214572 1131426208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 23774 13086 16 0 209054 0 vsize: 836280 [startup+140.008 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 12745 41 0 0 25 0 11 0 723782525 856350720 23774 4294967295 134512640 134569956 3221224368 3221214576 1131426868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 23774 13086 16 0 209054 0 vsize: 836280 [startup+150.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 13698 42 0 0 20 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214576 1131329653 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 24786 13086 16 0 209054 0 vsize: 836280 [startup+160.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 14654 42 0 0 25 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 24786 13086 16 0 209054 0 vsize: 836280 [startup+170.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 15607 42 0 0 25 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214584 1131201414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 24786 13086 16 0 209054 0 vsize: 836280 [startup+180.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 16578 42 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214672 1131365300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 17572 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214584 1131201433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 18566 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+210.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 19560 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214672 1131366440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 20553 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+230.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 21548 44 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25041 13086 16 0 209054 0 vsize: 836280 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 22545 44 0 0 25 0 11 0 723782525 856350720 25042 4294967295 134512640 134569956 3221224368 3221214576 1131329422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25042 13086 16 0 209054 0 vsize: 836280 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 23538 44 0 0 25 0 11 0 723782525 856350720 25047 4294967295 134512640 134569956 3221224368 3221214736 1131402047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25047 13086 16 0 209054 0 vsize: 836280 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 24498 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214600 1131329441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25052 13086 16 0 209054 0 vsize: 836280 [startup+270.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 25465 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214632 1131294048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25052 13086 16 0 209054 0 vsize: 836280 [startup+280.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 26440 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214672 1131369454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25052 13086 16 0 209054 0 vsize: 836280 [startup+290.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 27402 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214672 1131369820 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25052 13086 16 0 209054 0 vsize: 836280 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 28388 45 0 0 25 0 11 0 723782525 856350720 25305 4294967295 134512640 134569956 3221224368 3221214672 1131369820 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25305 13086 16 0 209054 0 vsize: 836280 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 29385 45 0 0 25 0 11 0 723782525 856350720 25308 4294967295 134512640 134569956 3221224368 3221214576 1131325549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25308 13086 16 0 209054 0 vsize: 836280 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 30380 45 0 0 25 0 11 0 723782525 856350720 25312 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25312 13086 16 0 209054 0 vsize: 836280 [startup+330.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 31376 45 0 0 25 0 11 0 723782525 856350720 25318 4294967295 134512640 134569956 3221224368 3221214576 1131329441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25318 13086 16 0 209054 0 vsize: 836280 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 32370 45 0 0 25 0 11 0 723782525 856350720 25318 4294967295 134512640 134569956 3221224368 3221214664 1131184039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25318 13086 16 0 209054 0 vsize: 836280 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 33365 45 0 0 25 0 11 0 723782525 856350720 25321 4294967295 134512640 134569956 3221224368 3221214672 1131363711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25321 13086 16 0 209054 0 vsize: 836280 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 34360 46 0 0 25 0 11 0 723782525 856350720 25338 4294967295 134512640 134569956 3221224368 3221214672 1131363921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25338 13086 16 0 209054 0 vsize: 836280 [startup+370.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 35356 46 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214672 1131366489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25346 13086 16 0 209054 0 vsize: 836280 [startup+380.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 36347 46 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214632 1131251306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25346 13086 16 0 209054 0 vsize: 836280 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 37311 47 0 0 24 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214600 1131329687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25346 13086 16 0 209054 0 vsize: 836280 [startup+400.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 38247 47 0 0 24 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214592 1131251304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25346 13086 16 0 209054 0 vsize: 836280 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 39226 47 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214672 1131369454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25346 13086 16 0 209054 0 vsize: 836280 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 40197 47 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25354 13086 16 0 209054 0 vsize: 836280 [startup+430.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 41178 48 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214544 1131317041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25354 13086 16 0 209054 0 vsize: 836280 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 42160 48 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214608 1131327822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25354 13086 16 0 209054 0 vsize: 836280 [startup+450.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 43109 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214672 1131365125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25612 13086 16 0 209054 0 vsize: 836280 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 44082 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214736 1131403529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25612 13086 16 0 209054 0 vsize: 836280 [startup+470.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 45066 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214568 1131467459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25612 13086 16 0 209054 0 vsize: 836280 [startup+480.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 46040 48 0 0 25 0 11 0 723782525 856350720 25613 4294967295 134512640 134569956 3221224368 3221214544 1131316846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25613 13086 16 0 209054 0 vsize: 836280 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 47026 49 0 0 25 0 11 0 723782525 856350720 25613 4294967295 134512640 134569956 3221224368 3221214576 1131325559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25613 13086 16 0 209054 0 vsize: 836280 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 47986 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214736 1131403634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25927 13086 16 0 209054 0 vsize: 836280 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 48972 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214708 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 25927 13086 16 0 209054 0 vsize: 836280 [startup+520.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 49946 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214576 1131329719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25927 13086 16 0 209054 0 vsize: 836280 [startup+530.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 50897 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214736 1131402047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25932 13086 16 0 209054 0 vsize: 836280 [startup+540.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 51876 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214736 1131402395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25932 13086 16 0 209054 0 vsize: 836280 [startup+550.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 52842 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214608 1131327857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 25932 13086 16 0 209054 0 vsize: 836280 [startup+560.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 53812 49 0 0 25 0 11 0 723782525 856350720 26185 4294967295 134512640 134569956 3221224368 3221214664 1131184046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26185 13086 16 0 209054 0 vsize: 836280 [startup+570.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 54764 50 0 0 25 0 11 0 723782525 856350720 26194 4294967295 134512640 134569956 3221224368 3221214736 1131402572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26194 13086 16 0 209054 0 vsize: 836280 [startup+580.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 55730 50 0 0 25 0 11 0 723782525 856350720 26194 4294967295 134512640 134569956 3221224368 3221214568 1131467545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 26194 13086 16 0 209054 0 vsize: 836280 [startup+590.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 56688 50 0 0 24 0 11 0 723782525 856350720 26446 4294967295 134512640 134569956 3221224368 3221214696 1131482813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26446 13086 16 0 209054 0 vsize: 836280 [startup+600.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 57668 50 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214672 1131369372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26733 13086 16 0 209054 0 vsize: 836280 [startup+610.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 58639 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214640 1131329441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 26733 13086 16 0 209054 0 vsize: 836280 [startup+620.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 59617 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214736 1131402816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26733 13086 16 0 209054 0 vsize: 836280 [startup+630.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 60601 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214632 1131294104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26733 13086 16 0 209054 0 vsize: 836280 [startup+640.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 61567 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214576 1131326212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26733 13086 16 0 209054 0 vsize: 836280 [startup+650.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 62521 52 0 0 25 0 11 0 723782525 856350720 26817 4294967295 134512640 134569956 3221224368 3221214736 1131402159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 26817 13086 16 0 209054 0 vsize: 836280 [startup+660.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 63500 52 0 0 25 0 11 0 723782525 856350720 26817 4294967295 134512640 134569956 3221224368 3221213536 1131196030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 26817 13086 16 0 209054 0 vsize: 836280 [startup+670.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 64475 52 0 0 25 0 11 0 723782525 856350720 27079 4294967295 134512640 134569956 3221224368 3221214576 1131331126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 27079 13086 16 0 209054 0 vsize: 836280 [startup+680.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 65417 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27092 13086 16 0 209054 0 vsize: 836280 [startup+690.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 66397 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214536 1131249392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27092 13086 16 0 209054 0 vsize: 836280 [startup+700.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 67386 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214640 1131443758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27092 13086 16 0 209054 0 vsize: 836280 [startup+710.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 68297 53 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214736 1131403134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 27092 13086 16 0 209054 0 vsize: 836280 [startup+720.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 69273 53 0 0 25 0 11 0 723782525 856350720 27381 4294967295 134512640 134569956 3221224368 3221214568 1131467491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27381 13086 16 0 209054 0 vsize: 836280 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 70232 53 0 0 25 0 11 0 723782525 856350720 27634 4294967295 134512640 134569956 3221224368 3221214616 1131399625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 27634 13086 16 0 209054 0 vsize: 836280 [startup+740.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 71209 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214672 1131363928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27906 13086 16 0 209054 0 vsize: 836280 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 72189 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27906 13086 16 0 209054 0 vsize: 836280 [startup+760.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 73177 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214768 1131430752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27906 13086 16 0 209054 0 vsize: 836280 [startup+770.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 74158 53 0 0 25 0 11 0 723782525 856350720 27909 4294967295 134512640 134569956 3221224368 3221214576 1131329401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27909 13086 16 0 209054 0 vsize: 836280 [startup+780.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 75083 53 0 0 25 0 11 0 723782525 856350720 27919 4294967295 134512640 134569956 3221224368 3221214672 1131369268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 27919 13086 16 0 209054 0 vsize: 836280 [startup+790.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 76008 53 0 0 25 0 11 0 723782525 856350720 28179 4294967295 134512640 134569956 3221224368 3221214576 1131329617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28179 13086 16 0 209054 0 vsize: 836280 [startup+800.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 76976 53 0 0 25 0 11 0 723782525 856350720 28198 4294967295 134512640 134569956 3221224368 3221214736 1131402374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28198 13086 16 0 209054 0 vsize: 836280 [startup+810.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 77952 53 0 0 25 0 11 0 723782525 856350720 28198 4294967295 134512640 134569956 3221224368 3221214632 1131294078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28198 13086 16 0 209054 0 vsize: 836280 [startup+820.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 78910 53 0 0 25 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28577 13086 16 0 209054 0 vsize: 836280 [startup+830.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 79877 53 0 0 25 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214576 1131329578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28577 13086 16 0 209054 0 vsize: 836280 [startup+840.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 80840 53 0 0 24 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214576 1131325685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28577 13086 16 0 209054 0 vsize: 836280 [startup+850.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 81823 54 0 0 25 0 11 0 723782525 856350720 28834 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28834 13086 16 0 209054 0 vsize: 836280 [startup+860.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 82820 54 0 0 25 0 11 0 723782525 856350720 28834 4294967295 134512640 134569956 3221224368 3221214672 1131363928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28834 13086 16 0 209054 0 vsize: 836280 [startup+870.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 83817 54 0 0 25 0 11 0 723782525 856350720 28837 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28837 13086 16 0 209054 0 vsize: 836280 [startup+880.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 84813 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+890.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 85811 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+900.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 86807 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+910.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 87802 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131331148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+920.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 88796 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131330689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+930.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 89792 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131325590 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28840 13086 16 0 209054 0 vsize: 836280 [startup+940.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 90788 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131331129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28854 13086 16 0 209054 0 vsize: 836280 [startup+950.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 91786 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131329687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28854 13086 16 0 209054 0 vsize: 836280 [startup+960.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 92782 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214664 1131184039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28854 13086 16 0 209054 0 vsize: 836280 [startup+970.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 93778 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131331094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28854 13086 16 0 209054 0 vsize: 836280 [startup+980.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 94775 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131330689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28854 13086 16 0 209054 0 vsize: 836280 [startup+990.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 95772 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 96769 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131369014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 97764 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214576 1131330114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 98760 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131363901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 99755 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131366067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 100751 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131369372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28857 13086 16 0 209054 0 vsize: 836280 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 101747 57 0 0 25 0 11 0 723782525 856350720 28866 4294967295 134512640 134569956 3221224368 3221214736 1131402322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28866 13086 16 0 209054 0 vsize: 836280 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 102725 57 0 0 24 0 11 0 723782525 856350720 28866 4294967295 134512640 134569956 3221224368 3221214600 1131329566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28866 13086 16 0 209054 0 vsize: 836280 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 103686 57 0 0 25 0 11 0 723782525 856350720 28867 4294967295 134512640 134569956 3221224368 3221214696 1131483146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209070 28867 13086 16 0 209054 0 vsize: 836280 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 1.00 3/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 104663 58 0 0 25 0 11 0 723782525 856514560 28885 4294967295 134512640 134569956 3221224368 3221214672 1131365300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209110 28885 13086 16 0 209094 0 vsize: 836440 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 105617 58 0 0 25 0 11 0 723782525 857022464 29024 4294967295 134512640 134569956 3221224368 3221214576 1131329422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29024 13086 16 0 209218 0 vsize: 836936 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 106571 58 0 0 25 0 11 0 723782525 857022464 29279 4294967295 134512640 134569956 3221224368 3221214672 1131363730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29279 13086 16 0 209218 0 vsize: 836936 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 107553 58 0 0 25 0 11 0 723782525 857022464 29279 4294967295 134512640 134569956 3221224368 3221214664 1131184060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29279 13086 16 0 209218 0 vsize: 836936 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 108545 58 0 0 25 0 11 0 723782525 857022464 29366 4294967295 134512640 134569956 3221224368 3221214584 1131201437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29366 13086 16 0 209218 0 vsize: 836936 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 109543 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29367 13086 16 0 209218 0 vsize: 836936 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 110540 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29367 13086 16 0 209218 0 vsize: 836936 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 111539 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29367 13086 16 0 209218 0 vsize: 836936 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 112537 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131493039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 29367 13086 16 0 209218 0 vsize: 836936 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 113535 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131493051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209234 29367 13086 16 0 209218 0 vsize: 836936 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 114530 58 0 0 25 0 11 0 723782525 856350720 29227 4294967295 134512640 134569956 3221224368 3221214600 1131193689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29227 13086 16 0 209054 0 vsize: 836280 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 115523 58 0 0 25 0 11 0 723782525 856350720 29227 4294967295 134512640 134569956 3221224368 3221214584 1131428571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29227 13086 16 0 209054 0 vsize: 836280 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 116517 58 0 0 25 0 11 0 723782525 856350720 29232 4294967295 134512640 134569956 3221224368 3221214624 1131547240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29232 13086 16 0 209054 0 vsize: 836280 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 117513 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214480 1131492743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29233 13086 16 0 209054 0 vsize: 836280 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 118506 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214480 1131251306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29233 13086 16 0 209054 0 vsize: 836280 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 119503 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214624 1131547104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29233 13086 16 0 209054 0 vsize: 836280 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 21696 Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 120500 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214620 1131400804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209070 29233 13086 16 0 209054 0 vsize: 836280 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 21698 Raw data (stat): 21686 (java) Z 21685 8378 8377 0 -1 1036 18082 10218 1 0 120503 58 3263 31 25 0 1 0 723782525 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): 1240.12 CPU time (s): 1238.57 CPU user time (s): 1237.67 CPU system time (s): 0.902862 CPU usage (%): 99.8749 Max. virtual memory (Kb): 836936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####