Name | normalized-opb/submitted/een/normalized-cap6000.opb |
MD5SUM | e584a5264af1e9b64f6a152de988bbbe |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1384839 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.14 |
Number of variables | 6000 |
Total number of constraints | 2294 |
Number of constraints which are clauses | 421 |
Number of constraints which are cardinality constraints (but not clauses) | 1871 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-04-14 20:53:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5079 boxname=wulflinc30 idbench=391 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e584a5264af1e9b64f6a152de988bbbe /oldhome/oroussel/tmp/wulflinc30/normalized-cap6000.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-cap6000.opb IDLAUNCH: 5079 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 713728 kB Buffers: 38568 kB Cached: 241592 kB SwapCached: 0 kB Active: 85656 kB Inactive: 197344 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 713476 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6928 kB Slab: 32320 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-14 21:14:38 (client local time) WITH STATUS 143 IN 1257.12 SECONDS stats: 5079 7 1257.12 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc30/normalized-cap6000.opb c reading problem c [nbvar=6000] c [nbconstr=2294] c time 15.003 c #vars 6000 c #clauses 2294 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) : 15.468 c starts : 1 c conflicts : 0 c decisions : 5954 c propagations : 6000 c inspects : 174 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-74 c Current CPU time (ms) : 16.135 c starts : 2 c conflicts : 0 c decisions : 11907 c propagations : 12000 c inspects : 395 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-906 c Current CPU time (ms) : 16.646 c starts : 3 c conflicts : 0 c decisions : 17860 c propagations : 18000 c inspects : 617 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 c c CURRENT OPTIMUM=-980 c Current CPU time (ms) : 16.891 c starts : 4 c conflicts : 0 c decisions : 23812 c propagations : 24000 c inspects : 841 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 4 c c CURRENT OPTIMUM=-1048 c Current CPU time (ms) : 17.309 c starts : 5 c conflicts : 0 c decisions : 29764 c propagations : 30000 c inspects : 1071 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 5 c c CURRENT OPTIMUM=-1122 c Current CPU time (ms) : 17.581 c starts : 6 c conflicts : 0 c decisions : 35715 c propagations : 36000 c inspects : 1300 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 6 c c CURRENT OPTIMUM=-1123 c Current CPU time (ms) : 17.851 c starts : 7 c conflicts : 0 c decisions : 41665 c propagations : 42000 c inspects : 1529 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 7 c c CURRENT OPTIMUM=-1178 c Current CPU time (ms) : 18.213 c starts : 8 c conflicts : 0 c decisions : 47616 c propagations : 48000 c inspects : 1770 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 8 c c CURRENT OPTIMUM=-1246 c Current CPU time (ms) : 18.766 c starts : 9 c conflicts : 0 c decisions : 53567 c propagations : 54000 c inspects : 2010 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 9 c c CURRENT OPTIMUM=-1320 c Current CPU time (ms) : 19.133 c starts : 10 c conflicts : 0 c decisions : 59517 c propagations : 60000 c inspects : 2249 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 10 c c CURRENT OPTIMUM=-1321 c Current CPU time (ms) : 19.48 c starts : 11 c conflicts : 0 c decisions : 65466 c propagations : 66000 c inspects : 2484 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 11 c c CURRENT OPTIMUM=-1476 c Current CPU time (ms) : 20.254 c starts : 12 c conflicts : 0 c decisions : 71418 c propagations : 72000 c inspects : 2749 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 12 c c CURRENT OPTIMUM=-1550 c Current CPU time (ms) : 20.878 c starts : 13 c conflicts : 0 c decisions : 77369 c propagations : 78000 c inspects : 3007 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 13 c c CURRENT OPTIMUM=-1618 c Current CPU time (ms) : 21.484 c starts : 14 c conflicts : 0 c decisions : 83320 c propagations : 84000 c inspects : 3271 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 14 c c CURRENT OPTIMUM=-1692 c Current CPU time (ms) : 22.101 c starts : 15 c conflicts : 0 c decisions : 89270 c propagations : 90000 c inspects : 3529 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 15 c c CURRENT OPTIMUM=-1693 c Current CPU time (ms) : 22.569 c starts : 16 c conflicts : 0 c decisions : 95219 c propagations : 96000 c inspects : 3778 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 16 c c CURRENT OPTIMUM=-1748 c Current CPU time (ms) : 23.274 c starts : 17 c conflicts : 0 c decisions : 101169 c propagations : 102000 c inspects : 4045 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 17 c c CURRENT OPTIMUM=-1816 c Current CPU time (ms) : 23.918 c starts : 18 c conflicts : 0 c decisions : 107119 c propagations : 108000 c inspects : 4313 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 18 c c CURRENT OPTIMUM=-1890 c Current CPU time (ms) : 24.576 c starts : 19 c conflicts : 0 c decisions : 113068 c propagations : 114000 c inspects : 4570 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 19 c c CURRENT OPTIMUM=-1891 c Current CPU time (ms) : 25.018 c starts : 20 c conflicts : 0 c decisions : 119016 c propagations : 120000 c inspects : 4817 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 20 c c CURRENT OPTIMUM=-1956 c Current CPU time (ms) : 25.856 c starts : 21 c conflicts : 0 c decisions : 124966 c propagations : 126000 c inspects : 5103 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 21 c c CURRENT OPTIMUM=-2030 c Current CPU time (ms) : 26.551 c starts : 22 c conflicts : 0 c decisions : 130915 c propagations : 132000 c inspects : 5367 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 22 c c CURRENT OPTIMUM=-2031 c Current CPU time (ms) : 27.076 c starts : 23 c conflicts : 0 c decisions : 136863 c propagations : 138000 c inspects : 5624 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 23 c c CURRENT OPTIMUM=-2086 c Current CPU time (ms) : 27.878 c starts : 24 c conflicts : 0 c decisions : 142812 c propagations : 144000 c inspects : 5907 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 24 c c CURRENT OPTIMUM=-2154 c Current CPU time (ms) : 28.7 c starts : 25 c conflicts : 0 c decisions : 148761 c propagations : 150000 c inspects : 6185 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 25 c c CURRENT OPTIMUM=-2228 c Current CPU time (ms) : 29.284 c starts : 26 c conflicts : 0 c decisions : 154709 c propagations : 156000 c inspects : 6448 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 26 c c CURRENT OPTIMUM=-2229 c Current CPU time (ms) : 29.878 c starts : 27 c conflicts : 0 c decisions : 160656 c propagations : 162000 c inspects : 6701 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 27 c c CURRENT OPTIMUM=-2282 c Current CPU time (ms) : 30.718 c starts : 28 c conflicts : 0 c decisions : 166604 c propagations : 168000 c inspects : 6984 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 28 c c CURRENT OPTIMUM=-2283 c Current CPU time (ms) : 31.257 c starts : 29 c conflicts : 0 c decisions : 172551 c propagations : 174000 c inspects : 7242 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 29 c c CURRENT OPTIMUM=-2348 c Current CPU time (ms) : 32.34 c starts : 30 c conflicts : 0 c decisions : 178500 c propagations : 180000 c inspects : 7550 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 30 c c CURRENT OPTIMUM=-2422 c Current CPU time (ms) : 33.22 c starts : 31 c conflicts : 0 c decisions : 184448 c propagations : 186000 c inspects : 7831 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 31 c c CURRENT OPTIMUM=-2423 c Current CPU time (ms) : 33.984 c starts : 32 c conflicts : 0 c decisions : 190395 c propagations : 192000 c inspects : 8096 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 32 c c CURRENT OPTIMUM=-2478 c Current CPU time (ms) : 34.818 c starts : 33 c conflicts : 0 c decisions : 196343 c propagations : 198000 c inspects : 8394 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 33 c c CURRENT OPTIMUM=-2546 c Current CPU time (ms) : 35.784 c starts : 34 c conflicts : 0 c decisions : 202291 c propagations : 204000 c inspects : 8684 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 34 c c CURRENT OPTIMUM=-2620 c Current CPU time (ms) : 36.525 c starts : 35 c conflicts : 0 c decisions : 208238 c propagations : 210000 c inspects : 8955 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 35 c c CURRENT OPTIMUM=-2621 c Current CPU time (ms) : 37.049 c starts : 36 c conflicts : 0 c decisions : 214184 c propagations : 216000 c inspects : 9211 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 36 c c CURRENT OPTIMUM=-2644 c Current CPU time (ms) : 37.98 c starts : 37 c conflicts : 0 c decisions : 220131 c propagations : 222000 c inspects : 9503 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 37 c c CURRENT OPTIMUM=-2645 c Current CPU time (ms) : 38.614 c starts : 38 c conflicts : 0 c decisions : 226077 c propagations : 228000 c inspects : 9762 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 38 c c CURRENT OPTIMUM=-2710 c Current CPU time (ms) : 39.703 c starts : 39 c conflicts : 0 c decisions : 232025 c propagations : 234000 c inspects : 10077 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 39 c c CURRENT OPTIMUM=-2784 c Current CPU time (ms) : 40.552 c starts : 40 c conflicts : 0 c decisions : 237972 c propagations : 240000 c inspects : 10359 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 40 c c CURRENT OPTIMUM=-2785 c Current CPU time (ms) : 41.153 c starts : 41 c conflicts : 0 c decisions : 243918 c propagations : 246000 c inspects : 10622 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 41 c c CURRENT OPTIMUM=-2840 c Current CPU time (ms) : 42.074 c starts : 42 c conflicts : 0 c decisions : 249865 c propagations : 252000 c inspects : 10920 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 42 c c CURRENT OPTIMUM=-2908 c Current CPU time (ms) : 43.021 c starts : 43 c conflicts : 0 c decisions : 255812 c propagations : 258000 c inspects : 11212 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 43 c c CURRENT OPTIMUM=-2982 c Current CPU time (ms) : 43.777 c starts : 44 c conflicts : 0 c decisions : 261758 c propagations : 264000 c inspects : 11482 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 44 c c CURRENT OPTIMUM=-2983 c Current CPU time (ms) : 44.262 c starts : 45 c conflicts : 0 c decisions : 267703 c propagations : 270000 c inspects : 11734 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 45 c c CURRENT OPTIMUM=-3050 c Current CPU time (ms) : 45.381 c starts : 46 c conflicts : 0 c decisions : 273650 c propagations : 276000 c inspects : 12066 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 46 c c CURRENT OPTIMUM=-3051 c Current CPU time (ms) : 46.169 c starts : 47 c conflicts : 0 c decisions : 279596 c propagations : 282000 c inspects : 12337 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 47 c c CURRENT OPTIMUM=-3106 c Current CPU time (ms) : 47.207 c starts : 48 c conflicts : 0 c decisions : 285543 c propagations : 288000 c inspects : 12643 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 48 c c CURRENT OPTIMUM=-3174 c Current CPU time (ms) : 48.216 c starts : 49 c conflicts : 0 c decisions : 291490 c propagations : 294000 c inspects : 12942 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 49 c c CURRENT OPTIMUM=-3248 c Current CPU time (ms) : 48.955 c starts : 50 c conflicts : 0 c decisions : 297436 c propagations : 300000 c inspects : 13219 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 50 c c CURRENT OPTIMUM=-3249 c Current CPU time (ms) : 49.661 c starts : 51 c conflicts : 0 c decisions : 303381 c propagations : 306000 c inspects : 13481 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 51 c c CURRENT OPTIMUM=-3272 c Current CPU time (ms) : 50.72 c starts : 52 c conflicts : 0 c decisions : 309327 c propagations : 312000 c inspects : 13787 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 52 c c CURRENT OPTIMUM=-3273 c Current CPU time (ms) : 51.445 c starts : 53 c conflicts : 0 c decisions : 315272 c propagations : 318000 c inspects : 14053 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 53 c c CURRENT OPTIMUM=-3338 c Current CPU time (ms) : 52.665 c starts : 54 c conflicts : 0 c decisions : 321219 c propagations : 324000 c inspects : 14382 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 54 c c CURRENT OPTIMUM=-3412 c Current CPU time (ms) : 53.63 c starts : 55 c conflicts : 0 c decisions : 327165 c propagations : 330000 c inspects : 14672 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 55 c c CURRENT OPTIMUM=-3413 c Current CPU time (ms) : 54.319 c starts : 56 c conflicts : 0 c decisions : 333110 c propagations : 336000 c inspects : 14944 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 56 c c CURRENT OPTIMUM=-3468 c Current CPU time (ms) : 55.372 c starts : 57 c conflicts : 0 c decisions : 339056 c propagations : 342000 c inspects : 15254 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 57 c c CURRENT OPTIMUM=-3536 c Current CPU time (ms) : 56.399 c starts : 58 c conflicts : 0 c decisions : 345002 c propagations : 348000 c inspects : 15553 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 58 c c CURRENT OPTIMUM=-3610 c Current CPU time (ms) : 57.243 c starts : 59 c conflicts : 0 c decisions : 350947 c propagations : 354000 c inspects : 15830 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 59 c c CURRENT OPTIMUM=-3611 c Current CPU time (ms) : 57.814 c starts : 60 c conflicts : 0 c decisions : 356891 c propagations : 360000 c inspects : 16090 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 60 c c CURRENT OPTIMUM=-3615 c Current CPU time (ms) : 59.065 c starts : 61 c conflicts : 0 c decisions : 362836 c propagations : 366000 c inspects : 16403 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 61 c c CURRENT OPTIMUM=-3616 c Current CPU time (ms) : 59.689 c starts : 62 c conflicts : 0 c decisions : 368780 c propagations : 372000 c inspects : 16668 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 62 c c CURRENT OPTIMUM=-3639 c Current CPU time (ms) : 60.802 c starts : 63 c conflicts : 0 c decisions : 374725 c propagations : 378000 c inspects : 16980 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 63 c c CURRENT OPTIMUM=-3640 c Current CPU time (ms) : 61.642 c starts : 64 c conflicts : 0 c decisions : 380669 c propagations : 384000 c inspects : 17250 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 64 c c CURRENT OPTIMUM=-3705 c Current CPU time (ms) : 62.997 c starts : 65 c conflicts : 0 c decisions : 386615 c propagations : 390000 c inspects : 17587 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 65 c c CURRENT OPTIMUM=-3779 c Current CPU time (ms) : 63.988 c starts : 66 c conflicts : 0 c decisions : 392560 c propagations : 396000 c inspects : 17883 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 66 c c CURRENT OPTIMUM=-3780 c Current CPU time (ms) : 64.747 c starts : 67 c conflicts : 0 c decisions : 398504 c propagations : 402000 c inspects : 18158 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 67 c c CURRENT OPTIMUM=-3835 c Current CPU time (ms) : 65.792 c starts : 68 c conflicts : 0 c decisions : 404449 c propagations : 408000 c inspects : 18474 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 68 c c CURRENT OPTIMUM=-3903 c Current CPU time (ms) : 66.852 c starts : 69 c conflicts : 0 c decisions : 410394 c propagations : 414000 c inspects : 18781 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 69 c c CURRENT OPTIMUM=-3977 c Current CPU time (ms) : 67.717 c starts : 70 c conflicts : 0 c decisions : 416338 c propagations : 420000 c inspects : 19065 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 70 c c CURRENT OPTIMUM=-3978 c Current CPU time (ms) : 68.35 c starts : 71 c conflicts : 0 c decisions : 422281 c propagations : 426000 c inspects : 19331 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 71 c c CURRENT OPTIMUM=-4043 c Current CPU time (ms) : 69.814 c starts : 72 c conflicts : 0 c decisions : 428226 c propagations : 432000 c inspects : 19685 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 72 c c CURRENT OPTIMUM=-4117 c Current CPU time (ms) : 70.787 c starts : 73 c conflicts : 0 c decisions : 434170 c propagations : 438000 c inspects : 19977 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 73 c c CURRENT OPTIMUM=-4118 c Current CPU time (ms) : 71.486 c starts : 74 c conflicts : 0 c decisions : 440113 c propagations : 444000 c inspects : 20249 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 74 c c CURRENT OPTIMUM=-4122 c Current CPU time (ms) : 72.746 c starts : 75 c conflicts : 0 c decisions : 446057 c propagations : 450000 c inspects : 20580 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 75 c c CURRENT OPTIMUM=-4123 c Current CPU time (ms) : 73.609 c starts : 76 c conflicts : 0 c decisions : 452000 c propagations : 456000 c inspects : 20858 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 76 c c CURRENT OPTIMUM=-4146 c Current CPU time (ms) : 74.939 c starts : 77 c conflicts : 0 c decisions : 457944 c propagations : 462000 c inspects : 21188 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 77 c c CURRENT OPTIMUM=-4147 c Current CPU time (ms) : 75.867 c starts : 78 c conflicts : 0 c decisions : 463887 c propagations : 468000 c inspects : 21472 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 78 c c CURRENT OPTIMUM=-4212 c Current CPU time (ms) : 77.421 c starts : 79 c conflicts : 0 c decisions : 469832 c propagations : 474000 c inspects : 21830 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 79 c c CURRENT OPTIMUM=-4286 c Current CPU time (ms) : 78.594 c starts : 80 c conflicts : 0 c decisions : 475776 c propagations : 480000 c inspects : 22140 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 80 c c CURRENT OPTIMUM=-4287 c Current CPU time (ms) : 79.553 c starts : 81 c conflicts : 0 c decisions : 481719 c propagations : 486000 c inspects : 22427 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 81 c c CURRENT OPTIMUM=-4342 c Current CPU time (ms) : 80.836 c starts : 82 c conflicts : 0 c decisions : 487663 c propagations : 492000 c inspects : 22759 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 82 c c CURRENT OPTIMUM=-4410 c Current CPU time (ms) : 82.086 c starts : 83 c conflicts : 0 c decisions : 493607 c propagations : 498000 c inspects : 23078 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 83 c c CURRENT OPTIMUM=-4484 c Current CPU time (ms) : 83.099 c starts : 84 c conflicts : 0 c decisions : 499550 c propagations : 504000 c inspects : 23371 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 84 c c CURRENT OPTIMUM=-4485 c Current CPU time (ms) : 83.908 c starts : 85 c conflicts : 0 c decisions : 505492 c propagations : 510000 c inspects : 23642 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 85 c c CURRENT OPTIMUM=-4522 c Current CPU time (ms) : 84.932 c starts : 86 c conflicts : 0 c decisions : 511435 c propagations : 516000 c inspects : 23947 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 86 c c CURRENT OPTIMUM=-4590 c Current CPU time (ms) : 85.84 c starts : 87 c conflicts : 0 c decisions : 517378 c propagations : 522000 c inspects : 24244 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 87 c c CURRENT OPTIMUM=-4664 c Current CPU time (ms) : 86.654 c starts : 88 c conflicts : 0 c decisions : 523320 c propagations : 528000 c inspects : 24514 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 88 c c CURRENT OPTIMUM=-4665 c Current CPU time (ms) : 87.258 c starts : 89 c conflicts : 0 c decisions : 529261 c propagations : 534000 c inspects : 24763 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 89 c c CURRENT OPTIMUM=-4709 c Current CPU time (ms) : 89.058 c starts : 90 c conflicts : 0 c decisions : 535206 c propagations : 540000 c inspects : 25233 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 90 c c CURRENT OPTIMUM=-4777 c Current CPU time (ms) : 90.73 c starts : 91 c conflicts : 0 c decisions : 541151 c propagations : 546000 c inspects : 25584 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 91 c c CURRENT OPTIMUM=-4851 c Current CPU time (ms) : 92.006 c starts : 92 c conflicts : 0 c decisions : 547095 c propagations : 552000 c inspects : 25903 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 92 c c CURRENT OPTIMUM=-4852 c Current CPU time (ms) : 93.004 c starts : 93 c conflicts : 0 c decisions : 553038 c propagations : 558000 c inspects : 26193 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 93 c c CURRENT OPTIMUM=-4856 c Current CPU time (ms) : 94.558 c starts : 94 c conflicts : 0 c decisions : 558982 c propagations : 564000 c inspects : 26551 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 94 c c CURRENT OPTIMUM=-4857 c Current CPU time (ms) : 95.61 c starts : 95 c conflicts : 0 c decisions : 564925 c propagations : 570000 c inspects : 26847 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 95 c c CURRENT OPTIMUM=-4880 c Current CPU time (ms) : 97.262 c starts : 96 c conflicts : 0 c decisions : 570869 c propagations : 576000 c inspects : 27202 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 96 c c CURRENT OPTIMUM=-4881 c Current CPU time (ms) : 98.362 c starts : 97 c conflicts : 0 c decisions : 576812 c propagations : 582000 c inspects : 27504 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 97 c c CURRENT OPTIMUM=-4946 c Current CPU time (ms) : 100.348 c starts : 98 c conflicts : 0 c decisions : 582757 c propagations : 588000 c inspects : 27900 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 98 c c CURRENT OPTIMUM=-5020 c Current CPU time (ms) : 101.819 c starts : 99 c conflicts : 0 c decisions : 588701 c propagations : 594000 c inspects : 28240 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 99 c c CURRENT OPTIMUM=-5021 c Current CPU time (ms) : 103.016 c starts : 100 c conflicts : 0 c decisions : 594644 c propagations : 600000 c inspects : 28551 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 100 c c CURRENT OPTIMUM=-5076 c Current CPU time (ms) : 104.713 c starts : 101 c conflicts : 0 c decisions : 600588 c propagations : 606000 c inspects : 28913 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 101 c c CURRENT OPTIMUM=-5144 c Current CPU time (ms) : 106.411 c starts : 102 c conflicts : 0 c decisions : 606532 c propagations : 612000 c inspects : 29266 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 102 c c CURRENT OPTIMUM=-5218 c Current CPU time (ms) : 107.691 c starts : 103 c conflicts : 0 c decisions : 612475 c propagations : 618000 c inspects : 29586 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 103 c c CURRENT OPTIMUM=-5219 c Current CPU time (ms) : 108.69 c starts : 104 c conflicts : 0 c decisions : 618417 c propagations : 624000 c inspects : 29877 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 104 c c CURRENT OPTIMUM=-5284 c Current CPU time (ms) : 110.687 c starts : 105 c conflicts : 0 c decisions : 624361 c propagations : 630000 c inspects : 30279 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 105 c c CURRENT OPTIMUM=-5358 c Current CPU time (ms) : 112.039 c starts : 106 c conflicts : 0 c decisions : 630304 c propagations : 636000 c inspects : 30606 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 106 c c CURRENT OPTIMUM=-5359 c Current CPU time (ms) : 113.106 c starts : 107 c conflicts : 0 c decisions : 636246 c propagations : 642000 c inspects : 30903 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 107 c c CURRENT OPTIMUM=-5363 c Current CPU time (ms) : 114.68 c starts : 108 c conflicts : 0 c decisions : 642189 c propagations : 648000 c inspects : 31269 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 108 c c CURRENT OPTIMUM=-5364 c Current CPU time (ms) : 115.785 c starts : 109 c conflicts : 0 c decisions : 648131 c propagations : 654000 c inspects : 31570 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 109 c c CURRENT OPTIMUM=-5387 c Current CPU time (ms) : 117.521 c starts : 110 c conflicts : 0 c decisions : 654074 c propagations : 660000 c inspects : 31935 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 110 c c CURRENT OPTIMUM=-5388 c Current CPU time (ms) : 118.652 c starts : 111 c conflicts : 0 c decisions : 660016 c propagations : 666000 c inspects : 32240 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 111 c c CURRENT OPTIMUM=-5453 c Current CPU time (ms) : 120.604 c starts : 112 c conflicts : 0 c decisions : 665960 c propagations : 672000 c inspects : 32642 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 112 c c CURRENT OPTIMUM=-5527 c Current CPU time (ms) : 122.108 c starts : 113 c conflicts : 0 c decisions : 671903 c propagations : 678000 c inspects : 32984 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 113 c c CURRENT OPTIMUM=-5528 c Current CPU time (ms) : 123.338 c starts : 114 c conflicts : 0 c decisions : 677845 c propagations : 684000 c inspects : 33296 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 114 c c CURRENT OPTIMUM=-5583 c Current CPU time (ms) : 125.07 c starts : 115 c conflicts : 0 c decisions : 683788 c propagations : 690000 c inspects : 33661 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 115 c c CURRENT OPTIMUM=-5651 c Current CPU time (ms) : 126.741 c starts : 116 c conflicts : 0 c decisions : 689731 c propagations : 696000 c inspects : 34015 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 116 c c CURRENT OPTIMUM=-5725 c Current CPU time (ms) : 128.007 c starts : 117 c conflicts : 0 c decisions : 695673 c propagations : 702000 c inspects : 34335 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 117 c c CURRENT OPTIMUM=-5726 c Current CPU time (ms) : 128.987 c starts : 118 c conflicts : 0 c decisions : 701613 c propagations : 708000 c inspects : 34624 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 118 c c CURRENT OPTIMUM=-5763 c Current CPU time (ms) : 130.364 c starts : 119 c conflicts : 0 c decisions : 707554 c propagations : 714000 c inspects : 34959 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 119 c c CURRENT OPTIMUM=-5831 c Current CPU time (ms) : 131.729 c starts : 120 c conflicts : 0 c decisions : 713495 c propagations : 720000 c inspects : 35290 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 120 c c CURRENT OPTIMUM=-5905 c Current CPU time (ms) : 132.784 c starts : 121 c conflicts : 0 c decisions : 719435 c propagations : 726000 c inspects : 35587 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 121 c c CURRENT OPTIMUM=-5906 c Current CPU time (ms) : 133.546 c starts : 122 c conflicts : 0 c decisions : 725374 c propagations : 732000 c inspects : 35856 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 122 c c CURRENT OPTIMUM=-6462 c Current CPU time (ms) : 137.739 c starts : 123 c conflicts : 1 c decisions : 731324 c propagations : 738002 c inspects : 36135 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 123 c c CURRENT OPTIMUM=-537472 c Current CPU time (ms) : 139.613 c starts : 124 c conflicts : 1 c decisions : 731404 c propagations : 744002 c inspects : 38082 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 124 c c CURRENT OPTIMUM=-537478 c Current CPU time (ms) : 147.405 c starts : 125 c conflicts : 2 c decisions : 736663 c propagations : 755202 c inspects : 38772 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 125 c c CURRENT OPTIMUM=-1379193 c Current CPU time (ms) : 446.012 c starts : 127 c conflicts : 102 c decisions : 745663 c propagations : 771246 c inspects : 90530 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 102 c root simplifications : 127 c c CURRENT OPTIMUM=-1383747 c Current CPU time (ms) : 487.071 c starts : 128 c conflicts : 108 c decisions : 751789 c propagations : 783428 c inspects : 93314 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 108 c root simplifications : 128 c c CURRENT OPTIMUM=-1385429 c Current CPU time (ms) : 496.567 c starts : 129 c conflicts : 108 c decisions : 751872 c propagations : 789428 c inspects : 95062 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 108 c root simplifications : 129 c c CURRENT OPTIMUM=-1389873 c Current CPU time (ms) : 786.198 c starts : 130 c conflicts : 111 c decisions : 757658 c propagations : 801276 c inspects : 98159 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 111 c root simplifications : 130 #### 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.99 0.97 0.79 2/54 22919 Raw data (stat): 22919 (runsolver) R 22918 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487621576 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 22928 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 17976 0 1 0 895 41 0 0 25 0 10 0 487621576 853614592 19127 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208402 19127 13073 16 0 208386 0 vsize: 833608 [startup+20.002 s] Raw data (loadavg): 1.22 1.02 0.81 2/64 22939 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 1692 42 0 0 25 0 11 0 487621576 857292800 21920 4294967295 134512640 134569956 3221224416 3221214696 1131318773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209300 21920 13073 16 0 209284 0 vsize: 837200 [startup+30.0028 s] Raw data (loadavg): 1.18 1.02 0.82 2/64 22955 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 2600 43 1 0 25 0 11 0 487621576 857260032 23420 4294967295 134512640 134569956 3221224416 3221214792 1131402568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209292 23420 13073 16 0 209276 0 vsize: 837168 [startup+40.0033 s] Raw data (loadavg): 1.24 1.03 0.82 2/64 22967 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 3499 43 1 0 24 0 11 0 487621576 857006080 25405 4294967295 134512640 134569956 3221224416 3221214696 1131318487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209230 25405 13073 16 0 209214 0 vsize: 836920 [startup+50.0046 s] Raw data (loadavg): 1.20 1.03 0.83 2/64 22979 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 4410 44 1 0 25 0 11 0 487621576 857006080 25870 4294967295 134512640 134569956 3221224416 3221214792 1131403042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209230 25870 13073 16 0 209214 0 vsize: 836920 [startup+60.0054 s] Raw data (loadavg): 1.17 1.03 0.83 2/64 22990 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 5313 44 1 0 25 0 11 0 487621576 857006080 26953 4294967295 134512640 134569956 3221224416 3221214792 1131402745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209230 26953 13073 16 0 209214 0 vsize: 836920 [startup+70.0056 s] Raw data (loadavg): 1.14 1.03 0.83 2/64 23000 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18023 3 1 0 6243 44 2 0 25 0 11 0 487621576 856870912 29268 4294967295 134512640 134569956 3221224416 3221214792 1131403464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209197 29268 13073 16 0 209181 0 vsize: 836788 [startup+80.0087 s] Raw data (loadavg): 1.12 1.03 0.83 2/64 23009 Raw data (stat): 22919 (java) S 22918 11931 11930 0 -1 0 18024 3 1 0 7148 45 2 0 25 0 11 0 487621576 856870912 29698 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209197 29698 13073 16 0 209181 0 vsize: 836788 [startup+90.0101 s] Raw data (loadavg): 1.10 1.03 0.83 2/64 23019 Raw data (stat): 22919 (java) S 22918 11931 11930 0 -1 0 18024 3 1 0 8047 45 3 0 25 0 11 0 487621576 856870912 30654 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209197 30654 13073 16 0 209181 0 vsize: 836788 [startup+100.01 s] Raw data (loadavg): 1.08 1.03 0.83 2/64 23026 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18024 3 1 0 8942 46 3 1 25 0 11 0 487621576 856870912 31363 4294967295 134512640 134569956 3221224416 3221214696 1131319396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209197 31363 13073 16 0 209181 0 vsize: 836788 [startup+110.011 s] Raw data (loadavg): 1.07 1.02 0.83 2/64 23033 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18024 3 1 0 9851 47 3 1 25 0 11 0 487621576 856870912 31905 4294967295 134512640 134569956 3221224416 3221214784 1131271338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209197 31905 13073 16 0 209181 0 vsize: 836788 [startup+120.011 s] Raw data (loadavg): 1.06 1.02 0.83 2/64 23040 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18024 3 1 0 10746 47 4 1 25 0 11 0 487621576 856870912 32664 4294967295 134512640 134569956 3221224416 3221214696 1131318561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209197 32664 13073 16 0 209181 0 vsize: 836788 [startup+130.011 s] Raw data (loadavg): 1.05 1.02 0.83 2/64 23047 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18024 3 1 0 11651 49 4 1 25 0 11 0 487621576 856870912 33215 4294967295 134512640 134569956 3221224416 3221214696 1131318521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209197 33215 13073 16 0 209181 0 vsize: 836788 [startup+140.012 s] Raw data (loadavg): 1.04 1.02 0.83 2/64 23052 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 12470 50 4 1 25 0 11 0 487621576 858968064 34585 4294967295 134512640 134569956 3221224416 3221214736 1131223232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 34585 13073 16 0 209693 0 vsize: 838836 [startup+150.013 s] Raw data (loadavg): 1.04 1.02 0.83 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 13379 50 4 1 25 0 11 0 487621576 858968064 34957 4294967295 134512640 134569956 3221224416 3221214736 1131223232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 34957 13073 16 0 209693 0 vsize: 838836 [startup+160.012 s] Raw data (loadavg): 1.03 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 14303 50 4 1 25 0 11 0 487621576 858968064 35050 4294967295 134512640 134569956 3221224416 3221214648 1131534700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 35050 13073 16 0 209693 0 vsize: 838836 [startup+170.012 s] Raw data (loadavg): 1.02 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 15213 50 4 1 25 0 11 0 487621576 858968064 35515 4294967295 134512640 134569956 3221224416 3221214664 1131244701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 35515 13073 16 0 209693 0 vsize: 838836 [startup+180.013 s] Raw data (loadavg): 1.02 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 16117 51 4 1 25 0 11 0 487621576 858968064 36037 4294967295 134512640 134569956 3221224416 3221214664 1131311292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 36037 13073 16 0 209693 0 vsize: 838836 [startup+190.013 s] Raw data (loadavg): 1.02 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 17029 51 4 1 24 0 11 0 487621576 858968064 36341 4294967295 134512640 134569956 3221224416 3221214688 1131286736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 36341 13073 16 0 209693 0 vsize: 838836 [startup+200.014 s] Raw data (loadavg): 1.01 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 17945 51 4 1 25 0 11 0 487621576 858968064 36443 4294967295 134512640 134569956 3221224416 3221214576 1131469358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 36443 13073 16 0 209693 0 vsize: 838836 [startup+210.014 s] Raw data (loadavg): 1.01 1.02 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 18848 51 4 1 25 0 11 0 487621576 858968064 36848 4294967295 134512640 134569956 3221224416 3221214704 1131506564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 36848 13073 16 0 209693 0 vsize: 838836 [startup+220.014 s] Raw data (loadavg): 1.01 1.01 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 19776 52 4 1 25 0 11 0 487621576 858968064 37163 4294967295 134512640 134569956 3221224416 3221214504 1131540133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 37163 13073 16 0 209693 0 vsize: 838836 [startup+230.014 s] Raw data (loadavg): 1.01 1.01 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 20686 52 4 1 25 0 11 0 487621576 858968064 37469 4294967295 134512640 134569956 3221224416 3221214704 1131504976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 37469 13073 16 0 209693 0 vsize: 838836 [startup+240.015 s] Raw data (loadavg): 1.01 1.01 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 21594 52 4 1 25 0 11 0 487621576 858968064 37981 4294967295 134512640 134569956 3221224416 3221214704 1131505963 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 37981 13073 16 0 209693 0 vsize: 838836 [startup+250.015 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 22508 52 4 1 25 0 11 0 487621576 858968064 38711 4294967295 134512640 134569956 3221224416 3221214720 1131321530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 38711 13073 16 0 209693 0 vsize: 838836 [startup+260.016 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 23417 52 4 1 25 0 11 0 487621576 858968064 38915 4294967295 134512640 134569956 3221224416 3221214704 1131505668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 38915 13073 16 0 209693 0 vsize: 838836 [startup+270.017 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 24331 53 4 1 25 0 11 0 487621576 858968064 39118 4294967295 134512640 134569956 3221224416 3221214656 1131554567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 39118 13073 16 0 209693 0 vsize: 838836 [startup+280.016 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 25254 53 4 1 25 0 11 0 487621576 858968064 39625 4294967295 134512640 134569956 3221224416 3221214704 1131506819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 39625 13073 16 0 209693 0 vsize: 838836 [startup+290.017 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) S 22918 11931 11930 0 -1 0 18066 3 1 0 26162 53 4 1 25 0 11 0 487621576 858968064 39910 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 39910 13073 16 0 209693 0 vsize: 838836 [startup+300.018 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 27086 53 4 1 25 0 11 0 487621576 858968064 40235 4294967295 134512640 134569956 3221224416 3221214656 1131554536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 40235 13073 16 0 209693 0 vsize: 838836 [startup+310.017 s] Raw data (loadavg): 1.00 1.01 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 27996 54 4 1 25 0 11 0 487621576 858968064 40725 4294967295 134512640 134569956 3221224416 3221214768 1131562411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 40725 13073 16 0 209693 0 vsize: 838836 [startup+320.019 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 28908 54 4 1 25 0 11 0 487621576 858968064 41293 4294967295 134512640 134569956 3221224416 3221214632 1131474370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 41293 13073 16 0 209693 0 vsize: 838836 [startup+330.019 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 29822 54 4 1 25 0 11 0 487621576 858968064 41597 4294967295 134512640 134569956 3221224416 3221214504 1131540177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 41597 13073 16 0 209693 0 vsize: 838836 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 30737 55 4 1 25 0 11 0 487621576 858968064 41800 4294967295 134512640 134569956 3221224416 3221214576 1131469573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 41800 13073 16 0 209693 0 vsize: 838836 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 31660 55 4 1 25 0 11 0 487621576 858968064 42307 4294967295 134512640 134569956 3221224416 3221214648 1131534723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 42307 13073 16 0 209693 0 vsize: 838836 [startup+360.02 s] Raw data (loadavg): 1.00 1.00 0.86 2/64 23054 Raw data (stat): 22919 (java) S 22918 11931 11930 0 -1 0 18066 3 1 0 32567 55 4 1 25 0 11 0 487621576 858968064 42592 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 42592 13073 16 0 209693 0 vsize: 838836 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.86 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 33481 56 4 1 25 0 11 0 487621576 858968064 43123 4294967295 134512640 134569956 3221224416 3221214628 1131469299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 43123 13073 16 0 209693 0 vsize: 838836 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 0.86 2/64 23054 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 34397 56 4 1 25 0 11 0 487621576 858968064 43325 4294967295 134512640 134569956 3221224416 3221214704 1131505711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 43325 13073 16 0 209693 0 vsize: 838836 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.86 2/67 23089 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 35304 60 4 1 25 0 11 0 487621576 858968064 43427 4294967295 134512640 134569956 3221224416 3221214632 1131474370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 43427 13073 16 0 209693 0 vsize: 838836 [startup+400.021 s] Raw data (loadavg): 1.07 1.02 0.86 2/64 23107 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 36225 61 4 1 25 0 11 0 487621576 858968064 44035 4294967295 134512640 134569956 3221224416 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 44035 13073 16 0 209693 0 vsize: 838836 [startup+410.021 s] Raw data (loadavg): 1.06 1.02 0.87 2/64 23107 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 37135 61 4 1 25 0 11 0 487621576 858968064 44341 4294967295 134512640 134569956 3221224416 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 44341 13073 16 0 209693 0 vsize: 838836 [startup+420.022 s] Raw data (loadavg): 1.05 1.01 0.87 2/64 23107 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 38054 61 4 1 25 0 11 0 487621576 858968064 44646 4294967295 134512640 134569956 3221224416 3221214704 1131504976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 44646 13073 16 0 209693 0 vsize: 838836 [startup+430.022 s] Raw data (loadavg): 1.04 1.01 0.87 2/64 23107 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 38975 62 4 1 25 0 11 0 487621576 858968064 45152 4294967295 134512640 134569956 3221224416 3221214768 1131562372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 45152 13073 16 0 209693 0 vsize: 838836 [startup+440.023 s] Raw data (loadavg): 1.04 1.01 0.87 2/64 23107 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 39900 62 4 1 25 0 11 0 487621576 858968064 45234 4294967295 134512640 134569956 3221224416 3221214736 1131223232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 45234 13073 16 0 209693 0 vsize: 838836 [startup+450.023 s] Raw data (loadavg): 1.03 1.01 0.87 2/64 23108 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 40855 63 4 1 25 0 11 0 487621576 858968064 45354 4294967295 134512640 134569956 3221224416 3221214620 1080204206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 45354 13073 16 0 209693 0 vsize: 838836 [startup+460.024 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 23110 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 41773 63 4 1 25 0 11 0 487621576 858968064 45730 4294967295 134512640 134569956 3221224416 3221214736 1131223249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 45730 13073 16 0 209693 0 vsize: 838836 [startup+470.025 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 23110 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 42692 63 4 1 25 0 11 0 487621576 858968064 45730 4294967295 134512640 134569956 3221224416 3221214792 1131405196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 45730 13073 16 0 209693 0 vsize: 838836 [startup+480.025 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 23110 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 43607 64 4 1 25 0 11 0 487621576 858968064 46045 4294967295 134512640 134569956 3221224416 3221214768 1131562128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 46045 13073 16 0 209693 0 vsize: 838836 [startup+490.025 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 23111 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 44532 64 4 1 25 0 11 0 487621576 858968064 46423 4294967295 134512640 134569956 3221224416 3221214792 1131402672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 46423 13073 16 0 209693 0 vsize: 838836 [startup+500.026 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 45463 65 4 1 25 0 11 0 487621576 858968064 46526 4294967295 134512640 134569956 3221224416 3221214696 1131318832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 46526 13073 16 0 209693 0 vsize: 838836 [startup+510.026 s] Raw data (loadavg): 1.09 1.02 0.88 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18066 3 1 0 46409 65 4 1 25 0 11 0 487621576 858968064 46733 4294967295 134512640 134569956 3221224416 3221214528 1131626142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 46733 13073 16 0 209693 0 vsize: 838836 [startup+520.027 s] Raw data (loadavg): 1.07 1.02 0.88 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 47383 65 4 1 25 0 11 0 487621576 858968064 46940 4294967295 134512640 134569956 3221224416 3221214528 1131628381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 46940 13073 16 0 209693 0 vsize: 838836 [startup+530.028 s] Raw data (loadavg): 1.06 1.02 0.88 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 48365 65 4 1 25 0 11 0 487621576 858968064 47044 4294967295 134512640 134569956 3221224416 3221214536 1131560307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47044 13073 16 0 209693 0 vsize: 838836 [startup+540.028 s] Raw data (loadavg): 1.05 1.02 0.88 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 49354 65 4 1 25 0 11 0 487621576 858968064 47048 4294967295 134512640 134569956 3221224416 3221214432 1131244674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47048 13073 16 0 209693 0 vsize: 838836 [startup+550.028 s] Raw data (loadavg): 1.04 1.02 0.88 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 50344 65 4 1 25 0 11 0 487621576 858968064 47161 4294967295 134512640 134569956 3221224416 3221214536 1131581651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47161 13073 16 0 209693 0 vsize: 838836 [startup+560.028 s] Raw data (loadavg): 1.04 1.02 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 51341 65 4 1 25 0 11 0 487621576 858968064 47163 4294967295 134512640 134569956 3221224416 3221214432 1131244973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47163 13073 16 0 209693 0 vsize: 838836 [startup+570.029 s] Raw data (loadavg): 1.03 1.02 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 52333 65 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214520 1131244745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+580.029 s] Raw data (loadavg): 1.03 1.02 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 53330 65 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214520 1131244863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+590.029 s] Raw data (loadavg): 1.02 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 54327 65 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+600.03 s] Raw data (loadavg): 1.02 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 55324 65 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214528 1131628369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+610.03 s] Raw data (loadavg): 1.01 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 56315 65 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214528 1131626171 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+620.03 s] Raw data (loadavg): 1.01 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 57305 66 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214520 1131244909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+630.03 s] Raw data (loadavg): 1.01 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 58298 66 4 1 25 0 11 0 487621576 858968064 47166 4294967295 134512640 134569956 3221224416 3221214632 1131657153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47166 13073 16 0 209693 0 vsize: 838836 [startup+640.031 s] Raw data (loadavg): 1.01 1.01 0.89 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 59288 66 4 1 25 0 11 0 487621576 858968064 47168 4294967295 134512640 134569956 3221224416 3221214528 1131626235 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47168 13073 16 0 209693 0 vsize: 838836 [startup+650.031 s] Raw data (loadavg): 1.09 1.02 0.90 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18067 3 1 0 60276 66 4 1 25 0 11 0 487621576 858968064 47170 4294967295 134512640 134569956 3221224416 3221214528 1131626650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47170 13073 16 0 209693 0 vsize: 838836 [startup+660.031 s] Raw data (loadavg): 1.15 1.04 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 61268 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214520 1131244926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+670.032 s] Raw data (loadavg): 1.13 1.04 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 62260 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214528 1131626171 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+680.032 s] Raw data (loadavg): 1.11 1.04 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 63250 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214632 1131657212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+690.033 s] Raw data (loadavg): 1.09 1.03 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 64241 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214520 1131244954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+700.033 s] Raw data (loadavg): 1.08 1.03 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 65233 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214528 1131626672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+710.033 s] Raw data (loadavg): 1.06 1.03 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 66223 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214528 1131626218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+720.034 s] Raw data (loadavg): 1.05 1.03 0.91 2/64 23112 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 67215 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214632 1131657100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+730.033 s] Raw data (loadavg): 1.05 1.03 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 68208 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214608 1131377272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+740.035 s] Raw data (loadavg): 1.04 1.03 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 69197 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214632 1131657100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+750.035 s] Raw data (loadavg): 1.03 1.03 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 70189 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214528 1131626650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+760.035 s] Raw data (loadavg): 1.03 1.02 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 71180 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214520 1131244969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+770.036 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 72160 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214696 1131318629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+780.037 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 23114 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 73126 66 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214740 1131271362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+790.037 s] Raw data (loadavg): 1.02 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 74087 67 4 1 25 0 11 0 487621576 858968064 47173 4294967295 134512640 134569956 3221224416 3221214696 1131318719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47173 13073 16 0 209693 0 vsize: 838836 [startup+800.037 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 75031 67 4 1 25 0 11 0 487621576 858968064 47398 4294967295 134512640 134569956 3221224416 3221214520 1131244891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47398 13073 16 0 209693 0 vsize: 838836 [startup+810.037 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 76013 67 4 1 25 0 11 0 487621576 858968064 47401 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47401 13073 16 0 209693 0 vsize: 838836 [startup+820.038 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 76998 67 4 1 25 0 11 0 487621576 858968064 47502 4294967295 134512640 134569956 3221224416 3221214624 1131661543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47502 13073 16 0 209693 0 vsize: 838836 [startup+830.038 s] Raw data (loadavg): 1.01 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 77990 67 4 1 25 0 11 0 487621576 858968064 47502 4294967295 134512640 134569956 3221224416 3221214528 1131628369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47502 13073 16 0 209693 0 vsize: 838836 [startup+840.039 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 78976 67 4 1 25 0 11 0 487621576 858968064 47619 4294967295 134512640 134569956 3221224416 3221214528 1131626660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47619 13073 16 0 209693 0 vsize: 838836 [startup+850.038 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 79967 67 4 1 25 0 11 0 487621576 858968064 47620 4294967295 134512640 134569956 3221224416 3221214528 1131627484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47620 13073 16 0 209693 0 vsize: 838836 [startup+860.038 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 80959 67 4 1 25 0 11 0 487621576 858968064 47620 4294967295 134512640 134569956 3221224416 3221214520 1131244747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47620 13073 16 0 209693 0 vsize: 838836 [startup+870.039 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 81953 67 4 1 25 0 11 0 487621576 858968064 47620 4294967295 134512640 134569956 3221224416 3221214628 1131377196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47620 13073 16 0 209693 0 vsize: 838836 [startup+880.04 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 82944 68 4 1 25 0 11 0 487621576 858968064 47620 4294967295 134512640 134569956 3221224416 3221214528 1131626787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47620 13073 16 0 209693 0 vsize: 838836 [startup+890.041 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 83938 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214528 1131626592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+900.041 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 84936 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214608 1131377265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+910.041 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 85933 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214608 1131377254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+920.041 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 86930 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214520 1131245022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+930.042 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 87925 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214520 1131244747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+940.043 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 88917 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214528 1131626578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+950.045 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) S 22918 11931 11930 0 -1 0 18068 3 1 0 89909 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+960.046 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 90902 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214520 1131244747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+970.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 91894 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214628 1131377184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+980.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 92886 68 4 1 25 0 11 0 487621576 858968064 47701 4294967295 134512640 134569956 3221224416 3221214624 1131661543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47701 13073 16 0 209693 0 vsize: 838836 [startup+990.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 93882 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214528 1131626239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 94874 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 95865 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214624 1131661688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 96860 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214624 1131661728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 97851 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214632 1131657088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 98843 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214528 1131626588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 99837 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214520 1131244657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 100829 68 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214528 1131626737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 101820 69 4 1 25 0 11 0 487621576 858968064 47782 4294967295 134512640 134569956 3221224416 3221214528 1131626615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47782 13073 16 0 209693 0 vsize: 838836 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 102814 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 103812 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214520 1131244747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 104809 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214520 1131245145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 105807 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 106800 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214520 1131244926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 107792 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214528 1131626780 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 108785 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214528 1131627663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 109778 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 110770 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214520 1131244800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 111763 69 4 1 25 0 11 0 487621576 858968064 47863 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47863 13073 16 0 209693 0 vsize: 838836 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 112760 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214520 1131244689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 113757 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214528 1131626171 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 114755 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214520 1131245104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 115752 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214520 1131244816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 116749 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214528 1131626678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 117746 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214528 1131626336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 118744 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214520 1131244882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 119742 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214632 1131657103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 [startup+1260.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 23115 Raw data (stat): 22919 (java) R 22918 11931 11930 0 -1 0 18068 3 1 0 120739 69 4 1 25 0 11 0 487621576 858968064 47943 4294967295 134512640 134569956 3221224416 3221214528 1131628375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209709 47943 13073 16 0 209693 0 vsize: 838836 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.17 s] Raw data (loadavg): 1.00 1.00 0.91 1/54 23117 Raw data (stat): 22919 (java) Z 22918 11931 11930 0 -1 1036 18068 28186 1 0 120741 69 4834 65 25 0 1 0 487621576 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): 1260.17 CPU time (s): 1257.12 CPU user time (s): 1255.76 CPU system time (s): 1.35479 CPU usage (%): 99.7575 Max. virtual memory (Kb): 838836 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####