Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb |
MD5SUM | 697fa5beb3d240bccfa43a29ef9b4fb8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2048 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 16 |
Biggest coefficient in the objective function | 32768 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 65535 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 49152 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 114687 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.03 |
Number of variables | 784 |
Total number of constraints | 833 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 816 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-21 15:29:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17871 boxname=wulflinc5 idbench=1375 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 697fa5beb3d240bccfa43a29ef9b4fb8 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-opt1217.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-opt1217.opb IDLAUNCH: 17871 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 908236 kB Buffers: 16308 kB Cached: 89308 kB SwapCached: 328 kB Active: 23572 kB Inactive: 84592 kB HighTotal: 131008 kB HighFree: 69720 kB LowTotal: 903652 kB LowFree: 838516 kB SwapTotal: 2097136 kB SwapFree: 2096444 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5728 kB Slab: 12704 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 15:50:38 (client local time) WITH STATUS 143 IN 1250.25 SECONDS stats: 17871 7 1250.25 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-opt1217.opb c reading problem c [nbvar=784] c [nbconstr=833] c time 1.893 c #vars 784 c #clauses 113 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=0 c Current CPU time (ms) : 2.726 c starts : 1 c conflicts : 0 c decisions : 734 c propagations : 784 c inspects : 814 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 #### 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): 1.00 1.00 0.95 2/54 24554 Raw data (stat): 24554 (runsolver) R 24553 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487948990 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0007 s] Raw data (loadavg): 1.31 1.07 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18071 3 1 0 654 43 0 0 25 0 11 0 487948990 865800192 21617 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211377 21617 13073 16 0 211361 0 vsize: 845508 [startup+20.002 s] Raw data (loadavg): 1.26 1.06 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18072 3 1 0 1604 44 0 0 25 0 11 0 487948990 864616448 21464 4294967295 134512640 134569956 3221224400 3221214680 1131213157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 21464 13073 16 0 211072 0 vsize: 844352 [startup+30.0027 s] Raw data (loadavg): 1.22 1.06 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 2556 44 0 0 25 0 11 0 487948990 864616448 21756 4294967295 134512640 134569956 3221224400 3221214680 1131214288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 21756 13073 16 0 211072 0 vsize: 844352 [startup+40.003 s] Raw data (loadavg): 1.18 1.06 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 3511 44 0 0 24 0 11 0 487948990 864616448 21973 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 21973 13073 16 0 211072 0 vsize: 844352 [startup+50.0043 s] Raw data (loadavg): 1.16 1.06 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 4481 44 0 0 25 0 11 0 487948990 864616448 22042 4294967295 134512640 134569956 3221224400 3221214680 1131214007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22042 13073 16 0 211072 0 vsize: 844352 [startup+60.0049 s] Raw data (loadavg): 1.13 1.05 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 5462 44 0 0 25 0 11 0 487948990 864616448 22206 4294967295 134512640 134569956 3221224400 3221214680 1131213439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22206 13073 16 0 211072 0 vsize: 844352 [startup+70.0052 s] Raw data (loadavg): 1.11 1.05 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 6448 44 0 0 25 0 11 0 487948990 864616448 22272 4294967295 134512640 134569956 3221224400 3221214680 1131213125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22272 13073 16 0 211072 0 vsize: 844352 [startup+80.0049 s] Raw data (loadavg): 1.09 1.05 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 7433 44 0 0 25 0 11 0 487948990 864616448 22300 4294967295 134512640 134569956 3221224400 3221214680 1131213642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22300 13073 16 0 211072 0 vsize: 844352 [startup+90.0062 s] Raw data (loadavg): 1.08 1.05 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 8416 45 0 0 25 0 11 0 487948990 864616448 22354 4294967295 134512640 134569956 3221224400 3221214776 1131239039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22354 13073 16 0 211072 0 vsize: 844352 [startup+100.01 s] Raw data (loadavg): 1.07 1.05 0.97 2/64 24565 Raw data (stat): 24554 (java) S 24553 24215 24214 0 -1 0 18073 3 1 0 9396 45 0 0 25 0 11 0 487948990 864616448 22391 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22391 13073 16 0 211072 0 vsize: 844352 [startup+110.011 s] Raw data (loadavg): 1.06 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 10375 45 0 0 25 0 11 0 487948990 864616448 22473 4294967295 134512640 134569956 3221224400 3221214680 1131213315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22473 13073 16 0 211072 0 vsize: 844352 [startup+120.012 s] Raw data (loadavg): 1.05 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 11357 45 0 0 25 0 11 0 487948990 864616448 22534 4294967295 134512640 134569956 3221224400 3221214776 1131242436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22534 13073 16 0 211072 0 vsize: 844352 [startup+130.012 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 12341 45 0 0 25 0 11 0 487948990 864616448 22570 4294967295 134512640 134569956 3221224400 3221214680 1131213681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22570 13073 16 0 211072 0 vsize: 844352 [startup+140.012 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 13320 45 0 0 25 0 11 0 487948990 864616448 22660 4294967295 134512640 134569956 3221224400 3221214680 1131213209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22660 13073 16 0 211072 0 vsize: 844352 [startup+150.014 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 14301 45 0 0 24 0 11 0 487948990 864616448 22696 4294967295 134512640 134569956 3221224400 3221214680 1131213989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22696 13073 16 0 211072 0 vsize: 844352 [startup+160.014 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 15284 46 0 0 25 0 11 0 487948990 864616448 22791 4294967295 134512640 134569956 3221224400 3221214680 1131213216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22791 13073 16 0 211072 0 vsize: 844352 [startup+170.014 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 16264 46 0 0 25 0 11 0 487948990 864616448 22858 4294967295 134512640 134569956 3221224400 3221214680 1131213273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22858 13073 16 0 211072 0 vsize: 844352 [startup+180.014 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 17247 46 0 0 25 0 11 0 487948990 864616448 22910 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22910 13073 16 0 211072 0 vsize: 844352 [startup+190.015 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 18234 46 0 0 25 0 11 0 487948990 864616448 22995 4294967295 134512640 134569956 3221224400 3221214680 1131213129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22995 13073 16 0 211072 0 vsize: 844352 [startup+200.015 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 19222 46 0 0 25 0 11 0 487948990 864616448 23030 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23030 13073 16 0 211072 0 vsize: 844352 [startup+210.016 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 20211 46 0 0 25 0 11 0 487948990 864616448 23058 4294967295 134512640 134569956 3221224400 3221214680 1131213681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23058 13073 16 0 211072 0 vsize: 844352 [startup+220.016 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 21200 47 0 0 25 0 11 0 487948990 864616448 23095 4294967295 134512640 134569956 3221224400 3221214776 1131239330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23095 13073 16 0 211072 0 vsize: 844352 [startup+230.016 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 22184 47 0 0 25 0 11 0 487948990 864616448 23113 4294967295 134512640 134569956 3221224400 3221214680 1131213134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23113 13073 16 0 211072 0 vsize: 844352 [startup+240.017 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 23163 47 0 0 25 0 11 0 487948990 864616448 23143 4294967295 134512640 134569956 3221224400 3221214776 1131239023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23143 13073 16 0 211072 0 vsize: 844352 [startup+250.018 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18073 3 1 0 24136 47 0 0 25 0 11 0 487948990 864616448 23207 4294967295 134512640 134569956 3221224400 3221214680 1131213129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23207 13073 16 0 211072 0 vsize: 844352 [startup+260.018 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 25111 47 0 0 25 0 11 0 487948990 864616448 23307 4294967295 134512640 134569956 3221224400 3221214800 1131231183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23307 13073 16 0 211072 0 vsize: 844352 [startup+270.019 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 26085 47 0 0 25 0 11 0 487948990 864616448 23389 4294967295 134512640 134569956 3221224400 3221214776 1131239039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23389 13073 16 0 211072 0 vsize: 844352 [startup+280.018 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 27058 47 0 0 25 0 11 0 487948990 864616448 23470 4294967295 134512640 134569956 3221224400 3221214680 1131213157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23470 13073 16 0 211072 0 vsize: 844352 [startup+290.018 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 28033 48 0 0 25 0 11 0 487948990 864616448 23585 4294967295 134512640 134569956 3221224400 3221214656 1131320687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23585 13073 16 0 211072 0 vsize: 844352 [startup+300.021 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 29010 48 0 0 25 0 11 0 487948990 864616448 23719 4294967295 134512640 134569956 3221224400 3221214680 1131213157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23719 13073 16 0 211072 0 vsize: 844352 [startup+310.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 29989 48 0 0 25 0 11 0 487948990 864616448 23783 4294967295 134512640 134569956 3221224400 3221214680 1131214044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23783 13073 16 0 211072 0 vsize: 844352 [startup+320.023 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 30966 48 0 0 25 0 11 0 487948990 864616448 23840 4294967295 134512640 134569956 3221224400 3221214680 1131213269 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23840 13073 16 0 211072 0 vsize: 844352 [startup+330.024 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 31943 49 0 0 25 0 11 0 487948990 864616448 23910 4294967295 134512640 134569956 3221224400 3221214776 1131240300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23910 13073 16 0 211072 0 vsize: 844352 [startup+340.024 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 32920 49 0 0 25 0 11 0 487948990 864616448 23975 4294967295 134512640 134569956 3221224400 3221214776 1131239250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23975 13073 16 0 211072 0 vsize: 844352 [startup+350.024 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 33901 49 0 0 25 0 11 0 487948990 864616448 24078 4294967295 134512640 134569956 3221224400 3221214576 1131502297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24078 13073 16 0 211072 0 vsize: 844352 [startup+360.026 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 34881 49 0 0 24 0 11 0 487948990 864616448 24145 4294967295 134512640 134569956 3221224400 3221214776 1131239311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24145 13073 16 0 211072 0 vsize: 844352 [startup+370.027 s] Raw data (loadavg): 1.00 1.01 0.97 3/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 35857 49 0 0 25 0 11 0 487948990 864616448 24170 4294967295 134512640 134569956 3221224400 3221214584 1131214440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 24170 13073 16 0 211072 0 vsize: 844352 [startup+380.027 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 36824 50 0 0 25 0 11 0 487948990 864616448 24262 4294967295 134512640 134569956 3221224400 3221214600 1131219552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24262 13073 16 0 211072 0 vsize: 844352 [startup+390.027 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 37793 50 0 0 25 0 11 0 487948990 864616448 24349 4294967295 134512640 134569956 3221224400 3221214776 1131239311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24349 13073 16 0 211072 0 vsize: 844352 [startup+400.028 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 38765 50 0 0 24 0 11 0 487948990 864616448 24463 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24463 13073 16 0 211072 0 vsize: 844352 [startup+410.029 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 39745 50 0 0 25 0 11 0 487948990 864616448 24567 4294967295 134512640 134569956 3221224400 3221214776 1131240485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24567 13073 16 0 211072 0 vsize: 844352 [startup+420.03 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 40732 50 0 0 25 0 11 0 487948990 864616448 24606 4294967295 134512640 134569956 3221224400 3221214680 1131213125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24606 13073 16 0 211072 0 vsize: 844352 [startup+430.029 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 41719 50 0 0 25 0 11 0 487948990 864616448 24646 4294967295 134512640 134569956 3221224400 3221214680 1131213129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24646 13073 16 0 211072 0 vsize: 844352 [startup+440.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 42706 50 0 0 25 0 11 0 487948990 864616448 24692 4294967295 134512640 134569956 3221224400 3221214776 1131239311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 24692 13073 16 0 211072 0 vsize: 844352 [startup+450.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 43693 50 0 0 25 0 11 0 487948990 864616448 24735 4294967295 134512640 134569956 3221224400 3221214680 1131213132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24735 13073 16 0 211072 0 vsize: 844352 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 44677 50 0 0 25 0 11 0 487948990 864616448 24776 4294967295 134512640 134569956 3221224400 3221214680 1131213526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24776 13073 16 0 211072 0 vsize: 844352 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 45652 51 0 0 25 0 11 0 487948990 864616448 24830 4294967295 134512640 134569956 3221224400 3221214680 1131213125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24830 13073 16 0 211072 0 vsize: 844352 [startup+480.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 46619 51 0 0 25 0 11 0 487948990 864616448 24891 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 24891 13073 16 0 211072 0 vsize: 844352 [startup+490.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 47581 51 0 0 25 0 11 0 487948990 864616448 25003 4294967295 134512640 134569956 3221224400 3221214632 1131362244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25003 13073 16 0 211072 0 vsize: 844352 [startup+500.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 48537 51 0 0 25 0 11 0 487948990 864616448 25156 4294967295 134512640 134569956 3221224400 3221214656 1131321732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25156 13073 16 0 211072 0 vsize: 844352 [startup+510.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 49497 51 0 0 25 0 11 0 487948990 864616448 25310 4294967295 134512640 134569956 3221224400 3221214680 1131213479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25310 13073 16 0 211072 0 vsize: 844352 [startup+520.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 50466 52 0 0 25 0 11 0 487948990 864616448 25472 4294967295 134512640 134569956 3221224400 3221214680 1131213642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25472 13073 16 0 211072 0 vsize: 844352 [startup+530.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 51436 52 0 0 25 0 11 0 487948990 864616448 25594 4294967295 134512640 134569956 3221224400 3221214680 1131213578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25594 13073 16 0 211072 0 vsize: 844352 [startup+540.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 52404 52 0 0 25 0 11 0 487948990 864616448 25670 4294967295 134512640 134569956 3221224400 3221214776 1131240363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25670 13073 16 0 211072 0 vsize: 844352 [startup+550.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 53371 52 0 0 25 0 11 0 487948990 864616448 25760 4294967295 134512640 134569956 3221224400 3221214680 1131214375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25760 13073 16 0 211072 0 vsize: 844352 [startup+560.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 54338 52 0 0 24 0 11 0 487948990 864616448 25865 4294967295 134512640 134569956 3221224400 3221214680 1131214315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25865 13073 16 0 211072 0 vsize: 844352 [startup+570.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 55311 52 0 0 25 0 11 0 487948990 864616448 25953 4294967295 134512640 134569956 3221224400 3221214680 1131213117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 25953 13073 16 0 211072 0 vsize: 844352 [startup+580.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 56288 52 0 0 25 0 11 0 487948990 864616448 26045 4294967295 134512640 134569956 3221224400 3221214680 1131213466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26045 13073 16 0 211072 0 vsize: 844352 [startup+590.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 57269 52 0 0 24 0 11 0 487948990 864616448 26144 4294967295 134512640 134569956 3221224400 3221214776 1131239311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26144 13073 16 0 211072 0 vsize: 844352 [startup+600.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 58251 53 0 0 25 0 11 0 487948990 864616448 26189 4294967295 134512640 134569956 3221224400 3221214680 1131214350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26189 13073 16 0 211072 0 vsize: 844352 [startup+610.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 59226 53 0 0 25 0 11 0 487948990 864616448 26234 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 26234 13073 16 0 211072 0 vsize: 844352 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 60196 53 0 0 25 0 11 0 487948990 864616448 26311 4294967295 134512640 134569956 3221224400 3221214772 1131213100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26311 13073 16 0 211072 0 vsize: 844352 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 61167 53 0 0 25 0 11 0 487948990 864616448 26399 4294967295 134512640 134569956 3221224400 3221214776 1131240310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26399 13073 16 0 211072 0 vsize: 844352 [startup+640.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 62131 53 0 0 25 0 11 0 487948990 864616448 26488 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26488 13073 16 0 211072 0 vsize: 844352 [startup+650.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 63096 53 0 0 25 0 11 0 487948990 864616448 26607 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26607 13073 16 0 211072 0 vsize: 844352 [startup+660.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 64066 54 0 0 25 0 11 0 487948990 864616448 26737 4294967295 134512640 134569956 3221224400 3221214772 1131213100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26737 13073 16 0 211072 0 vsize: 844352 [startup+670.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 65034 54 0 0 24 0 11 0 487948990 864616448 26848 4294967295 134512640 134569956 3221224400 3221214680 1131213751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26848 13073 16 0 211072 0 vsize: 844352 [startup+680.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 66005 54 0 0 24 0 11 0 487948990 864616448 26922 4294967295 134512640 134569956 3221224400 3221214776 1131241238 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 26922 13073 16 0 211072 0 vsize: 844352 [startup+690.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 66981 54 0 0 25 0 11 0 487948990 864616448 26999 4294967295 134512640 134569956 3221224400 3221214776 1131240310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 26999 13073 16 0 211072 0 vsize: 844352 [startup+700.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 67954 54 0 0 25 0 11 0 487948990 864616448 27081 4294967295 134512640 134569956 3221224400 3221214776 1131240360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27081 13073 16 0 211072 0 vsize: 844352 [startup+710.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 68926 55 0 0 25 0 11 0 487948990 864616448 27152 4294967295 134512640 134569956 3221224400 3221214680 1131213125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27152 13073 16 0 211072 0 vsize: 844352 [startup+720.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 69892 55 0 0 25 0 11 0 487948990 864616448 27216 4294967295 134512640 134569956 3221224400 3221214680 1131213269 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27216 13073 16 0 211072 0 vsize: 844352 [startup+730.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 70856 55 0 0 25 0 11 0 487948990 864616448 27319 4294967295 134512640 134569956 3221224400 3221214680 1131213121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 27319 13073 16 0 211072 0 vsize: 844352 [startup+740.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 71819 55 0 0 24 0 11 0 487948990 864616448 27526 4294967295 134512640 134569956 3221224400 3221214776 1131241590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27526 13073 16 0 211072 0 vsize: 844352 [startup+750.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 72789 55 0 0 25 0 11 0 487948990 864616448 27630 4294967295 134512640 134569956 3221224400 3221214648 1131264560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27630 13073 16 0 211072 0 vsize: 844352 [startup+760.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 73758 55 0 0 25 0 11 0 487948990 864616448 27744 4294967295 134512640 134569956 3221224400 3221214680 1131213757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27744 13073 16 0 211072 0 vsize: 844352 [startup+770.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 74729 55 0 0 25 0 11 0 487948990 864616448 27823 4294967295 134512640 134569956 3221224400 3221214680 1131213483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27823 13073 16 0 211072 0 vsize: 844352 [startup+780.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 75701 56 0 0 25 0 11 0 487948990 864616448 27903 4294967295 134512640 134569956 3221224400 3221214680 1131214315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 27903 13073 16 0 211072 0 vsize: 844352 [startup+790.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 76675 56 0 0 25 0 11 0 487948990 864616448 28006 4294967295 134512640 134569956 3221224400 3221214680 1131213129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28006 13073 16 0 211072 0 vsize: 844352 [startup+800.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 77645 56 0 0 25 0 11 0 487948990 864616448 28083 4294967295 134512640 134569956 3221224400 3221214776 1131240310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28083 13073 16 0 211072 0 vsize: 844352 [startup+810.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 78615 56 0 0 25 0 11 0 487948990 864616448 28197 4294967295 134512640 134569956 3221224400 3221214776 1131240313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28197 13073 16 0 211072 0 vsize: 844352 [startup+820.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 79583 56 0 0 25 0 11 0 487948990 864616448 28275 4294967295 134512640 134569956 3221224400 3221214776 1131240412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 28275 13073 16 0 211072 0 vsize: 844352 [startup+830.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 80547 56 0 0 25 0 11 0 487948990 864616448 28364 4294967295 134512640 134569956 3221224400 3221214680 1131213209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28364 13073 16 0 211072 0 vsize: 844352 [startup+840.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 81512 57 0 0 25 0 11 0 487948990 864616448 28469 4294967295 134512640 134569956 3221224400 3221214776 1131239278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28469 13073 16 0 211072 0 vsize: 844352 [startup+850.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 82479 57 0 0 24 0 11 0 487948990 864616448 28590 4294967295 134512640 134569956 3221224400 3221214656 1131321795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28590 13073 16 0 211072 0 vsize: 844352 [startup+860.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 83444 57 0 0 25 0 11 0 487948990 864616448 28673 4294967295 134512640 134569956 3221224400 3221214680 1131214375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28673 13073 16 0 211072 0 vsize: 844352 [startup+870.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 84415 57 0 0 25 0 11 0 487948990 864616448 28765 4294967295 134512640 134569956 3221224400 3221214680 1131213558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28765 13073 16 0 211072 0 vsize: 844352 [startup+880.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 85383 57 0 0 25 0 11 0 487948990 864616448 28870 4294967295 134512640 134569956 3221224400 3221214776 1131240446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28870 13073 16 0 211072 0 vsize: 844352 [startup+890.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 86351 57 0 0 25 0 11 0 487948990 864616448 28962 4294967295 134512640 134569956 3221224400 3221214680 1131214032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 28962 13073 16 0 211072 0 vsize: 844352 [startup+900.065 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 87324 57 0 0 25 0 11 0 487948990 864616448 29050 4294967295 134512640 134569956 3221224400 3221214680 1131213580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29050 13073 16 0 211072 0 vsize: 844352 [startup+910.065 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 88298 58 0 0 25 0 11 0 487948990 864616448 29138 4294967295 134512640 134569956 3221224400 3221214680 1131213205 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29138 13073 16 0 211072 0 vsize: 844352 [startup+920.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 89274 58 0 0 24 0 11 0 487948990 864616448 29194 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29194 13073 16 0 211072 0 vsize: 844352 [startup+930.067 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 90252 58 0 0 24 0 11 0 487948990 864616448 29270 4294967295 134512640 134569956 3221224400 3221214776 1131241656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29270 13073 16 0 211072 0 vsize: 844352 [startup+940.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 91234 58 0 0 25 0 11 0 487948990 864616448 29346 4294967295 134512640 134569956 3221224400 3221214680 1131214355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29346 13073 16 0 211072 0 vsize: 844352 [startup+950.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 92218 58 0 0 25 0 11 0 487948990 864616448 29374 4294967295 134512640 134569956 3221224400 3221214576 1131295889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29374 13073 16 0 211072 0 vsize: 844352 [startup+960.069 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 93198 58 0 0 25 0 11 0 487948990 864616448 29399 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29399 13073 16 0 211072 0 vsize: 844352 [startup+970.069 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 94173 59 0 0 25 0 11 0 487948990 864616448 29442 4294967295 134512640 134569956 3221224400 3221214680 1131213614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29442 13073 16 0 211072 0 vsize: 844352 [startup+980.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 95148 59 0 0 25 0 11 0 487948990 864616448 29499 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 29499 13073 16 0 211072 0 vsize: 844352 [startup+990.071 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 96123 59 0 0 25 0 11 0 487948990 864616448 29590 4294967295 134512640 134569956 3221224400 3221214772 1131378275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29590 13073 16 0 211072 0 vsize: 844352 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 97100 59 0 0 24 0 11 0 487948990 864616448 29665 4294967295 134512640 134569956 3221224400 3221214680 1131213642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29665 13073 16 0 211072 0 vsize: 844352 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 98081 60 0 0 25 0 11 0 487948990 864616448 29731 4294967295 134512640 134569956 3221224400 3221214680 1131213751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29731 13073 16 0 211072 0 vsize: 844352 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 99056 60 0 0 25 0 11 0 487948990 864616448 29764 4294967295 134512640 134569956 3221224400 3221214776 1131240510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29764 13073 16 0 211072 0 vsize: 844352 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 100026 61 0 0 25 0 11 0 487948990 864616448 29812 4294967295 134512640 134569956 3221224400 3221214680 1131213129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29812 13073 16 0 211072 0 vsize: 844352 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 100989 61 0 0 24 0 11 0 487948990 864616448 29883 4294967295 134512640 134569956 3221224400 3221214776 1131239239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29883 13073 16 0 211072 0 vsize: 844352 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 101953 61 0 0 25 0 11 0 487948990 864616448 29994 4294967295 134512640 134569956 3221224400 3221214320 1131569776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 29994 13073 16 0 211072 0 vsize: 844352 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 102917 62 0 0 25 0 11 0 487948990 864616448 30083 4294967295 134512640 134569956 3221224400 3221214680 1131213755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30083 13073 16 0 211072 0 vsize: 844352 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 103886 62 0 0 25 0 11 0 487948990 864616448 30182 4294967295 134512640 134569956 3221224400 3221214680 1131214355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30182 13073 16 0 211072 0 vsize: 844352 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 104854 62 0 0 25 0 11 0 487948990 864616448 30299 4294967295 134512640 134569956 3221224400 3221214608 1131289186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30299 13073 16 0 211072 0 vsize: 844352 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 105824 63 0 0 25 0 11 0 487948990 864616448 30392 4294967295 134512640 134569956 3221224400 3221214680 1131213218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30392 13073 16 0 211072 0 vsize: 844352 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 106793 63 0 0 25 0 11 0 487948990 864616448 30467 4294967295 134512640 134569956 3221224400 3221214772 1131213100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30467 13073 16 0 211072 0 vsize: 844352 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 107763 63 0 0 25 0 11 0 487948990 864616448 30568 4294967295 134512640 134569956 3221224400 3221214680 1131213681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30568 13073 16 0 211072 0 vsize: 844352 [startup+1120.09 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 108736 64 0 0 25 0 11 0 487948990 864616448 30630 4294967295 134512640 134569956 3221224400 3221214960 1131308096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30630 13073 16 0 211072 0 vsize: 844352 [startup+1130.1 s] Raw data (loadavg): 1.06 1.02 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 109704 64 0 0 25 0 11 0 487948990 864616448 30707 4294967295 134512640 134569956 3221224400 3221214776 1131241297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30707 13073 16 0 211072 0 vsize: 844352 [startup+1140.11 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 110671 64 0 0 25 0 11 0 487948990 864616448 30782 4294967295 134512640 134569956 3221224400 3221214680 1131213529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30782 13073 16 0 211072 0 vsize: 844352 [startup+1150.11 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 111637 64 0 0 25 0 11 0 487948990 864616448 30885 4294967295 134512640 134569956 3221224400 3221214600 1131568440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30885 13073 16 0 211072 0 vsize: 844352 [startup+1160.12 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 112606 65 0 0 25 0 11 0 487948990 864616448 30979 4294967295 134512640 134569956 3221224400 3221214680 1131213125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 30979 13073 16 0 211072 0 vsize: 844352 [startup+1170.12 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 113573 65 0 0 25 0 11 0 487948990 864616448 31047 4294967295 134512640 134569956 3221224400 3221214776 1131239311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31047 13073 16 0 211072 0 vsize: 844352 [startup+1180.13 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 114540 66 0 0 25 0 11 0 487948990 864616448 31124 4294967295 134512640 134569956 3221224400 3221214776 1131240360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31124 13073 16 0 211072 0 vsize: 844352 [startup+1190.14 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 115508 66 0 0 25 0 11 0 487948990 864616448 31223 4294967295 134512640 134569956 3221224400 3221214656 1131319700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31223 13073 16 0 211072 0 vsize: 844352 [startup+1200.14 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 116478 67 0 0 25 0 11 0 487948990 864616448 31312 4294967295 134512640 134569956 3221224400 3221214772 1131213100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31312 13073 16 0 211072 0 vsize: 844352 [startup+1210.15 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 117451 68 0 0 25 0 11 0 487948990 864616448 31391 4294967295 134512640 134569956 3221224400 3221214576 1131502258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31391 13073 16 0 211072 0 vsize: 844352 [startup+1220.16 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 118425 68 0 0 25 0 11 0 487948990 864616448 31474 4294967295 134512640 134569956 3221224400 3221214680 1131213743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31474 13073 16 0 211072 0 vsize: 844352 [startup+1230.16 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 119395 69 0 0 24 0 11 0 487948990 864616448 31554 4294967295 134512640 134569956 3221224400 3221214648 1131264605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31554 13073 16 0 211072 0 vsize: 844352 [startup+1240.16 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 24565 Raw data (stat): 24554 (java) R 24553 24215 24214 0 -1 0 18074 3 1 0 120366 69 0 0 25 0 11 0 487948990 864616448 31603 4294967295 134512640 134569956 3221224400 3221214776 1131240340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211088 31603 13073 16 0 211072 0 vsize: 844352 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.31 s] Raw data (loadavg): 1.01 1.00 0.98 1/54 24567 Raw data (stat): 24554 (java) Z 24553 24215 24214 0 -1 1036 18074 17806 1 0 120371 75 4522 55 22 0 1 0 487948990 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.31 CPU time (s): 1250.25 CPU user time (s): 1248.94 CPU system time (s): 1.3078 CPU usage (%): 100.801 Max. virtual memory (Kb): 845508 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####