Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb |
MD5SUM | d5e26ade9aa11867ede102dd2fb60449 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 5328 |
Biggest coefficient in the objective function | 8885108736 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 4692033563496 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 8885108736 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 4692033563496 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.138978 |
Number of variables | 15888 |
Total number of constraints | 1240 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 1192 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3960 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-05-25 13:32:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21393 boxname=wulflinc22 idbench=1381 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d5e26ade9aa11867ede102dd2fb60449 /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-qiu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-qiu.opb IDLAUNCH: 21393 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 640608 kB Buffers: 33576 kB Cached: 337712 kB SwapCached: 400 kB Active: 64128 kB Inactive: 309376 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 640356 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5576 kB Slab: 14768 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 13:53:22 (client local time) WITH STATUS 143 IN 1228.8 SECONDS stats: 21393 7 1228.8 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/wulflinc22/normalized-mps-v2-13-7-qiu.opb c reading problem ... done. Time 78.278 ms. c #vars 15888 c #constraints 1324 c starts : 5 c conflicts : 1060 c decisions : 8786 c propagations : 53710 c inspects : 3429225 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1060 c root simplifications : 1040 s UNKNOWN c Total CPU time (ms) : 1229.115 #### 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.93 0.98 0.99 2/54 3878 Raw data (stat): 3878 (runsolver) R 3877 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839265947 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) S 3877 23310 23309 0 -1 0 18007 0 1 0 870 39 0 0 25 0 10 0 839265947 853676032 19369 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208417 19369 13086 16 0 208401 0 vsize: 833668 [startup+20.0003 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18016 0 1 0 1765 39 0 0 25 0 10 0 839265947 853467136 19955 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208366 19955 13086 16 0 208350 0 vsize: 833464 [startup+30.001 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18017 0 1 0 2649 40 0 0 25 0 10 0 839265947 856850432 21279 4294967295 134512640 134569956 3221224368 3221214448 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209192 21279 13086 16 0 209176 0 vsize: 836768 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 3557 40 0 0 25 0 10 0 839265947 855650304 21223 4294967295 134512640 134569956 3221224368 3221214800 1131316422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208899 21223 13086 16 0 208883 0 vsize: 835596 [startup+50.0025 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 4463 40 0 0 25 0 10 0 839265947 854515712 21154 4294967295 134512640 134569956 3221224368 3221214800 1131318517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208622 21154 13086 16 0 208606 0 vsize: 834488 [startup+60.0035 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 5368 41 0 0 25 0 10 0 839265947 854515712 21345 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208622 21345 13086 16 0 208606 0 vsize: 834488 [startup+70.0034 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 6284 41 0 0 25 0 10 0 839265947 854515712 21565 4294967295 134512640 134569956 3221224368 3221214800 1131318902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208622 21565 13086 16 0 208606 0 vsize: 834488 [startup+80.0046 s] Raw data (loadavg): 1.06 1.00 1.00 3/63 3887 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18051 0 1 0 7202 42 0 0 25 0 10 0 839265947 857440256 22700 4294967295 134512640 134569956 3221224368 3221214860 1130918266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209336 22700 13086 16 0 209320 0 vsize: 837344 [startup+90.0126 s] Raw data (loadavg): 1.12 1.02 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18069 0 1 0 8145 42 0 0 25 0 11 0 839265947 856805376 23786 4294967295 134512640 134569956 3221224368 3221214560 1131265248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 23786 13086 16 0 209165 0 vsize: 836724 [startup+100.013 s] Raw data (loadavg): 1.10 1.02 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18070 0 1 0 9135 43 0 0 25 0 11 0 839265947 857399296 23917 4294967295 134512640 134569956 3221224368 3221214768 1131242303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209326 23917 13086 16 0 209310 0 vsize: 837304 [startup+110.028 s] Raw data (loadavg): 1.09 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18071 0 1 0 10128 43 0 0 25 0 11 0 839265947 856805376 23808 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23808 13086 16 0 209165 0 vsize: 836724 [startup+120.041 s] Raw data (loadavg): 1.07 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18072 0 1 0 11104 43 0 0 25 0 11 0 839265947 856805376 23835 4294967295 134512640 134569956 3221224368 3221214556 1131224679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23835 13086 16 0 209165 0 vsize: 836724 [startup+130.042 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 12091 43 0 0 25 0 11 0 839265947 856805376 23860 4294967295 134512640 134569956 3221224368 3221214584 1131354019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23860 13086 16 0 209165 0 vsize: 836724 [startup+140.041 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 13079 43 0 0 25 0 11 0 839265947 856805376 23885 4294967295 134512640 134569956 3221224368 3221214560 1131264767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23885 13086 16 0 209165 0 vsize: 836724 [startup+150.042 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 14068 43 0 0 25 0 11 0 839265947 856805376 23935 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23935 13086 16 0 209165 0 vsize: 836724 [startup+160.042 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 15050 43 0 0 25 0 11 0 839265947 856805376 23960 4294967295 134512640 134569956 3221224368 3221214560 1131265010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 23960 13086 16 0 209165 0 vsize: 836724 [startup+170.042 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 16039 43 0 0 25 0 11 0 839265947 856805376 23982 4294967295 134512640 134569956 3221224368 3221214560 1131264666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 23982 13086 16 0 209165 0 vsize: 836724 [startup+180.042 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 17030 44 0 0 25 0 11 0 839265947 856805376 24012 4294967295 134512640 134569956 3221224368 3221214664 1131361485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 24012 13086 16 0 209165 0 vsize: 836724 [startup+190.043 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 18021 44 0 0 25 0 11 0 839265947 856805376 24030 4294967295 134512640 134569956 3221224368 3221214560 1131264609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24030 13086 16 0 209165 0 vsize: 836724 [startup+200.044 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 19012 44 0 0 25 0 11 0 839265947 856805376 24050 4294967295 134512640 134569956 3221224368 3221214664 1131247250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24050 13086 16 0 209165 0 vsize: 836724 [startup+210.043 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 20002 44 0 0 25 0 11 0 839265947 856805376 24123 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24123 13086 16 0 209165 0 vsize: 836724 [startup+220.044 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 20993 45 0 0 25 0 11 0 839265947 856805376 24087 4294967295 134512640 134569956 3221224368 3221214560 1131264984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24087 13086 16 0 209165 0 vsize: 836724 [startup+230.044 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 21982 45 0 0 25 0 11 0 839265947 856805376 24104 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24104 13086 16 0 209165 0 vsize: 836724 [startup+240.044 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 22971 45 0 0 25 0 11 0 839265947 856805376 24119 4294967295 134512640 134569956 3221224368 3221214472 1131223622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 24119 13086 16 0 209165 0 vsize: 836724 [startup+250.045 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 23960 46 0 0 25 0 11 0 839265947 856805376 24155 4294967295 134512640 134569956 3221224368 3221214664 1131366210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24155 13086 16 0 209165 0 vsize: 836724 [startup+260.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 24952 46 0 0 25 0 11 0 839265947 856805376 24171 4294967295 134512640 134569956 3221224368 3221214664 1131362704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24171 13086 16 0 209165 0 vsize: 836724 [startup+270.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 25942 46 0 0 25 0 11 0 839265947 856805376 24185 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24185 13086 16 0 209165 0 vsize: 836724 [startup+280.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 26933 46 0 0 25 0 11 0 839265947 856805376 24200 4294967295 134512640 134569956 3221224368 3221214560 1131265284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24200 13086 16 0 209165 0 vsize: 836724 [startup+290.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 27924 47 0 0 25 0 11 0 839265947 856805376 24213 4294967295 134512640 134569956 3221224368 3221214664 1131363699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 24213 13086 16 0 209165 0 vsize: 836724 [startup+300.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 28915 47 0 0 25 0 11 0 839265947 856805376 24227 4294967295 134512640 134569956 3221224368 3221214584 1131354874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24227 13086 16 0 209165 0 vsize: 836724 [startup+310.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 29904 47 0 0 25 0 11 0 839265947 856805376 24242 4294967295 134512640 134569956 3221224368 3221214664 1131361759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24242 13086 16 0 209165 0 vsize: 836724 [startup+320.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 30895 48 0 0 25 0 11 0 839265947 856805376 24256 4294967295 134512640 134569956 3221224368 3221214560 1131264982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 24256 13086 16 0 209165 0 vsize: 836724 [startup+330.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 31886 48 0 0 25 0 11 0 839265947 856805376 24268 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24268 13086 16 0 209165 0 vsize: 836724 [startup+340.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 32877 48 0 0 25 0 11 0 839265947 856805376 24281 4294967295 134512640 134569956 3221224368 3221214784 1131346047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24281 13086 16 0 209165 0 vsize: 836724 [startup+350.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 33866 49 0 0 25 0 11 0 839265947 856805376 24294 4294967295 134512640 134569956 3221224368 3221214664 1131361759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24294 13086 16 0 209165 0 vsize: 836724 [startup+360.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 34857 49 0 0 25 0 11 0 839265947 856805376 24306 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24306 13086 16 0 209165 0 vsize: 836724 [startup+370.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 35846 50 0 0 25 0 11 0 839265947 856805376 24318 4294967295 134512640 134569956 3221224368 3221214664 1131366194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24318 13086 16 0 209165 0 vsize: 836724 [startup+380.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 36836 51 0 0 25 0 11 0 839265947 856805376 24334 4294967295 134512640 134569956 3221224368 3221214560 1131264609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 24334 13086 16 0 209165 0 vsize: 836724 [startup+390.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 37826 51 0 0 25 0 11 0 839265947 856805376 24344 4294967295 134512640 134569956 3221224368 3221214560 1131264617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24344 13086 16 0 209165 0 vsize: 836724 [startup+400.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 38815 52 0 0 25 0 11 0 839265947 856805376 24360 4294967295 134512640 134569956 3221224368 3221214664 1131362796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24360 13086 16 0 209165 0 vsize: 836724 [startup+410.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 39804 52 0 0 25 0 11 0 839265947 856805376 24372 4294967295 134512640 134569956 3221224368 3221214664 1131362535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24372 13086 16 0 209165 0 vsize: 836724 [startup+420.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 40789 53 0 0 24 0 11 0 839265947 856805376 24387 4294967295 134512640 134569956 3221224368 3221214664 1131366957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24387 13086 16 0 209165 0 vsize: 836724 [startup+430.051 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 41774 53 0 0 24 0 11 0 839265947 856805376 24402 4294967295 134512640 134569956 3221224368 3221214560 1131265035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24402 13086 16 0 209165 0 vsize: 836724 [startup+440.051 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 42760 53 0 0 25 0 11 0 839265947 856805376 24427 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24427 13086 16 0 209165 0 vsize: 836724 [startup+450.052 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 43748 53 0 0 25 0 11 0 839265947 856805376 24475 4294967295 134512640 134569956 3221224368 3221214560 1131265164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24475 13086 16 0 209165 0 vsize: 836724 [startup+460.052 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 44736 54 0 0 25 0 11 0 839265947 856805376 24493 4294967295 134512640 134569956 3221224368 3221214560 1131265240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24493 13086 16 0 209165 0 vsize: 836724 [startup+470.053 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 45725 54 0 0 25 0 11 0 839265947 856805376 24510 4294967295 134512640 134569956 3221224368 3221214584 1131353883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24510 13086 16 0 209165 0 vsize: 836724 [startup+480.054 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 46713 55 0 0 25 0 11 0 839265947 856805376 24527 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24527 13086 16 0 209165 0 vsize: 836724 [startup+490.055 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 47701 55 0 0 25 0 11 0 839265947 856805376 24549 4294967295 134512640 134569956 3221224368 3221214560 1131264963 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24549 13086 16 0 209165 0 vsize: 836724 [startup+500.057 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 48690 55 0 0 24 0 11 0 839265947 856805376 24566 4294967295 134512640 134569956 3221224368 3221214664 1131362778 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24566 13086 16 0 209165 0 vsize: 836724 [startup+510.057 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 49679 56 0 0 25 0 11 0 839265947 856805376 24580 4294967295 134512640 134569956 3221224368 3221214560 1131265221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24580 13086 16 0 209165 0 vsize: 836724 [startup+520.057 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 50669 56 0 0 25 0 11 0 839265947 856805376 24593 4294967295 134512640 134569956 3221224368 3221214560 1131264751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24593 13086 16 0 209165 0 vsize: 836724 [startup+530.058 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 51658 56 0 0 25 0 11 0 839265947 856805376 24606 4294967295 134512640 134569956 3221224368 3221214560 1131265600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24606 13086 16 0 209165 0 vsize: 836724 [startup+540.059 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 52647 57 0 0 25 0 11 0 839265947 856805376 24619 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24619 13086 16 0 209165 0 vsize: 836724 [startup+550.059 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 53636 57 0 0 25 0 11 0 839265947 856805376 24633 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24633 13086 16 0 209165 0 vsize: 836724 [startup+560.062 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 54624 57 0 0 25 0 11 0 839265947 856805376 24646 4294967295 134512640 134569956 3221224368 3221214560 1131264605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24646 13086 16 0 209165 0 vsize: 836724 [startup+570.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 55614 57 0 0 25 0 11 0 839265947 856805376 24659 4294967295 134512640 134569956 3221224368 3221214660 1131264588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24659 13086 16 0 209165 0 vsize: 836724 [startup+580.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 56603 57 0 0 25 0 11 0 839265947 856805376 24672 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24672 13086 16 0 209165 0 vsize: 836724 [startup+590.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 57591 58 0 0 25 0 11 0 839265947 856805376 24684 4294967295 134512640 134569956 3221224368 3221214472 1131223610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24684 13086 16 0 209165 0 vsize: 836724 [startup+600.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 58580 58 0 0 25 0 11 0 839265947 856805376 24696 4294967295 134512640 134569956 3221224368 3221214808 1131359392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24696 13086 16 0 209165 0 vsize: 836724 [startup+610.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 59569 59 0 0 25 0 11 0 839265947 856805376 24707 4294967295 134512640 134569956 3221224368 3221214560 1131265673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24707 13086 16 0 209165 0 vsize: 836724 [startup+620.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 60557 59 0 0 25 0 11 0 839265947 856805376 24720 4294967295 134512640 134569956 3221224368 3221214664 1131361808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24720 13086 16 0 209165 0 vsize: 836724 [startup+630.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 61546 59 0 0 25 0 11 0 839265947 856805376 24731 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24731 13086 16 0 209165 0 vsize: 836724 [startup+640.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 62535 60 0 0 25 0 11 0 839265947 856805376 24743 4294967295 134512640 134569956 3221224368 3221214664 1131366124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24743 13086 16 0 209165 0 vsize: 836724 [startup+650.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 63522 60 0 0 24 0 11 0 839265947 856805376 24755 4294967295 134512640 134569956 3221224368 3221214660 1131418675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24755 13086 16 0 209165 0 vsize: 836724 [startup+660.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 64511 60 0 0 25 0 11 0 839265947 856805376 24767 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24767 13086 16 0 209165 0 vsize: 836724 [startup+670.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 65499 61 0 0 25 0 11 0 839265947 856805376 24777 4294967295 134512640 134569956 3221224368 3221214560 1131264819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24777 13086 16 0 209165 0 vsize: 836724 [startup+680.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 66487 61 0 0 25 0 11 0 839265947 856805376 24788 4294967295 134512640 134569956 3221224368 3221214664 1131366294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24788 13086 16 0 209165 0 vsize: 836724 [startup+690.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 67475 62 0 0 25 0 11 0 839265947 856805376 24800 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24800 13086 16 0 209165 0 vsize: 836724 [startup+700.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 68464 62 0 0 25 0 11 0 839265947 856805376 24810 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24810 13086 16 0 209165 0 vsize: 836724 [startup+710.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 69452 62 0 0 25 0 11 0 839265947 856805376 24821 4294967295 134512640 134569956 3221224368 3221214560 1131264605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24821 13086 16 0 209165 0 vsize: 836724 [startup+720.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 70439 63 0 0 25 0 11 0 839265947 856805376 24831 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24831 13086 16 0 209165 0 vsize: 836724 [startup+730.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 71427 63 0 0 25 0 11 0 839265947 856805376 24843 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24843 13086 16 0 209165 0 vsize: 836724 [startup+740.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 72414 63 0 0 25 0 11 0 839265947 856805376 24858 4294967295 134512640 134569956 3221224368 3221214472 1131223622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24858 13086 16 0 209165 0 vsize: 836724 [startup+750.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 73402 64 0 0 25 0 11 0 839265947 856805376 24869 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24869 13086 16 0 209165 0 vsize: 836724 [startup+760.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 74390 64 0 0 25 0 11 0 839265947 856805376 24883 4294967295 134512640 134569956 3221224368 3221214660 1131212627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24883 13086 16 0 209165 0 vsize: 836724 [startup+770.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 75376 65 0 0 25 0 11 0 839265947 856805376 24894 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24894 13086 16 0 209165 0 vsize: 836724 [startup+780.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 76363 65 0 0 25 0 11 0 839265947 856805376 24905 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24905 13086 16 0 209165 0 vsize: 836724 [startup+790.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 77351 65 0 0 25 0 11 0 839265947 856805376 24914 4294967295 134512640 134569956 3221224368 3221214664 1131366044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24914 13086 16 0 209165 0 vsize: 836724 [startup+800.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 78338 65 0 0 25 0 11 0 839265947 856805376 24926 4294967295 134512640 134569956 3221224368 3221214916 1130899395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24926 13086 16 0 209165 0 vsize: 836724 [startup+810.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 79325 66 0 0 25 0 11 0 839265947 856805376 24936 4294967295 134512640 134569956 3221224368 3221214764 1131246976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24936 13086 16 0 209165 0 vsize: 836724 [startup+820.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 80309 66 0 0 25 0 11 0 839265947 856805376 24947 4294967295 134512640 134569956 3221224368 3221214664 1131361734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24947 13086 16 0 209165 0 vsize: 836724 [startup+830.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 81289 66 0 0 25 0 11 0 839265947 856805376 24959 4294967295 134512640 134569956 3221224368 3221214560 1131264779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24959 13086 16 0 209165 0 vsize: 836724 [startup+840.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 82270 66 0 0 25 0 11 0 839265947 856805376 24969 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 24969 13086 16 0 209165 0 vsize: 836724 [startup+850.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 83253 67 0 0 25 0 11 0 839265947 856805376 25058 4294967295 134512640 134569956 3221224368 3221214560 1131265332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25058 13086 16 0 209165 0 vsize: 836724 [startup+860.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 84240 67 0 0 25 0 11 0 839265947 856805376 25069 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25069 13086 16 0 209165 0 vsize: 836724 [startup+870.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 85228 67 0 0 25 0 11 0 839265947 856805376 25079 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25079 13086 16 0 209165 0 vsize: 836724 [startup+880.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 86215 67 0 0 25 0 11 0 839265947 856805376 25088 4294967295 134512640 134569956 3221224368 3221214560 1131265005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25088 13086 16 0 209165 0 vsize: 836724 [startup+890.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) S 3877 23310 23309 0 -1 0 18074 0 1 0 87201 67 0 0 25 0 11 0 839265947 856805376 25097 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25097 13086 16 0 209165 0 vsize: 836724 [startup+900.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 88188 67 0 0 25 0 11 0 839265947 856805376 25109 4294967295 134512640 134569956 3221224368 3221214664 1131361866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209181 25109 13086 16 0 209165 0 vsize: 836724 [startup+910.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 89175 68 0 0 25 0 11 0 839265947 856805376 25118 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25118 13086 16 0 209165 0 vsize: 836724 [startup+920.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 90162 68 0 0 25 0 11 0 839265947 856805376 25127 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25127 13086 16 0 209165 0 vsize: 836724 [startup+930.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 91149 68 0 0 25 0 11 0 839265947 856805376 25136 4294967295 134512640 134569956 3221224368 3221214664 1131361698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25136 13086 16 0 209165 0 vsize: 836724 [startup+940.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 92135 68 0 0 25 0 11 0 839265947 856805376 25146 4294967295 134512640 134569956 3221224368 3221214664 1131362778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25146 13086 16 0 209165 0 vsize: 836724 [startup+950.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 93123 68 0 0 25 0 11 0 839265947 856805376 25155 4294967295 134512640 134569956 3221224368 3221214560 1131265252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25155 13086 16 0 209165 0 vsize: 836724 [startup+960.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 94110 68 0 0 25 0 11 0 839265947 856805376 25163 4294967295 134512640 134569956 3221224368 3221214560 1131265153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25163 13086 16 0 209165 0 vsize: 836724 [startup+970.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 95095 68 0 0 24 0 11 0 839265947 856805376 25173 4294967295 134512640 134569956 3221224368 3221214560 1131265600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25173 13086 16 0 209165 0 vsize: 836724 [startup+980.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 96082 68 0 0 25 0 11 0 839265947 856805376 25180 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25180 13086 16 0 209165 0 vsize: 836724 [startup+990.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 97068 68 0 0 25 0 11 0 839265947 856805376 25192 4294967295 134512640 134569956 3221224368 3221214560 1131265597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25192 13086 16 0 209165 0 vsize: 836724 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 98055 68 0 0 25 0 11 0 839265947 856805376 25202 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25202 13086 16 0 209165 0 vsize: 836724 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 99040 68 0 0 24 0 11 0 839265947 856805376 25212 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25212 13086 16 0 209165 0 vsize: 836724 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 100027 68 0 0 25 0 11 0 839265947 856805376 25220 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25220 13086 16 0 209165 0 vsize: 836724 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 101013 68 0 0 25 0 11 0 839265947 856805376 25230 4294967295 134512640 134569956 3221224368 3221214664 1131363670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25230 13086 16 0 209165 0 vsize: 836724 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 101999 68 0 0 25 0 11 0 839265947 856805376 25238 4294967295 134512640 134569956 3221224368 3221214664 1131366181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25238 13086 16 0 209165 0 vsize: 836724 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 102985 68 0 0 24 0 11 0 839265947 856805376 25247 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25247 13086 16 0 209165 0 vsize: 836724 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 103971 68 0 0 25 0 11 0 839265947 856805376 25255 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25255 13086 16 0 209165 0 vsize: 836724 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 104957 68 0 0 25 0 11 0 839265947 856805376 25266 4294967295 134512640 134569956 3221224368 3221214560 1131264622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25266 13086 16 0 209165 0 vsize: 836724 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 105939 68 0 0 25 0 11 0 839265947 856805376 25281 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25281 13086 16 0 209165 0 vsize: 836724 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 106925 68 0 0 25 0 11 0 839265947 856805376 25289 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25289 13086 16 0 209165 0 vsize: 836724 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 107910 68 0 0 25 0 11 0 839265947 856805376 25301 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25301 13086 16 0 209165 0 vsize: 836724 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 108897 68 0 0 25 0 11 0 839265947 856805376 25309 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25309 13086 16 0 209165 0 vsize: 836724 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 109882 68 0 0 25 0 11 0 839265947 856805376 25320 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25320 13086 16 0 209165 0 vsize: 836724 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 110868 68 0 0 25 0 11 0 839265947 856805376 25331 4294967295 134512640 134569956 3221224368 3221214560 1131264673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25331 13086 16 0 209165 0 vsize: 836724 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 111854 69 0 0 25 0 11 0 839265947 856805376 25338 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25338 13086 16 0 209165 0 vsize: 836724 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 112842 69 0 0 25 0 11 0 839265947 856805376 25346 4294967295 134512640 134569956 3221224368 3221214560 1131264993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25346 13086 16 0 209165 0 vsize: 836724 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 113828 69 0 0 25 0 11 0 839265947 856805376 25354 4294967295 134512640 134569956 3221224368 3221214808 1131359448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25354 13086 16 0 209165 0 vsize: 836724 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 114814 69 0 0 25 0 11 0 839265947 856805376 25361 4294967295 134512640 134569956 3221224368 3221214560 1131264658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25361 13086 16 0 209165 0 vsize: 836724 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 115800 69 0 0 25 0 11 0 839265947 856805376 25370 4294967295 134512640 134569956 3221224368 3221214660 1131264588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25370 13086 16 0 209165 0 vsize: 836724 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 116785 69 0 0 25 0 11 0 839265947 856805376 25377 4294967295 134512640 134569956 3221224368 3221214440 1131557649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25377 13086 16 0 209165 0 vsize: 836724 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 117772 69 0 0 25 0 11 0 839265947 856805376 25385 4294967295 134512640 134569956 3221224368 3221214560 1131265272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25385 13086 16 0 209165 0 vsize: 836724 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 118757 69 0 0 25 0 11 0 839265947 856805376 25391 4294967295 134512640 134569956 3221224368 3221214560 1131265548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25391 13086 16 0 209165 0 vsize: 836724 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 119744 69 0 0 25 0 11 0 839265947 856805376 25397 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25397 13086 16 0 209165 0 vsize: 836724 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3888 Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 120730 69 0 0 25 0 11 0 839265947 856805376 25405 4294967295 134512640 134569956 3221224368 3221214560 1131265609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209181 25405 13086 16 0 209165 0 vsize: 836724 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 3890 Raw data (stat): 3878 (java) Z 3877 23310 23309 0 -1 1036 18075 6241 1 0 120734 69 2050 25 25 0 1 0 839265947 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): 1230.18 CPU time (s): 1228.8 CPU user time (s): 1227.85 CPU system time (s): 0.951855 CPU usage (%): 99.8879 Max. virtual memory (Kb): 837344 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####