Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 592fea06f126ca9b3a8a014f1e413b01 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7773351 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1226.04 |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-21 22:02:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14283 boxname=wulflinc21 idbench=1099 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 592fea06f126ca9b3a8a014f1e413b01 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ran12x21.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ran12x21.opb IDLAUNCH: 14283 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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.161 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: 537984 kB Buffers: 9268 kB Cached: 465508 kB SwapCached: 0 kB Active: 192336 kB Inactive: 285308 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 537732 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6952 kB Slab: 13408 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 22:22:31 (client local time) WITH STATUS 143 IN 1229.15 SECONDS stats: 14283 7 1229.15 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ran12x21.opb c reading problem c [nbvar=7812] c [nbconstr=285] c time 21.382 c #vars 7812 c #clauses 319 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=12780319 c Current CPU time (ms) : 95.407 c starts : 1 c conflicts : 11 c decisions : 6477 c propagations : 30261 c inspects : 35556 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 11 c root simplifications : 12 #### 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.43 0.73 0.83 2/55 23156 Raw data (stat): 23156 (runsolver) R 23155 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 425787409 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.52 0.74 0.83 2/64 23165 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 17976 0 1 0 883 38 0 0 25 0 10 0 425787409 853688320 19189 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208420 19189 13073 16 0 208404 0 vsize: 833680 [startup+20.0018 s] Raw data (loadavg): 0.59 0.75 0.83 4/64 23165 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 17988 0 1 0 1723 38 0 0 25 0 10 0 425787409 860024832 21096 4294967295 134512640 134569956 3221224400 3221214448 1130917344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209967 21096 13073 16 0 209951 0 vsize: 839868 [startup+30.0021 s] Raw data (loadavg): 0.80 0.79 0.84 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 2484 40 0 0 25 0 11 0 425787409 859893760 22498 4294967295 134512640 134569956 3221224400 3221214776 1131359535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 22498 13073 16 0 209919 0 vsize: 839740 [startup+40.0018 s] Raw data (loadavg): 0.83 0.79 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 3389 40 0 0 25 0 11 0 425787409 859893760 22519 4294967295 134512640 134569956 3221224400 3221214664 1131422208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 22519 13073 16 0 209919 0 vsize: 839740 [startup+50.0015 s] Raw data (loadavg): 0.86 0.80 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 4296 40 0 0 25 0 11 0 425787409 859893760 22580 4294967295 134512640 134569956 3221224400 3221214776 1131360870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 22580 13073 16 0 209919 0 vsize: 839740 [startup+60.0012 s] Raw data (loadavg): 0.88 0.80 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 5245 40 0 0 25 0 11 0 425787409 859893760 23309 4294967295 134512640 134569956 3221224400 3221214744 1131442454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23309 13073 16 0 209919 0 vsize: 839740 [startup+70.0019 s] Raw data (loadavg): 0.90 0.81 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 6232 40 0 0 25 0 11 0 425787409 859893760 23336 4294967295 134512640 134569956 3221224400 3221214680 1131283400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23336 13073 16 0 209919 0 vsize: 839740 [startup+80.0071 s] Raw data (loadavg): 0.91 0.82 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 7219 41 0 0 25 0 11 0 425787409 859893760 23359 4294967295 134512640 134569956 3221224400 3221214680 1131283185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23359 13073 16 0 209919 0 vsize: 839740 [startup+90.0073 s] Raw data (loadavg): 0.92 0.82 0.85 2/65 23166 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 8207 41 0 0 25 0 11 0 425787409 859893760 23393 4294967295 134512640 134569956 3221224400 3221214776 1131359764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23393 13073 16 0 209919 0 vsize: 839740 [startup+100.007 s] Raw data (loadavg): 0.94 0.83 0.85 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 9180 41 0 0 25 0 11 0 425787409 859893760 23408 4294967295 134512640 134569956 3221224400 3221214728 1131237303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23408 13073 16 0 209919 0 vsize: 839740 [startup+110.008 s] Raw data (loadavg): 0.95 0.83 0.85 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 10149 41 0 0 25 0 11 0 425787409 859893760 23428 4294967295 134512640 134569956 3221224400 3221214728 1131237167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23428 13073 16 0 209919 0 vsize: 839740 [startup+120.008 s] Raw data (loadavg): 0.95 0.84 0.85 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 11115 41 0 0 25 0 11 0 425787409 859893760 23449 4294967295 134512640 134569956 3221224400 3221214776 1131359519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23449 13073 16 0 209919 0 vsize: 839740 [startup+130.009 s] Raw data (loadavg): 0.96 0.84 0.85 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 12096 41 0 0 25 0 11 0 425787409 859893760 23658 4294967295 134512640 134569956 3221224400 3221214664 1131408258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23658 13073 16 0 209919 0 vsize: 839740 [startup+140.009 s] Raw data (loadavg): 0.97 0.85 0.85 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 13087 41 0 0 25 0 11 0 425787409 859893760 23663 4294967295 134512640 134569956 3221224400 3221214672 1131401164 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23663 13073 16 0 209919 0 vsize: 839740 [startup+150.009 s] Raw data (loadavg): 0.97 0.85 0.86 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 14074 41 0 0 25 0 11 0 425787409 859893760 23670 4294967295 134512640 134569956 3221224400 3221214400 1131290638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23670 13073 16 0 209919 0 vsize: 839740 [startup+160.009 s] Raw data (loadavg): 0.97 0.86 0.86 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 15060 41 0 0 25 0 11 0 425787409 859893760 23673 4294967295 134512640 134569956 3221224400 3221214400 1131290563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23673 13073 16 0 209919 0 vsize: 839740 [startup+170.009 s] Raw data (loadavg): 0.98 0.86 0.86 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 16048 41 0 0 25 0 11 0 425787409 859893760 23676 4294967295 134512640 134569956 3221224400 3221214400 1131291301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23676 13073 16 0 209919 0 vsize: 839740 [startup+180.009 s] Raw data (loadavg): 0.98 0.86 0.86 2/65 23167 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 17034 41 0 0 25 0 11 0 425787409 859893760 23677 4294967295 134512640 134569956 3221224400 3221214400 1131290713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23677 13073 16 0 209919 0 vsize: 839740 [startup+190.01 s] Raw data (loadavg): 0.98 0.87 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 18007 42 0 0 25 0 11 0 425787409 859893760 23684 4294967295 134512640 134569956 3221224400 3221214680 1131283241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23684 13073 16 0 209919 0 vsize: 839740 [startup+200.01 s] Raw data (loadavg): 0.99 0.87 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 18977 42 0 0 25 0 11 0 425787409 859893760 23685 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23685 13073 16 0 209919 0 vsize: 839740 [startup+210.011 s] Raw data (loadavg): 0.99 0.88 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 19944 42 0 0 25 0 11 0 425787409 859893760 23685 4294967295 134512640 134569956 3221224400 3221214776 1131362441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23685 13073 16 0 209919 0 vsize: 839740 [startup+220.011 s] Raw data (loadavg): 0.99 0.88 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 20917 42 0 0 25 0 11 0 425787409 859893760 23869 4294967295 134512640 134569956 3221224400 3221214680 1131283098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23869 13073 16 0 209919 0 vsize: 839740 [startup+230.012 s] Raw data (loadavg): 0.99 0.88 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 21910 42 0 0 25 0 11 0 425787409 859893760 23894 4294967295 134512640 134569956 3221224400 3221214680 1131283108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23894 13073 16 0 209919 0 vsize: 839740 [startup+240.012 s] Raw data (loadavg): 0.99 0.89 0.86 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 22904 43 0 0 25 0 11 0 425787409 859893760 23917 4294967295 134512640 134569956 3221224400 3221214776 1131359544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23917 13073 16 0 209919 0 vsize: 839740 [startup+250.011 s] Raw data (loadavg): 0.99 0.89 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 23901 43 0 0 25 0 11 0 425787409 859893760 23920 4294967295 134512640 134569956 3221224400 3221214680 1131282660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23920 13073 16 0 209919 0 vsize: 839740 [startup+260.012 s] Raw data (loadavg): 0.99 0.89 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 24899 43 0 0 25 0 11 0 425787409 859893760 23920 4294967295 134512640 134569956 3221224400 3221214680 1131283213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23920 13073 16 0 209919 0 vsize: 839740 [startup+270.013 s] Raw data (loadavg): 0.99 0.90 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 25896 43 0 0 25 0 11 0 425787409 859893760 23925 4294967295 134512640 134569956 3221224400 3221214680 1131283509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23925 13073 16 0 209919 0 vsize: 839740 [startup+280.013 s] Raw data (loadavg): 0.99 0.90 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 26891 43 0 0 25 0 11 0 425787409 859893760 23928 4294967295 134512640 134569956 3221224400 3221214776 1131361690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23928 13073 16 0 209919 0 vsize: 839740 [startup+290.014 s] Raw data (loadavg): 0.99 0.90 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 27885 44 0 0 25 0 11 0 425787409 859893760 23930 4294967295 134512640 134569956 3221224400 3221214680 1131282688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23930 13073 16 0 209919 0 vsize: 839740 [startup+300.014 s] Raw data (loadavg): 0.99 0.90 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 28880 44 0 0 25 0 11 0 425787409 859893760 23941 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23941 13073 16 0 209919 0 vsize: 839740 [startup+310.014 s] Raw data (loadavg): 0.99 0.91 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 29877 44 0 0 25 0 11 0 425787409 859893760 23956 4294967295 134512640 134569956 3221224400 3221214776 1131360848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23956 13073 16 0 209919 0 vsize: 839740 [startup+320.014 s] Raw data (loadavg): 0.99 0.91 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 30874 44 0 0 25 0 11 0 425787409 859893760 23959 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 23959 13073 16 0 209919 0 vsize: 839740 [startup+330.015 s] Raw data (loadavg): 0.99 0.91 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 31871 44 0 0 25 0 11 0 425787409 859893760 23960 4294967295 134512640 134569956 3221224400 3221214680 1131282604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23960 13073 16 0 209919 0 vsize: 839740 [startup+340.014 s] Raw data (loadavg): 0.99 0.91 0.87 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 32869 45 0 0 25 0 11 0 425787409 859893760 23964 4294967295 134512640 134569956 3221224400 3221214776 1131360863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23964 13073 16 0 209919 0 vsize: 839740 [startup+350.014 s] Raw data (loadavg): 0.99 0.92 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 33860 45 0 0 25 0 11 0 425787409 859893760 23967 4294967295 134512640 134569956 3221224400 3221214672 1131401500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23967 13073 16 0 209919 0 vsize: 839740 [startup+360.018 s] Raw data (loadavg): 0.99 0.92 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 34847 45 0 0 25 0 11 0 425787409 859893760 23967 4294967295 134512640 134569956 3221224400 3221214776 1131361767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23967 13073 16 0 209919 0 vsize: 839740 [startup+370.017 s] Raw data (loadavg): 0.99 0.92 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 35817 45 0 0 25 0 11 0 425787409 859893760 23968 4294967295 134512640 134569956 3221224400 3221214776 1131359735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23968 13073 16 0 209919 0 vsize: 839740 [startup+380.018 s] Raw data (loadavg): 0.99 0.92 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 36775 45 0 0 25 0 11 0 425787409 859893760 23972 4294967295 134512640 134569956 3221224400 3221214680 1131283116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 23972 13073 16 0 209919 0 vsize: 839740 [startup+390.019 s] Raw data (loadavg): 0.99 0.92 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 37736 45 0 0 25 0 11 0 425787409 859893760 24071 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24071 13073 16 0 209919 0 vsize: 839740 [startup+400.018 s] Raw data (loadavg): 0.99 0.93 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 38704 45 0 0 25 0 11 0 425787409 859893760 24316 4294967295 134512640 134569956 3221224400 3221214680 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24316 13073 16 0 209919 0 vsize: 839740 [startup+410.019 s] Raw data (loadavg): 0.99 0.93 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 39698 45 0 0 25 0 11 0 425787409 859893760 24326 4294967295 134512640 134569956 3221224400 3221214680 1131283509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24326 13073 16 0 209919 0 vsize: 839740 [startup+420.019 s] Raw data (loadavg): 0.99 0.93 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 40692 45 0 0 25 0 11 0 425787409 859893760 24342 4294967295 134512640 134569956 3221224400 3221214776 1131359800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24342 13073 16 0 209919 0 vsize: 839740 [startup+430.019 s] Raw data (loadavg): 0.99 0.93 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 41689 46 0 0 25 0 11 0 425787409 859893760 24344 4294967295 134512640 134569956 3221224400 3221214680 1131283406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24344 13073 16 0 209919 0 vsize: 839740 [startup+440.019 s] Raw data (loadavg): 0.99 0.93 0.88 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 42686 46 0 0 25 0 11 0 425787409 859893760 24362 4294967295 134512640 134569956 3221224400 3221214680 1131284142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24362 13073 16 0 209919 0 vsize: 839740 [startup+450.019 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 43680 46 0 0 25 0 11 0 425787409 859893760 24363 4294967295 134512640 134569956 3221224400 3221214680 1131283564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24363 13073 16 0 209919 0 vsize: 839740 [startup+460.019 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 44675 46 0 0 25 0 11 0 425787409 859893760 24363 4294967295 134512640 134569956 3221224400 3221214776 1131360969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24363 13073 16 0 209919 0 vsize: 839740 [startup+470.02 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 45670 46 0 0 25 0 11 0 425787409 859893760 24370 4294967295 134512640 134569956 3221224400 3221214728 1131237278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24370 13073 16 0 209919 0 vsize: 839740 [startup+480.021 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 46666 46 0 0 25 0 11 0 425787409 859893760 24398 4294967295 134512640 134569956 3221224400 3221214680 1131283165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24398 13073 16 0 209919 0 vsize: 839740 [startup+490.02 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 47661 46 0 0 25 0 11 0 425787409 859893760 24399 4294967295 134512640 134569956 3221224400 3221214680 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24399 13073 16 0 209919 0 vsize: 839740 [startup+500.021 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 48656 46 0 0 25 0 11 0 425787409 859893760 24399 4294967295 134512640 134569956 3221224400 3221214680 1131283203 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24399 13073 16 0 209919 0 vsize: 839740 [startup+510.021 s] Raw data (loadavg): 0.99 0.94 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 49652 46 0 0 25 0 11 0 425787409 859893760 24414 4294967295 134512640 134569956 3221224400 3221214776 1131362424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24414 13073 16 0 209919 0 vsize: 839740 [startup+520.021 s] Raw data (loadavg): 0.99 0.95 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 50649 46 0 0 25 0 11 0 425787409 859893760 24417 4294967295 134512640 134569956 3221224400 3221214680 1131283924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24417 13073 16 0 209919 0 vsize: 839740 [startup+530.021 s] Raw data (loadavg): 0.99 0.95 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 51647 46 0 0 25 0 11 0 425787409 859893760 24420 4294967295 134512640 134569956 3221224400 3221214772 1131284163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24420 13073 16 0 209919 0 vsize: 839740 [startup+540.024 s] Raw data (loadavg): 0.99 0.95 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 52643 47 0 0 25 0 11 0 425787409 859893760 24421 4294967295 134512640 134569956 3221224400 3221214680 1131283813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24421 13073 16 0 209919 0 vsize: 839740 [startup+550.024 s] Raw data (loadavg): 0.99 0.95 0.89 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 53639 47 0 0 25 0 11 0 425787409 859893760 24422 4294967295 134512640 134569956 3221224400 3221214776 1131360829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24422 13073 16 0 209919 0 vsize: 839740 [startup+560.024 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 54634 47 0 0 25 0 11 0 425787409 859893760 24429 4294967295 134512640 134569956 3221224400 3221214728 1131237125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24429 13073 16 0 209919 0 vsize: 839740 [startup+570.024 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 55630 47 0 0 18 0 11 0 425787409 859893760 24442 4294967295 134512640 134569956 3221224400 3221214776 1131360823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24442 13073 16 0 209919 0 vsize: 839740 [startup+580.025 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 56628 47 0 0 25 0 11 0 425787409 859893760 24445 4294967295 134512640 134569956 3221224400 3221214680 1131283843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24445 13073 16 0 209919 0 vsize: 839740 [startup+590.024 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 57626 47 0 0 25 0 11 0 425787409 859893760 24446 4294967295 134512640 134569956 3221224400 3221214640 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24446 13073 16 0 209919 0 vsize: 839740 [startup+600.024 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 58624 47 0 0 25 0 11 0 425787409 859893760 24450 4294967295 134512640 134569956 3221224400 3221214680 1131283868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24450 13073 16 0 209919 0 vsize: 839740 [startup+610.025 s] Raw data (loadavg): 0.99 0.95 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 59619 48 0 0 25 0 11 0 425787409 859893760 24451 4294967295 134512640 134569956 3221224400 3221214680 1131283126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24451 13073 16 0 209919 0 vsize: 839740 [startup+620.025 s] Raw data (loadavg): 0.99 0.96 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 60614 48 0 0 25 0 11 0 425787409 859893760 24464 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24464 13073 16 0 209919 0 vsize: 839740 [startup+630.025 s] Raw data (loadavg): 0.99 0.96 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 61609 48 0 0 25 0 11 0 425787409 859893760 24464 4294967295 134512640 134569956 3221224400 3221214728 1131237353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24464 13073 16 0 209919 0 vsize: 839740 [startup+640.026 s] Raw data (loadavg): 0.99 0.96 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 62605 48 0 0 25 0 11 0 425787409 859893760 24478 4294967295 134512640 134569956 3221224400 3221214776 1131359735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24478 13073 16 0 209919 0 vsize: 839740 [startup+650.025 s] Raw data (loadavg): 0.99 0.96 0.90 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 63602 48 0 0 25 0 11 0 425787409 859893760 24480 4294967295 134512640 134569956 3221224400 3221214680 1131283126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24480 13073 16 0 209919 0 vsize: 839740 [startup+660.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 64600 48 0 0 25 0 11 0 425787409 859893760 24486 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24486 13073 16 0 209919 0 vsize: 839740 [startup+670.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 65596 48 0 0 25 0 11 0 425787409 859893760 24492 4294967295 134512640 134569956 3221224400 3221214680 1131283173 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24492 13073 16 0 209919 0 vsize: 839740 [startup+680.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 66591 48 0 0 25 0 11 0 425787409 859893760 24499 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24499 13073 16 0 209919 0 vsize: 839740 [startup+690.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 67585 48 0 0 25 0 11 0 425787409 859893760 24500 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24500 13073 16 0 209919 0 vsize: 839740 [startup+700.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 68582 48 0 0 25 0 11 0 425787409 859893760 24518 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24518 13073 16 0 209919 0 vsize: 839740 [startup+710.029 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 69580 48 0 0 25 0 11 0 425787409 859893760 24521 4294967295 134512640 134569956 3221224400 3221214776 1131359535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24521 13073 16 0 209919 0 vsize: 839740 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 70578 48 0 0 25 0 11 0 425787409 859893760 24522 4294967295 134512640 134569956 3221224400 3221214776 1131360870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24522 13073 16 0 209919 0 vsize: 839740 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 71576 48 0 0 25 0 11 0 425787409 859893760 24523 4294967295 134512640 134569956 3221224400 3221214776 1131362384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24523 13073 16 0 209919 0 vsize: 839740 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 72572 48 0 0 25 0 11 0 425787409 859893760 24525 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24525 13073 16 0 209919 0 vsize: 839740 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 73566 48 0 0 25 0 11 0 425787409 859893760 24526 4294967295 134512640 134569956 3221224400 3221214680 1131283145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24526 13073 16 0 209919 0 vsize: 839740 [startup+760.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 74561 49 0 0 25 0 11 0 425787409 859893760 24527 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24527 13073 16 0 209919 0 vsize: 839740 [startup+770.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 75557 49 0 0 25 0 11 0 425787409 859893760 24546 4294967295 134512640 134569956 3221224400 3221214776 1131362390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24546 13073 16 0 209919 0 vsize: 839740 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 76555 49 0 0 25 0 11 0 425787409 859893760 24551 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24551 13073 16 0 209919 0 vsize: 839740 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 77553 49 0 0 25 0 11 0 425787409 859893760 24552 4294967295 134512640 134569956 3221224400 3221214680 1131237179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24552 13073 16 0 209919 0 vsize: 839740 [startup+800.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 78551 49 0 0 25 0 11 0 425787409 859893760 24552 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24552 13073 16 0 209919 0 vsize: 839740 [startup+810.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 79549 49 0 0 25 0 11 0 425787409 859893760 24553 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24553 13073 16 0 209919 0 vsize: 839740 [startup+820.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 80543 49 0 0 25 0 11 0 425787409 859893760 24559 4294967295 134512640 134569956 3221224400 3221214632 1131282681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24559 13073 16 0 209919 0 vsize: 839740 [startup+830.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 81538 49 0 0 25 0 11 0 425787409 859893760 24560 4294967295 134512640 134569956 3221224400 3221214728 1131362476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24560 13073 16 0 209919 0 vsize: 839740 [startup+840.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 82533 49 0 0 25 0 11 0 425787409 859893760 24562 4294967295 134512640 134569956 3221224400 3221214632 1131283253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24562 13073 16 0 209919 0 vsize: 839740 [startup+850.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 83530 50 0 0 25 0 11 0 425787409 859893760 24583 4294967295 134512640 134569956 3221224400 3221214680 1131237167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24583 13073 16 0 209919 0 vsize: 839740 [startup+860.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 84528 50 0 0 25 0 11 0 425787409 859893760 24583 4294967295 134512640 134569956 3221224400 3221214728 1131359735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24583 13073 16 0 209919 0 vsize: 839740 [startup+870.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 85526 50 0 0 25 0 11 0 425787409 859893760 24587 4294967295 134512640 134569956 3221224400 3221214728 1131360848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24587 13073 16 0 209919 0 vsize: 839740 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 86524 50 0 0 25 0 11 0 425787409 859893760 24587 4294967295 134512640 134569956 3221224400 3221214632 1131283541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24587 13073 16 0 209919 0 vsize: 839740 [startup+890.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 87521 50 0 0 25 0 11 0 425787409 859893760 24593 4294967295 134512640 134569956 3221224400 3221214728 1131362457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24593 13073 16 0 209919 0 vsize: 839740 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 88516 50 0 0 25 0 11 0 425787409 859893760 24593 4294967295 134512640 134569956 3221224400 3221214632 1131282906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24593 13073 16 0 209919 0 vsize: 839740 [startup+910.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 89510 50 0 0 25 0 11 0 425787409 859893760 24594 4294967295 134512640 134569956 3221224400 3221214632 1131283243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24594 13073 16 0 209919 0 vsize: 839740 [startup+920.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 90504 50 0 0 25 0 11 0 425787409 859893760 24596 4294967295 134512640 134569956 3221224400 3221214632 1131282629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24596 13073 16 0 209919 0 vsize: 839740 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 91500 50 0 0 25 0 11 0 425787409 859893760 24619 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24619 13073 16 0 209919 0 vsize: 839740 [startup+940.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 92497 50 0 0 25 0 11 0 425787409 859893760 24628 4294967295 134512640 134569956 3221224400 3221214632 1131283149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24628 13073 16 0 209919 0 vsize: 839740 [startup+950.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 93495 50 0 0 25 0 11 0 425787409 859893760 24628 4294967295 134512640 134569956 3221224400 3221214632 1131283400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24628 13073 16 0 209919 0 vsize: 839740 [startup+960.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 94492 50 0 0 25 0 11 0 425787409 859893760 24636 4294967295 134512640 134569956 3221224400 3221214680 1131237315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24636 13073 16 0 209919 0 vsize: 839740 [startup+970.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 95489 50 0 0 25 0 11 0 425787409 859893760 24639 4294967295 134512640 134569956 3221224400 3221214728 1131360826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24639 13073 16 0 209919 0 vsize: 839740 [startup+980.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 96485 50 0 0 25 0 11 0 425787409 859893760 24669 4294967295 134512640 134569956 3221224400 3221214632 1131282593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24669 13073 16 0 209919 0 vsize: 839740 [startup+990.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 97480 50 0 0 25 0 11 0 425787409 859893760 24672 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24672 13073 16 0 209919 0 vsize: 839740 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 98474 51 0 0 25 0 11 0 425787409 859893760 24679 4294967295 134512640 134569956 3221224400 3221214632 1131283010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24679 13073 16 0 209919 0 vsize: 839740 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 99470 51 0 0 25 0 11 0 425787409 859893760 24695 4294967295 134512640 134569956 3221224400 3221214632 1131282589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24695 13073 16 0 209919 0 vsize: 839740 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 100468 51 0 0 25 0 11 0 425787409 859893760 24696 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24696 13073 16 0 209919 0 vsize: 839740 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 101466 51 0 0 25 0 11 0 425787409 859893760 24696 4294967295 134512640 134569956 3221224400 3221214632 1131283104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24696 13073 16 0 209919 0 vsize: 839740 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 102463 51 0 0 25 0 11 0 425787409 859893760 24697 4294967295 134512640 134569956 3221224400 3221214728 1131361767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24697 13073 16 0 209919 0 vsize: 839740 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 103461 51 0 0 25 0 11 0 425787409 859893760 24702 4294967295 134512640 134569956 3221224400 3221214632 1131283306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24702 13073 16 0 209919 0 vsize: 839740 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 104459 51 0 0 25 0 11 0 425787409 859893760 24703 4294967295 134512640 134569956 3221224400 3221214632 1131282604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24703 13073 16 0 209919 0 vsize: 839740 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 105455 51 0 0 25 0 11 0 425787409 859893760 24707 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24707 13073 16 0 209919 0 vsize: 839740 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 106451 51 0 0 25 0 11 0 425787409 859893760 24710 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24710 13073 16 0 209919 0 vsize: 839740 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 107446 51 0 0 25 0 11 0 425787409 859893760 24711 4294967295 134512640 134569956 3221224400 3221214632 1131283134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24711 13073 16 0 209919 0 vsize: 839740 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 108442 52 0 0 25 0 11 0 425787409 859893760 24726 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24726 13073 16 0 209919 0 vsize: 839740 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 109439 52 0 0 25 0 11 0 425787409 859893760 24726 4294967295 134512640 134569956 3221224400 3221214632 1131282925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24726 13073 16 0 209919 0 vsize: 839740 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 110437 52 0 0 25 0 11 0 425787409 859893760 24734 4294967295 134512640 134569956 3221224400 3221214632 1131283258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24734 13073 16 0 209919 0 vsize: 839740 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 111435 52 0 0 25 0 11 0 425787409 859893760 24741 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24741 13073 16 0 209919 0 vsize: 839740 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 112433 52 0 0 25 0 11 0 425787409 859893760 24742 4294967295 134512640 134569956 3221224400 3221214632 1131282604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24742 13073 16 0 209919 0 vsize: 839740 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 113431 52 0 0 25 0 11 0 425787409 859893760 24743 4294967295 134512640 134569956 3221224400 3221214728 1131361767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24743 13073 16 0 209919 0 vsize: 839740 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 114427 52 0 0 25 0 11 0 425787409 859893760 24745 4294967295 134512640 134569956 3221224400 3221214728 1131359800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24745 13073 16 0 209919 0 vsize: 839740 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 115421 52 0 0 25 0 11 0 425787409 859893760 24745 4294967295 134512640 134569956 3221224400 3221214728 1131359735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24745 13073 16 0 209919 0 vsize: 839740 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 116415 52 0 0 25 0 11 0 425787409 859893760 24746 4294967295 134512640 134569956 3221224400 3221214728 1131359519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24746 13073 16 0 209919 0 vsize: 839740 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 117411 52 0 0 25 0 11 0 425787409 859893760 24771 4294967295 134512640 134569956 3221224400 3221214632 1131283813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24771 13073 16 0 209919 0 vsize: 839740 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 118408 52 0 0 25 0 11 0 425787409 859893760 24778 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24778 13073 16 0 209919 0 vsize: 839740 [startup+1210.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 119406 52 0 0 25 0 11 0 425787409 859893760 24778 4294967295 134512640 134569956 3221224400 3221214632 1131282969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209935 24778 13073 16 0 209919 0 vsize: 839740 [startup+1220.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 23169 Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 120404 53 0 0 25 0 11 0 425787409 859893760 24779 4294967295 134512640 134569956 3221224400 3221214632 1131282994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209935 24779 13073 16 0 209919 0 vsize: 839740 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.14 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 23171 Raw data (stat): 23156 (java) Z 23155 30927 30926 0 -1 1036 18060 8512 1 0 120405 57 2420 30 23 0 1 0 425787409 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.13 CPU time (s): 1229.15 CPU user time (s): 1228.26 CPU system time (s): 0.882865 CPU usage (%): 100.739 Max. virtual memory (Kb): 839868 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####