Name | normalized-opb/submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-25 07:19:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20797 boxname=wulflinc15 idbench=387 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc15/normalized-lseu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-lseu.opb IDLAUNCH: 20797 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 838812 kB Buffers: 25380 kB Cached: 149048 kB SwapCached: 672 kB Active: 43856 kB Inactive: 132568 kB HighTotal: 131008 kB HighFree: 3024 kB LowTotal: 903652 kB LowFree: 835788 kB SwapTotal: 2097136 kB SwapFree: 2095624 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5076 kB Slab: 13744 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 07:40:27 (client local time) WITH STATUS 143 IN 1247.46 SECONDS stats: 20797 0 1247.46 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/wulflinc15/normalized-lseu.opb c reading problem ... done. Time 0.23 ms. c #vars 89 c #constraints 28 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 3730 Current CPU time: 0.66 ms c CURRENT OPTIMUM= 3597 Current CPU time: 0.92 ms c CURRENT OPTIMUM= 3558 Current CPU time: 4.67 ms c CURRENT OPTIMUM= 3542 Current CPU time: 4.96 ms c CURRENT OPTIMUM= 3075 Current CPU time: 8.93 ms c CURRENT OPTIMUM= 3000 Current CPU time: 12.10 ms c CURRENT OPTIMUM= 2688 Current CPU time: 16.02 ms c CURRENT OPTIMUM= 2438 Current CPU time: 16.11 ms c CURRENT OPTIMUM= 2188 Current CPU time: 16.21 ms c CURRENT OPTIMUM= 2113 Current CPU time: 16.30 ms c CURRENT OPTIMUM= 2103 Current CPU time: 20.04 ms c CURRENT OPTIMUM= 2056 Current CPU time: 25.75 ms c CURRENT OPTIMUM= 2027 Current CPU time: 27.98 ms c CURRENT OPTIMUM= 2013 Current CPU time: 39.99 ms c CURRENT OPTIMUM= 1950 Current CPU time: 45.77 ms c CURRENT OPTIMUM= 1946 Current CPU time: 83.41 ms c CURRENT OPTIMUM= 1891 Current CPU time: 100.50 ms c CURRENT OPTIMUM= 1878 Current CPU time: 115.88 ms c CURRENT OPTIMUM= 1782 Current CPU time: 132.82 ms c CURRENT OPTIMUM= 1625 Current CPU time: 150.91 ms c CURRENT OPTIMUM= 1558 Current CPU time: 230.83 ms c CURRENT OPTIMUM= 1552 Current CPU time: 308.77 ms c CURRENT OPTIMUM= 1513 Current CPU time: 326.58 ms c CURRENT OPTIMUM= 1461 Current CPU time: 370.52 ms c CURRENT OPTIMUM= 1454 Current CPU time: 561.69 ms c CURRENT OPTIMUM= 1447 Current CPU time: 597.98 ms c CURRENT OPTIMUM= 1409 Current CPU time: 772.82 ms c CURRENT OPTIMUM= 1345 Current CPU time: 855.54 ms c CURRENT OPTIMUM= 1344 Current CPU time: 1054.73 ms c starts : 59 c conflicts : 5509 c decisions : 16772 c propagations : 72655 c inspects : 5899072 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5509 c root simplifications : 59 s SATISFIABLE v x0 -x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 c objectif function=1344 c Total CPU time (ms) : 1239.203 #### 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 6042 Raw data (stat): 6042 (runsolver) R 6041 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778800574 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0275 s] Raw data (loadavg): 0.95 0.98 0.99 3/64 6057 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18139 3 1 0 744 39 0 0 25 0 11 0 778800574 861892608 20708 4294967295 134512640 134569956 3221224384 3221214588 1131147187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210423 20708 13086 16 0 210407 0 vsize: 841692 [startup+20.0484 s] Raw data (loadavg): 0.96 0.98 0.99 2/64 6062 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18140 3 1 0 1709 40 0 0 25 0 11 0 778800574 861360128 21332 4294967295 134512640 134569956 3221224384 3221214472 1131202371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 21332 13086 16 0 210277 0 vsize: 841172 [startup+30.0496 s] Raw data (loadavg): 0.96 0.98 0.99 2/64 6065 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 2674 41 0 0 25 0 11 0 778800574 861360128 21861 4294967295 134512640 134569956 3221224384 3221214016 1085679356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 21861 13086 16 0 210277 0 vsize: 841172 [startup+40.0505 s] Raw data (loadavg): 0.97 0.98 0.99 2/64 6065 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 3625 41 0 0 25 0 11 0 778800574 861360128 22236 4294967295 134512640 134569956 3221224384 3221214648 1131157098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 22236 13086 16 0 210277 0 vsize: 841172 [startup+50.0508 s] Raw data (loadavg): 0.97 0.98 0.99 2/64 6067 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 4586 42 0 0 25 0 11 0 778800574 861360128 22402 4294967295 134512640 134569956 3221224384 3221214668 1131190050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 22402 13086 16 0 210277 0 vsize: 841172 [startup+60.051 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 6067 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 5537 42 0 0 25 0 11 0 778800574 861360128 22618 4294967295 134512640 134569956 3221224384 3221214632 1131174708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 22618 13086 16 0 210277 0 vsize: 841172 [startup+70.0519 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 6067 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 6498 42 0 0 25 0 11 0 778800574 861360128 22831 4294967295 134512640 134569956 3221224384 3221214232 1131354511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 22831 13086 16 0 210277 0 vsize: 841172 [startup+80.0523 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 6067 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 7451 42 0 0 25 0 11 0 778800574 861360128 22982 4294967295 134512640 134569956 3221224384 3221214568 1131189180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 22982 13086 16 0 210277 0 vsize: 841172 [startup+90.0536 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 6068 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 8402 43 0 0 25 0 11 0 778800574 861360128 23116 4294967295 134512640 134569956 3221224384 3221214672 1131197395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23116 13086 16 0 210277 0 vsize: 841172 [startup+100.054 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 6068 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 9364 43 0 0 25 0 11 0 778800574 861360128 23236 4294967295 134512640 134569956 3221224384 3221214632 1131176898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23236 13086 16 0 210277 0 vsize: 841172 [startup+110.055 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 6069 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 10316 43 0 0 25 0 11 0 778800574 861360128 23371 4294967295 134512640 134569956 3221224384 3221214724 1131176064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23371 13086 16 0 210277 0 vsize: 841172 [startup+120.056 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 6070 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 11277 44 0 0 25 0 11 0 778800574 861360128 23456 4294967295 134512640 134569956 3221224384 3221214032 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23456 13086 16 0 210277 0 vsize: 841172 [startup+130.056 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 6070 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 12230 44 0 0 25 0 11 0 778800574 861360128 23594 4294967295 134512640 134569956 3221224384 3221214464 1131458018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23594 13086 16 0 210277 0 vsize: 841172 [startup+140.056 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 6071 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 13192 44 0 0 25 0 11 0 778800574 861360128 23754 4294967295 134512640 134569956 3221224384 3221214632 1131176915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23754 13086 16 0 210277 0 vsize: 841172 [startup+150.057 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6071 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 14148 44 0 0 25 0 11 0 778800574 861360128 23902 4294967295 134512640 134569956 3221224384 3221214728 1131230598 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23902 13086 16 0 210277 0 vsize: 841172 [startup+160.057 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 15122 44 0 0 25 0 11 0 778800574 861360128 23991 4294967295 134512640 134569956 3221224384 3221214464 1131355351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 23991 13086 16 0 210277 0 vsize: 841172 [startup+170.058 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 16096 44 0 0 25 0 11 0 778800574 861360128 24056 4294967295 134512640 134569956 3221224384 3221214056 1131357017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24056 13086 16 0 210277 0 vsize: 841172 [startup+180.059 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 17069 45 0 0 25 0 11 0 778800574 861360128 24132 4294967295 134512640 134569956 3221224384 3221214632 1131176140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24132 13086 16 0 210277 0 vsize: 841172 [startup+190.061 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 18043 45 0 0 25 0 11 0 778800574 861360128 24228 4294967295 134512640 134569956 3221224384 3221214728 1131230557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24228 13086 16 0 210277 0 vsize: 841172 [startup+200.061 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 19007 45 0 0 25 0 11 0 778800574 861360128 24334 4294967295 134512640 134569956 3221224384 3221214688 1131143958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24334 13086 16 0 210277 0 vsize: 841172 [startup+210.061 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 19973 46 0 0 25 0 11 0 778800574 861360128 24430 4294967295 134512640 134569956 3221224384 3221214056 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24430 13086 16 0 210277 0 vsize: 841172 [startup+220.062 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 20938 46 0 0 25 0 11 0 778800574 861360128 24511 4294967295 134512640 134569956 3221224384 3221214640 1131272005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24511 13086 16 0 210277 0 vsize: 841172 [startup+230.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6072 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 21904 46 0 0 25 0 11 0 778800574 861360128 24618 4294967295 134512640 134569956 3221224384 3221214624 1131190491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24618 13086 16 0 210277 0 vsize: 841172 [startup+240.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 22870 47 0 0 25 0 11 0 778800574 861360128 24713 4294967295 134512640 134569956 3221224384 3221214468 1131355340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24713 13086 16 0 210277 0 vsize: 841172 [startup+250.065 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 23838 47 0 0 25 0 11 0 778800574 861360128 24834 4294967295 134512640 134569956 3221224384 3221214476 1131354448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24834 13086 16 0 210277 0 vsize: 841172 [startup+260.065 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 24814 47 0 0 25 0 11 0 778800574 861360128 24895 4294967295 134512640 134569956 3221224384 3221214116 1131354448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 24895 13086 16 0 210277 0 vsize: 841172 [startup+270.065 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 25783 47 0 0 25 0 11 0 778800574 861360128 25007 4294967295 134512640 134569956 3221224384 3221214632 1131176211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25007 13086 16 0 210277 0 vsize: 841172 [startup+280.066 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 26752 48 0 0 25 0 11 0 778800574 861360128 25109 4294967295 134512640 134569956 3221224384 3221214536 1131354509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25109 13086 16 0 210277 0 vsize: 841172 [startup+290.067 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 27723 48 0 0 25 0 11 0 778800574 861360128 25196 4294967295 134512640 134569956 3221224384 3221214684 1131274471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25196 13086 16 0 210277 0 vsize: 841172 [startup+300.068 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6073 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 28694 48 0 0 25 0 11 0 778800574 861360128 25313 4294967295 134512640 134569956 3221224384 3221214728 1131227902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25313 13086 16 0 210277 0 vsize: 841172 [startup+310.068 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6074 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 29658 49 0 0 25 0 11 0 778800574 861360128 25397 4294967295 134512640 134569956 3221224384 3221213920 1131354509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25397 13086 16 0 210277 0 vsize: 841172 [startup+320.068 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6074 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 30629 49 0 0 25 0 11 0 778800574 861360128 25476 4294967295 134512640 134569956 3221224384 3221214408 1131307970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25476 13086 16 0 210277 0 vsize: 841172 [startup+330.069 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6075 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 31594 49 0 0 25 0 11 0 778800574 861360128 25574 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25574 13086 16 0 210277 0 vsize: 841172 [startup+340.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6075 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 32567 50 0 0 25 0 11 0 778800574 861360128 25669 4294967295 134512640 134569956 3221224384 3221214728 1131234000 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25669 13086 16 0 210277 0 vsize: 841172 [startup+350.071 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6075 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 33535 50 0 0 25 0 11 0 778800574 861360128 25773 4294967295 134512640 134569956 3221224384 3221214032 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25773 13086 16 0 210277 0 vsize: 841172 [startup+360.072 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6075 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 34504 50 0 0 25 0 11 0 778800574 861360128 25862 4294967295 134512640 134569956 3221224384 3221214632 1131176483 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25862 13086 16 0 210277 0 vsize: 841172 [startup+370.075 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6075 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 35485 51 0 0 25 0 11 0 778800574 861360128 25927 4294967295 134512640 134569956 3221224384 3221214536 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25927 13086 16 0 210277 0 vsize: 841172 [startup+380.075 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 36459 52 0 0 25 0 11 0 778800574 861360128 25997 4294967295 134512640 134569956 3221224384 3221214032 1085679759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 25997 13086 16 0 210277 0 vsize: 841172 [startup+390.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 37429 52 0 0 25 0 11 0 778800574 861360128 26085 4294967295 134512640 134569956 3221224384 3221214728 1131236031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26085 13086 16 0 210277 0 vsize: 841172 [startup+400.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 38405 53 0 0 25 0 11 0 778800574 861360128 26142 4294967295 134512640 134569956 3221224384 3221214840 1131148160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26142 13086 16 0 210277 0 vsize: 841172 [startup+410.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 39381 53 0 0 25 0 11 0 778800574 861360128 26201 4294967295 134512640 134569956 3221224384 3221214448 1131458445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26201 13086 16 0 210277 0 vsize: 841172 [startup+420.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 40357 53 0 0 25 0 11 0 778800574 861360128 26257 4294967295 134512640 134569956 3221224384 3221214632 1131177976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26257 13086 16 0 210277 0 vsize: 841172 [startup+430.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 41328 53 0 0 25 0 11 0 778800574 861360128 26320 4294967295 134512640 134569956 3221224384 3221214568 1131189064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26320 13086 16 0 210277 0 vsize: 841172 [startup+440.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 42305 54 0 0 25 0 11 0 778800574 861360128 26395 4294967295 134512640 134569956 3221224384 3221214720 1131157084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26395 13086 16 0 210277 0 vsize: 841172 [startup+450.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 43272 54 0 0 25 0 11 0 778800574 861360128 26485 4294967295 134512640 134569956 3221224384 3221214568 1131189310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26485 13086 16 0 210277 0 vsize: 841172 [startup+460.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 44245 55 0 0 25 0 11 0 778800574 861360128 26554 4294967295 134512640 134569956 3221224384 3221214176 1131354316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26554 13086 16 0 210277 0 vsize: 841172 [startup+470.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 45218 55 0 0 25 0 11 0 778800574 861360128 26627 4294967295 134512640 134569956 3221224384 3221214728 1131227567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26627 13086 16 0 210277 0 vsize: 841172 [startup+480.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 46197 56 0 0 25 0 11 0 778800574 861360128 26690 4294967295 134512640 134569956 3221224384 3221214200 1131354509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26690 13086 16 0 210277 0 vsize: 841172 [startup+490.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 47170 56 0 0 24 0 11 0 778800574 861360128 26754 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26754 13086 16 0 210277 0 vsize: 841172 [startup+500.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 48155 56 0 0 25 0 11 0 778800574 861360128 26785 4294967295 134512640 134569956 3221224384 3221214500 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26785 13086 16 0 210277 0 vsize: 841172 [startup+510.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 49123 56 0 0 25 0 11 0 778800574 861360128 26860 4294967295 134512640 134569956 3221224384 3221213896 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26860 13086 16 0 210277 0 vsize: 841172 [startup+520.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 50106 56 0 0 25 0 11 0 778800574 861360128 26896 4294967295 134512640 134569956 3221224384 3221214116 1131354448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26896 13086 16 0 210277 0 vsize: 841172 [startup+530.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 51089 57 0 0 25 0 11 0 778800574 861360128 26933 4294967295 134512640 134569956 3221224384 3221214728 1131229112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 26933 13086 16 0 210277 0 vsize: 841172 [startup+540.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 52061 57 0 0 25 0 11 0 778800574 861360128 27006 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27006 13086 16 0 210277 0 vsize: 841172 [startup+550.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 53033 57 0 0 25 0 11 0 778800574 861360128 27071 4294967295 134512640 134569956 3221224384 3221214632 1131176621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27071 13086 16 0 210277 0 vsize: 841172 [startup+560.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6076 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 54010 58 0 0 25 0 11 0 778800574 861360128 27134 4294967295 134512640 134569956 3221224384 3221214640 1131307951 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27134 13086 16 0 210277 0 vsize: 841172 [startup+570.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6077 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 54987 58 0 0 25 0 11 0 778800574 861360128 27173 4294967295 134512640 134569956 3221224384 3221214728 1131229552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27173 13086 16 0 210277 0 vsize: 841172 [startup+580.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6077 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 55963 59 0 0 25 0 11 0 778800574 861360128 27224 4294967295 134512640 134569956 3221224384 3221214600 1131370986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27224 13086 16 0 210277 0 vsize: 841172 [startup+590.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6077 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 56952 59 0 0 25 0 11 0 778800574 861360128 27245 4294967295 134512640 134569956 3221224384 3221214624 1131147225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210293 27245 13086 16 0 210277 0 vsize: 841172 [startup+600.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 57927 59 0 0 25 0 11 0 778800574 861360128 27321 4294967295 134512640 134569956 3221224384 3221213880 1131356810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27321 13086 16 0 210277 0 vsize: 841172 [startup+610.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 58905 59 0 0 25 0 11 0 778800574 861360128 27376 4294967295 134512640 134569956 3221224384 3221214144 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27376 13086 16 0 210277 0 vsize: 841172 [startup+620.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 59887 60 0 0 25 0 11 0 778800574 861360128 27415 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27415 13086 16 0 210277 0 vsize: 841172 [startup+630.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 60869 60 0 0 25 0 11 0 778800574 861360128 27451 4294967295 134512640 134569956 3221224384 3221214416 1131307757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27451 13086 16 0 210277 0 vsize: 841172 [startup+640.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 61856 60 0 0 25 0 11 0 778800574 861360128 27475 4294967295 134512640 134569956 3221224384 3221214256 1131354400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27475 13086 16 0 210277 0 vsize: 841172 [startup+650.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 62827 60 0 0 25 0 11 0 778800574 861360128 27557 4294967295 134512640 134569956 3221224384 3221214680 1131350184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27557 13086 16 0 210277 0 vsize: 841172 [startup+660.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 63804 61 0 0 25 0 11 0 778800574 861360128 27600 4294967295 134512640 134569956 3221224384 3221214728 1131227839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27600 13086 16 0 210277 0 vsize: 841172 [startup+670.093 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 64775 61 0 0 25 0 11 0 778800574 861360128 27671 4294967295 134512640 134569956 3221224384 3221214728 1131227716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27671 13086 16 0 210277 0 vsize: 841172 [startup+680.094 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 65753 61 0 0 25 0 11 0 778800574 861360128 27732 4294967295 134512640 134569956 3221224384 3221214540 1131450471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27732 13086 16 0 210277 0 vsize: 841172 [startup+690.095 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 66725 61 0 0 24 0 11 0 778800574 861360128 27788 4294967295 134512640 134569956 3221224384 3221214576 1131201213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27788 13086 16 0 210277 0 vsize: 841172 [startup+700.096 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 67698 62 0 0 25 0 11 0 778800574 861360128 27881 4294967295 134512640 134569956 3221224384 3221214632 1131176077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27881 13086 16 0 210277 0 vsize: 841172 [startup+710.097 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 68669 62 0 0 24 0 11 0 778800574 861360128 27943 4294967295 134512640 134569956 3221224384 3221214500 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 27943 13086 16 0 210277 0 vsize: 841172 [startup+720.097 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 69644 62 0 0 25 0 11 0 778800574 861360128 28010 4294967295 134512640 134569956 3221224384 3221214568 1131189326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28010 13086 16 0 210277 0 vsize: 841172 [startup+730.098 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 70629 63 0 0 25 0 11 0 778800574 861360128 28047 4294967295 134512640 134569956 3221224384 3221214008 1131354506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28047 13086 16 0 210277 0 vsize: 841172 [startup+740.098 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 71609 63 0 0 25 0 11 0 778800574 861360128 28088 4294967295 134512640 134569956 3221224384 3221214416 1131307754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28088 13086 16 0 210277 0 vsize: 841172 [startup+750.1 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 72594 63 0 0 25 0 11 0 778800574 861360128 28132 4294967295 134512640 134569956 3221224384 3221214680 1131153146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28132 13086 16 0 210277 0 vsize: 841172 [startup+760.1 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 73573 64 0 0 25 0 11 0 778800574 861360128 28175 4294967295 134512640 134569956 3221224384 3221213696 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28175 13086 16 0 210277 0 vsize: 841172 [startup+770.101 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 6078 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 74553 64 0 0 24 0 11 0 778800574 861360128 28212 4294967295 134512640 134569956 3221224384 3221214632 1131176310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28212 13086 16 0 210277 0 vsize: 841172 [startup+780.101 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 75537 64 0 0 25 0 11 0 778800574 861360128 28241 4294967295 134512640 134569956 3221224384 3221213920 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28241 13086 16 0 210277 0 vsize: 841172 [startup+790.102 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 76514 64 0 0 25 0 11 0 778800574 861360128 28272 4294967295 134512640 134569956 3221224384 3221214888 1131427423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28272 13086 16 0 210277 0 vsize: 841172 [startup+800.102 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 77492 65 0 0 25 0 11 0 778800574 861360128 28317 4294967295 134512640 134569956 3221224384 3221214140 1131354448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28317 13086 16 0 210277 0 vsize: 841172 [startup+810.103 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 78470 65 0 0 25 0 11 0 778800574 861360128 28371 4294967295 134512640 134569956 3221224384 3221214360 1131307883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28371 13086 16 0 210277 0 vsize: 841172 [startup+820.104 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 79448 65 0 0 25 0 11 0 778800574 861360128 28412 4294967295 134512640 134569956 3221224384 3221214664 1131177969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28412 13086 16 0 210277 0 vsize: 841172 [startup+830.105 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 80431 66 0 0 25 0 11 0 778800574 861360128 28455 4294967295 134512640 134569956 3221224384 3221214168 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28455 13086 16 0 210277 0 vsize: 841172 [startup+840.105 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 81415 66 0 0 25 0 11 0 778800574 861360128 28493 4294967295 134512640 134569956 3221224384 3221214416 1131307956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28493 13086 16 0 210277 0 vsize: 841172 [startup+850.106 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 6079 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 82392 67 0 0 25 0 11 0 778800574 861360128 28538 4294967295 134512640 134569956 3221224384 3221214728 1131229832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28538 13086 16 0 210277 0 vsize: 841172 [startup+860.106 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 83370 67 0 0 25 0 11 0 778800574 861360128 28588 4294967295 134512640 134569956 3221224384 3221214728 1131227658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28588 13086 16 0 210277 0 vsize: 841172 [startup+870.108 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 84349 67 0 0 25 0 11 0 778800574 861360128 28638 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28638 13086 16 0 210277 0 vsize: 841172 [startup+880.109 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 85326 67 0 0 25 0 11 0 778800574 861360128 28677 4294967295 134512640 134569956 3221224384 3221214632 1131176629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28677 13086 16 0 210277 0 vsize: 841172 [startup+890.11 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 86310 67 0 0 25 0 11 0 778800574 861360128 28712 4294967295 134512640 134569956 3221224384 3221214280 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28712 13086 16 0 210277 0 vsize: 841172 [startup+900.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 87288 68 0 0 25 0 11 0 778800574 861360128 28750 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28750 13086 16 0 210277 0 vsize: 841172 [startup+910.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 88266 68 0 0 25 0 11 0 778800574 861360128 28798 4294967295 134512640 134569956 3221224384 3221214632 1131176496 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28798 13086 16 0 210277 0 vsize: 841172 [startup+920.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 89244 68 0 0 25 0 11 0 778800574 861360128 28853 4294967295 134512640 134569956 3221224384 3221214584 1131222625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28853 13086 16 0 210277 0 vsize: 841172 [startup+930.112 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 90228 68 0 0 25 0 11 0 778800574 861360128 28896 4294967295 134512640 134569956 3221224384 3221214632 1131177076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28896 13086 16 0 210277 0 vsize: 841172 [startup+940.112 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 91207 68 0 0 25 0 11 0 778800574 861360128 28946 4294967295 134512640 134569956 3221224384 3221214008 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28946 13086 16 0 210277 0 vsize: 841172 [startup+950.113 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 92181 68 0 0 25 0 11 0 778800574 861360128 28994 4294967295 134512640 134569956 3221224384 3221214728 1131235782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 28994 13086 16 0 210277 0 vsize: 841172 [startup+960.114 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 93160 69 0 0 25 0 11 0 778800574 861360128 29050 4294967295 134512640 134569956 3221224384 3221214728 1131227821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29050 13086 16 0 210277 0 vsize: 841172 [startup+970.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 94150 69 0 0 25 0 11 0 778800574 861360128 29063 4294967295 134512640 134569956 3221224384 3221214632 1131176084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29063 13086 16 0 210277 0 vsize: 841172 [startup+980.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 95135 69 0 0 25 0 11 0 778800574 861360128 29094 4294967295 134512640 134569956 3221224384 3221214680 1131153141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29094 13086 16 0 210277 0 vsize: 841172 [startup+990.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 96115 69 0 0 25 0 11 0 778800574 861360128 29139 4294967295 134512640 134569956 3221224384 3221213972 1085616771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29139 13086 16 0 210277 0 vsize: 841172 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 97095 70 0 0 25 0 11 0 778800574 861360128 29181 4294967295 134512640 134569956 3221224384 3221214644 1131213860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29181 13086 16 0 210277 0 vsize: 841172 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 98076 70 0 0 25 0 11 0 778800574 861360128 29227 4294967295 134512640 134569956 3221224384 3221214892 1131147187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29227 13086 16 0 210277 0 vsize: 841172 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 99052 70 0 0 25 0 11 0 778800574 861360128 29277 4294967295 134512640 134569956 3221224384 3221214632 1131176383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29277 13086 16 0 210277 0 vsize: 841172 [startup+1030.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 100038 70 0 0 25 0 11 0 778800574 861360128 29307 4294967295 134512640 134569956 3221224384 3221214008 1131354449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29307 13086 16 0 210277 0 vsize: 841172 [startup+1040.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 101024 71 0 0 25 0 11 0 778800574 861360128 29345 4294967295 134512640 134569956 3221224384 3221214680 1131153144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29345 13086 16 0 210277 0 vsize: 841172 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6080 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 102000 71 0 0 25 0 11 0 778800574 861360128 29376 4294967295 134512640 134569956 3221224384 3221214632 1131176283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29376 13086 16 0 210277 0 vsize: 841172 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 102981 71 0 0 25 0 11 0 778800574 861360128 29420 4294967295 134512640 134569956 3221224384 3221214584 1131307997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29420 13086 16 0 210277 0 vsize: 841172 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 103957 71 0 0 25 0 11 0 778800574 861360128 29467 4294967295 134512640 134569956 3221224384 3221214632 1131176374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29467 13086 16 0 210277 0 vsize: 841172 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 104927 71 0 0 25 0 11 0 778800574 861360128 29519 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29519 13086 16 0 210277 0 vsize: 841172 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 105912 72 0 0 25 0 11 0 778800574 861360128 29546 4294967295 134512640 134569956 3221224384 3221214480 1131354396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29546 13086 16 0 210277 0 vsize: 841172 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 106892 72 0 0 25 0 11 0 778800574 861360128 29584 4294967295 134512640 134569956 3221224384 3221214032 1085679735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29584 13086 16 0 210277 0 vsize: 841172 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 107872 72 0 0 25 0 11 0 778800574 861360128 29618 4294967295 134512640 134569956 3221224384 3221214576 1131201262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29618 13086 16 0 210277 0 vsize: 841172 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 108846 73 0 0 25 0 11 0 778800574 861360128 29682 4294967295 134512640 134569956 3221224384 3221214728 1131227732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29682 13086 16 0 210277 0 vsize: 841172 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 109815 73 0 0 25 0 11 0 778800574 861360128 29733 4294967295 134512640 134569956 3221224384 3221214780 1130885204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29733 13086 16 0 210277 0 vsize: 841172 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 110790 73 0 0 25 0 11 0 778800574 861360128 29785 4294967295 134512640 134569956 3221224384 3221213808 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29785 13086 16 0 210277 0 vsize: 841172 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 111770 74 0 0 25 0 11 0 778800574 861360128 29830 4294967295 134512640 134569956 3221224384 3221214728 1131227712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29830 13086 16 0 210277 0 vsize: 841172 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 112746 74 0 0 25 0 11 0 778800574 861360128 29883 4294967295 134512640 134569956 3221224384 3221214392 1085679753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29883 13086 16 0 210277 0 vsize: 841172 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 113727 74 0 0 25 0 11 0 778800574 861360128 29915 4294967295 134512640 134569956 3221224384 3221214728 1131230509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29915 13086 16 0 210277 0 vsize: 841172 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 114699 75 0 0 25 0 11 0 778800574 861360128 29987 4294967295 134512640 134569956 3221224384 3221214248 1131307817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 29987 13086 16 0 210277 0 vsize: 841172 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 115672 75 0 0 24 0 11 0 778800574 861360128 30037 4294967295 134512640 134569956 3221224384 3221214728 1131227723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30037 13086 16 0 210277 0 vsize: 841172 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 116658 75 0 0 25 0 11 0 778800574 861360128 30061 4294967295 134512640 134569956 3221224384 3221214576 1131202377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30061 13086 16 0 210277 0 vsize: 841172 [startup+1210.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 117635 75 0 0 25 0 11 0 778800574 861360128 30108 4294967295 134512640 134569956 3221224384 3221214592 1131354412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30108 13086 16 0 210277 0 vsize: 841172 [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 118616 75 0 0 25 0 11 0 778800574 861360128 30139 4294967295 134512640 134569956 3221224384 3221214728 1131229503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30139 13086 16 0 210277 0 vsize: 841172 [startup+1230.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 119598 75 0 0 25 0 11 0 778800574 861360128 30178 4294967295 134512640 134569956 3221224384 3221214136 1131307888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30178 13086 16 0 210277 0 vsize: 841172 [startup+1240.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6081 Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 120574 76 0 0 25 0 11 0 778800574 861360128 30218 4294967295 134512640 134569956 3221224384 3221214132 1131354272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210293 30218 13086 16 0 210277 0 vsize: 841172 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.24 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 6083 Raw data (stat): 6042 (java) Z 6041 23514 23513 0 -1 1036 18141 14802 1 0 120578 76 4055 36 25 0 1 0 778800574 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.24 CPU time (s): 1247.46 CPU user time (s): 1246.34 CPU system time (s): 1.12583 CPU usage (%): 100.582 Max. virtual memory (Kb): 841692 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1344 #### END VERIFIER DATA ####