Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 7a556e7a6f3a7d80c9337cf46e294ecb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 482 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05484 |
Number of variables | 1372 |
Total number of constraints | 6316 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 1372 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 07:54:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13022 boxname=wulflinc4 idbench=1002 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7a556e7a6f3a7d80c9337cf46e294ecb /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb IDLAUNCH: 13022 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 592464 kB Buffers: 32416 kB Cached: 386668 kB SwapCached: 0 kB Active: 56140 kB Inactive: 365744 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 592212 kB SwapTotal: 2097136 kB SwapFree: 2096992 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6816 kB Slab: 14620 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 08:15:53 (client local time) WITH STATUS 143 IN 1278.13 SECONDS stats: 13022 7 1278.13 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-seymour.opb c reading problem c [nbvar=1372] c [nbconstr=6316] c time 4.792 c #vars 1372 c #clauses 4944 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=502 c Current CPU time (ms) : 5.445 c starts : 1 c conflicts : 0 c decisions : 870 c propagations : 1372 c inspects : 15371 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=501 c Current CPU time (ms) : 10.771 c starts : 2 c conflicts : 8 c decisions : 1737 c propagations : 2928 c inspects : 19352 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 2 c c CURRENT OPTIMUM=486 c Current CPU time (ms) : 14.273 c starts : 3 c conflicts : 8 c decisions : 2626 c propagations : 4183 c inspects : 29271 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 3 c c CURRENT OPTIMUM=485 c Current CPU time (ms) : 15.61 c starts : 4 c conflicts : 13 c decisions : 3523 c propagations : 5473 c inspects : 31025 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 4 c c CURRENT OPTIMUM=483 c Current CPU time (ms) : 19.193 c starts : 5 c conflicts : 13 c decisions : 4412 c propagations : 6728 c inspects : 37323 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 5 c c CURRENT OPTIMUM=482 c Current CPU time (ms) : 20.288 c starts : 6 c conflicts : 17 c decisions : 5312 c propagations : 8022 c inspects : 39194 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 6 c c CURRENT OPTIMUM=481 c Current CPU time (ms) : 21.956 c starts : 7 c conflicts : 17 c decisions : 6203 c propagations : 9277 c inspects : 42078 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 7 c c CURRENT OPTIMUM=480 c Current CPU time (ms) : 75.443 c starts : 8 c conflicts : 109 c decisions : 7588 c propagations : 12096 c inspects : 50747 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 109 c root simplifications : 8 c c CURRENT OPTIMUM=479 c Current CPU time (ms) : 106.609 c starts : 9 c conflicts : 154 c decisions : 8569 c propagations : 13935 c inspects : 71286 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 154 c root simplifications : 9 c c CURRENT OPTIMUM=478 c Current CPU time (ms) : 138.306 c starts : 10 c conflicts : 165 c decisions : 9483 c propagations : 15361 c inspects : 94830 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 10 c c CURRENT OPTIMUM=476 c Current CPU time (ms) : 160.007 c starts : 11 c conflicts : 165 c decisions : 10380 c propagations : 16616 c inspects : 115578 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 11 c c CURRENT OPTIMUM=475 c Current CPU time (ms) : 163.949 c starts : 12 c conflicts : 180 c decisions : 11305 c propagations : 18167 c inspects : 118301 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 180 c root simplifications : 12 c c CURRENT OPTIMUM=474 c Current CPU time (ms) : 205.552 c starts : 13 c conflicts : 203 c decisions : 12230 c propagations : 20054 c inspects : 150112 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 203 c root simplifications : 13 #### 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.82 0.93 0.90 2/54 4052 Raw data (stat): 4052 (runsolver) R 4051 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485211441 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0012 s] Raw data (loadavg): 1.15 1.00 0.92 3/64 4063 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18048 3 1 0 749 38 0 0 25 0 11 0 485211441 861736960 21204 4294967295 134512640 134569956 3221224400 3221214756 1080204267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210385 21204 13073 16 0 210369 0 vsize: 841540 [startup+20.002 s] Raw data (loadavg): 1.13 1.00 0.92 4/64 4067 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 1653 38 0 0 25 0 11 0 485211441 860094464 22069 4294967295 134512640 134569956 3221224400 3221214928 1131199687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209984 22069 13073 16 0 209968 0 vsize: 839936 [startup+30.0018 s] Raw data (loadavg): 1.11 1.00 0.92 3/64 4069 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 2553 38 0 0 25 0 11 0 485211441 865337344 23687 4294967295 134512640 134569956 3221224400 3221214640 1131365644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 23687 13073 16 0 211248 0 vsize: 845056 [startup+40.0027 s] Raw data (loadavg): 1.09 1.00 0.92 2/64 4069 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 3446 39 0 0 25 0 11 0 485211441 865337344 24033 4294967295 134512640 134569956 3221224400 3221214792 1131256804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 24033 13073 16 0 211248 0 vsize: 845056 [startup+50.0035 s] Raw data (loadavg): 1.08 1.00 0.92 2/64 4069 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 4364 39 0 0 25 0 11 0 485211441 865337344 24326 4294967295 134512640 134569956 3221224400 3221214556 1131463776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 24326 13073 16 0 211248 0 vsize: 845056 [startup+60.0048 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 4069 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 5286 39 0 0 25 0 11 0 485211441 865337344 24331 4294967295 134512640 134569956 3221224400 3221214472 1131273640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 24331 13073 16 0 211248 0 vsize: 845056 [startup+70.0053 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 4069 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18049 3 1 0 6212 39 0 0 25 0 11 0 485211441 865337344 24711 4294967295 134512640 134569956 3221224400 3221214800 1131400463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 24711 13073 16 0 211248 0 vsize: 845056 [startup+80.0051 s] Raw data (loadavg): 1.12 1.01 0.93 2/64 4070 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 7104 39 0 0 25 0 11 0 485211441 865337344 25844 4294967295 134512640 134569956 3221224400 3221214840 1131168704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 25844 13073 16 0 211248 0 vsize: 845056 [startup+90.0055 s] Raw data (loadavg): 1.10 1.01 0.93 2/64 4070 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 8012 39 0 0 24 0 11 0 485211441 865337344 25844 4294967295 134512640 134569956 3221224400 3221214792 1131256058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 25844 13073 16 0 211248 0 vsize: 845056 [startup+100.005 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 4070 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 8921 39 0 0 25 0 11 0 485211441 865337344 26104 4294967295 134512640 134569956 3221224400 3221214792 1131256256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 26104 13073 16 0 211248 0 vsize: 845056 [startup+110.006 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 4071 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 9811 39 0 0 25 0 11 0 485211441 865337344 26976 4294967295 134512640 134569956 3221224400 3221214792 1131256776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 26976 13073 16 0 211248 0 vsize: 845056 [startup+120.013 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 4071 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 10732 40 0 0 25 0 11 0 485211441 865337344 26976 4294967295 134512640 134569956 3221224400 3221214792 1131256664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 26976 13073 16 0 211248 0 vsize: 845056 [startup+130.015 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 4071 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 11637 40 0 0 25 0 11 0 485211441 865337344 26976 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 26976 13073 16 0 211248 0 vsize: 845056 [startup+140.015 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 4072 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 12549 40 0 0 25 0 11 0 485211441 865337344 27592 4294967295 134512640 134569956 3221224400 3221214840 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 27592 13073 16 0 211248 0 vsize: 845056 [startup+150.021 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 4072 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 13507 40 0 0 25 0 11 0 485211441 865337344 27813 4294967295 134512640 134569956 3221224400 3221214792 1131255617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 27813 13073 16 0 211248 0 vsize: 845056 [startup+160.022 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 4072 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 14461 40 0 0 24 0 11 0 485211441 865337344 27823 4294967295 134512640 134569956 3221224400 3221214792 1131255625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 27823 13073 16 0 211248 0 vsize: 845056 [startup+170.022 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 4074 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 15398 40 0 0 25 0 11 0 485211441 865337344 27837 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 27837 13073 16 0 211248 0 vsize: 845056 [startup+180.022 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 4074 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 16334 40 0 0 25 0 11 0 485211441 865337344 28120 4294967295 134512640 134569956 3221224400 3221214832 1131255621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28120 13073 16 0 211248 0 vsize: 845056 [startup+190.025 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 4074 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 17277 41 0 0 25 0 11 0 485211441 865337344 28127 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28127 13073 16 0 211248 0 vsize: 845056 [startup+200.149 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 4074 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 18227 41 0 0 25 0 11 0 485211441 865337344 28450 4294967295 134512640 134569956 3221224400 3221214744 1131346496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28450 13073 16 0 211248 0 vsize: 845056 [startup+210.149 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 19163 42 0 0 25 0 11 0 485211441 865337344 28513 4294967295 134512640 134569956 3221224400 3221214832 1131255613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28513 13073 16 0 211248 0 vsize: 845056 [startup+220.15 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 20092 42 0 0 25 0 11 0 485211441 865337344 28519 4294967295 134512640 134569956 3221224400 3221214928 1131326665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28519 13073 16 0 211248 0 vsize: 845056 [startup+230.15 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 21000 42 0 0 25 0 11 0 485211441 865337344 28523 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 28523 13073 16 0 211248 0 vsize: 845056 [startup+240.15 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 21907 42 0 0 24 0 11 0 485211441 865337344 29128 4294967295 134512640 134569956 3221224400 3221214752 1131350691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 29128 13073 16 0 211248 0 vsize: 845056 [startup+250.15 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 22852 43 0 0 25 0 11 0 485211441 865337344 29388 4294967295 134512640 134569956 3221224400 3221214792 1131417354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 29388 13073 16 0 211248 0 vsize: 845056 [startup+260.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 23753 43 0 0 25 0 11 0 485211441 865337344 29488 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 29488 13073 16 0 211248 0 vsize: 845056 [startup+270.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 24643 44 0 0 25 0 11 0 485211441 865337344 30281 4294967295 134512640 134569956 3221224400 3221214664 1131362960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 30281 13073 16 0 211248 0 vsize: 845056 [startup+280.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 25548 44 0 0 25 0 11 0 485211441 865337344 30879 4294967295 134512640 134569956 3221224400 3221214832 1131256226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 30879 13073 16 0 211248 0 vsize: 845056 [startup+290.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 26495 44 0 0 25 0 11 0 485211441 865337344 31014 4294967295 134512640 134569956 3221224400 3221214832 1131256664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31014 13073 16 0 211248 0 vsize: 845056 [startup+300.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 27415 45 0 0 25 0 11 0 485211441 865337344 31014 4294967295 134512640 134569956 3221224400 3221214928 1131326867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31014 13073 16 0 211248 0 vsize: 845056 [startup+310.168 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 28333 46 0 0 25 0 11 0 485211441 865337344 31014 4294967295 134512640 134569956 3221224400 3221214832 1131256645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31014 13073 16 0 211248 0 vsize: 845056 [startup+320.174 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 29272 46 0 0 25 0 11 0 485211441 865337344 31782 4294967295 134512640 134569956 3221224400 3221214832 1131255964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31782 13073 16 0 211248 0 vsize: 845056 [startup+330.28 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 4075 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 30268 47 0 0 25 0 11 0 485211441 865337344 31849 4294967295 134512640 134569956 3221224400 3221214832 1131255621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31849 13073 16 0 211248 0 vsize: 845056 [startup+340.386 s] Raw data (loadavg): 1.08 1.02 0.93 4/68 4109 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 31256 52 0 0 25 0 11 0 485211441 865337344 31862 4294967295 134512640 134569956 3221224400 3221214832 1131256040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 31862 13073 16 0 211248 0 vsize: 845056 [startup+350.385 s] Raw data (loadavg): 1.22 1.05 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 32215 58 0 0 25 0 11 0 485211441 865337344 31872 4294967295 134512640 134569956 3221224400 3221214880 1131168774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 31872 13073 16 0 211248 0 vsize: 845056 [startup+360.389 s] Raw data (loadavg): 1.19 1.05 0.94 2/64 4128 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 33121 59 0 0 25 0 11 0 485211441 865337344 32378 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 32378 13073 16 0 211248 0 vsize: 845056 [startup+370.389 s] Raw data (loadavg): 1.16 1.04 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 34012 59 0 0 25 0 11 0 485211441 865337344 34021 4294967295 134512640 134569956 3221224400 3221214712 1131353550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 34021 13073 16 0 211248 0 vsize: 845056 [startup+380.406 s] Raw data (loadavg): 1.13 1.04 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 34908 60 0 0 24 0 11 0 485211441 865337344 34724 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 34724 13073 16 0 211248 0 vsize: 845056 [startup+390.407 s] Raw data (loadavg): 1.11 1.04 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 35846 60 0 0 25 0 11 0 485211441 865337344 35273 4294967295 134512640 134569956 3221224400 3221214832 1131256643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 35273 13073 16 0 211248 0 vsize: 845056 [startup+400.408 s] Raw data (loadavg): 1.09 1.04 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 36796 60 0 0 25 0 11 0 485211441 865337344 35273 4294967295 134512640 134569956 3221224400 3221214928 1131326826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 35273 13073 16 0 211248 0 vsize: 845056 [startup+410.409 s] Raw data (loadavg): 1.08 1.04 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 37728 61 0 0 25 0 11 0 485211441 865337344 35273 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 35273 13073 16 0 211248 0 vsize: 845056 [startup+420.409 s] Raw data (loadavg): 1.07 1.03 0.94 2/64 4128 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 38646 61 0 0 25 0 11 0 485211441 865337344 35273 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 35273 13073 16 0 211248 0 vsize: 845056 [startup+430.411 s] Raw data (loadavg): 1.06 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 39571 62 0 0 25 0 11 0 485211441 865337344 35934 4294967295 134512640 134569956 3221224400 3221214924 1131294956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 35934 13073 16 0 211248 0 vsize: 845056 [startup+440.411 s] Raw data (loadavg): 1.05 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 40551 62 0 0 25 0 11 0 485211441 865337344 36086 4294967295 134512640 134569956 3221224400 3221214928 1131326853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 36086 13073 16 0 211248 0 vsize: 845056 [startup+450.412 s] Raw data (loadavg): 1.04 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 41537 63 0 0 25 0 11 0 485211441 865337344 36117 4294967295 134512640 134569956 3221224400 3221214928 1131327015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 36117 13073 16 0 211248 0 vsize: 845056 [startup+460.412 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 42524 63 0 0 25 0 11 0 485211441 865337344 36130 4294967295 134512640 134569956 3221224400 3221214832 1131256025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 36130 13073 16 0 211248 0 vsize: 845056 [startup+470.413 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 43512 63 0 0 25 0 11 0 485211441 865337344 36143 4294967295 134512640 134569956 3221224400 3221214928 1131326838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 36143 13073 16 0 211248 0 vsize: 845056 [startup+480.413 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 44497 64 0 0 25 0 11 0 485211441 865337344 36158 4294967295 134512640 134569956 3221224400 3221214792 1131418371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 36158 13073 16 0 211248 0 vsize: 845056 [startup+490.414 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 45449 64 0 0 25 0 11 0 485211441 865337344 36166 4294967295 134512640 134569956 3221224400 3221214928 1131327048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 36166 13073 16 0 211248 0 vsize: 845056 [startup+500.415 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 46371 64 0 0 25 0 11 0 485211441 865337344 36349 4294967295 134512640 134569956 3221224400 3221214832 1131255840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 36349 13073 16 0 211248 0 vsize: 845056 [startup+510.416 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 47257 65 0 0 24 0 11 0 485211441 865337344 36852 4294967295 134512640 134569956 3221224400 3221214860 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 36852 13073 16 0 211248 0 vsize: 845056 [startup+520.416 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 48173 65 0 0 25 0 11 0 485211441 865337344 36893 4294967295 134512640 134569956 3221224400 3221214704 1131655439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 36893 13073 16 0 211248 0 vsize: 845056 [startup+530.416 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 49106 65 0 0 25 0 11 0 485211441 865337344 37173 4294967295 134512640 134569956 3221224400 3221214832 1131256857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37173 13073 16 0 211248 0 vsize: 845056 [startup+540.417 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 50036 65 0 0 25 0 11 0 485211441 865337344 37217 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37217 13073 16 0 211248 0 vsize: 845056 [startup+550.417 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 50967 65 0 0 25 0 11 0 485211441 865337344 37672 4294967295 134512640 134569956 3221224400 3221214832 1131256234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37672 13073 16 0 211248 0 vsize: 845056 [startup+560.418 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 51918 65 0 0 25 0 11 0 485211441 865337344 37803 4294967295 134512640 134569956 3221224400 3221214832 1131256315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37803 13073 16 0 211248 0 vsize: 845056 [startup+570.419 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 52860 65 0 0 25 0 11 0 485211441 865337344 37856 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37856 13073 16 0 211248 0 vsize: 845056 [startup+580.419 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 53793 65 0 0 24 0 11 0 485211441 865337344 37994 4294967295 134512640 134569956 3221224400 3221214640 1131405425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 37994 13073 16 0 211248 0 vsize: 845056 [startup+590.42 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 54697 65 0 0 25 0 11 0 485211441 865337344 38769 4294967295 134512640 134569956 3221224400 3221214928 1131326838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 38769 13073 16 0 211248 0 vsize: 845056 [startup+600.42 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 55619 65 0 0 25 0 11 0 485211441 865337344 39130 4294967295 134512640 134569956 3221224400 3221214624 1131580245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 39130 13073 16 0 211248 0 vsize: 845056 [startup+610.422 s] Raw data (loadavg): 1.08 1.03 0.95 2/64 4130 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 56535 65 0 0 25 0 11 0 485211441 865337344 39294 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 39294 13073 16 0 211248 0 vsize: 845056 [startup+620.423 s] Raw data (loadavg): 1.07 1.03 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 57466 65 0 0 25 0 11 0 485211441 865337344 39294 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 39294 13073 16 0 211248 0 vsize: 845056 [startup+630.423 s] Raw data (loadavg): 1.06 1.03 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 58380 66 0 0 25 0 11 0 485211441 865337344 39525 4294967295 134512640 134569956 3221224400 3221214544 1131361633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 39525 13073 16 0 211248 0 vsize: 845056 [startup+640.424 s] Raw data (loadavg): 1.05 1.03 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 59314 66 0 0 25 0 11 0 485211441 865337344 40022 4294967295 134512640 134569956 3221224400 3221214792 1131419743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40022 13073 16 0 211248 0 vsize: 845056 [startup+650.424 s] Raw data (loadavg): 1.04 1.03 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 60270 66 0 0 25 0 11 0 485211441 865337344 40091 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40091 13073 16 0 211248 0 vsize: 845056 [startup+660.427 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 61220 66 0 0 25 0 11 0 485211441 865337344 40172 4294967295 134512640 134569956 3221224400 3221214608 1131273886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40172 13073 16 0 211248 0 vsize: 845056 [startup+670.426 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 62182 66 0 0 25 0 11 0 485211441 865337344 40382 4294967295 134512640 134569956 3221224400 3221214824 1131511380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40382 13073 16 0 211248 0 vsize: 845056 [startup+680.427 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 63151 66 0 0 25 0 11 0 485211441 865337344 40494 4294967295 134512640 134569956 3221224400 3221214704 1131655306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40494 13073 16 0 211248 0 vsize: 845056 [startup+690.427 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 64131 66 0 0 25 0 11 0 485211441 865337344 40525 4294967295 134512640 134569956 3221224400 3221214880 1131168758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40525 13073 16 0 211248 0 vsize: 845056 [startup+700.427 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 4130 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 65114 66 0 0 25 0 11 0 485211441 865337344 40546 4294967295 134512640 134569956 3221224400 3221214832 1131255652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40546 13073 16 0 211248 0 vsize: 845056 [startup+710.431 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 4132 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 66090 66 0 0 25 0 11 0 485211441 865337344 40587 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40587 13073 16 0 211248 0 vsize: 845056 [startup+720.432 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 67064 66 0 0 25 0 11 0 485211441 865337344 40628 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40628 13073 16 0 211248 0 vsize: 845056 [startup+730.432 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 68037 66 0 0 24 0 11 0 485211441 865337344 40696 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40696 13073 16 0 211248 0 vsize: 845056 [startup+740.433 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 69016 66 0 0 25 0 11 0 485211441 865337344 40801 4294967295 134512640 134569956 3221224400 3221214880 1131168701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40801 13073 16 0 211248 0 vsize: 845056 [startup+750.434 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 70002 66 0 0 25 0 11 0 485211441 865337344 40828 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40828 13073 16 0 211248 0 vsize: 845056 [startup+760.434 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 70991 66 0 0 25 0 11 0 485211441 865337344 40839 4294967295 134512640 134569956 3221224400 3221214880 1131168736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40839 13073 16 0 211248 0 vsize: 845056 [startup+770.434 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 71981 66 0 0 25 0 11 0 485211441 865337344 40847 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40847 13073 16 0 211248 0 vsize: 845056 [startup+780.435 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 72971 66 0 0 25 0 11 0 485211441 865337344 40857 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40857 13073 16 0 211248 0 vsize: 845056 [startup+790.436 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 73960 66 0 0 25 0 11 0 485211441 865337344 40863 4294967295 134512640 134569956 3221224400 3221214928 1131327180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40863 13073 16 0 211248 0 vsize: 845056 [startup+800.436 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 74950 66 0 0 25 0 11 0 485211441 865337344 40875 4294967295 134512640 134569956 3221224400 3221214832 1131256157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40875 13073 16 0 211248 0 vsize: 845056 [startup+810.437 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 75941 66 0 0 25 0 11 0 485211441 865337344 40881 4294967295 134512640 134569956 3221224400 3221214928 1131327017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40881 13073 16 0 211248 0 vsize: 845056 [startup+820.437 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 76931 66 0 0 25 0 11 0 485211441 865337344 40892 4294967295 134512640 134569956 3221224400 3221214928 1131327068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40892 13073 16 0 211248 0 vsize: 845056 [startup+830.438 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 77921 67 0 0 25 0 11 0 485211441 865337344 40896 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40896 13073 16 0 211248 0 vsize: 845056 [startup+840.438 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 78910 67 0 0 25 0 11 0 485211441 865337344 40904 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40904 13073 16 0 211248 0 vsize: 845056 [startup+850.439 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 79899 67 0 0 25 0 11 0 485211441 865337344 40913 4294967295 134512640 134569956 3221224400 3221214832 1131255791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40913 13073 16 0 211248 0 vsize: 845056 [startup+860.441 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 80887 67 0 0 25 0 11 0 485211441 865337344 40920 4294967295 134512640 134569956 3221224400 3221214832 1131255813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40920 13073 16 0 211248 0 vsize: 845056 [startup+870.441 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 81873 67 0 0 24 0 11 0 485211441 865337344 40928 4294967295 134512640 134569956 3221224400 3221214832 1131255634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40928 13073 16 0 211248 0 vsize: 845056 [startup+880.442 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 82861 67 0 0 25 0 11 0 485211441 865337344 40936 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40936 13073 16 0 211248 0 vsize: 845056 [startup+890.442 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 83848 67 0 0 25 0 11 0 485211441 865337344 40947 4294967295 134512640 134569956 3221224400 3221214832 1131256411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40947 13073 16 0 211248 0 vsize: 845056 [startup+900.442 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 84835 67 0 0 25 0 11 0 485211441 865337344 40954 4294967295 134512640 134569956 3221224400 3221214832 1131255896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40954 13073 16 0 211248 0 vsize: 845056 [startup+910.442 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 85821 67 0 0 25 0 11 0 485211441 865337344 40962 4294967295 134512640 134569956 3221224400 3221214832 1131256141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40962 13073 16 0 211248 0 vsize: 845056 [startup+920.444 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 86808 67 0 0 25 0 11 0 485211441 865337344 40971 4294967295 134512640 134569956 3221224400 3221214832 1131256825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40971 13073 16 0 211248 0 vsize: 845056 [startup+930.444 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 87781 68 0 0 25 0 11 0 485211441 865337344 40981 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40981 13073 16 0 211248 0 vsize: 845056 [startup+940.445 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 88734 68 0 0 25 0 11 0 485211441 865337344 40988 4294967295 134512640 134569956 3221224400 3221214704 1131398100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40988 13073 16 0 211248 0 vsize: 845056 [startup+950.445 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 89667 68 0 0 25 0 11 0 485211441 865337344 40994 4294967295 134512640 134569956 3221224400 3221214880 1131168728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 40994 13073 16 0 211248 0 vsize: 845056 [startup+960.446 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 90586 68 0 0 25 0 11 0 485211441 865337344 41147 4294967295 134512640 134569956 3221224400 3221214744 1131216824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 41147 13073 16 0 211248 0 vsize: 845056 [startup+970.447 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 91493 68 0 0 25 0 11 0 485211441 865337344 41611 4294967295 134512640 134569956 3221224400 3221214616 1131273567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 41611 13073 16 0 211248 0 vsize: 845056 [startup+980.448 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 92405 68 0 0 25 0 11 0 485211441 865337344 41890 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 41890 13073 16 0 211248 0 vsize: 845056 [startup+990.449 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 93306 68 0 0 24 0 11 0 485211441 865337344 42507 4294967295 134512640 134569956 3221224400 3221214640 1131406570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 42507 13073 16 0 211248 0 vsize: 845056 [startup+1000.45 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 94230 68 0 0 25 0 11 0 485211441 865337344 42790 4294967295 134512640 134569956 3221224400 3221214928 1131326872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 42790 13073 16 0 211248 0 vsize: 845056 [startup+1010.45 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 95144 68 0 0 25 0 11 0 485211441 865337344 43090 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 43090 13073 16 0 211248 0 vsize: 845056 [startup+1020.45 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 96076 68 0 0 25 0 11 0 485211441 865337344 43090 4294967295 134512640 134569956 3221224400 3221214832 1131255609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 43090 13073 16 0 211248 0 vsize: 845056 [startup+1030.45 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 96999 68 0 0 25 0 11 0 485211441 865337344 43487 4294967295 134512640 134569956 3221224400 3221214832 1131256844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 43487 13073 16 0 211248 0 vsize: 845056 [startup+1040.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 97940 68 0 0 24 0 11 0 485211441 865337344 43738 4294967295 134512640 134569956 3221224400 3221214832 1131255659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 43738 13073 16 0 211248 0 vsize: 845056 [startup+1050.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 98876 68 0 0 25 0 11 0 485211441 865337344 43821 4294967295 134512640 134569956 3221224400 3221214712 1131352973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 43821 13073 16 0 211248 0 vsize: 845056 [startup+1060.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 99792 68 0 0 25 0 11 0 485211441 865337344 44075 4294967295 134512640 134569956 3221224400 3221214880 1131168721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 44075 13073 16 0 211248 0 vsize: 845056 [startup+1070.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 100718 68 0 0 25 0 11 0 485211441 865337344 44075 4294967295 134512640 134569956 3221224400 3221214832 1131255659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211264 44075 13073 16 0 211248 0 vsize: 845056 [startup+1080.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 101637 68 0 0 25 0 11 0 485211441 865337344 44370 4294967295 134512640 134569956 3221224400 3221214832 1131256783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 44370 13073 16 0 211248 0 vsize: 845056 [startup+1090.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 102566 68 0 0 25 0 11 0 485211441 865337344 44511 4294967295 134512640 134569956 3221224400 3221214608 1131274474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 44511 13073 16 0 211248 0 vsize: 845056 [startup+1100.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 103498 69 0 0 25 0 11 0 485211441 865337344 44894 4294967295 134512640 134569956 3221224400 3221214704 1131647831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 44894 13073 16 0 211248 0 vsize: 845056 [startup+1110.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 104442 69 0 0 25 0 11 0 485211441 865337344 44977 4294967295 134512640 134569956 3221224400 3221214832 1131256226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 44977 13073 16 0 211248 0 vsize: 845056 [startup+1120.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 105383 69 0 0 25 0 11 0 485211441 865337344 45112 4294967295 134512640 134569956 3221224400 3221214608 1131273821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45112 13073 16 0 211248 0 vsize: 845056 [startup+1130.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 106339 69 0 0 25 0 11 0 485211441 865337344 45297 4294967295 134512640 134569956 3221224400 3221214928 1131326841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45297 13073 16 0 211248 0 vsize: 845056 [startup+1140.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 107291 69 0 0 25 0 11 0 485211441 865337344 45394 4294967295 134512640 134569956 3221224400 3221214880 1131356583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45394 13073 16 0 211248 0 vsize: 845056 [startup+1150.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 108243 69 0 0 25 0 11 0 485211441 865337344 45549 4294967295 134512640 134569956 3221224400 3221214608 1131273712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45549 13073 16 0 211248 0 vsize: 845056 [startup+1160.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 109198 69 0 0 25 0 11 0 485211441 865337344 45639 4294967295 134512640 134569956 3221224400 3221214608 1131273805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45639 13073 16 0 211248 0 vsize: 845056 [startup+1170.46 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 110151 69 0 0 25 0 11 0 485211441 865337344 45729 4294967295 134512640 134569956 3221224400 3221214880 1131168725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45729 13073 16 0 211248 0 vsize: 845056 [startup+1180.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) S 4051 5897 5896 0 -1 0 18050 3 1 0 111101 69 0 0 25 0 11 0 485211441 865337344 45863 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45863 13073 16 0 211248 0 vsize: 845056 [startup+1190.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 112048 69 0 0 25 0 11 0 485211441 865337344 45941 4294967295 134512640 134569956 3221224400 3221214880 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 45941 13073 16 0 211248 0 vsize: 845056 [startup+1200.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 112997 69 0 0 25 0 11 0 485211441 865337344 46076 4294967295 134512640 134569956 3221224400 3221214704 1131647831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46076 13073 16 0 211248 0 vsize: 845056 [startup+1210.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 113937 69 0 0 25 0 11 0 485211441 865337344 46115 4294967295 134512640 134569956 3221224400 3221214752 1131350811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46115 13073 16 0 211248 0 vsize: 845056 [startup+1220.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 114877 69 0 0 25 0 11 0 485211441 865337344 46324 4294967295 134512640 134569956 3221224400 3221214832 1131256748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46324 13073 16 0 211248 0 vsize: 845056 [startup+1230.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 115830 69 0 0 25 0 11 0 485211441 865337344 46450 4294967295 134512640 134569956 3221224400 3221214608 1131274048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46450 13073 16 0 211248 0 vsize: 845056 [startup+1240.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 116797 69 0 0 25 0 11 0 485211441 865337344 46599 4294967295 134512640 134569956 3221224400 3221214704 1131647953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46599 13073 16 0 211248 0 vsize: 845056 [startup+1250.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 117772 69 0 0 25 0 11 0 485211441 865337344 46692 4294967295 134512640 134569956 3221224400 3221214600 1131581112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46692 13073 16 0 211248 0 vsize: 845056 [startup+1260.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 118751 69 0 0 25 0 11 0 485211441 865337344 46737 4294967295 134512640 134569956 3221224400 3221214704 1131647831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46737 13073 16 0 211248 0 vsize: 845056 [startup+1270.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 119733 69 0 0 25 0 11 0 485211441 865337344 46778 4294967295 134512640 134569956 3221224400 3221214832 1131256226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46778 13073 16 0 211248 0 vsize: 845056 [startup+1280.47 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4132 Raw data (stat): 4052 (java) R 4051 5897 5896 0 -1 0 18050 3 1 0 120716 70 0 0 25 0 11 0 485211441 865337344 46809 4294967295 134512640 134569956 3221224400 3221214608 1131273651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211264 46809 13073 16 0 211248 0 vsize: 845056 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.63 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 4134 Raw data (stat): 4052 (java) Z 4051 5897 5896 0 -1 1036 18050 25701 1 0 120719 70 6960 62 25 0 1 0 485211441 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): 1280.63 CPU time (s): 1278.13 CPU user time (s): 1276.8 CPU system time (s): 1.3308 CPU usage (%): 99.8049 Max. virtual memory (Kb): 845056 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####