Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb |
MD5SUM | 640a68756f6bc046860dd4d0fa3890ca |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 105 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 10485755 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 2396687647113216000 |
Number of bits of the biggest number in a constraint | 62 |
Biggest sum of numbers in a constraint | 282492798299765243904 |
Number of bits of the biggest sum of numbers | 68 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 28623 |
Total number of constraints | 2841 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1377 |
Number of constraints which are nor clauses,nor cardinality constraints | 1464 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3188 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 15:05:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21527 boxname=wulflinc24 idbench=1515 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 640a68756f6bc046860dd4d0fa3890ca /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-neos3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-neos3.opb IDLAUNCH: 21527 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 635864 kB Buffers: 31588 kB Cached: 344748 kB SwapCached: 588 kB Active: 71484 kB Inactive: 306888 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 635612 kB SwapTotal: 2097892 kB SwapFree: 2096416 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5160 kB Slab: 14776 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 15:26:16 (client local time) WITH STATUS 143 IN 1229.12 SECONDS stats: 21527 7 1229.12 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/wulflinc24/normalized-mps-v2-13-7-neos3.opb c reading problem ... done. Time 240.502 ms. c #vars 28623 c #constraints 1537 c starts : 1 c conflicts : 45 c decisions : 7492 c propagations : 39899 c inspects : 75558 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 44 c root simplifications : 18 s UNKNOWN c Total CPU time (ms) : 1229.128 #### 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.95 1.00 1.00 2/54 22685 Raw data (stat): 22685 (runsolver) R 22684 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839822090 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.0006 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18025 0 1 0 867 37 0 0 25 0 10 0 839822090 853843968 19459 4294967295 134512640 134569956 3221224368 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208458 19459 13086 16 0 208442 0 vsize: 833832 [startup+20.0003 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 1765 37 0 0 25 0 10 0 839822090 855625728 20315 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208893 20315 13086 16 0 208877 0 vsize: 835572 [startup+30.0011 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 2648 38 0 0 24 0 10 0 839822090 854577152 20639 4294967295 134512640 134569956 3221224368 3221214404 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208637 20639 13086 16 0 208621 0 vsize: 834548 [startup+40.0008 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 3558 38 0 0 25 0 10 0 839822090 854577152 20993 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208637 20993 13086 16 0 208621 0 vsize: 834548 [startup+50.0015 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 4478 38 0 0 25 0 10 0 839822090 854577152 21124 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208637 21124 13086 16 0 208621 0 vsize: 834548 [startup+60.0012 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 5388 38 0 0 25 0 10 0 839822090 854577152 21291 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21291 13086 16 0 208621 0 vsize: 834548 [startup+70.0008 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 6310 39 0 0 25 0 10 0 839822090 854577152 21463 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21463 13086 16 0 208621 0 vsize: 834548 [startup+80.0016 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 7244 39 0 0 25 0 10 0 839822090 854577152 21611 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21611 13086 16 0 208621 0 vsize: 834548 [startup+90.0013 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 8181 40 0 0 24 0 10 0 839822090 854577152 21700 4294967295 134512640 134569956 3221224368 3221214768 1131189155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21700 13086 16 0 208621 0 vsize: 834548 [startup+100.002 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 9121 40 0 0 25 0 10 0 839822090 854577152 21815 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21815 13086 16 0 208621 0 vsize: 834548 [startup+110.003 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 10063 41 0 0 25 0 10 0 839822090 854577152 21894 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21894 13086 16 0 208621 0 vsize: 834548 [startup+120.003 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 10991 41 0 0 25 0 10 0 839822090 854577152 21956 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 21956 13086 16 0 208621 0 vsize: 834548 [startup+130.003 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 11919 41 0 0 25 0 10 0 839822090 854577152 22133 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22133 13086 16 0 208621 0 vsize: 834548 [startup+140.004 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 12864 41 0 0 24 0 10 0 839822090 854577152 22202 4294967295 134512640 134569956 3221224368 3221214176 1076461259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22202 13086 16 0 208621 0 vsize: 834548 [startup+150.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 13806 41 0 0 25 0 10 0 839822090 854577152 22258 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22258 13086 16 0 208621 0 vsize: 834548 [startup+160.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 14734 42 0 0 25 0 10 0 839822090 854577152 22308 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22308 13086 16 0 208621 0 vsize: 834548 [startup+170.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 15668 42 0 0 25 0 10 0 839822090 854577152 22482 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22482 13086 16 0 208621 0 vsize: 834548 [startup+180.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 16604 42 0 0 25 0 10 0 839822090 854577152 22540 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22540 13086 16 0 208621 0 vsize: 834548 [startup+190.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 17529 43 0 0 25 0 10 0 839822090 854577152 22591 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22591 13086 16 0 208621 0 vsize: 834548 [startup+200.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 18445 43 0 0 25 0 10 0 839822090 854577152 22795 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22795 13086 16 0 208621 0 vsize: 834548 [startup+210.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 19372 43 0 0 25 0 10 0 839822090 854577152 22960 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 22960 13086 16 0 208621 0 vsize: 834548 [startup+220.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 20312 44 0 0 25 0 10 0 839822090 854577152 23012 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 23012 13086 16 0 208621 0 vsize: 834548 [startup+230.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18026 0 1 0 21252 45 0 0 25 0 10 0 839822090 854577152 23063 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 23063 13086 16 0 208621 0 vsize: 834548 [startup+240.008 s] Raw data (loadavg): 1.00 1.00 1.00 3/63 22694 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18027 0 1 0 22166 46 0 0 25 0 10 0 839822090 854577152 24489 4294967295 134512640 134569956 3221224368 3221214432 1131328762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208637 24489 13086 16 0 208621 0 vsize: 834548 [startup+250.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18055 0 1 0 23101 47 0 0 25 0 11 0 839822090 856154112 26750 4294967295 134512640 134569956 3221224368 3221214536 1131320553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26750 13086 16 0 209006 0 vsize: 836088 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18057 0 1 0 24095 48 0 0 25 0 11 0 839822090 856154112 26753 4294967295 134512640 134569956 3221224368 3221214684 1130897496 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26753 13086 16 0 209006 0 vsize: 836088 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18065 0 1 0 25081 48 0 0 25 0 11 0 839822090 856154112 26768 4294967295 134512640 134569956 3221224368 3221214184 1131228467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26768 13086 16 0 209006 0 vsize: 836088 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18065 0 1 0 26079 48 0 0 25 0 11 0 839822090 856154112 26770 4294967295 134512640 134569956 3221224368 3221214560 1131331257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26770 13086 16 0 209006 0 vsize: 836088 [startup+290.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18065 0 1 0 27066 49 0 0 25 0 11 0 839822090 856154112 26770 4294967295 134512640 134569956 3221224368 3221214536 1131320553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26770 13086 16 0 209006 0 vsize: 836088 [startup+300.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18066 0 1 0 28042 49 0 0 25 0 11 0 839822090 856154112 26776 4294967295 134512640 134569956 3221224368 3221214536 1131321991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26776 13086 16 0 209006 0 vsize: 836088 [startup+310.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18066 0 1 0 29016 49 0 0 25 0 11 0 839822090 856154112 26777 4294967295 134512640 134569956 3221224368 3221214536 1131320676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26777 13086 16 0 209006 0 vsize: 836088 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18073 0 1 0 30001 50 0 0 25 0 11 0 839822090 856154112 26926 4294967295 134512640 134569956 3221224368 3221214592 1131414492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209022 26926 13086 16 0 209006 0 vsize: 836088 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18073 0 1 0 30988 50 0 0 25 0 11 0 839822090 859299840 27718 4294967295 134512640 134569956 3221224368 3221214608 1131279264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27718 13086 16 0 209774 0 vsize: 839160 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18073 0 1 0 31980 50 0 0 25 0 11 0 839822090 859299840 27727 4294967295 134512640 134569956 3221224368 3221214588 1131194995 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27727 13086 16 0 209774 0 vsize: 839160 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 32973 50 0 0 25 0 11 0 839822090 859299840 27729 4294967295 134512640 134569956 3221224368 3221214608 1131279343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 27729 13086 16 0 209774 0 vsize: 839160 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 33964 50 0 0 25 0 11 0 839822090 859299840 27797 4294967295 134512640 134569956 3221224368 3221214512 1131245448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27797 13086 16 0 209774 0 vsize: 839160 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 34956 50 0 0 25 0 11 0 839822090 859299840 27827 4294967295 134512640 134569956 3221224368 3221214512 1131442798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 27827 13086 16 0 209774 0 vsize: 839160 [startup+380.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 35950 50 0 0 25 0 11 0 839822090 859299840 27828 4294967295 134512640 134569956 3221224368 3221214608 1131279271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27828 13086 16 0 209774 0 vsize: 839160 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 36944 50 0 0 25 0 11 0 839822090 859299840 27828 4294967295 134512640 134569956 3221224368 3221214592 1131414808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27828 13086 16 0 209774 0 vsize: 839160 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 37936 50 0 0 25 0 11 0 839822090 859299840 27828 4294967295 134512640 134569956 3221224368 3221214512 1131246224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27828 13086 16 0 209774 0 vsize: 839160 [startup+410.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 38929 51 0 0 25 0 11 0 839822090 859299840 27861 4294967295 134512640 134569956 3221224368 3221214592 1131414612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27861 13086 16 0 209774 0 vsize: 839160 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 39915 51 0 0 25 0 11 0 839822090 859299840 27918 4294967295 134512640 134569956 3221224368 3221214676 1131326163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27918 13086 16 0 209774 0 vsize: 839160 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 40906 51 0 0 25 0 11 0 839822090 859299840 27945 4294967295 134512640 134569956 3221224368 3221214588 1131340900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27945 13086 16 0 209774 0 vsize: 839160 [startup+440.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 41901 51 0 0 25 0 11 0 839822090 859299840 27945 4294967295 134512640 134569956 3221224368 3221214512 1131246204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27945 13086 16 0 209774 0 vsize: 839160 [startup+450.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 42894 51 0 0 25 0 11 0 839822090 859299840 27973 4294967295 134512640 134569956 3221224368 3221214592 1131414523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27973 13086 16 0 209774 0 vsize: 839160 [startup+460.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 43887 51 0 0 25 0 11 0 839822090 859299840 27973 4294967295 134512640 134569956 3221224368 3221214512 1131245605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27973 13086 16 0 209774 0 vsize: 839160 [startup+470.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 44880 51 0 0 25 0 11 0 839822090 859299840 27973 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 27973 13086 16 0 209774 0 vsize: 839160 [startup+480.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 45871 51 0 0 25 0 11 0 839822090 859299840 28002 4294967295 134512640 134569956 3221224368 3221214592 1131414436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28002 13086 16 0 209774 0 vsize: 839160 [startup+490.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 46863 51 0 0 25 0 11 0 839822090 859299840 28002 4294967295 134512640 134569956 3221224368 3221214512 1131442108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28002 13086 16 0 209774 0 vsize: 839160 [startup+500.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 47847 51 0 0 25 0 11 0 839822090 859299840 28029 4294967295 134512640 134569956 3221224368 3221214536 1131320509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28029 13086 16 0 209774 0 vsize: 839160 [startup+510.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) S 22684 4613 4612 0 -1 0 18074 0 1 0 48831 51 0 0 25 0 11 0 839822090 859299840 28085 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28085 13086 16 0 209774 0 vsize: 839160 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 49816 51 0 0 25 0 11 0 839822090 859299840 28114 4294967295 134512640 134569956 3221224368 3221214680 1131353773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28114 13086 16 0 209774 0 vsize: 839160 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 50796 51 0 0 25 0 11 0 839822090 859299840 28172 4294967295 134512640 134569956 3221224368 3221214680 1131353615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28172 13086 16 0 209774 0 vsize: 839160 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 51780 51 0 0 25 0 11 0 839822090 859299840 28204 4294967295 134512640 134569956 3221224368 3221214536 1131320553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28204 13086 16 0 209774 0 vsize: 839160 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 52766 51 0 0 25 0 11 0 839822090 859299840 28204 4294967295 134512640 134569956 3221224368 3221214680 1131355473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28204 13086 16 0 209774 0 vsize: 839160 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 53754 51 0 0 25 0 11 0 839822090 859299840 28290 4294967295 134512640 134569956 3221224368 3221214536 1131320731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28290 13086 16 0 209774 0 vsize: 839160 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18074 0 1 0 54745 51 0 0 25 0 11 0 839822090 859299840 28291 4294967295 134512640 134569956 3221224368 3221214616 1131326180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28291 13086 16 0 209774 0 vsize: 839160 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 55737 51 0 0 25 0 11 0 839822090 859299840 28293 4294967295 134512640 134569956 3221224368 3221214536 1131320459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28293 13086 16 0 209774 0 vsize: 839160 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 56731 51 0 0 25 0 11 0 839822090 859299840 28323 4294967295 134512640 134569956 3221224368 3221214536 1131320839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28323 13086 16 0 209774 0 vsize: 839160 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 57727 51 0 0 25 0 11 0 839822090 859299840 28325 4294967295 134512640 134569956 3221224368 3221214616 1131326573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28325 13086 16 0 209774 0 vsize: 839160 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 58721 51 0 0 25 0 11 0 839822090 859299840 28330 4294967295 134512640 134569956 3221224368 3221214616 1131326614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28330 13086 16 0 209774 0 vsize: 839160 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 59717 52 0 0 25 0 11 0 839822090 859299840 28334 4294967295 134512640 134569956 3221224368 3221214536 1131321009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28334 13086 16 0 209774 0 vsize: 839160 [startup+630.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 60714 52 0 0 25 0 11 0 839822090 859299840 28338 4294967295 134512640 134569956 3221224368 3221214536 1131322013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28338 13086 16 0 209774 0 vsize: 839160 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 61711 52 0 0 25 0 11 0 839822090 859299840 28341 4294967295 134512640 134569956 3221224368 3221214536 1131321324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28341 13086 16 0 209774 0 vsize: 839160 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 62707 52 0 0 25 0 11 0 839822090 859299840 28341 4294967295 134512640 134569956 3221224368 3221214536 1131321101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28341 13086 16 0 209774 0 vsize: 839160 [startup+660.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 63704 52 0 0 25 0 11 0 839822090 859299840 28341 4294967295 134512640 134569956 3221224368 3221214680 1131354726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28341 13086 16 0 209774 0 vsize: 839160 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 64701 52 0 0 25 0 11 0 839822090 859299840 28341 4294967295 134512640 134569956 3221224368 3221214536 1131320652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28341 13086 16 0 209774 0 vsize: 839160 [startup+680.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 65698 52 0 0 25 0 11 0 839822090 859299840 28343 4294967295 134512640 134569956 3221224368 3221214680 1131353786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28343 13086 16 0 209774 0 vsize: 839160 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 66695 52 0 0 25 0 11 0 839822090 859299840 28343 4294967295 134512640 134569956 3221224368 3221214624 1131229909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28343 13086 16 0 209774 0 vsize: 839160 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 67692 52 0 0 25 0 11 0 839822090 859299840 28343 4294967295 134512640 134569956 3221224368 3221214536 1131321030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28343 13086 16 0 209774 0 vsize: 839160 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 68689 52 0 0 25 0 11 0 839822090 859299840 28346 4294967295 134512640 134569956 3221224368 3221214536 1131321399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28346 13086 16 0 209774 0 vsize: 839160 [startup+720.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 69687 52 0 0 25 0 11 0 839822090 859299840 28346 4294967295 134512640 134569956 3221224368 3221214536 1131320509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28346 13086 16 0 209774 0 vsize: 839160 [startup+730.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 70684 52 0 0 25 0 11 0 839822090 859299840 28346 4294967295 134512640 134569956 3221224368 3221214712 1131345083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28346 13086 16 0 209774 0 vsize: 839160 [startup+740.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 71678 53 0 0 25 0 11 0 839822090 859299840 28349 4294967295 134512640 134569956 3221224368 3221214616 1131326210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28349 13086 16 0 209774 0 vsize: 839160 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 72672 53 0 0 25 0 11 0 839822090 859299840 28349 4294967295 134512640 134569956 3221224368 3221214512 1131245690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28349 13086 16 0 209774 0 vsize: 839160 [startup+760.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 73668 53 0 0 25 0 11 0 839822090 859299840 28349 4294967295 134512640 134569956 3221224368 3221214592 1131414492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28349 13086 16 0 209774 0 vsize: 839160 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 74663 53 0 0 25 0 11 0 839822090 859299840 28349 4294967295 134512640 134569956 3221224368 3221214512 1131442108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28349 13086 16 0 209774 0 vsize: 839160 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 75657 53 0 0 25 0 11 0 839822090 859299840 28379 4294967295 134512640 134569956 3221224368 3221214616 1131326532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28379 13086 16 0 209774 0 vsize: 839160 [startup+790.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 76648 53 0 0 25 0 11 0 839822090 859299840 28379 4294967295 134512640 134569956 3221224368 3221214536 1131320544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28379 13086 16 0 209774 0 vsize: 839160 [startup+800.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 77638 53 0 0 25 0 11 0 839822090 859299840 28379 4294967295 134512640 134569956 3221224368 3221214536 1131322034 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28379 13086 16 0 209774 0 vsize: 839160 [startup+810.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 78630 53 0 0 25 0 11 0 839822090 859299840 28411 4294967295 134512640 134569956 3221224368 3221214512 1131442822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28411 13086 16 0 209774 0 vsize: 839160 [startup+820.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 79624 53 0 0 25 0 11 0 839822090 859299840 28411 4294967295 134512640 134569956 3221224368 3221214496 1131245764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28411 13086 16 0 209774 0 vsize: 839160 [startup+830.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 80618 53 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214512 1131442714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+840.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 81613 53 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214608 1131279413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+850.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 82608 53 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214512 1131245729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+860.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 83603 53 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214504 1131272577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+870.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 84598 54 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214608 1131279377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+880.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 85593 54 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214536 1131320470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 86586 54 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214592 1131415215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 87579 54 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214608 1131279264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 88572 54 0 0 25 0 11 0 839822090 859299840 28446 4294967295 134512640 134569956 3221224368 3221214512 1131443800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28446 13086 16 0 209774 0 vsize: 839160 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 89563 54 0 0 25 0 11 0 839822090 859299840 28447 4294967295 134512640 134569956 3221224368 3221214592 1131414492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28447 13086 16 0 209774 0 vsize: 839160 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 90554 54 0 0 25 0 11 0 839822090 859299840 28447 4294967295 134512640 134569956 3221224368 3221214592 1131414914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28447 13086 16 0 209774 0 vsize: 839160 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 91545 54 0 0 25 0 11 0 839822090 859299840 28447 4294967295 134512640 134569956 3221224368 3221214496 1131245448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28447 13086 16 0 209774 0 vsize: 839160 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 92536 54 0 0 25 0 11 0 839822090 859299840 28447 4294967295 134512640 134569956 3221224368 3221214608 1131279271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28447 13086 16 0 209774 0 vsize: 839160 [startup+960.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 93525 54 0 0 25 0 11 0 839822090 859299840 28530 4294967295 134512640 134569956 3221224368 3221214512 1131245709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28530 13086 16 0 209774 0 vsize: 839160 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 94518 54 0 0 25 0 11 0 839822090 859299840 28530 4294967295 134512640 134569956 3221224368 3221213900 1077378128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28530 13086 16 0 209774 0 vsize: 839160 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 95510 54 0 0 24 0 11 0 839822090 859299840 28530 4294967295 134512640 134569956 3221224368 3221214680 1131353615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28530 13086 16 0 209774 0 vsize: 839160 [startup+990.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 96493 54 0 0 25 0 11 0 839822090 859299840 28530 4294967295 134512640 134569956 3221224368 3221214680 1131356234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28530 13086 16 0 209774 0 vsize: 839160 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 97476 54 0 0 25 0 11 0 839822090 859299840 28530 4294967295 134512640 134569956 3221224368 3221214624 1131229913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28530 13086 16 0 209774 0 vsize: 839160 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 98463 54 0 0 25 0 11 0 839822090 859299840 28598 4294967295 134512640 134569956 3221224368 3221214680 1131356170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28598 13086 16 0 209774 0 vsize: 839160 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 99450 54 0 0 25 0 11 0 839822090 859299840 28661 4294967295 134512640 134569956 3221224368 3221214528 1131227968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28661 13086 16 0 209774 0 vsize: 839160 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 100442 54 0 0 25 0 11 0 839822090 859299840 28661 4294967295 134512640 134569956 3221224368 3221214616 1131326390 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28661 13086 16 0 209774 0 vsize: 839160 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 101433 55 0 0 25 0 11 0 839822090 859299840 28661 4294967295 134512640 134569956 3221224368 3221214536 1131320927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28661 13086 16 0 209774 0 vsize: 839160 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 102427 55 0 0 25 0 11 0 839822090 859299840 28695 4294967295 134512640 134569956 3221224368 3221214536 1131320565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28695 13086 16 0 209774 0 vsize: 839160 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 103414 55 0 0 25 0 11 0 839822090 859299840 28696 4294967295 134512640 134569956 3221224368 3221214680 1131353615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28696 13086 16 0 209774 0 vsize: 839160 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 104402 55 0 0 25 0 11 0 839822090 859299840 28696 4294967295 134512640 134569956 3221224368 3221214536 1131320415 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28696 13086 16 0 209774 0 vsize: 839160 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 105389 55 0 0 25 0 11 0 839822090 859299840 28760 4294967295 134512640 134569956 3221224368 3221214676 1131326913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28760 13086 16 0 209774 0 vsize: 839160 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 106385 55 0 0 25 0 11 0 839822090 859299840 28762 4294967295 134512640 134569956 3221224368 3221214536 1131320553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 28762 13086 16 0 209774 0 vsize: 839160 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 107381 55 0 0 25 0 11 0 839822090 859299840 28763 4294967295 134512640 134569956 3221224368 3221214592 1131414504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28763 13086 16 0 209774 0 vsize: 839160 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 108376 55 0 0 25 0 11 0 839822090 859299840 28766 4294967295 134512640 134569956 3221224368 3221214568 1131195033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28766 13086 16 0 209774 0 vsize: 839160 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 109371 55 0 0 25 0 11 0 839822090 859299840 28767 4294967295 134512640 134569956 3221224368 3221214568 1131195033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28767 13086 16 0 209774 0 vsize: 839160 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 110367 55 0 0 25 0 11 0 839822090 859299840 28769 4294967295 134512640 134569956 3221224368 3221214504 1131272722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28769 13086 16 0 209774 0 vsize: 839160 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 111360 55 0 0 25 0 11 0 839822090 859299840 28770 4294967295 134512640 134569956 3221224368 3221214608 1131279271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28770 13086 16 0 209774 0 vsize: 839160 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 112351 55 0 0 25 0 11 0 839822090 859299840 28771 4294967295 134512640 134569956 3221224368 3221214512 1131442822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28771 13086 16 0 209774 0 vsize: 839160 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 113344 55 0 0 25 0 11 0 839822090 859299840 28772 4294967295 134512640 134569956 3221224368 3221214512 1131245605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28772 13086 16 0 209774 0 vsize: 839160 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 114333 55 0 0 25 0 11 0 839822090 859299840 28800 4294967295 134512640 134569956 3221224368 3221214592 1131414609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28800 13086 16 0 209774 0 vsize: 839160 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 115325 55 0 0 25 0 11 0 839822090 859299840 28800 4294967295 134512640 134569956 3221224368 3221214512 1131442087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28800 13086 16 0 209774 0 vsize: 839160 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 116313 55 0 0 25 0 11 0 839822090 859299840 28827 4294967295 134512640 134569956 3221224368 3221214592 1131414822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28827 13086 16 0 209774 0 vsize: 839160 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 117301 55 0 0 25 0 11 0 839822090 859299840 28854 4294967295 134512640 134569956 3221224368 3221214536 1131320676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28854 13086 16 0 209774 0 vsize: 839160 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 118289 55 0 0 25 0 11 0 839822090 859299840 28881 4294967295 134512640 134569956 3221224368 3221214512 1131442113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28881 13086 16 0 209774 0 vsize: 839160 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 119280 55 0 0 25 0 11 0 839822090 859299840 28881 4294967295 134512640 134569956 3221224368 3221214512 1131442760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28881 13086 16 0 209774 0 vsize: 839160 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22695 Raw data (stat): 22685 (java) R 22684 4613 4612 0 -1 0 18075 0 1 0 120268 55 0 0 25 0 11 0 839822090 859299840 28935 4294967295 134512640 134569956 3221224368 3221214568 1131195028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 28935 13086 16 0 209774 0 vsize: 839160 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 22697 Raw data (stat): 22685 (java) Z 22684 4613 4612 0 -1 1036 18075 9204 1 0 120270 55 2556 29 25 0 1 0 839822090 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.12 CPU time (s): 1229.12 CPU user time (s): 1228.27 CPU system time (s): 0.84887 CPU usage (%): 99.9185 Max. virtual memory (Kb): 839160 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####