Name | normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb |
MD5SUM | 6a083b86cc55025d2acb3bcf68562064 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 54 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 225 |
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 | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01784 |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-14 05:26:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4962 boxname=wulflinc6 idbench=382 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6a083b86cc55025d2acb3bcf68562064 /oldhome/oroussel/tmp/wulflinc6/normalized-g15x15.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-g15x15.opb IDLAUNCH: 4962 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 873340 kB Buffers: 36568 kB Cached: 102840 kB SwapCached: 2644 kB Active: 54832 kB Inactive: 90036 kB HighTotal: 131008 kB HighFree: 24332 kB LowTotal: 903652 kB LowFree: 849008 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10904 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-14 05:47:49 (client local time) WITH STATUS 143 IN 1257.53 SECONDS stats: 4962 7 1257.53 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-g15x15.opb c reading problem c [nbvar=225] c [nbconstr=225] c time 0.9 c #vars 225 c #clauses 225 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=75 c Current CPU time (ms) : 1.245 c starts : 1 c conflicts : 0 c decisions : 150 c propagations : 225 c inspects : 490 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) : 2.671 c starts : 2 c conflicts : 4 c decisions : 287 c propagations : 490 c inspects : 898 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4 c root simplifications : 2 c c CURRENT OPTIMUM=73 c Current CPU time (ms) : 8.692 c starts : 3 c conflicts : 66 c decisions : 610 c propagations : 1335 c inspects : 4044 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 66 c root simplifications : 3 c c CURRENT OPTIMUM=72 c Current CPU time (ms) : 9.222 c starts : 4 c conflicts : 73 c decisions : 774 c propagations : 1606 c inspects : 6845 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 73 c root simplifications : 4 c c CURRENT OPTIMUM=71 c Current CPU time (ms) : 10.084 c starts : 5 c conflicts : 89 c decisions : 953 c propagations : 1935 c inspects : 9841 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 89 c root simplifications : 5 c c CURRENT OPTIMUM=70 c Current CPU time (ms) : 10.497 c starts : 6 c conflicts : 96 c decisions : 1118 c propagations : 2204 c inspects : 11875 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 96 c root simplifications : 6 c c CURRENT OPTIMUM=69 c Current CPU time (ms) : 11.035 c starts : 7 c conflicts : 104 c decisions : 1288 c propagations : 2487 c inspects : 14473 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 104 c root simplifications : 7 c c CURRENT OPTIMUM=68 c Current CPU time (ms) : 16.841 c starts : 8 c conflicts : 195 c decisions : 1630 c propagations : 3537 c inspects : 26681 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 195 c root simplifications : 8 c c CURRENT OPTIMUM=67 c Current CPU time (ms) : 82.187 c starts : 11 c conflicts : 587 c decisions : 3011 c propagations : 8861 c inspects : 193970 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 587 c root simplifications : 11 c c CURRENT OPTIMUM=66 c Current CPU time (ms) : 383.802 c starts : 16 c conflicts : 1696 c decisions : 6935 c propagations : 23347 c inspects : 1063148 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1696 c root simplifications : 16 c c CURRENT OPTIMUM=65 c Current CPU time (ms) : 534.822 c starts : 19 c conflicts : 2095 c decisions : 8411 c propagations : 29271 c inspects : 1631593 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2095 c root simplifications : 19 #### 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.92 0.98 0.91 2/54 3447 Raw data (stat): 3447 (runsolver) R 3446 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423840680 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.0003 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 3461 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18088 3 1 0 703 40 0 0 17 0 11 0 423840680 861650944 20686 4294967295 134512640 134569956 3221224416 3221214836 1130919286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210364 20686 13073 16 0 210348 0 vsize: 841456 [startup+20.0015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 1642 40 0 0 25 0 11 0 423840680 860557312 21466 4294967295 134512640 134569956 3221224416 3221214648 1131208634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 21466 13073 16 0 210081 0 vsize: 840388 [startup+30.0026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 2566 40 0 0 25 0 11 0 423840680 860557312 21926 4294967295 134512640 134569956 3221224416 3221214808 1131175564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 21926 13073 16 0 210081 0 vsize: 840388 [startup+40.0027 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 3490 41 0 0 25 0 11 0 423840680 860557312 22083 4294967295 134512640 134569956 3221224416 3221214808 1131175548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 22083 13073 16 0 210081 0 vsize: 840388 [startup+50.0039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 4414 41 0 0 25 0 11 0 423840680 860557312 22229 4294967295 134512640 134569956 3221224416 3221214688 1131270881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 22229 13073 16 0 210081 0 vsize: 840388 [startup+60.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 5340 41 0 0 25 0 11 0 423840680 860557312 22610 4294967295 134512640 134569956 3221224416 3221214908 1131170092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 22610 13073 16 0 210081 0 vsize: 840388 [startup+70.0054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 6285 42 0 0 25 0 11 0 423840680 860557312 22805 4294967295 134512640 134569956 3221224416 3221214864 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 22805 13073 16 0 210081 0 vsize: 840388 [startup+80.0064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3465 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 7211 42 0 0 25 0 11 0 423840680 860557312 22992 4294967295 134512640 134569956 3221224416 3221214688 1131210627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 22992 13073 16 0 210081 0 vsize: 840388 [startup+90.0065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 8137 43 0 0 24 0 11 0 423840680 860557312 23130 4294967295 134512640 134569956 3221224416 3221214808 1131175071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 23130 13073 16 0 210081 0 vsize: 840388 [startup+100.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 9068 43 0 0 25 0 11 0 423840680 860557312 23350 4294967295 134512640 134569956 3221224416 3221214908 1131176179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 23350 13073 16 0 210081 0 vsize: 840388 [startup+110.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 10004 43 0 0 25 0 11 0 423840680 860557312 23574 4294967295 134512640 134569956 3221224416 3221214544 1131210707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 23574 13073 16 0 210081 0 vsize: 840388 [startup+120.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 10963 43 0 0 25 0 11 0 423840680 860557312 23833 4294967295 134512640 134569956 3221224416 3221214808 1131175345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 23833 13073 16 0 210081 0 vsize: 840388 [startup+130.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 11920 44 0 0 25 0 11 0 423840680 860557312 23942 4294967295 134512640 134569956 3221224416 3221214688 1131270458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 23942 13073 16 0 210081 0 vsize: 840388 [startup+140.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 12875 44 0 0 25 0 11 0 423840680 860557312 24043 4294967295 134512640 134569956 3221224416 3221214808 1131175983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24043 13073 16 0 210081 0 vsize: 840388 [startup+150.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 13826 44 0 0 25 0 11 0 423840680 860557312 24135 4294967295 134512640 134569956 3221224416 3221214808 1131175179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24135 13073 16 0 210081 0 vsize: 840388 [startup+160.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 14772 45 0 0 25 0 11 0 423840680 860557312 24214 4294967295 134512640 134569956 3221224416 3221214112 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24214 13073 16 0 210081 0 vsize: 840388 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18090 3 1 0 15719 45 0 0 25 0 11 0 423840680 860557312 24364 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24364 13073 16 0 210081 0 vsize: 840388 [startup+180.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 16669 45 0 0 25 0 11 0 423840680 860557312 24599 4294967295 134512640 134569956 3221224416 3221214648 1131253488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24599 13073 16 0 210081 0 vsize: 840388 [startup+190.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 17625 45 0 0 25 0 11 0 423840680 860557312 24724 4294967295 134512640 134569956 3221224416 3221214808 1131175468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24724 13073 16 0 210081 0 vsize: 840388 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 18574 46 0 0 25 0 11 0 423840680 860557312 24808 4294967295 134512640 134569956 3221224416 3221214864 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24808 13073 16 0 210081 0 vsize: 840388 [startup+210.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 19532 46 0 0 25 0 11 0 423840680 860557312 24903 4294967295 134512640 134569956 3221224416 3221214888 1131184261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 24903 13073 16 0 210081 0 vsize: 840388 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 20478 46 0 0 25 0 11 0 423840680 860557312 25036 4294967295 134512640 134569956 3221224416 3221214784 1131175930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25036 13073 16 0 210081 0 vsize: 840388 [startup+230.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 21428 47 0 0 25 0 11 0 423840680 860557312 25145 4294967295 134512640 134569956 3221224416 3221214840 1131170218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25145 13073 16 0 210081 0 vsize: 840388 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 22373 47 0 0 25 0 11 0 423840680 860557312 25318 4294967295 134512640 134569956 3221224416 3221214560 1131413053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25318 13073 16 0 210081 0 vsize: 840388 [startup+250.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 23322 47 0 0 25 0 11 0 423840680 860557312 25497 4294967295 134512640 134569956 3221224416 3221214888 1131184251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 25497 13073 16 0 210081 0 vsize: 840388 [startup+260.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 24277 48 0 0 25 0 11 0 423840680 860557312 25591 4294967295 134512640 134569956 3221224416 3221214888 1131184409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25591 13073 16 0 210081 0 vsize: 840388 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18090 3 1 0 25226 49 0 0 25 0 11 0 423840680 860557312 25730 4294967295 134512640 134569956 3221224416 3221214680 1131269808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25730 13073 16 0 210081 0 vsize: 840388 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 26177 49 0 0 25 0 11 0 423840680 860557312 25840 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25840 13073 16 0 210081 0 vsize: 840388 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 27135 50 0 0 25 0 11 0 423840680 860557312 25973 4294967295 134512640 134569956 3221224416 3221214884 1131170338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 25973 13073 16 0 210081 0 vsize: 840388 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 28096 50 0 0 25 0 11 0 423840680 860557312 26093 4294967295 134512640 134569956 3221224416 3221214784 1131174977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 26093 13073 16 0 210081 0 vsize: 840388 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 29062 50 0 0 25 0 11 0 423840680 860557312 26187 4294967295 134512640 134569956 3221224416 3221214784 1131175259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26187 13073 16 0 210081 0 vsize: 840388 [startup+320.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 30026 50 0 0 22 0 11 0 423840680 860557312 26289 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26289 13073 16 0 210081 0 vsize: 840388 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 30990 50 0 0 18 0 11 0 423840680 860557312 26387 4294967295 134512640 134569956 3221224416 3221214536 1131210543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26387 13073 16 0 210081 0 vsize: 840388 [startup+340.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 31957 50 0 0 24 0 11 0 423840680 860557312 26462 4294967295 134512640 134569956 3221224416 3221214840 1131170149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26462 13073 16 0 210081 0 vsize: 840388 [startup+350.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 32921 50 0 0 25 0 11 0 423840680 860557312 26519 4294967295 134512640 134569956 3221224416 3221214608 1131231692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26519 13073 16 0 210081 0 vsize: 840388 [startup+360.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 33880 50 0 0 25 0 11 0 423840680 860557312 26574 4294967295 134512640 134569956 3221224416 3221214708 1079677921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 26574 13073 16 0 210081 0 vsize: 840388 [startup+370.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 34823 51 0 0 25 0 11 0 423840680 860557312 26722 4294967295 134512640 134569956 3221224416 3221214560 1131412183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 26722 13073 16 0 210081 0 vsize: 840388 [startup+380.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3466 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 35775 51 0 0 21 0 11 0 423840680 860557312 26851 4294967295 134512640 134569956 3221224416 3221214368 1131508369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 26851 13073 16 0 210081 0 vsize: 840388 [startup+390.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 36737 51 0 0 25 0 11 0 423840680 860557312 26957 4294967295 134512640 134569956 3221224416 3221214888 1131183954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 26957 13073 16 0 210081 0 vsize: 840388 [startup+400.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 37699 51 0 0 25 0 11 0 423840680 860557312 27086 4294967295 134512640 134569956 3221224416 3221214640 1131208501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 27086 13073 16 0 210081 0 vsize: 840388 [startup+410.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 38662 52 0 0 25 0 11 0 423840680 860557312 27198 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27198 13073 16 0 210081 0 vsize: 840388 [startup+420.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 39623 52 0 0 25 0 11 0 423840680 860557312 27289 4294967295 134512640 134569956 3221224416 3221214232 1131508344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27289 13073 16 0 210081 0 vsize: 840388 [startup+430.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 40573 52 0 0 19 0 11 0 423840680 860557312 27408 4294967295 134512640 134569956 3221224416 3221214608 1131231811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27408 13073 16 0 210081 0 vsize: 840388 [startup+440.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 41527 52 0 0 25 0 11 0 423840680 860557312 27423 4294967295 134512640 134569956 3221224416 3221214840 1131170157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27423 13073 16 0 210081 0 vsize: 840388 [startup+450.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 42476 52 0 0 25 0 11 0 423840680 860557312 27549 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27549 13073 16 0 210081 0 vsize: 840388 [startup+460.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 43434 53 0 0 25 0 11 0 423840680 860557312 27780 4294967295 134512640 134569956 3221224416 3221214680 1131271340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27780 13073 16 0 210081 0 vsize: 840388 [startup+470.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 44394 53 0 0 25 0 11 0 423840680 860557312 27825 4294967295 134512640 134569956 3221224416 3221214536 1131210621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27825 13073 16 0 210081 0 vsize: 840388 [startup+480.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 45358 53 0 0 19 0 11 0 423840680 860557312 27913 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 27913 13073 16 0 210081 0 vsize: 840388 [startup+490.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 46317 54 0 0 24 0 11 0 423840680 860557312 28040 4294967295 134512640 134569956 3221224416 3221214784 1131175345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28040 13073 16 0 210081 0 vsize: 840388 [startup+500.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 47285 54 0 0 24 0 11 0 423840680 860557312 28120 4294967295 134512640 134569956 3221224416 3221214784 1131175503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28120 13073 16 0 210081 0 vsize: 840388 [startup+510.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 48244 54 0 0 25 0 11 0 423840680 860557312 28222 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28222 13073 16 0 210081 0 vsize: 840388 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 49199 54 0 0 24 0 11 0 423840680 860557312 28305 4294967295 134512640 134569956 3221224416 3221214608 1131420708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28305 13073 16 0 210081 0 vsize: 840388 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.92 3/64 3467 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 50168 55 0 0 25 0 11 0 423840680 860557312 28310 4294967295 134512640 134569956 3221224416 3221214888 1131184280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28310 13073 16 0 210081 0 vsize: 840388 [startup+540.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 51129 55 0 0 25 0 11 0 423840680 860557312 28411 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 28411 13073 16 0 210081 0 vsize: 840388 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 52085 55 0 0 25 0 11 0 423840680 860557312 28592 4294967295 134512640 134569956 3221224416 3221214784 1131175526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28592 13073 16 0 210081 0 vsize: 840388 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 53053 55 0 0 25 0 11 0 423840680 860557312 28678 4294967295 134512640 134569956 3221224416 3221214528 1131314660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28678 13073 16 0 210081 0 vsize: 840388 [startup+570.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 54017 56 0 0 25 0 11 0 423840680 860557312 28754 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28754 13073 16 0 210081 0 vsize: 840388 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 54982 56 0 0 16 0 11 0 423840680 860557312 28845 4294967295 134512640 134569956 3221224416 3221214888 1131184342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28845 13073 16 0 210081 0 vsize: 840388 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 55955 56 0 0 25 0 11 0 423840680 860557312 28859 4294967295 134512640 134569956 3221224416 3221214784 1131174981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28859 13073 16 0 210081 0 vsize: 840388 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 56912 57 0 0 25 0 11 0 423840680 860557312 28926 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 28926 13073 16 0 210081 0 vsize: 840388 [startup+610.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 57875 58 0 0 25 0 11 0 423840680 860557312 29062 4294967295 134512640 134569956 3221224416 3221214840 1131170165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29062 13073 16 0 210081 0 vsize: 840388 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 58840 58 0 0 25 0 11 0 423840680 860557312 29146 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29146 13073 16 0 210081 0 vsize: 840388 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 59812 58 0 0 25 0 11 0 423840680 860557312 29240 4294967295 134512640 134569956 3221224416 3221214560 1131412183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29240 13073 16 0 210081 0 vsize: 840388 [startup+640.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 60773 59 0 0 18 0 11 0 423840680 860557312 29266 4294967295 134512640 134569956 3221224416 3221214784 1131175372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29266 13073 16 0 210081 0 vsize: 840388 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 61741 59 0 0 25 0 11 0 423840680 860557312 29337 4294967295 134512640 134569956 3221224416 3221214784 1131175189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29337 13073 16 0 210081 0 vsize: 840388 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 62710 59 0 0 25 0 11 0 423840680 860557312 29409 4294967295 134512640 134569956 3221224416 3221214120 1131508226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29409 13073 16 0 210081 0 vsize: 840388 [startup+670.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 63676 60 0 0 25 0 11 0 423840680 860557312 29481 4294967295 134512640 134569956 3221224416 3221214784 1131175372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29481 13073 16 0 210081 0 vsize: 840388 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 64645 60 0 0 25 0 11 0 423840680 860557312 29560 4294967295 134512640 134569956 3221224416 3221214784 1131175649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29560 13073 16 0 210081 0 vsize: 840388 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 65602 60 0 0 25 0 11 0 423840680 860557312 29647 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29647 13073 16 0 210081 0 vsize: 840388 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 66557 61 0 0 25 0 11 0 423840680 860557312 29724 4294967295 134512640 134569956 3221224416 3221214784 1131174981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29724 13073 16 0 210081 0 vsize: 840388 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 67519 61 0 0 25 0 11 0 423840680 860557312 29771 4294967295 134512640 134569956 3221224416 3221214784 1131175304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29771 13073 16 0 210081 0 vsize: 840388 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 68464 61 0 0 25 0 11 0 423840680 860557312 29833 4294967295 134512640 134569956 3221224416 3221214136 1131502908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 29833 13073 16 0 210081 0 vsize: 840388 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 69425 62 0 0 25 0 11 0 423840680 860557312 30053 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30053 13073 16 0 210081 0 vsize: 840388 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 70391 62 0 0 25 0 11 0 423840680 860557312 30160 4294967295 134512640 134569956 3221224416 3221214536 1131210707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30160 13073 16 0 210081 0 vsize: 840388 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 0.92 3/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 71368 62 0 0 25 0 11 0 423840680 860557312 30216 4294967295 134512640 134569956 3221224416 3221214888 1131184018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30216 13073 16 0 210081 0 vsize: 840388 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 72333 62 0 0 24 0 11 0 423840680 860557312 30298 4294967295 134512640 134569956 3221224416 3221214864 1131182445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30298 13073 16 0 210081 0 vsize: 840388 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 73306 63 0 0 25 0 11 0 423840680 860557312 30361 4294967295 134512640 134569956 3221224416 3221214008 1131508300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30361 13073 16 0 210081 0 vsize: 840388 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 74280 64 0 0 25 0 11 0 423840680 860557312 30418 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30418 13073 16 0 210081 0 vsize: 840388 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 75250 64 0 0 25 0 11 0 423840680 860557312 30504 4294967295 134512640 134569956 3221224416 3221214888 1131184537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30504 13073 16 0 210081 0 vsize: 840388 [startup+800.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 76223 65 0 0 24 0 11 0 423840680 860557312 30524 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30524 13073 16 0 210081 0 vsize: 840388 [startup+810.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 77192 65 0 0 25 0 11 0 423840680 860557312 30545 4294967295 134512640 134569956 3221224416 3221214888 1131184261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30545 13073 16 0 210081 0 vsize: 840388 [startup+820.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 78160 66 0 0 25 0 11 0 423840680 860557312 30636 4294967295 134512640 134569956 3221224416 3221214688 1131509717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30636 13073 16 0 210081 0 vsize: 840388 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 79125 66 0 0 25 0 11 0 423840680 860557312 30699 4294967295 134512640 134569956 3221224416 3221214784 1131175925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30699 13073 16 0 210081 0 vsize: 840388 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 80092 67 0 0 24 0 11 0 423840680 860557312 30773 4294967295 134512640 134569956 3221224416 3221214840 1131170149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30773 13073 16 0 210081 0 vsize: 840388 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 81063 67 0 0 25 0 11 0 423840680 860557312 30832 4294967295 134512640 134569956 3221224416 3221214064 1131508375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30832 13073 16 0 210081 0 vsize: 840388 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 82035 67 0 0 25 0 11 0 423840680 860557312 30890 4294967295 134512640 134569956 3221224416 3221214784 1131175532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30890 13073 16 0 210081 0 vsize: 840388 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 83001 68 0 0 25 0 11 0 423840680 860557312 30962 4294967295 134512640 134569956 3221224416 3221214744 1131210560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 30962 13073 16 0 210081 0 vsize: 840388 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 83967 68 0 0 25 0 11 0 423840680 860557312 31009 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31009 13073 16 0 210081 0 vsize: 840388 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 84931 69 0 0 25 0 11 0 423840680 860557312 31082 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31082 13073 16 0 210081 0 vsize: 840388 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 85900 69 0 0 25 0 11 0 423840680 860557312 31136 4294967295 134512640 134569956 3221224416 3221214552 1131475116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31136 13073 16 0 210081 0 vsize: 840388 [startup+910.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 86865 70 0 0 25 0 11 0 423840680 860557312 31214 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 31214 13073 16 0 210081 0 vsize: 840388 [startup+920.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 87832 70 0 0 25 0 11 0 423840680 860557312 31294 4294967295 134512640 134569956 3221224416 3221214864 1131182458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31294 13073 16 0 210081 0 vsize: 840388 [startup+930.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 88799 70 0 0 25 0 11 0 423840680 860557312 31362 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31362 13073 16 0 210081 0 vsize: 840388 [startup+940.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 89771 71 0 0 25 0 11 0 423840680 860557312 31407 4294967295 134512640 134569956 3221224416 3221214560 1085679545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31407 13073 16 0 210081 0 vsize: 840388 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 90750 71 0 0 25 0 11 0 423840680 860557312 31443 4294967295 134512640 134569956 3221224416 3221214840 1131170284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31443 13073 16 0 210081 0 vsize: 840388 [startup+960.055 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 91721 71 0 0 25 0 11 0 423840680 860557312 31513 4294967295 134512640 134569956 3221224416 3221214000 1131510716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31513 13073 16 0 210081 0 vsize: 840388 [startup+970.056 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 92699 71 0 0 25 0 11 0 423840680 860557312 31560 4294967295 134512640 134569956 3221224416 3221214840 1131170112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31560 13073 16 0 210081 0 vsize: 840388 [startup+980.057 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 93682 72 0 0 25 0 11 0 423840680 860557312 31583 4294967295 134512640 134569956 3221224416 3221214784 1131175375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31583 13073 16 0 210081 0 vsize: 840388 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 94658 72 0 0 25 0 11 0 423840680 860557312 31643 4294967295 134512640 134569956 3221224416 3221214304 1131502689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 31643 13073 16 0 210081 0 vsize: 840388 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 95633 72 0 0 25 0 11 0 423840680 860557312 31668 4294967295 134512640 134569956 3221224416 3221214632 1131257174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 31668 13073 16 0 210081 0 vsize: 840388 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 96603 73 0 0 25 0 11 0 423840680 860557312 31676 4294967295 134512640 134569956 3221224416 3221214784 1131175392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31676 13073 16 0 210081 0 vsize: 840388 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 97571 73 0 0 25 0 11 0 423840680 860557312 31748 4294967295 134512640 134569956 3221224416 3221214680 1131269063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31748 13073 16 0 210081 0 vsize: 840388 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.92 3/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 98538 74 0 0 25 0 11 0 423840680 860557312 31827 4294967295 134512640 134569956 3221224416 3221214120 1131508273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31827 13073 16 0 210081 0 vsize: 840388 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 99508 74 0 0 25 0 11 0 423840680 860557312 31878 4294967295 134512640 134569956 3221224416 3221214480 1131508369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31878 13073 16 0 210081 0 vsize: 840388 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 100477 75 0 0 25 0 11 0 423840680 860557312 31932 4294967295 134512640 134569956 3221224416 3221214784 1131175034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 31932 13073 16 0 210081 0 vsize: 840388 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 101448 75 0 0 25 0 11 0 423840680 860557312 31960 4294967295 134512640 134569956 3221224416 3221214840 1131170117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 31960 13073 16 0 210081 0 vsize: 840388 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 102417 75 0 0 25 0 11 0 423840680 860557312 32001 4294967295 134512640 134569956 3221224416 3221214840 1131170165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32001 13073 16 0 210081 0 vsize: 840388 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 103378 76 0 0 25 0 11 0 423840680 860557312 32063 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32063 13073 16 0 210081 0 vsize: 840388 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 104337 76 0 0 25 0 11 0 423840680 860557312 32149 4294967295 134512640 134569956 3221224416 3221214560 1131415405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32149 13073 16 0 210081 0 vsize: 840388 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 105304 76 0 0 25 0 11 0 423840680 860557312 32231 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32231 13073 16 0 210081 0 vsize: 840388 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 106273 77 0 0 25 0 11 0 423840680 860557312 32332 4294967295 134512640 134569956 3221224416 3221214784 1131175345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32332 13073 16 0 210081 0 vsize: 840388 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 107245 77 0 0 25 0 11 0 423840680 860557312 32398 4294967295 134512640 134569956 3221224416 3221214608 1131231875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32398 13073 16 0 210081 0 vsize: 840388 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 108224 77 0 0 25 0 11 0 423840680 860557312 32439 4294967295 134512640 134569956 3221224416 3221214056 1131510696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32439 13073 16 0 210081 0 vsize: 840388 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) S 3446 29653 29652 0 -1 0 18091 3 1 0 109196 77 0 0 25 0 11 0 423840680 860557312 32484 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32484 13073 16 0 210081 0 vsize: 840388 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.92 3/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 110178 78 0 0 25 0 11 0 423840680 860557312 32523 4294967295 134512640 134569956 3221224416 3221214360 1131502698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210097 32523 13073 16 0 210081 0 vsize: 840388 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 111154 78 0 0 25 0 11 0 423840680 860557312 32564 4294967295 134512640 134569956 3221224416 3221214200 1131508396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32564 13073 16 0 210081 0 vsize: 840388 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 112129 79 0 0 25 0 11 0 423840680 860557312 32609 4294967295 134512640 134569956 3221224416 3221214476 1131508363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32609 13073 16 0 210081 0 vsize: 840388 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 113101 79 0 0 25 0 11 0 423840680 860557312 32679 4294967295 134512640 134569956 3221224416 3221214684 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32679 13073 16 0 210081 0 vsize: 840388 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 114074 80 0 0 25 0 11 0 423840680 860557312 32736 4294967295 134512640 134569956 3221224416 3221214884 1131182478 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32736 13073 16 0 210081 0 vsize: 840388 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 115051 80 0 0 25 0 11 0 423840680 860557312 32775 4294967295 134512640 134569956 3221224416 3221214840 1131170149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32775 13073 16 0 210081 0 vsize: 840388 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 116018 80 0 0 25 0 11 0 423840680 860557312 32836 4294967295 134512640 134569956 3221224416 3221214680 1131270938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32836 13073 16 0 210081 0 vsize: 840388 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 116986 81 0 0 25 0 11 0 423840680 860557312 32906 4294967295 134512640 134569956 3221224416 3221214884 1131170338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32906 13073 16 0 210081 0 vsize: 840388 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 117961 81 0 0 25 0 11 0 423840680 860557312 32937 4294967295 134512640 134569956 3221224416 3221214784 1131175107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 32937 13073 16 0 210081 0 vsize: 840388 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 118933 81 0 0 25 0 11 0 423840680 860557312 33005 4294967295 134512640 134569956 3221224416 3221214680 1131504602 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 33005 13073 16 0 210081 0 vsize: 840388 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 119910 81 0 0 25 0 11 0 423840680 860557312 33040 4294967295 134512640 134569956 3221224416 3221214172 1131508368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 33040 13073 16 0 210081 0 vsize: 840388 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 3468 Raw data (stat): 3447 (java) R 3446 29653 29652 0 -1 0 18091 3 1 0 120884 82 0 0 25 0 11 0 423840680 860557312 33107 4294967295 134512640 134569956 3221224416 3221214480 1131301703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210097 33107 13073 16 0 210081 0 vsize: 840388 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.19 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 3470 Raw data (stat): 3447 (java) Z 3446 29653 29652 0 -1 1036 18091 13177 1 0 120889 82 4743 38 25 0 1 0 423840680 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1260.19 CPU time (s): 1257.53 CPU user time (s): 1256.33 CPU system time (s): 1.20582 CPU usage (%): 99.7895 Max. virtual memory (Kb): 841456 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####