Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas74.opb |
MD5SUM | 4f5abf3617135e01dd6fd08d8fd20e49 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 237 |
Biggest coefficient in the objective function | 241785163922925834941235200000 |
Number of bits for the biggest coefficient in the objective function | 98 |
Sum of the numbers in the objective function | 483570327845851669882470400000 |
Number of bits of the sum of numbers in the objective function | 99 |
Biggest number in a constraint | 604462909807314587353088000000000 |
Number of bits of the biggest number in a constraint | 109 |
Biggest sum of numbers in a constraint | 1208925819614629174706176000000000 |
Number of bits of the biggest sum of numbers | 110 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1218.03 |
Number of variables | 237 |
Total number of constraints | 164 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 151 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 236 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-25 13:20:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21371 boxname=wulflinc6 idbench=1359 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4f5abf3617135e01dd6fd08d8fd20e49 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mas74.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mas74.opb IDLAUNCH: 21371 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 699636 kB Buffers: 32492 kB Cached: 277856 kB SwapCached: 412 kB Active: 84480 kB Inactive: 228148 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 699384 kB SwapTotal: 2097136 kB SwapFree: 2096036 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5692 kB Slab: 16688 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:40:42 (client local time) WITH STATUS 143 IN 1218.03 SECONDS stats: 21371 0 1218.03 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/wulflinc6/normalized-mps-v2-13-7-mas74.opb c reading problem ... done. Time 1.264 ms. c #vars 237 c #constraints 14 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 219902325555200000 Current CPU time: 1.40 ms c CURRENT OPTIMUM= 109951162777600000 Current CPU time: 1.57 ms c CURRENT OPTIMUM= 54975581388800000 Current CPU time: 1.92 ms c CURRENT OPTIMUM= 27487790694400000 Current CPU time: 2.04 ms c CURRENT OPTIMUM= 13743895347200000 Current CPU time: 2.13 ms c CURRENT OPTIMUM= 6871947673600000 Current CPU time: 2.23 ms c CURRENT OPTIMUM= 3435973836800000 Current CPU time: 2.32 ms c CURRENT OPTIMUM= 1717986918400000 Current CPU time: 2.49 ms c CURRENT OPTIMUM= 858993459200000 Current CPU time: 2.55 ms c CURRENT OPTIMUM= 429496729600000 Current CPU time: 2.60 ms c CURRENT OPTIMUM= 214748364800000 Current CPU time: 2.70 ms c CURRENT OPTIMUM= 107374182400000 Current CPU time: 2.75 ms c CURRENT OPTIMUM= 53687091200000 Current CPU time: 2.81 ms c CURRENT OPTIMUM= 26843545600000 Current CPU time: 2.91 ms c CURRENT OPTIMUM= 13421772800000 Current CPU time: 2.96 ms c CURRENT OPTIMUM= 6710886400000 Current CPU time: 3.02 ms c CURRENT OPTIMUM= 3355443200000 Current CPU time: 3.12 ms c CURRENT OPTIMUM= 1677721600000 Current CPU time: 3.17 ms c CURRENT OPTIMUM= 838860800000 Current CPU time: 3.27 ms c CURRENT OPTIMUM= 419430400000 Current CPU time: 3.33 ms c CURRENT OPTIMUM= 209715200000 Current CPU time: 3.37 ms c CURRENT OPTIMUM= 104857600000 Current CPU time: 3.43 ms c CURRENT OPTIMUM= 78643200000 Current CPU time: 3.75 ms c CURRENT OPTIMUM= 65536000000 Current CPU time: 4.34 ms c CURRENT OPTIMUM= 63897600000 Current CPU time: 4.66 ms c CURRENT OPTIMUM= 63078400000 Current CPU time: 4.85 ms c CURRENT OPTIMUM= 62976000000 Current CPU time: 5.24 ms c CURRENT OPTIMUM= 62950400000 Current CPU time: 5.50 ms c CURRENT OPTIMUM= 62944000000 Current CPU time: 6.00 ms c CURRENT OPTIMUM= 62940800000 Current CPU time: 6.17 ms c CURRENT OPTIMUM= 62939200000 Current CPU time: 6.33 ms c CURRENT OPTIMUM= 62938400000 Current CPU time: 6.51 ms c CURRENT OPTIMUM= 62938000000 Current CPU time: 6.68 ms c CURRENT OPTIMUM= 62937900000 Current CPU time: 7.00 ms c CURRENT OPTIMUM= 62937850000 Current CPU time: 7.19 ms c CURRENT OPTIMUM= 62937846875 Current CPU time: 7.41 ms c CURRENT OPTIMUM= 26214396943 Current CPU time: 9.12 ms c CURRENT OPTIMUM= 26214396935 Current CPU time: 9.28 ms c CURRENT OPTIMUM= 26214393810 Current CPU time: 9.40 ms c CURRENT OPTIMUM= 26214390685 Current CPU time: 9.51 ms c CURRENT OPTIMUM= 26214387560 Current CPU time: 9.66 ms c CURRENT OPTIMUM= 26214384435 Current CPU time: 9.85 ms c CURRENT OPTIMUM= 26214381310 Current CPU time: 10.06 ms c CURRENT OPTIMUM= 26214378185 Current CPU time: 10.33 ms c CURRENT OPTIMUM= 26214375060 Current CPU time: 10.60 ms c CURRENT OPTIMUM= 26214371935 Current CPU time: 10.91 ms c CURRENT OPTIMUM= 26214368810 Current CPU time: 11.28 ms c CURRENT OPTIMUM= 26214365685 Current CPU time: 11.66 ms c CURRENT OPTIMUM= 26214362560 Current CPU time: 12.09 ms c CURRENT OPTIMUM= 26214359435 Current CPU time: 12.53 ms c CURRENT OPTIMUM= 26214356310 Current CPU time: 13.03 ms c CURRENT OPTIMUM= 26214353185 Current CPU time: 13.53 ms c CURRENT OPTIMUM= 26214350060 Current CPU time: 14.09 ms c CURRENT OPTIMUM= 26214196935 Current CPU time: 14.70 ms c CURRENT OPTIMUM= 26214193810 Current CPU time: 15.31 ms c CURRENT OPTIMUM= 26214190685 Current CPU time: 15.98 ms c CURRENT OPTIMUM= 26214187560 Current CPU time: 16.66 ms c CURRENT OPTIMUM= 26214184435 Current CPU time: 17.40 ms c CURRENT OPTIMUM= 26214181310 Current CPU time: 18.14 ms c CURRENT OPTIMUM= 26214178185 Current CPU time: 18.92 ms c CURRENT OPTIMUM= 26214175060 Current CPU time: 19.68 ms c CURRENT OPTIMUM= 26214171935 Current CPU time: 20.55 ms c CURRENT OPTIMUM= 26214168810 Current CPU time: 21.43 ms c CURRENT OPTIMUM= 26214165685 Current CPU time: 22.32 ms c CURRENT OPTIMUM= 26214162560 Current CPU time: 23.27 ms c CURRENT OPTIMUM= 26214159435 Current CPU time: 24.23 ms c CURRENT OPTIMUM= 26214156310 Current CPU time: 25.20 ms c CURRENT OPTIMUM= 26214153185 Current CPU time: 26.20 ms c CURRENT OPTIMUM= 26214150060 Current CPU time: 27.21 ms c CURRENT OPTIMUM= 26201596935 Current CPU time: 28.34 ms c CURRENT OPTIMUM= 26201593810 Current CPU time: 29.52 ms c CURRENT OPTIMUM= 26201590685 Current CPU time: 30.70 ms c CURRENT OPTIMUM= 26201587560 Current CPU time: 31.93 ms c CURRENT OPTIMUM= 26201584435 Current CPU time: 33.17 ms c CURRENT OPTIMUM= 26201581310 Current CPU time: 34.41 ms c CURRENT OPTIMUM= 26201578185 Current CPU time: 35.69 ms c CURRENT OPTIMUM= 26201575060 Current CPU time: 36.94 ms c CURRENT OPTIMUM= 26201571935 Current CPU time: 38.31 ms c CURRENT OPTIMUM= 26201568810 Current CPU time: 39.67 ms c CURRENT OPTIMUM= 26201565685 Current CPU time: 41.04 ms c CURRENT OPTIMUM= 26201562560 Current CPU time: 42.42 ms c CURRENT OPTIMUM= 26201559435 Current CPU time: 43.87 ms c CURRENT OPTIMUM= 26201556310 Current CPU time: 45.30 ms c CURRENT OPTIMUM= 26201553185 Current CPU time: 46.77 ms c CURRENT OPTIMUM= 26201550060 Current CPU time: 48.23 ms c CURRENT OPTIMUM= 26201396935 Current CPU time: 49.85 ms c CURRENT OPTIMUM= 26201393810 Current CPU time: 51.45 ms c CURRENT OPTIMUM= 26201390685 Current CPU time: 53.08 ms c CURRENT OPTIMUM= 26201387560 Current CPU time: 54.70 ms c CURRENT OPTIMUM= 26201384435 Current CPU time: 56.39 ms c CURRENT OPTIMUM= 26201381310 Current CPU time: 58.08 ms c CURRENT OPTIMUM= 26201378185 Current CPU time: 59.79 ms c CURRENT OPTIMUM= 26201375060 Current CPU time: 61.48 ms c CURRENT OPTIMUM= 26201371935 Current CPU time: 63.30 ms c CURRENT OPTIMUM= 26201368810 Current CPU time: 65.10 ms c CURRENT OPTIMUM= 26201365685 Current CPU time: 66.94 ms c CURRENT OPTIMUM= 26201362560 Current CPU time: 68.75 ms c CURRENT OPTIMUM= 26201359435 Current CPU time: 70.66 ms c CURRENT OPTIMUM= 26201356310 Current CPU time: 72.53 ms c CURRENT OPTIMUM= 26201353185 Current CPU time: 74.43 ms c CURRENT OPTIMUM= 26201350060 Current CPU time: 76.31 ms c CURRENT OPTIMUM= 26201346935 Current CPU time: 78.39 ms c CURRENT OPTIMUM= 26201343810 Current CPU time: 80.42 ms c CURRENT OPTIMUM= 26201340685 Current CPU time: 82.50 ms c CURRENT OPTIMUM= 26201337560 Current CPU time: 84.54 ms c CURRENT OPTIMUM= 26201334435 Current CPU time: 86.68 ms c CURRENT OPTIMUM= 26201331310 Current CPU time: 88.78 ms c CURRENT OPTIMUM= 26201328185 Current CPU time: 90.92 ms c CURRENT OPTIMUM= 26201325060 Current CPU time: 93.02 ms c CURRENT OPTIMUM= 26201321935 Current CPU time: 95.28 ms c CURRENT OPTIMUM= 26201318810 Current CPU time: 97.50 ms c CURRENT OPTIMUM= 26201315685 Current CPU time: 99.76 ms c CURRENT OPTIMUM= 26201312560 Current CPU time: 101.97 ms c CURRENT OPTIMUM= 26201309435 Current CPU time: 104.28 ms c CURRENT OPTIMUM= 26201306310 Current CPU time: 106.56 ms c CURRENT OPTIMUM= 26201303185 Current CPU time: 108.86 ms c CURRENT OPTIMUM= 26201300060 Current CPU time: 111.13 ms c CURRENT OPTIMUM= 26201296935 Current CPU time: 113.69 ms c CURRENT OPTIMUM= 26201293810 Current CPU time: 116.21 ms c CURRENT OPTIMUM= 26201290685 Current CPU time: 118.77 ms c CURRENT OPTIMUM= 26201287560 Current CPU time: 121.28 ms c CURRENT OPTIMUM= 26201284435 Current CPU time: 123.91 ms c CURRENT OPTIMUM= 26201281310 Current CPU time: 126.48 ms c CURRENT OPTIMUM= 26201278185 Current CPU time: 129.08 ms c CURRENT OPTIMUM= 26201275060 Current CPU time: 131.65 ms c CURRENT OPTIMUM= 26201271935 Current CPU time: 134.38 ms c CURRENT OPTIMUM= 26201268810 Current CPU time: 137.08 ms c CURRENT OPTIMUM= 26201265685 Current CPU time: 139.81 ms c CURRENT OPTIMUM= 26201262560 Current CPU time: 142.49 ms c CURRENT OPTIMUM= 26201259435 Current CPU time: 145.27 ms c CURRENT OPTIMUM= 26201256310 Current CPU time: 148.00 ms c CURRENT OPTIMUM= 26201253185 Current CPU time: 150.77 ms c CURRENT OPTIMUM= 26201250060 Current CPU time: 153.49 ms c CURRENT OPTIMUM= 26201246935 Current CPU time: 156.48 ms c CURRENT OPTIMUM= 26201243810 Current CPU time: 159.42 ms c CURRENT OPTIMUM= 26201240685 Current CPU time: 162.39 ms c CURRENT OPTIMUM= 26201237560 Current CPU time: 165.31 ms c CURRENT OPTIMUM= 26201234435 Current CPU time: 168.34 ms c CURRENT OPTIMUM= 26201231310 Current CPU time: 171.31 ms c CURRENT OPTIMUM= 26201228185 Current CPU time: 174.33 ms c CURRENT OPTIMUM= 26201225060 Current CPU time: 177.27 ms c CURRENT OPTIMUM= 26201221935 Current CPU time: 180.42 ms c CURRENT OPTIMUM= 26201218810 Current CPU time: 183.50 ms c CURRENT OPTIMUM= 26201215685 Current CPU time: 186.61 ms c CURRENT OPTIMUM= 26201212560 Current CPU time: 189.65 ms c CURRENT OPTIMUM= 26201209435 Current CPU time: 192.82 ms c CURRENT OPTIMUM= 26201206310 Current CPU time: 195.94 ms c CURRENT OPTIMUM= 26201203185 Current CPU time: 199.09 ms c CURRENT OPTIMUM= 26201200060 Current CPU time: 202.17 ms c CURRENT OPTIMUM= 26201196935 Current CPU time: 205.86 ms c CURRENT OPTIMUM= 26201193810 Current CPU time: 209.48 ms c CURRENT OPTIMUM= 26201190685 Current CPU time: 213.13 ms c CURRENT OPTIMUM= 26201187560 Current CPU time: 216.72 ms c CURRENT OPTIMUM= 26201184435 Current CPU time: 220.43 ms c CURRENT OPTIMUM= 26201181310 Current CPU time: 224.08 ms c CURRENT OPTIMUM= 26201178185 Current CPU time: 227.76 ms c CURRENT OPTIMUM= 26201175060 Current CPU time: 231.36 ms c CURRENT OPTIMUM= 26201171935 Current CPU time: 235.20 ms c CURRENT OPTIMUM= 26201168810 Current CPU time: 238.96 ms c CURRENT OPTIMUM= 26201165685 Current CPU time: 242.77 ms c CURRENT OPTIMUM= 26201162560 Current CPU time: 246.49 ms c CURRENT OPTIMUM= 26201159435 Current CPU time: 250.35 ms c CURRENT OPTIMUM= 26201156310 Current CPU time: 254.12 ms c CURRENT OPTIMUM= 26201153185 Current CPU time: 257.94 ms c CURRENT OPTIMUM= 26201150060 Current CPU time: 261.67 ms c CURRENT OPTIMUM= 26200996935 Current CPU time: 265.76 ms c CURRENT OPTIMUM= 26200993810 Current CPU time: 269.78 ms c CURRENT OPTIMUM= 26200990685 Current CPU time: 273.82 ms c CURRENT OPTIMUM= 26200987560 Current CPU time: 277.78 ms c CURRENT OPTIMUM= 26200984435 Current CPU time: 281.88 ms c CURRENT OPTIMUM= 26200981310 Current CPU time: 285.90 ms c CURRENT OPTIMUM= 26200978185 Current CPU time: 289.95 ms c CURRENT OPTIMUM= 26200975060 Current CPU time: 293.91 ms c CURRENT OPTIMUM= 26200971935 Current CPU time: 298.14 ms c CURRENT OPTIMUM= 26200968810 Current CPU time: 302.28 ms c CURRENT OPTIMUM= 26200965685 Current CPU time: 306.45 ms c CURRENT OPTIMUM= 26200962560 Current CPU time: 310.52 ms c CURRENT OPTIMUM= 26200959435 Current CPU time: 314.75 ms c CURRENT OPTIMUM= 26200956310 Current CPU time: 318.89 ms c CURRENT OPTIMUM= 26200953185 Current CPU time: 323.05 ms c CURRENT OPTIMUM= 26200950060 Current CPU time: 327.11 ms c CURRENT OPTIMUM= 26200946935 Current CPU time: 331.59 ms c CURRENT OPTIMUM= 26200943810 Current CPU time: 335.96 ms c CURRENT OPTIMUM= 26200940685 Current CPU time: 340.36 ms c CURRENT OPTIMUM= 26200937560 Current CPU time: 344.67 ms c CURRENT OPTIMUM= 26200934435 Current CPU time: 349.14 ms c CURRENT OPTIMUM= 26200931310 Current CPU time: 353.50 ms c CURRENT OPTIMUM= 26200928185 Current CPU time: 357.90 ms c CURRENT OPTIMUM= 26200925060 Current CPU time: 362.19 ms c CURRENT OPTIMUM= 26200921935 Current CPU time: 366.78 ms c CURRENT OPTIMUM= 26200918810 Current CPU time: 371.26 ms c CURRENT OPTIMUM= 26200915685 Current CPU time: 375.77 ms c CURRENT OPTIMUM= 26200912560 Current CPU time: 380.17 ms c CURRENT OPTIMUM= 26200909435 Current CPU time: 384.73 ms c CURRENT OPTIMUM= 26200906310 Current CPU time: 389.16 ms c CURRENT OPTIMUM= 26200903185 Current CPU time: 393.61 ms c CURRENT OPTIMUM= 26200900060 Current CPU time: 397.96 ms c CURRENT OPTIMUM= 26200896935 Current CPU time: 402.88 ms c CURRENT OPTIMUM= 26200893810 Current CPU time: 407.68 ms c CURRENT OPTIMUM= 26200890685 Current CPU time: 412.51 ms c CURRENT OPTIMUM= 26200887560 Current CPU time: 417.24 ms c CURRENT OPTIMUM= 26200884435 Current CPU time: 422.14 ms c CURRENT OPTIMUM= 26200881310 Current CPU time: 426.93 ms c CURRENT OPTIMUM= 26200878185 Current CPU time: 431.75 ms c CURRENT OPTIMUM= 26200875060 Current CPU time: 436.46 ms c CURRENT OPTIMUM= 26200871935 Current CPU time: 441.48 ms c CURRENT OPTIMUM= 26200868810 Current CPU time: 446.37 ms c CURRENT OPTIMUM= 26200865685 Current CPU time: 451.31 ms c CURRENT OPTIMUM= 26200862560 Current CPU time: 456.12 ms c CURRENT OPTIMUM= 26200859435 Current CPU time: 461.11 ms c CURRENT OPTIMUM= 26200856310 Current CPU time: 465.99 ms c CURRENT OPTIMUM= 26200853185 Current CPU time: 470.90 ms c CURRENT OPTIMUM= 26200850060 Current CPU time: 475.69 ms c CURRENT OPTIMUM= 26200846935 Current CPU time: 480.95 ms c CURRENT OPTIMUM= 26200843810 Current CPU time: 486.09 ms c CURRENT OPTIMUM= 26200840685 Current CPU time: 491.25 ms c CURRENT OPTIMUM= 26200837560 Current CPU time: 496.29 ms c CURRENT OPTIMUM= 26200834435 Current CPU time: 501.51 ms c CURRENT OPTIMUM= 26200831310 Current CPU time: 506.60 ms c CURRENT OPTIMUM= 26200828185 Current CPU time: 511.72 ms c CURRENT OPTIMUM= 26200825060 Current CPU time: 516.71 ms c CURRENT OPTIMUM= 26200821935 Current CPU time: 522.04 ms c CURRENT OPTIMUM= 26200818810 Current CPU time: 527.25 ms c CURRENT OPTIMUM= 26200815685 Current CPU time: 532.48 ms c CURRENT OPTIMUM= 26200812560 Current CPU time: 537.58 ms c CURRENT OPTIMUM= 26200809435 Current CPU time: 542.87 ms c CURRENT OPTIMUM= 26200806310 Current CPU time: 548.02 ms c CURRENT OPTIMUM= 26200803185 Current CPU time: 553.20 ms c CURRENT OPTIMUM= 26200800060 Current CPU time: 558.26 ms c CURRENT OPTIMUM= 26200796935 Current CPU time: 564.52 ms c CURRENT OPTIMUM= 26200793810 Current CPU time: 570.66 ms c CURRENT OPTIMUM= 26200790685 Current CPU time: 576.84 ms c CURRENT OPTIMUM= 26200787560 Current CPU time: 582.87 ms c CURRENT OPTIMUM= 26200784435 Current CPU time: 589.09 ms c CURRENT OPTIMUM= 26200781310 Current CPU time: 595.14 ms c CURRENT OPTIMUM= 26200778185 Current CPU time: 601.22 ms c CURRENT OPTIMUM= 26200775060 Current CPU time: 607.16 ms c CURRENT OPTIMUM= 26200771935 Current CPU time: 613.46 ms c CURRENT OPTIMUM= 26200768810 Current CPU time: 619.64 ms c CURRENT OPTIMUM= 26200765685 Current CPU time: 625.83 ms c CURRENT OPTIMUM= 26200762560 Current CPU time: 631.89 ms c CURRENT OPTIMUM= 26200759435 Current CPU time: 638.15 ms c CURRENT OPTIMUM= 26200756310 Current CPU time: 644.26 ms c CURRENT OPTIMUM= 26200753185 Current CPU time: 650.41 ms c CURRENT OPTIMUM= 26200750060 Current CPU time: 656.40 ms c CURRENT OPTIMUM= 26200596935 Current CPU time: 662.96 ms c CURRENT OPTIMUM= 26200593810 Current CPU time: 669.37 ms c CURRENT OPTIMUM= 26200590685 Current CPU time: 675.81 ms c CURRENT OPTIMUM= 26200587560 Current CPU time: 682.10 ms c CURRENT OPTIMUM= 26200584435 Current CPU time: 688.60 ms c CURRENT OPTIMUM= 26200581310 Current CPU time: 694.94 ms c CURRENT OPTIMUM= 26200578185 Current CPU time: 701.33 ms c CURRENT OPTIMUM= 26200575060 Current CPU time: 707.55 ms c CURRENT OPTIMUM= 26200571935 Current CPU time: 714.17 ms c CURRENT OPTIMUM= 26200568810 Current CPU time: 720.65 ms c CURRENT OPTIMUM= 26200565685 Current CPU time: 727.15 ms c CURRENT OPTIMUM= 26200562560 Current CPU time: 733.49 ms c CURRENT OPTIMUM= 26200559435 Current CPU time: 740.05 ms c CURRENT OPTIMUM= 26200556310 Current CPU time: 746.45 ms c CURRENT OPTIMUM= 26200553185 Current CPU time: 752.88 ms c CURRENT OPTIMUM= 26200550060 Current CPU time: 759.13 ms c CURRENT OPTIMUM= 26200546935 Current CPU time: 766.01 ms c CURRENT OPTIMUM= 26200543810 Current CPU time: 772.74 ms c CURRENT OPTIMUM= 26200540685 Current CPU time: 779.53 ms c CURRENT OPTIMUM= 26200537560 Current CPU time: 786.15 ms c CURRENT OPTIMUM= 26200534435 Current CPU time: 792.99 ms c CURRENT OPTIMUM= 26200531310 Current CPU time: 799.67 ms c CURRENT OPTIMUM= 26200528185 Current CPU time: 806.38 ms c CURRENT OPTIMUM= 26200525060 Current CPU time: 812.91 ms c CURRENT OPTIMUM= 26200521935 Current CPU time: 819.87 ms c CURRENT OPTIMUM= 26200518810 Current CPU time: 826.67 ms c CURRENT OPTIMUM= 26200515685 Current CPU time: 833.49 ms c CURRENT OPTIMUM= 26200512560 Current CPU time: 840.14 ms c CURRENT OPTIMUM= 26200509435 Current CPU time: 847.02 ms c CURRENT OPTIMUM= 26200506310 Current CPU time: 853.71 ms c CURRENT OPTIMUM= 26200503185 Current CPU time: 860.45 ms c CURRENT OPTIMUM= 26200500060 Current CPU time: 866.99 ms c CURRENT OPTIMUM= 26200496935 Current CPU time: 874.41 ms c CURRENT OPTIMUM= 26200493810 Current CPU time: 881.64 ms c CURRENT OPTIMUM= 26200490685 Current CPU time: 888.90 ms c CURRENT OPTIMUM= 26200487560 Current CPU time: 895.99 ms c CURRENT OPTIMUM= 26200484435 Current CPU time: 903.31 ms c CURRENT OPTIMUM= 26200481310 Current CPU time: 910.45 ms c CURRENT OPTIMUM= 26200478185 Current CPU time: 917.62 ms c CURRENT OPTIMUM= 26200475060 Current CPU time: 924.60 ms c CURRENT OPTIMUM= 26200471935 Current CPU time: 932.04 ms c CURRENT OPTIMUM= 26200468810 Current CPU time: 939.30 ms c CURRENT OPTIMUM= 26200465685 Current CPU time: 946.58 ms c CURRENT OPTIMUM= 26200462560 Current CPU time: 953.68 ms c CURRENT OPTIMUM= 26200459435 Current CPU time: 961.02 ms c CURRENT OPTIMUM= 26200456310 Current CPU time: 968.17 ms c CURRENT OPTIMUM= 26200453185 Current CPU time: 975.36 ms c CURRENT OPTIMUM= 26200450060 Current CPU time: 982.34 ms c CURRENT OPTIMUM= 26200446935 Current CPU time: 990.02 ms c CURRENT OPTIMUM= 26200443810 Current CPU time: 997.51 ms c CURRENT OPTIMUM= 26200440685 Current CPU time: 1005.02 ms c CURRENT OPTIMUM= 26200437560 Current CPU time: 1012.35 ms c CURRENT OPTIMUM= 26200434435 Current CPU time: 1019.92 ms c CURRENT OPTIMUM= 26200431310 Current CPU time: 1027.30 ms c CURRENT OPTIMUM= 26200428185 Current CPU time: 1034.72 ms c CURRENT OPTIMUM= 26200425060 Current CPU time: 1041.94 ms c CURRENT OPTIMUM= 26200421935 Current CPU time: 1049.64 ms c CURRENT OPTIMUM= 26200418810 Current CPU time: 1057.15 ms c CURRENT OPTIMUM= 26200415685 Current CPU time: 1064.69 ms c CURRENT OPTIMUM= 26200412560 Current CPU time: 1072.03 ms c CURRENT OPTIMUM= 26200409435 Current CPU time: 1079.62 ms c CURRENT OPTIMUM= 26200406310 Current CPU time: 1087.01 ms c CURRENT OPTIMUM= 26200403185 Current CPU time: 1094.42 ms c CURRENT OPTIMUM= 26200400060 Current CPU time: 1101.62 ms c CURRENT OPTIMUM= 26200396935 Current CPU time: 1110.28 ms c CURRENT OPTIMUM= 26200393810 Current CPU time: 1118.73 ms c CURRENT OPTIMUM= 26200390685 Current CPU time: 1127.22 ms c CURRENT OPTIMUM= 26200387560 Current CPU time: 1135.48 ms c CURRENT OPTIMUM= 26200384435 Current CPU time: 1144.04 ms c CURRENT OPTIMUM= 26200381310 Current CPU time: 1152.37 ms c CURRENT OPTIMUM= 26200378185 Current CPU time: 1160.72 ms c CURRENT OPTIMUM= 26200375060 Current CPU time: 1168.86 ms c CURRENT OPTIMUM= 26200371935 Current CPU time: 1177.52 ms c CURRENT OPTIMUM= 26200368810 Current CPU time: 1185.98 ms c CURRENT OPTIMUM= 26200365685 Current CPU time: 1194.46 ms c CURRENT OPTIMUM= 26200362560 Current CPU time: 1202.71 ms c CURRENT OPTIMUM= 26200359435 Current CPU time: 1211.26 ms c starts : 323 c conflicts : 2 c decisions : 48444 c propagations : 56513 c inspects : 1358249 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 324 s SATISFIABLE v -x1_bit0 -x2_bit0 x3_bit0 -x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 x12_bit0 -x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 -x149_bit0 x150_bit0 x151_bit_7 x151_bit_6 -x151_bit_5 -x151_bit_4 x151_bit_3 x151_bit_2 x151_bit_1 -x151_bit0 -x151_bit1 x151_bit2 x151_bit3 x151_bit4 -x151_bit5 x151_bit6 x151_bit7 x151_bit8 x151_bit9 x151_bit10 x151_bit11 x151_bit12 x151_bit13 x151_bit14 x151_bit15 -x151_bit16 -x151_bit17 -x151_bit18 -x151_bit19 -x151_bit20 -x151_bit21 -x151_bit22 -x151_bit23 -x151_bit24 -x151_bit25 -x151_bit26 -x151_bit27 -x151_bit28 -x151_bit29 -x151_bit30 -x151_bit31 -x151_bit32 -x151_bit33 -x151_bit34 -x151_bit35 -x151_bit36 -x151_bit37 -x151_bit38 -x151_bit39 -x151_bit40 -x151_bit41 -x151_bit42 -x151_bit43 -x151_bit44 -x151_bit45 -x151_bit46 -x151_bit47 -x151_bit48 -x151_bit49 -x151_bit50 -x151_bit51 -x151_bit52 -x151_bit53 -x151_bit54 -x151_bit55 -x151_bit56 -x151_bit57 -x151_bit58 -x151_bit59 -x151_bit60 -x151_bit61 -x151_bit62 -x151_bit63 -x151_bit64 -x151_bit65 -x151_bit66 -x151_bit67 -x151_bit68 -x151_bit69 -x151_bit70 -x151_bit71 -x151_bit72 -x151_bit73 -x151_bit74 -x151_bit75 -x151_bit76 -x151_bit77 -x151_bit78 -x151_bit79 c objectif function=26200359435 c Total CPU time (ms) : 1219.186 #### 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 7341 Raw data (stat): 7341 (runsolver) R 7340 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780969784 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 7387 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 680 39 0 0 25 0 11 0 780969784 862953472 20932 4294967295 134512640 134569956 3221224368 3221214656 1131292140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210682 20932 13086 16 0 210666 0 vsize: 842728 [startup+20.0015 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 7411 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 1636 40 1 1 25 0 11 0 780969784 861872128 20594 4294967295 134512640 134569956 3221224368 3221214568 1131225625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 20594 13086 16 0 210402 0 vsize: 841672 [startup+30.0017 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 7421 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 2594 40 2 1 21 0 11 0 780969784 861872128 20699 4294967295 134512640 134569956 3221224368 3221214568 1131224929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 20699 13086 16 0 210402 0 vsize: 841672 [startup+40.0023 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 7429 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 3557 41 2 1 19 0 11 0 780969784 861872128 21001 4294967295 134512640 134569956 3221224368 3221214568 1131225801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21001 13086 16 0 210402 0 vsize: 841672 [startup+50.003 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 7436 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 4540 41 2 1 18 0 11 0 780969784 861872128 21082 4294967295 134512640 134569956 3221224368 3221214568 1131225926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21082 13086 16 0 210402 0 vsize: 841672 [startup+60.0031 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 7442 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 5524 41 3 1 17 0 11 0 780969784 861872128 21120 4294967295 134512640 134569956 3221224368 3221214472 1131198392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21120 13086 16 0 210402 0 vsize: 841672 [startup+70.0078 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 7448 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 6509 42 3 1 17 0 11 0 780969784 861872128 21168 4294967295 134512640 134569956 3221224368 3221214656 1131292214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21168 13086 16 0 210402 0 vsize: 841672 [startup+80.0089 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 7453 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 7496 42 3 1 17 0 11 0 780969784 861872128 21221 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21221 13086 16 0 210402 0 vsize: 841672 [startup+90.0085 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 7458 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 8487 43 3 1 17 0 11 0 780969784 861872128 21247 4294967295 134512640 134569956 3221224368 3221214564 1131198368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21247 13086 16 0 210402 0 vsize: 841672 [startup+100.009 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 7462 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 9477 43 3 1 18 0 11 0 780969784 861872128 21273 4294967295 134512640 134569956 3221224368 3221214568 1131225983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21273 13086 16 0 210402 0 vsize: 841672 [startup+110.01 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 7467 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 10467 44 3 1 18 0 11 0 780969784 861872128 21294 4294967295 134512640 134569956 3221224368 3221214652 1131224908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21294 13086 16 0 210402 0 vsize: 841672 [startup+120.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 7471 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 11459 44 3 2 17 0 11 0 780969784 861872128 21315 4294967295 134512640 134569956 3221224368 3221214568 1131225609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21315 13086 16 0 210402 0 vsize: 841672 [startup+130.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 7474 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 12450 45 3 2 18 0 11 0 780969784 861872128 21332 4294967295 134512640 134569956 3221224368 3221214472 1131198392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21332 13086 16 0 210402 0 vsize: 841672 [startup+140.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 7478 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 13440 45 4 2 17 0 11 0 780969784 861872128 21348 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21348 13086 16 0 210402 0 vsize: 841672 [startup+150.019 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 7482 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 14431 45 4 2 17 0 11 0 780969784 861872128 21365 4294967295 134512640 134569956 3221224368 3221214568 1131225508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21365 13086 16 0 210402 0 vsize: 841672 [startup+160.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7485 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 15420 46 4 2 17 0 11 0 780969784 861872128 21411 4294967295 134512640 134569956 3221224368 3221214568 1131225561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21411 13086 16 0 210402 0 vsize: 841672 [startup+170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7489 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 16406 47 4 2 17 0 11 0 780969784 861872128 21428 4294967295 134512640 134569956 3221224368 3221214568 1131225473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21428 13086 16 0 210402 0 vsize: 841672 [startup+180.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7492 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 17394 47 4 2 17 0 11 0 780969784 861872128 21465 4294967295 134512640 134569956 3221224368 3221214568 1131225467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21465 13086 16 0 210402 0 vsize: 841672 [startup+190.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7495 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 18384 47 5 2 17 0 11 0 780969784 861872128 21510 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21510 13086 16 0 210402 0 vsize: 841672 [startup+200.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7498 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 19375 47 5 2 25 0 11 0 780969784 861872128 21522 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21522 13086 16 0 210402 0 vsize: 841672 [startup+210.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7501 Raw data (stat): 7341 (java) S 7340 25568 25567 0 -1 0 18150 7 1 0 20368 47 5 2 25 0 11 0 780969784 861872128 21535 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21535 13086 16 0 210402 0 vsize: 841672 [startup+220.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7504 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 21361 48 5 2 25 0 11 0 780969784 861872128 21547 4294967295 134512640 134569956 3221224368 3221214568 1131225650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21547 13086 16 0 210402 0 vsize: 841672 [startup+230.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7507 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 22354 48 5 2 25 0 11 0 780969784 861872128 21564 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21564 13086 16 0 210402 0 vsize: 841672 [startup+240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7510 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 23346 48 5 3 25 0 11 0 780969784 861872128 21574 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21574 13086 16 0 210402 0 vsize: 841672 [startup+250.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7512 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 24339 48 5 3 25 0 11 0 780969784 861872128 21587 4294967295 134512640 134569956 3221224368 3221214568 1131225529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21587 13086 16 0 210402 0 vsize: 841672 [startup+260.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7515 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 25331 48 5 3 25 0 11 0 780969784 861872128 21600 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21600 13086 16 0 210402 0 vsize: 841672 [startup+270.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7517 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 26323 49 5 3 25 0 11 0 780969784 861872128 21609 4294967295 134512640 134569956 3221224368 3221214568 1131224950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21609 13086 16 0 210402 0 vsize: 841672 [startup+280.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7520 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 27316 49 5 3 25 0 11 0 780969784 861872128 21621 4294967295 134512640 134569956 3221224368 3221214568 1131225573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21621 13086 16 0 210402 0 vsize: 841672 [startup+290.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7522 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 28309 49 5 3 25 0 11 0 780969784 861872128 21634 4294967295 134512640 134569956 3221224368 3221214472 1131198398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21634 13086 16 0 210402 0 vsize: 841672 [startup+300.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7525 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 29301 49 6 3 25 0 11 0 780969784 861872128 21642 4294967295 134512640 134569956 3221224368 3221213704 1077101153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21642 13086 16 0 210402 0 vsize: 841672 [startup+310.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7527 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 30294 49 6 3 25 0 11 0 780969784 861872128 21655 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21655 13086 16 0 210402 0 vsize: 841672 [startup+320.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7530 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 31287 49 6 3 25 0 11 0 780969784 861872128 21663 4294967295 134512640 134569956 3221224368 3221214568 1131225333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21663 13086 16 0 210402 0 vsize: 841672 [startup+330.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7532 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 32279 50 6 3 25 0 11 0 780969784 861872128 21676 4294967295 134512640 134569956 3221224368 3221214568 1131225004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21676 13086 16 0 210402 0 vsize: 841672 [startup+340.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7534 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 33271 50 6 3 25 0 11 0 780969784 861872128 21684 4294967295 134512640 134569956 3221224368 3221214568 1131225476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21684 13086 16 0 210402 0 vsize: 841672 [startup+350.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7536 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 34264 50 6 3 25 0 11 0 780969784 861872128 21692 4294967295 134512640 134569956 3221224368 3221214656 1131292944 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21692 13086 16 0 210402 0 vsize: 841672 [startup+360.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7539 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 35256 51 6 3 16 0 11 0 780969784 861872128 21705 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21705 13086 16 0 210402 0 vsize: 841672 [startup+370.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7541 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 36248 51 6 3 25 0 11 0 780969784 861872128 21713 4294967295 134512640 134569956 3221224368 3221214656 1131290574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21713 13086 16 0 210402 0 vsize: 841672 [startup+380.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7543 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 37241 51 6 3 25 0 11 0 780969784 861872128 21722 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 21722 13086 16 0 210402 0 vsize: 841672 [startup+390.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7545 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 38233 52 6 3 17 0 11 0 780969784 861872128 21734 4294967295 134512640 134569956 3221224368 3221214568 1131225879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21734 13086 16 0 210402 0 vsize: 841672 [startup+400.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7548 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 39225 53 6 3 17 0 11 0 780969784 861872128 21743 4294967295 134512640 134569956 3221224368 3221214656 1131289225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21743 13086 16 0 210402 0 vsize: 841672 [startup+410.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7550 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 40216 53 6 3 16 0 11 0 780969784 861872128 21751 4294967295 134512640 134569956 3221224368 3221214840 1131267860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21751 13086 16 0 210402 0 vsize: 841672 [startup+420.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7552 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 41208 54 6 3 17 0 11 0 780969784 861872128 21760 4294967295 134512640 134569956 3221224368 3221214656 1131292447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21760 13086 16 0 210402 0 vsize: 841672 [startup+430.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7554 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 42200 55 6 3 17 0 11 0 780969784 861872128 21773 4294967295 134512640 134569956 3221224368 3221214568 1131225619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21773 13086 16 0 210402 0 vsize: 841672 [startup+440.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7556 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 43192 55 6 4 17 0 11 0 780969784 861872128 21781 4294967295 134512640 134569956 3221224368 3221214568 1131225487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21781 13086 16 0 210402 0 vsize: 841672 [startup+450.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7558 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 44184 55 6 4 17 0 11 0 780969784 861872128 21790 4294967295 134512640 134569956 3221224368 3221214656 1131289279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21790 13086 16 0 210402 0 vsize: 841672 [startup+460.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7560 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 45177 55 6 4 17 0 11 0 780969784 861872128 21798 4294967295 134512640 134569956 3221224368 3221214568 1131225462 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21798 13086 16 0 210402 0 vsize: 841672 [startup+470.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7562 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 46168 56 6 4 17 0 11 0 780969784 861872128 21806 4294967295 134512640 134569956 3221224368 3221214568 1131225791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21806 13086 16 0 210402 0 vsize: 841672 [startup+480.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7564 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 47158 56 7 4 17 0 11 0 780969784 861872128 21815 4294967295 134512640 134569956 3221224368 3221214568 1131224943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21815 13086 16 0 210402 0 vsize: 841672 [startup+490.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7566 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 48149 56 7 4 17 0 11 0 780969784 861872128 21882 4294967295 134512640 134569956 3221224368 3221214568 1131225635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21882 13086 16 0 210402 0 vsize: 841672 [startup+500.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7568 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 49141 57 7 4 17 0 11 0 780969784 861872128 21890 4294967295 134512640 134569956 3221224368 3221214652 1131313987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21890 13086 16 0 210402 0 vsize: 841672 [startup+510.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7570 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 50133 57 7 4 17 0 11 0 780969784 861872128 21899 4294967295 134512640 134569956 3221224368 3221214656 1131289400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21899 13086 16 0 210402 0 vsize: 841672 [startup+520.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7572 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 51126 58 7 4 17 0 11 0 780969784 861872128 21907 4294967295 134512640 134569956 3221224368 3221214568 1131225971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21907 13086 16 0 210402 0 vsize: 841672 [startup+530.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7574 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 52118 58 7 4 17 0 11 0 780969784 861872128 21916 4294967295 134512640 134569956 3221224368 3221214568 1131225625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21916 13086 16 0 210402 0 vsize: 841672 [startup+540.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7576 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 53110 59 7 4 17 0 11 0 780969784 861872128 21924 4294967295 134512640 134569956 3221224368 3221214568 1131225832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21924 13086 16 0 210402 0 vsize: 841672 [startup+550.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7578 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 54103 59 7 4 17 0 11 0 780969784 861872128 21932 4294967295 134512640 134569956 3221224368 3221214568 1131225550 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21932 13086 16 0 210402 0 vsize: 841672 [startup+560.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7580 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 55092 59 7 4 17 0 11 0 780969784 861872128 21941 4294967295 134512640 134569956 3221224368 3221214568 1131225587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21941 13086 16 0 210402 0 vsize: 841672 [startup+570.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7581 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 56076 60 7 4 17 0 11 0 780969784 861872128 21945 4294967295 134512640 134569956 3221224368 3221214656 1131291557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21945 13086 16 0 210402 0 vsize: 841672 [startup+580.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7583 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 57058 61 7 4 17 0 11 0 780969784 861872128 21953 4294967295 134512640 134569956 3221224368 3221214568 1131225008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 21953 13086 16 0 210402 0 vsize: 841672 [startup+590.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7585 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 58045 62 8 4 16 0 11 0 780969784 861872128 22013 4294967295 134512640 134569956 3221224368 3221214688 1131342908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22013 13086 16 0 210402 0 vsize: 841672 [startup+600.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7586 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 59036 62 8 4 17 0 11 0 780969784 861872128 22074 4294967295 134512640 134569956 3221224368 3221214568 1131225463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22074 13086 16 0 210402 0 vsize: 841672 [startup+610.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7588 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 60028 63 8 4 17 0 11 0 780969784 861872128 22082 4294967295 134512640 134569956 3221224368 3221214568 1131225940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22082 13086 16 0 210402 0 vsize: 841672 [startup+620.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7589 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 61021 63 8 4 17 0 11 0 780969784 861872128 22087 4294967295 134512640 134569956 3221224368 3221214656 1131293121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22087 13086 16 0 210402 0 vsize: 841672 [startup+630.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7591 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 62012 64 8 4 17 0 11 0 780969784 861872128 22095 4294967295 134512640 134569956 3221224368 3221214568 1131225635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22095 13086 16 0 210402 0 vsize: 841672 [startup+640.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7593 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 63005 64 8 4 17 0 11 0 780969784 861872128 22099 4294967295 134512640 134569956 3221224368 3221214656 1131292906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22099 13086 16 0 210402 0 vsize: 841672 [startup+650.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7594 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 63997 64 8 4 17 0 11 0 780969784 861872128 22108 4294967295 134512640 134569956 3221224368 3221214656 1131292935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22108 13086 16 0 210402 0 vsize: 841672 [startup+660.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7596 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 64988 65 8 4 17 0 11 0 780969784 861872128 22116 4294967295 134512640 134569956 3221224368 3221214652 1131224915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22116 13086 16 0 210402 0 vsize: 841672 [startup+670.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7597 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 65980 65 8 4 17 0 11 0 780969784 861872128 22120 4294967295 134512640 134569956 3221224368 3221214656 1131292110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22120 13086 16 0 210402 0 vsize: 841672 [startup+680.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7599 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 66973 65 8 4 17 0 11 0 780969784 861872128 22128 4294967295 134512640 134569956 3221224368 3221214568 1131225004 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22128 13086 16 0 210402 0 vsize: 841672 [startup+690.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7601 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 67965 66 8 4 17 0 11 0 780969784 861872128 22133 4294967295 134512640 134569956 3221224368 3221214568 1131225879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22133 13086 16 0 210402 0 vsize: 841672 [startup+700.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7602 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 68957 66 8 4 17 0 11 0 780969784 861872128 22141 4294967295 134512640 134569956 3221224368 3221214568 1131226140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22141 13086 16 0 210402 0 vsize: 841672 [startup+710.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7604 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 69949 67 8 4 17 0 11 0 780969784 861872128 22149 4294967295 134512640 134569956 3221224368 3221214568 1131225352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22149 13086 16 0 210402 0 vsize: 841672 [startup+720.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7605 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 70941 67 8 4 17 0 11 0 780969784 861872128 22154 4294967295 134512640 134569956 3221224368 3221214568 1131225926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22154 13086 16 0 210402 0 vsize: 841672 [startup+730.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7607 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 71933 68 8 4 17 0 11 0 780969784 861872128 22162 4294967295 134512640 134569956 3221224368 3221214568 1131225522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22162 13086 16 0 210402 0 vsize: 841672 [startup+740.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7608 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 72925 68 8 4 17 0 11 0 780969784 861872128 22166 4294967295 134512640 134569956 3221224368 3221214568 1131224947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22166 13086 16 0 210402 0 vsize: 841672 [startup+750.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7610 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 73917 68 9 4 17 0 11 0 780969784 861872128 22174 4294967295 134512640 134569956 3221224368 3221214568 1131225557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22174 13086 16 0 210402 0 vsize: 841672 [startup+760.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7611 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 74909 68 9 4 17 0 11 0 780969784 861872128 22179 4294967295 134512640 134569956 3221224368 3221214584 1131308548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22179 13086 16 0 210402 0 vsize: 841672 [startup+770.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7613 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 75901 69 9 4 17 0 11 0 780969784 861872128 22187 4294967295 134512640 134569956 3221224368 3221214568 1131225257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210418 22187 13086 16 0 210402 0 vsize: 841672 [startup+780.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7614 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 76893 69 9 4 25 0 11 0 780969784 861872128 22191 4294967295 134512640 134569956 3221224368 3221214568 1131224937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22191 13086 16 0 210402 0 vsize: 841672 [startup+790.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7616 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 77886 69 9 4 25 0 11 0 780969784 861872128 22200 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22200 13086 16 0 210402 0 vsize: 841672 [startup+800.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7617 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 78878 69 9 4 25 0 11 0 780969784 861872128 22204 4294967295 134512640 134569956 3221224368 3221214568 1131226132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22204 13086 16 0 210402 0 vsize: 841672 [startup+810.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7619 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 79871 69 9 4 25 0 11 0 780969784 861872128 22212 4294967295 134512640 134569956 3221224368 3221214568 1131224940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22212 13086 16 0 210402 0 vsize: 841672 [startup+820.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7620 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 80862 70 9 4 25 0 11 0 780969784 861872128 22216 4294967295 134512640 134569956 3221224368 3221214656 1131289522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22216 13086 16 0 210402 0 vsize: 841672 [startup+830.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7622 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 81854 70 9 4 25 0 11 0 780969784 861872128 22225 4294967295 134512640 134569956 3221224368 3221214656 1131290696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22225 13086 16 0 210402 0 vsize: 841672 [startup+840.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7623 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 82846 70 9 4 25 0 11 0 780969784 861872128 22229 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22229 13086 16 0 210402 0 vsize: 841672 [startup+850.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7625 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 83838 70 9 4 25 0 11 0 780969784 861872128 22237 4294967295 134512640 134569956 3221224368 3221214472 1131198446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22237 13086 16 0 210402 0 vsize: 841672 [startup+860.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7626 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 84830 70 9 4 25 0 11 0 780969784 861872128 22241 4294967295 134512640 134569956 3221224368 3221214568 1131224940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22241 13086 16 0 210402 0 vsize: 841672 [startup+870.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7628 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 85823 70 9 4 25 0 11 0 780969784 861872128 22250 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22250 13086 16 0 210402 0 vsize: 841672 [startup+880.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7629 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 86815 70 9 4 25 0 11 0 780969784 861872128 22254 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22254 13086 16 0 210402 0 vsize: 841672 [startup+890.114 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7631 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 87807 71 9 5 25 0 11 0 780969784 861872128 22262 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22262 13086 16 0 210402 0 vsize: 841672 [startup+900.114 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7632 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 88799 71 9 5 25 0 11 0 780969784 861872128 22267 4294967295 134512640 134569956 3221224368 3221213688 1079753260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22267 13086 16 0 210402 0 vsize: 841672 [startup+910.116 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7633 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 89791 71 9 5 25 0 11 0 780969784 861872128 22276 4294967295 134512640 134569956 3221224368 3221214568 1131225694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22276 13086 16 0 210402 0 vsize: 841672 [startup+920.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7635 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 90783 71 10 5 25 0 11 0 780969784 861872128 22280 4294967295 134512640 134569956 3221224368 3221214656 1131289522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22280 13086 16 0 210402 0 vsize: 841672 [startup+930.118 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7636 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 91775 72 10 5 25 0 11 0 780969784 861872128 22284 4294967295 134512640 134569956 3221224368 3221214568 1131225569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22284 13086 16 0 210402 0 vsize: 841672 [startup+940.122 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7637 Raw data (stat): 7341 (java) S 7340 25568 25567 0 -1 0 18150 7 1 0 92768 72 10 5 25 0 11 0 780969784 861872128 22293 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22293 13086 16 0 210402 0 vsize: 841672 [startup+950.124 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7639 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 93760 72 10 5 25 0 11 0 780969784 861872128 22297 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22297 13086 16 0 210402 0 vsize: 841672 [startup+960.124 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7640 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 94752 72 10 5 25 0 11 0 780969784 861872128 22305 4294967295 134512640 134569956 3221224368 3221214568 1131225855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22305 13086 16 0 210402 0 vsize: 841672 [startup+970.125 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7642 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 95744 73 10 5 25 0 11 0 780969784 861872128 22309 4294967295 134512640 134569956 3221224368 3221214656 1131292949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22309 13086 16 0 210402 0 vsize: 841672 [startup+980.126 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7643 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 96736 73 10 5 25 0 11 0 780969784 861872128 22314 4294967295 134512640 134569956 3221224368 3221214568 1131225487 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22314 13086 16 0 210402 0 vsize: 841672 [startup+990.126 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7644 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 97729 73 10 5 25 0 11 0 780969784 861872128 22322 4294967295 134512640 134569956 3221224368 3221214568 1131225968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22322 13086 16 0 210402 0 vsize: 841672 [startup+1000.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7646 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 98721 73 10 5 17 0 11 0 780969784 861872128 22326 4294967295 134512640 134569956 3221224368 3221214568 1131225801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22326 13086 16 0 210402 0 vsize: 841672 [startup+1010.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7647 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 99713 73 10 5 25 0 11 0 780969784 861872128 22334 4294967295 134512640 134569956 3221224368 3221214568 1131224950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22334 13086 16 0 210402 0 vsize: 841672 [startup+1020.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7648 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 100705 74 10 5 25 0 11 0 780969784 861872128 22339 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22339 13086 16 0 210402 0 vsize: 841672 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7650 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 101696 74 10 5 25 0 11 0 780969784 861872128 22343 4294967295 134512640 134569956 3221224368 3221214568 1131225251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22343 13086 16 0 210402 0 vsize: 841672 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7651 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 102688 74 10 5 21 0 11 0 780969784 861872128 22351 4294967295 134512640 134569956 3221224368 3221214568 1131225809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22351 13086 16 0 210402 0 vsize: 841672 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7652 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 103680 74 10 5 25 0 11 0 780969784 861872128 22355 4294967295 134512640 134569956 3221224368 3221214568 1131225257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22355 13086 16 0 210402 0 vsize: 841672 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7654 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 104672 74 10 5 25 0 11 0 780969784 861872128 22360 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22360 13086 16 0 210402 0 vsize: 841672 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7655 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 105664 74 10 5 25 0 11 0 780969784 861872128 22368 4294967295 134512640 134569956 3221224368 3221214656 1131291365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22368 13086 16 0 210402 0 vsize: 841672 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7656 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 106657 74 10 5 25 0 11 0 780969784 861872128 22372 4294967295 134512640 134569956 3221224368 3221214568 1131225853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22372 13086 16 0 210402 0 vsize: 841672 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7658 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 107649 74 10 5 25 0 11 0 780969784 861872128 22376 4294967295 134512640 134569956 3221224368 3221214656 1131292974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22376 13086 16 0 210402 0 vsize: 841672 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7659 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 108640 75 10 5 18 0 11 0 780969784 861872128 22385 4294967295 134512640 134569956 3221224368 3221214568 1131225411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22385 13086 16 0 210402 0 vsize: 841672 [startup+1110.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7660 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 109632 75 10 5 25 0 11 0 780969784 861872128 22389 4294967295 134512640 134569956 3221224368 3221214568 1131224925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22389 13086 16 0 210402 0 vsize: 841672 [startup+1120.14 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 7662 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 110624 75 10 5 25 0 11 0 780969784 861872128 22393 4294967295 134512640 134569956 3221224368 3221214472 1131199429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22393 13086 16 0 210402 0 vsize: 841672 [startup+1130.14 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 7663 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 111617 75 10 5 25 0 11 0 780969784 861872128 22401 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22401 13086 16 0 210402 0 vsize: 841672 [startup+1140.14 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 7664 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 112608 75 10 5 25 0 11 0 780969784 861872128 22406 4294967295 134512640 134569956 3221224368 3221214568 1131224929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22406 13086 16 0 210402 0 vsize: 841672 [startup+1150.15 s] Raw data (loadavg): 1.12 1.03 1.01 2/64 7665 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 113600 76 10 5 25 0 11 0 780969784 861872128 22410 4294967295 134512640 134569956 3221224368 3221214656 1131290623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22410 13086 16 0 210402 0 vsize: 841672 [startup+1160.15 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 7666 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 114592 76 10 5 17 0 11 0 780969784 861872128 22414 4294967295 134512640 134569956 3221224368 3221214568 1131225418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22414 13086 16 0 210402 0 vsize: 841672 [startup+1170.15 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 7668 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 115585 76 10 5 25 0 11 0 780969784 861872128 22418 4294967295 134512640 134569956 3221224368 3221214568 1131225688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22418 13086 16 0 210402 0 vsize: 841672 [startup+1180.15 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 7669 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 116577 76 11 5 25 0 11 0 780969784 861872128 22422 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22422 13086 16 0 210402 0 vsize: 841672 [startup+1190.15 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 7670 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 117569 76 11 5 25 0 11 0 780969784 861872128 22431 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22431 13086 16 0 210402 0 vsize: 841672 [startup+1200.15 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 7671 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 118561 76 11 5 25 0 11 0 780969784 861872128 22435 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22435 13086 16 0 210402 0 vsize: 841672 [startup+1210.15 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 7672 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 119553 77 11 5 25 0 11 0 780969784 861872128 22439 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22439 13086 16 0 210402 0 vsize: 841672 [startup+1220.15 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 7673 Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 120545 77 11 5 24 0 11 0 780969784 861872128 22443 4294967295 134512640 134569956 3221224368 3221214568 1131225583 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210418 22443 13086 16 0 210402 0 vsize: 841672 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.23 s] Raw data (loadavg): 1.04 1.02 1.00 1/54 7675 Raw data (stat): 7341 (java) Z 7340 25568 25567 0 -1 1036 18150 2535 1 0 120548 77 1152 25 25 0 1 0 780969784 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.23 CPU time (s): 1218.03 CPU user time (s): 1217.01 CPU system time (s): 1.02484 CPU usage (%): 99.8197 Max. virtual memory (Kb): 842728 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 26200359435 #### END VERIFIER DATA ####