Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb |
MD5SUM | fae1fae180d772ad3ee6c1acfa1c8b4f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 122 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2000000 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 30041153 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 2124 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-25 14:25:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21470 boxname=wulflinc28 idbench=1458 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: fae1fae180d772ad3ee6c1acfa1c8b4f /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-vpm2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-vpm2.opb IDLAUNCH: 21470 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 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: 537072 kB Buffers: 31984 kB Cached: 444256 kB SwapCached: 1052 kB Active: 54576 kB Inactive: 424232 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 536820 kB SwapTotal: 2097640 kB SwapFree: 2096168 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5464 kB Slab: 13244 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 14:45:47 (client local time) WITH STATUS 143 IN 1247.88 SECONDS stats: 21470 7 1247.88 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/wulflinc28/normalized-mps-v2-13-7-vpm2.opb c reading problem ... done. Time 4.114 ms. c #vars 2124 c #constraints 486 c starts : 9 c conflicts : 6048 c decisions : 9005 c propagations : 42154 c inspects : 5974489 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6048 c root simplifications : 28 s UNKNOWN c Total CPU time (ms) : 1239.077 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/54 6149 Raw data (stat): 6149 (runsolver) R 6148 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839586701 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.0014 s] Raw data (loadavg): 1.10 1.02 1.01 4/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18070 0 1 0 861 39 0 0 25 0 11 0 839586701 861552640 20491 4294967295 134512640 134569956 3221224368 3221214112 1080217219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210340 20491 13086 16 0 210324 0 vsize: 841360 [startup+20.0014 s] Raw data (loadavg): 1.39 1.08 1.03 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18077 0 1 0 1614 39 0 0 25 0 11 0 839586701 871026688 23814 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212653 23814 13086 16 0 212637 0 vsize: 850612 [startup+30.0011 s] Raw data (loadavg): 1.33 1.08 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 2547 39 0 0 25 0 11 0 839586701 868585472 23660 4294967295 134512640 134569956 3221224368 3221214744 1131237172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212057 23660 13086 16 0 212041 0 vsize: 848228 [startup+40.0014 s] Raw data (loadavg): 1.28 1.08 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 3489 40 0 0 25 0 11 0 839586701 867536896 23474 4294967295 134512640 134569956 3221224368 3221214744 1131237420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 23474 13086 16 0 211785 0 vsize: 847204 [startup+50.002 s] Raw data (loadavg): 1.24 1.07 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 4428 40 0 0 25 0 11 0 839586701 867536896 23784 4294967295 134512640 134569956 3221224368 3221214648 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 23784 13086 16 0 211785 0 vsize: 847204 [startup+60.0022 s] Raw data (loadavg): 1.20 1.07 1.02 2/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 5362 41 0 0 25 0 11 0 839586701 867536896 24030 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24030 13086 16 0 211785 0 vsize: 847204 [startup+70.0037 s] Raw data (loadavg): 1.17 1.07 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 6304 41 0 0 25 0 11 0 839586701 867536896 24258 4294967295 134512640 134569956 3221224368 3221214648 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24258 13086 16 0 211785 0 vsize: 847204 [startup+80.0042 s] Raw data (loadavg): 1.14 1.06 1.02 3/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 7245 41 0 0 25 0 11 0 839586701 867536896 24412 4294967295 134512640 134569956 3221224368 3221213128 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24412 13086 16 0 211785 0 vsize: 847204 [startup+90.0043 s] Raw data (loadavg): 1.12 1.06 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 8194 41 0 0 22 0 11 0 839586701 867536896 24652 4294967295 134512640 134569956 3221224368 3221214792 1131327460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24652 13086 16 0 211785 0 vsize: 847204 [startup+100.004 s] Raw data (loadavg): 1.10 1.06 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 9149 42 0 0 24 0 11 0 839586701 867536896 24835 4294967295 134512640 134569956 3221224368 3221214648 1131313847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24835 13086 16 0 211785 0 vsize: 847204 [startup+110.005 s] Raw data (loadavg): 1.09 1.06 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 10113 42 0 0 25 0 11 0 839586701 867536896 24942 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 24942 13086 16 0 211785 0 vsize: 847204 [startup+120.005 s] Raw data (loadavg): 1.07 1.05 1.02 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 11074 42 0 0 25 0 11 0 839586701 867536896 25063 4294967295 134512640 134569956 3221224368 3221214648 1131314075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25063 13086 16 0 211785 0 vsize: 847204 [startup+130.006 s] Raw data (loadavg): 1.06 1.05 1.02 2/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 12038 43 0 0 25 0 11 0 839586701 867536896 25182 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25182 13086 16 0 211785 0 vsize: 847204 [startup+140.006 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 13006 43 0 0 25 0 11 0 839586701 867536896 25302 4294967295 134512640 134569956 3221224368 3221214648 1131313815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25302 13086 16 0 211785 0 vsize: 847204 [startup+150.006 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 13979 44 0 0 25 0 11 0 839586701 867536896 25412 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25412 13086 16 0 211785 0 vsize: 847204 [startup+160.007 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 14953 45 0 0 25 0 11 0 839586701 867536896 25487 4294967295 134512640 134569956 3221224368 3221213944 1131552090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25487 13086 16 0 211785 0 vsize: 847204 [startup+170.008 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 15929 45 0 0 25 0 11 0 839586701 867536896 25541 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25541 13086 16 0 211785 0 vsize: 847204 [startup+180.007 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 16904 45 0 0 25 0 11 0 839586701 867536896 25598 4294967295 134512640 134569956 3221224368 3221214744 1131237420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25598 13086 16 0 211785 0 vsize: 847204 [startup+190.009 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 17879 46 0 0 25 0 11 0 839586701 867536896 25661 4294967295 134512640 134569956 3221224368 3221214504 1131224392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25661 13086 16 0 211785 0 vsize: 847204 [startup+200.009 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 18852 46 0 0 24 0 11 0 839586701 867536896 25729 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25729 13086 16 0 211785 0 vsize: 847204 [startup+210.01 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 19827 47 0 0 25 0 11 0 839586701 867536896 25790 4294967295 134512640 134569956 3221224368 3221214524 1131318564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25790 13086 16 0 211785 0 vsize: 847204 [startup+220.011 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 20804 47 0 0 25 0 11 0 839586701 867536896 25854 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25854 13086 16 0 211785 0 vsize: 847204 [startup+230.01 s] Raw data (loadavg): 1.01 1.03 1.01 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 21778 48 0 0 24 0 11 0 839586701 867536896 25917 4294967295 134512640 134569956 3221224368 3221214736 1131160188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25917 13086 16 0 211785 0 vsize: 847204 [startup+240.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 22755 48 0 0 25 0 11 0 839586701 867536896 25972 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 25972 13086 16 0 211785 0 vsize: 847204 [startup+250.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 23732 48 0 0 25 0 11 0 839586701 867536896 26029 4294967295 134512640 134569956 3221224368 3221214696 1131246848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26029 13086 16 0 211785 0 vsize: 847204 [startup+260.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 24707 48 0 0 25 0 11 0 839586701 867536896 26079 4294967295 134512640 134569956 3221224368 3221214792 1131327201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26079 13086 16 0 211785 0 vsize: 847204 [startup+270.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 25696 49 0 0 25 0 11 0 839586701 867536896 26094 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26094 13086 16 0 211785 0 vsize: 847204 [startup+280.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 26682 49 0 0 25 0 11 0 839586701 867536896 26120 4294967295 134512640 134569956 3221224368 3221214432 1131614268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26120 13086 16 0 211785 0 vsize: 847204 [startup+290.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 27673 49 0 0 25 0 11 0 839586701 867536896 26133 4294967295 134512640 134569956 3221224368 3221214552 1131160174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26133 13086 16 0 211785 0 vsize: 847204 [startup+300.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 28647 49 0 0 25 0 11 0 839586701 867536896 26173 4294967295 134512640 134569956 3221224368 3221214648 1131315201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26173 13086 16 0 211785 0 vsize: 847204 [startup+310.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 29623 49 0 0 25 0 11 0 839586701 867536896 26196 4294967295 134512640 134569956 3221224368 3221214056 1131552074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26196 13086 16 0 211785 0 vsize: 847204 [startup+320.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 30594 50 0 0 25 0 11 0 839586701 867536896 26219 4294967295 134512640 134569956 3221224368 3221214096 1131614240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26219 13086 16 0 211785 0 vsize: 847204 [startup+330.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 31561 50 0 0 25 0 11 0 839586701 867536896 26392 4294967295 134512640 134569956 3221224368 3221213772 1131552080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26392 13086 16 0 211785 0 vsize: 847204 [startup+340.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 32528 50 0 0 25 0 11 0 839586701 867536896 26611 4294967295 134512640 134569956 3221224368 3221214528 1131347389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26611 13086 16 0 211785 0 vsize: 847204 [startup+350.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 33507 51 0 0 25 0 11 0 839586701 867536896 26730 4294967295 134512640 134569956 3221224368 3221214424 1131614274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26730 13086 16 0 211785 0 vsize: 847204 [startup+360.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 34455 51 0 0 25 0 11 0 839586701 867536896 26953 4294967295 134512640 134569956 3221224368 3221214336 1085679293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 26953 13086 16 0 211785 0 vsize: 847204 [startup+370.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 35398 51 0 0 25 0 11 0 839586701 867536896 27008 4294967295 134512640 134569956 3221224368 3221214616 1131314085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27008 13086 16 0 211785 0 vsize: 847204 [startup+380.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 36340 52 0 0 25 0 11 0 839586701 867536896 27062 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27062 13086 16 0 211785 0 vsize: 847204 [startup+390.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 37282 52 0 0 25 0 11 0 839586701 867536896 27172 4294967295 134512640 134569956 3221224368 3221214528 1131614067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27172 13086 16 0 211785 0 vsize: 847204 [startup+400.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 38228 52 0 0 25 0 11 0 839586701 867536896 27574 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27574 13086 16 0 211785 0 vsize: 847204 [startup+410.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 39201 53 0 0 25 0 11 0 839586701 867536896 27802 4294967295 134512640 134569956 3221224368 3221214664 1131247828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27802 13086 16 0 211785 0 vsize: 847204 [startup+420.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 40178 54 0 0 25 0 11 0 839586701 867536896 27873 4294967295 134512640 134569956 3221224368 3221214704 1131160174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27873 13086 16 0 211785 0 vsize: 847204 [startup+430.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 41152 54 0 0 25 0 11 0 839586701 867536896 27940 4294967295 134512640 134569956 3221224368 3221214384 1131395898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 27940 13086 16 0 211785 0 vsize: 847204 [startup+440.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 42131 54 0 0 25 0 11 0 839586701 867536896 28003 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28003 13086 16 0 211785 0 vsize: 847204 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 43107 55 0 0 25 0 11 0 839586701 867536896 28035 4294967295 134512640 134569956 3221224368 3221214756 1131357292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28035 13086 16 0 211785 0 vsize: 847204 [startup+460.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 44086 55 0 0 25 0 11 0 839586701 867536896 28088 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28088 13086 16 0 211785 0 vsize: 847204 [startup+470.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 45065 56 0 0 25 0 11 0 839586701 867536896 28151 4294967295 134512640 134569956 3221224368 3221214384 1131395966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28151 13086 16 0 211785 0 vsize: 847204 [startup+480.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 46043 56 0 0 25 0 11 0 839586701 867536896 28209 4294967295 134512640 134569956 3221224368 3221214616 1131313809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28209 13086 16 0 211785 0 vsize: 847204 [startup+490.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 47022 57 0 0 25 0 11 0 839586701 867536896 28270 4294967295 134512640 134569956 3221224368 3221214616 1131314131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28270 13086 16 0 211785 0 vsize: 847204 [startup+500.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 48002 57 0 0 25 0 11 0 839586701 867536896 28321 4294967295 134512640 134569956 3221224368 3221214616 1131313777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28321 13086 16 0 211785 0 vsize: 847204 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 48983 57 0 0 25 0 11 0 839586701 867536896 28375 4294967295 134512640 134569956 3221224368 3221214756 1131237132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28375 13086 16 0 211785 0 vsize: 847204 [startup+520.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 49965 57 0 0 25 0 11 0 839586701 867536896 28428 4294967295 134512640 134569956 3221224368 3221214616 1131314049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28428 13086 16 0 211785 0 vsize: 847204 [startup+530.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 50948 57 0 0 25 0 11 0 839586701 867536896 28474 4294967295 134512640 134569956 3221224368 3221214712 1131237360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28474 13086 16 0 211785 0 vsize: 847204 [startup+540.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 51930 57 0 0 25 0 11 0 839586701 867536896 28515 4294967295 134512640 134569956 3221224368 3221214760 1131327973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28515 13086 16 0 211785 0 vsize: 847204 [startup+550.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 52911 58 0 0 25 0 11 0 839586701 867536896 28561 4294967295 134512640 134569956 3221224368 3221214368 1131552056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28561 13086 16 0 211785 0 vsize: 847204 [startup+560.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 53893 58 0 0 25 0 11 0 839586701 867536896 28601 4294967295 134512640 134569956 3221224368 3221214616 1131284084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28601 13086 16 0 211785 0 vsize: 847204 [startup+570.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 54876 58 0 0 25 0 11 0 839586701 867536896 28640 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28640 13086 16 0 211785 0 vsize: 847204 [startup+580.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 55858 59 0 0 25 0 11 0 839586701 867536896 28685 4294967295 134512640 134569956 3221224368 3221214068 1131614028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28685 13086 16 0 211785 0 vsize: 847204 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 56842 59 0 0 25 0 11 0 839586701 867536896 28723 4294967295 134512640 134569956 3221224368 3221214616 1131284108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28723 13086 16 0 211785 0 vsize: 847204 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 57824 59 0 0 25 0 11 0 839586701 867536896 28771 4294967295 134512640 134569956 3221224368 3221214760 1131326912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28771 13086 16 0 211785 0 vsize: 847204 [startup+610.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 58810 60 0 0 25 0 11 0 839586701 867536896 28806 4294967295 134512640 134569956 3221224368 3221214568 1131617188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28806 13086 16 0 211785 0 vsize: 847204 [startup+620.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 59793 60 0 0 25 0 11 0 839586701 867536896 28839 4294967295 134512640 134569956 3221224368 3221214704 1131160185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28839 13086 16 0 211785 0 vsize: 847204 [startup+630.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 60778 60 0 0 25 0 11 0 839586701 867536896 28873 4294967295 134512640 134569956 3221224368 3221214616 1131314160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28873 13086 16 0 211785 0 vsize: 847204 [startup+640.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 61762 61 0 0 25 0 11 0 839586701 867536896 28910 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28910 13086 16 0 211785 0 vsize: 847204 [startup+650.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 62747 61 0 0 25 0 11 0 839586701 867536896 28943 4294967295 134512640 134569956 3221224368 3221213972 1131552080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28943 13086 16 0 211785 0 vsize: 847204 [startup+660.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 63732 61 0 0 25 0 11 0 839586701 867536896 28970 4294967295 134512640 134569956 3221224368 3221214616 1131313947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 28970 13086 16 0 211785 0 vsize: 847204 [startup+670.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 64717 62 0 0 25 0 11 0 839586701 867536896 29003 4294967295 134512640 134569956 3221224368 3221214616 1131284090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29003 13086 16 0 211785 0 vsize: 847204 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 65704 62 0 0 25 0 11 0 839586701 867536896 29027 4294967295 134512640 134569956 3221224368 3221214760 1131326803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29027 13086 16 0 211785 0 vsize: 847204 [startup+690.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 66688 62 0 0 25 0 11 0 839586701 867536896 29051 4294967295 134512640 134569956 3221224368 3221214616 1131314619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211801 29051 13086 16 0 211785 0 vsize: 847204 [startup+700.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 67673 63 0 0 25 0 11 0 839586701 867536896 29075 4294967295 134512640 134569956 3221224368 3221214312 1131552141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29075 13086 16 0 211785 0 vsize: 847204 [startup+710.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 68656 63 0 0 25 0 11 0 839586701 867536896 29105 4294967295 134512640 134569956 3221224368 3221214616 1131313828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29105 13086 16 0 211785 0 vsize: 847204 [startup+720.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 69641 64 0 0 25 0 11 0 839586701 867536896 29134 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29134 13086 16 0 211785 0 vsize: 847204 [startup+730.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 70627 64 0 0 25 0 11 0 839586701 867536896 29165 4294967295 134512640 134569956 3221224368 3221214024 1131614049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29165 13086 16 0 211785 0 vsize: 847204 [startup+740.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 71611 64 0 0 25 0 11 0 839586701 867536896 29194 4294967295 134512640 134569956 3221224368 3221214360 1131614061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29194 13086 16 0 211785 0 vsize: 847204 [startup+750.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 72595 66 0 0 25 0 11 0 839586701 867536896 29223 4294967295 134512640 134569956 3221224368 3221214664 1131247836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29223 13086 16 0 211785 0 vsize: 847204 [startup+760.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 73580 66 0 0 25 0 11 0 839586701 867536896 29249 4294967295 134512640 134569956 3221224368 3221214616 1131315605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29249 13086 16 0 211785 0 vsize: 847204 [startup+770.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 74564 66 0 0 24 0 11 0 839586701 867536896 29276 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29276 13086 16 0 211785 0 vsize: 847204 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 75545 66 0 0 25 0 11 0 839586701 867536896 29293 4294967295 134512640 134569956 3221224368 3221214712 1131237487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29293 13086 16 0 211785 0 vsize: 847204 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 76520 67 0 0 25 0 11 0 839586701 867536896 29320 4294967295 134512640 134569956 3221224368 3221214616 1131313752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29320 13086 16 0 211785 0 vsize: 847204 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 77496 67 0 0 25 0 11 0 839586701 867536896 29344 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29344 13086 16 0 211785 0 vsize: 847204 [startup+810.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 78470 67 0 0 25 0 11 0 839586701 867536896 29369 4294967295 134512640 134569956 3221224368 3221214616 1131314534 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29369 13086 16 0 211785 0 vsize: 847204 [startup+820.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 79453 68 0 0 25 0 11 0 839586701 867536896 29476 4294967295 134512640 134569956 3221224368 3221214760 1131326839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29476 13086 16 0 211785 0 vsize: 847204 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 80438 68 0 0 25 0 11 0 839586701 867536896 29502 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29502 13086 16 0 211785 0 vsize: 847204 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 81425 68 0 0 25 0 11 0 839586701 867536896 29525 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29525 13086 16 0 211785 0 vsize: 847204 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 82410 69 0 0 25 0 11 0 839586701 867536896 29543 4294967295 134512640 134569956 3221224368 3221214128 1131612377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29543 13086 16 0 211785 0 vsize: 847204 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 83395 69 0 0 25 0 11 0 839586701 867536896 29560 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29560 13086 16 0 211785 0 vsize: 847204 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 84379 69 0 0 24 0 11 0 839586701 867536896 29582 4294967295 134512640 134569956 3221224368 3221214760 1131327109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29582 13086 16 0 211785 0 vsize: 847204 [startup+880.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 85365 69 0 0 25 0 11 0 839586701 867536896 29601 4294967295 134512640 134569956 3221224368 3221214240 1131614280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29601 13086 16 0 211785 0 vsize: 847204 [startup+890.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 86349 70 0 0 25 0 11 0 839586701 867536896 29626 4294967295 134512640 134569956 3221224368 3221214760 1131327346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29626 13086 16 0 211785 0 vsize: 847204 [startup+900.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 87333 70 0 0 25 0 11 0 839586701 867536896 29648 4294967295 134512640 134569956 3221224368 3221214712 1131237428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29648 13086 16 0 211785 0 vsize: 847204 [startup+910.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 88317 70 0 0 25 0 11 0 839586701 867536896 29672 4294967295 134512640 134569956 3221224368 3221214704 1131160135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29672 13086 16 0 211785 0 vsize: 847204 [startup+920.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 89301 71 0 0 25 0 11 0 839586701 867536896 29693 4294967295 134512640 134569956 3221224368 3221214656 1131377360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29693 13086 16 0 211785 0 vsize: 847204 [startup+930.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 90285 72 0 0 25 0 11 0 839586701 867536896 29713 4294967295 134512640 134569956 3221224368 3221214192 1131614121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29713 13086 16 0 211785 0 vsize: 847204 [startup+940.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 91269 72 0 0 25 0 11 0 839586701 867536896 29736 4294967295 134512640 134569956 3221224368 3221213760 1131552094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29736 13086 16 0 211785 0 vsize: 847204 [startup+950.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 92252 72 0 0 25 0 11 0 839586701 867536896 29759 4294967295 134512640 134569956 3221224368 3221214616 1131313759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29759 13086 16 0 211785 0 vsize: 847204 [startup+960.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 93235 73 0 0 25 0 11 0 839586701 867536896 29779 4294967295 134512640 134569956 3221224368 3221214616 1131284020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29779 13086 16 0 211785 0 vsize: 847204 [startup+970.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 94218 73 0 0 25 0 11 0 839586701 867536896 29802 4294967295 134512640 134569956 3221224368 3221214708 1131313728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29802 13086 16 0 211785 0 vsize: 847204 [startup+980.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 95203 73 0 0 25 0 11 0 839586701 867536896 29822 4294967295 134512640 134569956 3221224368 3221214760 1131327708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29822 13086 16 0 211785 0 vsize: 847204 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 96186 73 0 0 25 0 11 0 839586701 867536896 29852 4294967295 134512640 134569956 3221224368 3221214392 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29852 13086 16 0 211785 0 vsize: 847204 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 97170 74 0 0 25 0 11 0 839586701 867536896 29876 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29876 13086 16 0 211785 0 vsize: 847204 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 98153 74 0 0 25 0 11 0 839586701 867536896 29903 4294967295 134512640 134569956 3221224368 3221214756 1131357929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29903 13086 16 0 211785 0 vsize: 847204 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 99136 75 0 0 25 0 11 0 839586701 867536896 29924 4294967295 134512640 134569956 3221224368 3221214444 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29924 13086 16 0 211785 0 vsize: 847204 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 100120 75 0 0 25 0 11 0 839586701 867536896 29949 4294967295 134512640 134569956 3221224368 3221214408 1131309543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29949 13086 16 0 211785 0 vsize: 847204 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 101103 75 0 0 24 0 11 0 839586701 867536896 29974 4294967295 134512640 134569956 3221224368 3221214616 1131284013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29974 13086 16 0 211785 0 vsize: 847204 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 102088 76 0 0 25 0 11 0 839586701 867536896 29994 4294967295 134512640 134569956 3221224368 3221214616 1131284020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 29994 13086 16 0 211785 0 vsize: 847204 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 103072 76 0 0 25 0 11 0 839586701 867536896 30013 4294967295 134512640 134569956 3221224368 3221214408 1131313974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30013 13086 16 0 211785 0 vsize: 847204 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 104056 76 0 0 25 0 11 0 839586701 867536896 30036 4294967295 134512640 134569956 3221224368 3221214760 1131326949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30036 13086 16 0 211785 0 vsize: 847204 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 105040 77 0 0 25 0 11 0 839586701 867536896 30056 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30056 13086 16 0 211785 0 vsize: 847204 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 106024 77 0 0 25 0 11 0 839586701 867536896 30077 4294967295 134512640 134569956 3221224368 3221214664 1131246852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30077 13086 16 0 211785 0 vsize: 847204 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 107008 78 0 0 25 0 11 0 839586701 867536896 30096 4294967295 134512640 134569956 3221224368 3221213940 1085616771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30096 13086 16 0 211785 0 vsize: 847204 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 107991 78 0 0 24 0 11 0 839586701 867536896 30115 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30115 13086 16 0 211785 0 vsize: 847204 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 108977 78 0 0 25 0 11 0 839586701 867536896 30131 4294967295 134512640 134569956 3221224368 3221214704 1131160188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30131 13086 16 0 211785 0 vsize: 847204 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 109960 79 0 0 25 0 11 0 839586701 867536896 30153 4294967295 134512640 134569956 3221224368 3221214200 1131552081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30153 13086 16 0 211785 0 vsize: 847204 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 110943 79 0 0 25 0 11 0 839586701 867536896 30176 4294967295 134512640 134569956 3221224368 3221214760 1131327128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30176 13086 16 0 211785 0 vsize: 847204 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 111926 79 0 0 25 0 11 0 839586701 867536896 30198 4294967295 134512640 134569956 3221224368 3221213696 1131552056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30198 13086 16 0 211785 0 vsize: 847204 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 112908 80 0 0 24 0 11 0 839586701 867536896 30217 4294967295 134512640 134569956 3221224368 3221214552 1131259660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30217 13086 16 0 211785 0 vsize: 847204 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 113893 80 0 0 25 0 11 0 839586701 867536896 30239 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30239 13086 16 0 211785 0 vsize: 847204 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 114876 80 0 0 25 0 11 0 839586701 867536896 30256 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30256 13086 16 0 211785 0 vsize: 847204 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 115858 81 0 0 25 0 11 0 839586701 867536896 30277 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30277 13086 16 0 211785 0 vsize: 847204 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 116842 81 0 0 25 0 11 0 839586701 867536896 30305 4294967295 134512640 134569956 3221224368 3221214616 1131314078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30305 13086 16 0 211785 0 vsize: 847204 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 117825 81 0 0 25 0 11 0 839586701 867536896 30322 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30322 13086 16 0 211785 0 vsize: 847204 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 118808 82 0 0 25 0 11 0 839586701 867536896 30343 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30343 13086 16 0 211785 0 vsize: 847204 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 119791 82 0 0 25 0 11 0 839586701 867536896 30359 4294967295 134512640 134569956 3221224368 3221214304 1131614058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30359 13086 16 0 211785 0 vsize: 847204 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6159 Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 120774 82 0 0 25 0 11 0 839586701 867536896 30381 4294967295 134512640 134569956 3221224368 3221214616 1131314014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211801 30381 13086 16 0 211785 0 vsize: 847204 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.16 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 6161 Raw data (stat): 6149 (java) Z 6148 24821 24820 0 -1 1036 18079 18133 1 0 120780 82 3870 53 25 0 1 0 839586701 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.16 CPU time (s): 1247.88 CPU user time (s): 1246.51 CPU system time (s): 1.36579 CPU usage (%): 100.622 Max. virtual memory (Kb): 850612 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####