Name | normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb |
MD5SUM | 1f07a50778ff795858a07800272da436 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-04-13 17:17:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2367 boxname=wulflinc22 idbench=263 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 1f07a50778ff795858a07800272da436 /oldhome/oroussel/tmp/wulflinc22/normalized-data8_3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-data8_3.opb IDLAUNCH: 2367 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 3 cpu MHz : 451.031 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: 876092 kB Buffers: 28004 kB Cached: 87276 kB SwapCached: 524 kB Active: 32436 kB Inactive: 86272 kB HighTotal: 131008 kB HighFree: 40012 kB LowTotal: 903652 kB LowFree: 836080 kB SwapTotal: 2097892 kB SwapFree: 2097368 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 34424 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:39:28 (client local time) WITH STATUS 143 IN SECONDS stats: 2367 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc22/normalized-data8_3.opb c reading problem c [nbvar=1344] c [nbconstr=16096] c time 6.503 c #vars 1344 c #clauses 16376 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=56774 c Current CPU time (ms) : 16.975 c starts : 2 c conflicts : 136 c decisions : 2131 c propagations : 13069 c inspects : 54475 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 136 c root simplifications : 2 c c CURRENT OPTIMUM=56592 c Current CPU time (ms) : 81.985 c starts : 6 c conflicts : 685 c decisions : 3633 c propagations : 62677 c inspects : 403365 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 685 c root simplifications : 6 c c CURRENT OPTIMUM=56009 c Current CPU time (ms) : 99.238 c starts : 8 c conflicts : 879 c decisions : 4451 c propagations : 81159 c inspects : 588382 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 879 c root simplifications : 8 c c CURRENT OPTIMUM=55638 c Current CPU time (ms) : 104.923 c starts : 9 c conflicts : 928 c decisions : 4623 c propagations : 85288 c inspects : 638304 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 928 c root simplifications : 9 c c CURRENT OPTIMUM=54977 c Current CPU time (ms) : 108.145 c starts : 10 c conflicts : 941 c decisions : 4772 c propagations : 88467 c inspects : 680929 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 941 c root simplifications : 10 c c CURRENT OPTIMUM=54194 c Current CPU time (ms) : 127.84 c starts : 12 c conflicts : 1077 c decisions : 5378 c propagations : 104128 c inspects : 861524 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1077 c root simplifications : 12 c c CURRENT OPTIMUM=53752 c Current CPU time (ms) : 291.384 c starts : 16 c conflicts : 1801 c decisions : 8085 c propagations : 173806 c inspects : 1850834 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1801 c root simplifications : 16 c c CURRENT OPTIMUM=53008 c Current CPU time (ms) : 873.028 c starts : 22 c conflicts : 3285 c decisions : 13553 c propagations : 308525 c inspects : 4827566 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3285 c root simplifications : 22 #### 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.99 2/54 27172 Raw data (stat): 27172 (runsolver) R 27171 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477685028 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.0001 s] Raw data (loadavg): 1.24 1.05 1.02 4/64 27182 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18071 0 1 0 802 44 0 0 25 0 11 0 477685028 862343168 20919 4294967295 134512640 134569956 3221224416 3221214416 1080020507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210533 20919 13073 16 0 210517 0 vsize: 842132 [startup+20.0002 s] Raw data (loadavg): 1.28 1.06 1.02 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18091 3 1 0 1546 45 0 0 24 0 11 0 477685028 865947648 26354 4294967295 134512640 134569956 3221224416 3221214744 1131369175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211413 26354 13073 16 0 211397 0 vsize: 845652 [startup+30.0005 s] Raw data (loadavg): 1.23 1.06 1.02 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18091 3 1 0 2469 45 0 0 25 0 11 0 477685028 865914880 26356 4294967295 134512640 134569956 3221224416 3221214608 1131224318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 26356 13073 16 0 211389 0 vsize: 845620 [startup+40.0002 s] Raw data (loadavg): 1.20 1.06 1.02 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18091 3 1 0 3394 46 0 0 25 0 11 0 477685028 865914880 26675 4294967295 134512640 134569956 3221224416 3221214856 1131336870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 26675 13073 16 0 211389 0 vsize: 845620 [startup+50.0004 s] Raw data (loadavg): 1.17 1.06 1.02 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 4309 46 0 0 25 0 11 0 477685028 865914880 27076 4294967295 134512640 134569956 3221224416 3221214456 1078033287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 27076 13073 16 0 211389 0 vsize: 845620 [startup+60.0007 s] Raw data (loadavg): 1.14 1.05 1.02 2/64 27183 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 5226 46 0 0 25 0 11 0 477685028 865914880 27467 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 27468 13073 16 0 211389 0 vsize: 845620 [startup+70.0014 s] Raw data (loadavg): 1.12 1.05 1.02 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 6146 47 0 0 25 0 11 0 477685028 865914880 27801 4294967295 134512640 134569956 3221224416 3221214704 1131669553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 27801 13073 16 0 211389 0 vsize: 845620 [startup+80.0025 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 27183 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 7053 47 0 0 25 0 11 0 477685028 865914880 28036 4294967295 134512640 134569956 3221224416 3221214600 1131250157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 28036 13073 16 0 211389 0 vsize: 845620 [startup+90.0026 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 27184 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 7983 47 0 0 25 0 11 0 477685028 865914880 28278 4294967295 134512640 134569956 3221224416 3221214748 1131164387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 28278 13073 16 0 211389 0 vsize: 845620 [startup+100.002 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 27185 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 8896 47 0 0 25 0 11 0 477685028 865914880 28609 4294967295 134512640 134569956 3221224416 3221214672 1131223335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 28609 13073 16 0 211389 0 vsize: 845620 [startup+110.004 s] Raw data (loadavg): 1.06 1.04 1.01 3/64 27187 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 9793 48 0 0 25 0 11 0 477685028 865914880 28966 4294967295 134512640 134569956 3221224416 3221214768 1131373299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 28966 13073 16 0 211389 0 vsize: 845620 [startup+120.004 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 27187 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 10708 48 0 0 25 0 11 0 477685028 865914880 29235 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 29235 13073 16 0 211389 0 vsize: 845620 [startup+130.005 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 11623 48 0 0 25 0 11 0 477685028 865914880 29475 4294967295 134512640 134569956 3221224416 3221214416 1131148736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 29475 13073 16 0 211389 0 vsize: 845620 [startup+140.005 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 12526 49 0 0 25 0 11 0 477685028 865914880 29751 4294967295 134512640 134569956 3221224416 3221214592 1131405567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 29751 13073 16 0 211389 0 vsize: 845620 [startup+150.005 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 13431 49 0 0 25 0 11 0 477685028 865914880 29991 4294967295 134512640 134569956 3221224416 3221214592 1131404490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 29991 13073 16 0 211389 0 vsize: 845620 [startup+160.005 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 14349 49 0 0 25 0 11 0 477685028 865914880 30162 4294967295 134512640 134569956 3221224416 3221214672 1131223624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 30162 13073 16 0 211389 0 vsize: 845620 [startup+170.005 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 15267 49 0 0 25 0 11 0 477685028 865914880 30429 4294967295 134512640 134569956 3221224416 3221214672 1131223177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 30429 13073 16 0 211389 0 vsize: 845620 [startup+180.005 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 16172 50 0 0 25 0 11 0 477685028 865914880 30721 4294967295 134512640 134569956 3221224416 3221214592 1131249863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 30721 13073 16 0 211389 0 vsize: 845620 [startup+190.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 17090 50 0 0 25 0 11 0 477685028 865914880 30917 4294967295 134512640 134569956 3221224416 3221214672 1131223482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 30917 13073 16 0 211389 0 vsize: 845620 [startup+200.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 18009 51 0 0 25 0 11 0 477685028 865914880 31160 4294967295 134512640 134569956 3221224416 3221214672 1131223308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 31160 13073 16 0 211389 0 vsize: 845620 [startup+210.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 18927 51 0 0 25 0 11 0 477685028 865914880 31384 4294967295 134512640 134569956 3221224416 3221214592 1131405610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 31384 13073 16 0 211389 0 vsize: 845620 [startup+220.007 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 19847 51 0 0 25 0 11 0 477685028 865914880 31662 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 31662 13073 16 0 211389 0 vsize: 845620 [startup+230.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 20756 52 0 0 25 0 11 0 477685028 865914880 31916 4294967295 134512640 134569956 3221224416 3221214768 1131373692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 31916 13073 16 0 211389 0 vsize: 845620 [startup+240.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 21665 52 0 0 25 0 11 0 477685028 865914880 32092 4294967295 134512640 134569956 3221224416 3221214848 1131336980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 32092 13073 16 0 211389 0 vsize: 845620 [startup+250.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 22574 52 0 0 25 0 11 0 477685028 865914880 32334 4294967295 134512640 134569956 3221224416 3221214588 1131250153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 32334 13073 16 0 211389 0 vsize: 845620 [startup+260.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 23486 52 0 0 25 0 11 0 477685028 865914880 32477 4294967295 134512640 134569956 3221224416 3221214768 1131373296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 32477 13073 16 0 211389 0 vsize: 845620 [startup+270.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 24409 53 0 0 25 0 11 0 477685028 865914880 32687 4294967295 134512640 134569956 3221224416 3221214672 1131223464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 32687 13073 16 0 211389 0 vsize: 845620 [startup+280.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 25332 53 0 0 25 0 11 0 477685028 865914880 32857 4294967295 134512640 134569956 3221224416 3221214672 1131223507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 32857 13073 16 0 211389 0 vsize: 845620 [startup+290.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27188 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 26254 53 0 0 25 0 11 0 477685028 865914880 33054 4294967295 134512640 134569956 3221224416 3221214696 1131668015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 33054 13073 16 0 211389 0 vsize: 845620 [startup+300.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 27173 54 0 0 25 0 11 0 477685028 865914880 33239 4294967295 134512640 134569956 3221224416 3221214696 1131668029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 33239 13073 16 0 211389 0 vsize: 845620 [startup+310.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 28080 54 0 0 25 0 11 0 477685028 865914880 33438 4294967295 134512640 134569956 3221224416 3221214736 1131348148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 33438 13073 16 0 211389 0 vsize: 845620 [startup+320.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 28999 54 0 0 25 0 11 0 477685028 865914880 33594 4294967295 134512640 134569956 3221224416 3221214696 1131668015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 33594 13073 16 0 211389 0 vsize: 845620 [startup+330.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 29917 54 0 0 25 0 11 0 477685028 865914880 33819 4294967295 134512640 134569956 3221224416 3221214768 1131377337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 33819 13073 16 0 211389 0 vsize: 845620 [startup+340.011 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 30823 54 0 0 25 0 11 0 477685028 865914880 34060 4294967295 134512640 134569956 3221224416 3221214696 1131669607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 34060 13073 16 0 211389 0 vsize: 845620 [startup+350.011 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 31744 54 0 0 25 0 11 0 477685028 865914880 34283 4294967295 134512640 134569956 3221224416 3221214672 1131223165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 34283 13073 16 0 211389 0 vsize: 845620 [startup+360.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 32665 54 0 0 25 0 11 0 477685028 865914880 34475 4294967295 134512640 134569956 3221224416 3221214768 1131374730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 34475 13073 16 0 211389 0 vsize: 845620 [startup+370.011 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 33573 55 0 0 25 0 11 0 477685028 865914880 34701 4294967295 134512640 134569956 3221224416 3221214744 1131249854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 34701 13073 16 0 211389 0 vsize: 845620 [startup+380.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 34494 55 0 0 25 0 11 0 477685028 865914880 34846 4294967295 134512640 134569956 3221224416 3221214736 1131348035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 34846 13073 16 0 211389 0 vsize: 845620 [startup+390.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 35402 55 0 0 25 0 11 0 477685028 865914880 35110 4294967295 134512640 134569956 3221224416 3221214648 1131553672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35110 13073 16 0 211389 0 vsize: 845620 [startup+400.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 36324 55 0 0 25 0 11 0 477685028 865914880 35320 4294967295 134512640 134569956 3221224416 3221214672 1131223195 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35320 13073 16 0 211389 0 vsize: 845620 [startup+410.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 37242 55 0 0 25 0 11 0 477685028 865914880 35480 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35480 13073 16 0 211389 0 vsize: 845620 [startup+420.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 38157 55 0 0 25 0 11 0 477685028 865914880 35701 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35701 13073 16 0 211389 0 vsize: 845620 [startup+430.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 39056 55 0 0 24 0 11 0 477685028 865914880 35847 4294967295 134512640 134569956 3221224416 3221214848 1131336776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35847 13073 16 0 211389 0 vsize: 845620 [startup+440.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 39979 55 0 0 25 0 11 0 477685028 865914880 35985 4294967295 134512640 134569956 3221224416 3221214768 1131373624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 35985 13073 16 0 211389 0 vsize: 845620 [startup+450.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 40892 55 0 0 25 0 11 0 477685028 865914880 36229 4294967295 134512640 134569956 3221224416 3221214672 1131561656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 36229 13073 16 0 211389 0 vsize: 845620 [startup+460.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 41813 55 0 0 25 0 11 0 477685028 865914880 36463 4294967295 134512640 134569956 3221224416 3221214304 1080217281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 36463 13073 16 0 211389 0 vsize: 845620 [startup+470.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 42752 55 0 0 25 0 11 0 477685028 865914880 36580 4294967295 134512640 134569956 3221224416 3221214504 1131247939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 36580 13073 16 0 211389 0 vsize: 845620 [startup+480.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 43677 55 0 0 25 0 11 0 477685028 865914880 36721 4294967295 134512640 134569956 3221224416 3221214592 1131405736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 36721 13073 16 0 211389 0 vsize: 845620 [startup+490.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 44613 55 0 0 25 0 11 0 477685028 865914880 36888 4294967295 134512640 134569956 3221224416 3221214768 1131373707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 36888 13073 16 0 211389 0 vsize: 845620 [startup+500.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 45529 55 0 0 25 0 11 0 477685028 865914880 37033 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37033 13073 16 0 211389 0 vsize: 845620 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 46454 55 0 0 25 0 11 0 477685028 865914880 37208 4294967295 134512640 134569956 3221224416 3221214672 1131223507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37208 13073 16 0 211389 0 vsize: 845620 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 47373 55 0 0 25 0 11 0 477685028 865914880 37402 4294967295 134512640 134569956 3221224416 3221214736 1131347305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37402 13073 16 0 211389 0 vsize: 845620 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 48291 55 0 0 25 0 11 0 477685028 865914880 37543 4294967295 134512640 134569956 3221224416 3221214672 1131223198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37543 13073 16 0 211389 0 vsize: 845620 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 49208 55 0 0 25 0 11 0 477685028 865914880 37720 4294967295 134512640 134569956 3221224416 3221214576 1131223455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37720 13073 16 0 211389 0 vsize: 845620 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 50125 55 0 0 25 0 11 0 477685028 865914880 37876 4294967295 134512640 134569956 3221224416 3221214768 1131373620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 37876 13073 16 0 211389 0 vsize: 845620 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 51034 55 0 0 25 0 11 0 477685028 865914880 38106 4294967295 134512640 134569956 3221224416 3221214592 1131251458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38106 13073 16 0 211389 0 vsize: 845620 [startup+570.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 51970 55 0 0 25 0 11 0 477685028 865914880 38249 4294967295 134512640 134569956 3221224416 3221214768 1131378452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38249 13073 16 0 211389 0 vsize: 845620 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 52904 55 0 0 25 0 11 0 477685028 865914880 38419 4294967295 134512640 134569956 3221224416 3221214768 1131373620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38419 13073 16 0 211389 0 vsize: 845620 [startup+590.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 53821 55 0 0 25 0 11 0 477685028 865914880 38591 4294967295 134512640 134569956 3221224416 3221214672 1131223824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38591 13073 16 0 211389 0 vsize: 845620 [startup+600.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 54751 55 0 0 25 0 11 0 477685028 865914880 38709 4294967295 134512640 134569956 3221224416 3221214952 1131321877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38709 13073 16 0 211389 0 vsize: 845620 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 55675 55 0 0 25 0 11 0 477685028 865914880 38837 4294967295 134512640 134569956 3221224416 3221214768 1131375632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 38837 13073 16 0 211389 0 vsize: 845620 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 56583 55 0 0 25 0 11 0 477685028 865914880 38999 4294967295 134512640 134569956 3221224416 3221214672 1131223515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 38999 13073 16 0 211389 0 vsize: 845620 [startup+630.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 57496 55 0 0 25 0 11 0 477685028 865914880 39168 4294967295 134512640 134569956 3221224416 3221214768 1131374501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39168 13073 16 0 211389 0 vsize: 845620 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 58411 56 0 0 25 0 11 0 477685028 865914880 39342 4294967295 134512640 134569956 3221224416 3221214672 1131223271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39342 13073 16 0 211389 0 vsize: 845620 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 59330 56 0 0 25 0 11 0 477685028 865914880 39566 4294967295 134512640 134569956 3221224416 3221214768 1131373692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39566 13073 16 0 211389 0 vsize: 845620 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 60256 56 0 0 25 0 11 0 477685028 865914880 39735 4294967295 134512640 134569956 3221224416 3221214752 1131435355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39735 13073 16 0 211389 0 vsize: 845620 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 61180 56 0 0 25 0 11 0 477685028 865914880 39877 4294967295 134512640 134569956 3221224416 3221214672 1131223482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39877 13073 16 0 211389 0 vsize: 845620 [startup+680.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 62118 57 0 0 25 0 11 0 477685028 865914880 39998 4294967295 134512640 134569956 3221224416 3221214768 1131375645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 39998 13073 16 0 211389 0 vsize: 845620 [startup+690.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 63036 57 0 0 25 0 11 0 477685028 865914880 40164 4294967295 134512640 134569956 3221224416 3221214592 1131249896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40164 13073 16 0 211389 0 vsize: 845620 [startup+700.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 63964 57 0 0 25 0 11 0 477685028 865914880 40271 4294967295 134512640 134569956 3221224416 3221214592 1131404490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40271 13073 16 0 211389 0 vsize: 845620 [startup+710.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 64893 57 0 0 25 0 11 0 477685028 865914880 40437 4294967295 134512640 134569956 3221224416 3221214592 1131404105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40437 13073 16 0 211389 0 vsize: 845620 [startup+720.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 65832 58 0 0 25 0 11 0 477685028 865914880 40525 4294967295 134512640 134569956 3221224416 3221214768 1131375564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40525 13073 16 0 211389 0 vsize: 845620 [startup+730.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 66760 58 0 0 25 0 11 0 477685028 865914880 40677 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40677 13073 16 0 211389 0 vsize: 845620 [startup+740.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 67687 58 0 0 25 0 11 0 477685028 865914880 40778 4294967295 134512640 134569956 3221224416 3221214768 1131375657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40778 13073 16 0 211389 0 vsize: 845620 [startup+750.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 68615 58 0 0 25 0 11 0 477685028 865914880 40943 4294967295 134512640 134569956 3221224416 3221214744 1131249687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 40943 13073 16 0 211389 0 vsize: 845620 [startup+760.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 69542 59 0 0 25 0 11 0 477685028 865914880 41063 4294967295 134512640 134569956 3221224416 3221214672 1131224630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41063 13073 16 0 211389 0 vsize: 845620 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 70470 59 0 0 25 0 11 0 477685028 865914880 41249 4294967295 134512640 134569956 3221224416 3221214672 1131223795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41249 13073 16 0 211389 0 vsize: 845620 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 71409 59 0 0 25 0 11 0 477685028 865914880 41372 4294967295 134512640 134569956 3221224416 3221214848 1131337161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41372 13073 16 0 211389 0 vsize: 845620 [startup+790.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 72332 59 0 0 25 0 11 0 477685028 865914880 41494 4294967295 134512640 134569956 3221224416 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41494 13073 16 0 211389 0 vsize: 845620 [startup+800.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 73251 59 0 0 25 0 11 0 477685028 865914880 41679 4294967295 134512640 134569956 3221224416 3221214592 1131249749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41679 13073 16 0 211389 0 vsize: 845620 [startup+810.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 74190 60 0 0 25 0 11 0 477685028 865914880 41776 4294967295 134512640 134569956 3221224416 3221214672 1131223214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41776 13073 16 0 211389 0 vsize: 845620 [startup+820.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 75122 60 0 0 25 0 11 0 477685028 865914880 41913 4294967295 134512640 134569956 3221224416 3221214672 1131223263 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 41913 13073 16 0 211389 0 vsize: 845620 [startup+830.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 76053 60 0 0 25 0 11 0 477685028 865914880 42091 4294967295 134512640 134569956 3221224416 3221214672 1131223177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42091 13073 16 0 211389 0 vsize: 845620 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 76968 61 0 0 24 0 11 0 477685028 865914880 42232 4294967295 134512640 134569956 3221224416 3221214696 1131668124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42232 13073 16 0 211389 0 vsize: 845620 [startup+850.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 77906 61 0 0 25 0 11 0 477685028 865914880 42312 4294967295 134512640 134569956 3221224416 3221214672 1131223198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 42312 13073 16 0 211389 0 vsize: 845620 [startup+860.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 78828 61 0 0 25 0 11 0 477685028 865914880 42456 4294967295 134512640 134569956 3221224416 3221214696 1131668127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42456 13073 16 0 211389 0 vsize: 845620 [startup+870.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27189 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 79751 61 0 0 25 0 11 0 477685028 865914880 42623 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42623 13073 16 0 211389 0 vsize: 845620 [startup+880.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 80668 62 0 0 25 0 11 0 477685028 865914880 42746 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42746 13073 16 0 211389 0 vsize: 845620 [startup+890.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 81574 62 0 0 25 0 11 0 477685028 865914880 42924 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 42924 13073 16 0 211389 0 vsize: 845620 [startup+900.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 82499 62 0 0 25 0 11 0 477685028 865914880 43143 4294967295 134512640 134569956 3221224416 3221214768 1131373593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 43143 13073 16 0 211389 0 vsize: 845620 [startup+910.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 83413 62 0 0 25 0 11 0 477685028 865914880 43344 4294967295 134512640 134569956 3221224416 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 43344 13073 16 0 211389 0 vsize: 845620 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 84327 63 0 0 25 0 11 0 477685028 865914880 43537 4294967295 134512640 134569956 3221224416 3221214768 1131373620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 43537 13073 16 0 211389 0 vsize: 845620 [startup+930.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 85255 63 0 0 25 0 11 0 477685028 865914880 43698 4294967295 134512640 134569956 3221224416 3221214768 1131374706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 43698 13073 16 0 211389 0 vsize: 845620 [startup+940.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 86203 63 0 0 25 0 11 0 477685028 865914880 43782 4294967295 134512640 134569956 3221224416 3221214672 1131223304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 43782 13073 16 0 211389 0 vsize: 845620 [startup+950.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 87136 63 0 0 25 0 11 0 477685028 865914880 43919 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 43919 13073 16 0 211389 0 vsize: 845620 [startup+960.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 88067 64 0 0 25 0 11 0 477685028 865914880 44020 4294967295 134512640 134569956 3221224416 3221214672 1131223472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 44020 13073 16 0 211389 0 vsize: 845620 [startup+970.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 88989 64 0 0 25 0 11 0 477685028 865914880 44130 4294967295 134512640 134569956 3221224416 3221214672 1131223241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 44130 13073 16 0 211389 0 vsize: 845620 [startup+980.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 89921 64 0 0 25 0 11 0 477685028 865914880 44261 4294967295 134512640 134569956 3221224416 3221214768 1131374844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 44261 13073 16 0 211389 0 vsize: 845620 [startup+990.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) S 27171 26298 26297 0 -1 0 18092 3 1 0 90846 64 0 0 25 0 11 0 477685028 865914880 44401 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 44401 13073 16 0 211389 0 vsize: 845620 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 91775 64 0 0 25 0 11 0 477685028 865914880 44534 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 44534 13073 16 0 211389 0 vsize: 845620 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 92699 65 0 0 25 0 11 0 477685028 865914880 44636 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 44636 13073 16 0 211389 0 vsize: 845620 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 93631 65 0 0 25 0 11 0 477685028 865914880 44778 4294967295 134512640 134569956 3221224416 3221214768 1131374655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 44778 13073 16 0 211389 0 vsize: 845620 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 94558 65 0 0 25 0 11 0 477685028 865914880 44909 4294967295 134512640 134569956 3221224416 3221214672 1131224358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 44909 13073 16 0 211389 0 vsize: 845620 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 95495 65 0 0 25 0 11 0 477685028 865914880 45022 4294967295 134512640 134569956 3221224416 3221214768 1131373441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45022 13073 16 0 211389 0 vsize: 845620 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 96407 66 0 0 25 0 11 0 477685028 865914880 45148 4294967295 134512640 134569956 3221224416 3221214592 1131250383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45148 13073 16 0 211389 0 vsize: 845620 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 97327 66 0 0 25 0 11 0 477685028 865914880 45290 4294967295 134512640 134569956 3221224416 3221214768 1131373804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 45290 13073 16 0 211389 0 vsize: 845620 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 98260 66 0 0 25 0 11 0 477685028 865914880 45392 4294967295 134512640 134569956 3221224416 3221214672 1131223795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45392 13073 16 0 211389 0 vsize: 845620 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 99183 66 0 0 25 0 11 0 477685028 865914880 45561 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45561 13073 16 0 211389 0 vsize: 845620 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 100109 66 0 0 25 0 11 0 477685028 865914880 45732 4294967295 134512640 134569956 3221224416 3221214512 1131573700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 45732 13073 16 0 211389 0 vsize: 845620 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 101039 66 0 0 25 0 11 0 477685028 865914880 45856 4294967295 134512640 134569956 3221224416 3221214696 1131669532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45856 13073 16 0 211389 0 vsize: 845620 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 101979 67 0 0 25 0 11 0 477685028 865914880 45984 4294967295 134512640 134569956 3221224416 3221214696 1131668113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 45984 13073 16 0 211389 0 vsize: 845620 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 102909 67 0 0 25 0 11 0 477685028 865914880 46109 4294967295 134512640 134569956 3221224416 3221214768 1131374813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46109 13073 16 0 211389 0 vsize: 845620 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 103844 67 0 0 25 0 11 0 477685028 865914880 46206 4294967295 134512640 134569956 3221224416 3221214768 1131373688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46206 13073 16 0 211389 0 vsize: 845620 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 104779 68 0 0 25 0 11 0 477685028 865914880 46338 4294967295 134512640 134569956 3221224416 3221214672 1131223524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46338 13073 16 0 211389 0 vsize: 845620 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 105707 68 0 0 25 0 11 0 477685028 865914880 46435 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 46435 13073 16 0 211389 0 vsize: 845620 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 106635 68 0 0 25 0 11 0 477685028 865914880 46582 4294967295 134512640 134569956 3221224416 3221214672 1131223639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46582 13073 16 0 211389 0 vsize: 845620 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 107567 68 0 0 25 0 11 0 477685028 865914880 46785 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46785 13073 16 0 211389 0 vsize: 845620 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 108505 69 0 0 25 0 11 0 477685028 865914880 46873 4294967295 134512640 134569956 3221224416 3221214768 1131373688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46873 13073 16 0 211389 0 vsize: 845620 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 109443 69 0 0 25 0 11 0 477685028 865914880 46987 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 46987 13073 16 0 211389 0 vsize: 845620 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 110370 69 0 0 25 0 11 0 477685028 865914880 47097 4294967295 134512640 134569956 3221224416 3221214952 1131321793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47097 13073 16 0 211389 0 vsize: 845620 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 111304 70 0 0 25 0 11 0 477685028 865914880 47164 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47164 13073 16 0 211389 0 vsize: 845620 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 112235 70 0 0 25 0 11 0 477685028 865914880 47306 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47306 13073 16 0 211389 0 vsize: 845620 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 113177 70 0 0 25 0 11 0 477685028 865914880 47438 4294967295 134512640 134569956 3221224416 3221214768 1131375517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47438 13073 16 0 211389 0 vsize: 845620 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 114109 70 0 0 25 0 11 0 477685028 865914880 47509 4294967295 134512640 134569956 3221224416 3221214672 1131223569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47509 13073 16 0 211389 0 vsize: 845620 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 115029 71 0 0 25 0 11 0 477685028 865914880 47632 4294967295 134512640 134569956 3221224416 3221214768 1131378079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47632 13073 16 0 211389 0 vsize: 845620 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 115957 71 0 0 24 0 11 0 477685028 865914880 47766 4294967295 134512640 134569956 3221224416 3221214848 1131337165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47766 13073 16 0 211389 0 vsize: 845620 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 116884 71 0 0 25 0 11 0 477685028 865914880 47870 4294967295 134512640 134569956 3221224416 3221214768 1131373620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 47870 13073 16 0 211389 0 vsize: 845620 [startup+1280.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 117808 72 0 0 25 0 11 0 477685028 865914880 48008 4294967295 134512640 134569956 3221224416 3221214768 1131373627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 48008 13073 16 0 211389 0 vsize: 845620 [startup+1290.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 118722 72 0 0 25 0 11 0 477685028 865914880 48124 4294967295 134512640 134569956 3221224416 3221214768 1131373727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211405 48124 13073 16 0 211389 0 vsize: 845620 [startup+1300.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 119638 72 0 0 25 0 11 0 477685028 865914880 48310 4294967295 134512640 134569956 3221224416 3221214768 1131377217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 48310 13073 16 0 211389 0 vsize: 845620 [startup+1310.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27190 Raw data (stat): 27172 (java) R 27171 26298 26297 0 -1 0 18092 3 1 0 120571 73 0 0 25 0 11 0 477685028 865914880 48496 4294967295 134512640 134569956 3221224416 3221214928 1131222169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211405 48496 13073 16 0 211389 0 vsize: 845620 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.31 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 27192 Raw data (stat): 27172 (java) Z 27171 26298 26297 0 -1 1036 18092 27269 1 0 120577 73 9939 64 25 0 1 0 477685028 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): 1310.31 CPU time (s): 1306.55 CPU user time (s): 1305.17 CPU system time (s): 1.37779 CPU usage (%): 99.7125 Max. virtual memory (Kb): 845652 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####