Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb |
MD5SUM | 966ceb4249ada81e9b52daecca845c09 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 537 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1900 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1900 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1900 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05684 |
Number of variables | 1900 |
Total number of constraints | 7639 |
Number of constraints which are clauses | 7639 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-13 16:36:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1548 boxname=wulflinc19 idbench=172 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 966ceb4249ada81e9b52daecca845c09 /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb IDLAUNCH: 1548 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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.037 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: 913176 kB Buffers: 30876 kB Cached: 57060 kB SwapCached: 56 kB Active: 38976 kB Inactive: 51912 kB HighTotal: 131008 kB HighFree: 69860 kB LowTotal: 903652 kB LowFree: 843316 kB SwapTotal: 2097892 kB SwapFree: 2097836 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7028 kB Slab: 24988 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:57:06 (client local time) WITH STATUS 143 IN SECONDS stats: 1548 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb c reading problem c [nbvar=1900] c [nbconstr=7639] c time 5.82 c #vars 1900 c #clauses 7639 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=897 c Current CPU time (ms) : 10.476 c starts : 1 c conflicts : 24 c decisions : 217 c propagations : 5357 c inspects : 15652 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 24 c root simplifications : 1 c c CURRENT OPTIMUM=703 c Current CPU time (ms) : 11.677 c starts : 2 c conflicts : 24 c decisions : 765 c propagations : 7257 c inspects : 21292 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 24 c root simplifications : 2 c c CURRENT OPTIMUM=684 c Current CPU time (ms) : 65.227 c starts : 3 c conflicts : 62 c decisions : 1868 c propagations : 12923 c inspects : 54311 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 62 c root simplifications : 3 #### 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.90 2/55 23869 Raw data (stat): 23869 (runsolver) R 23868 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477435898 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0483 s] Raw data (loadavg): 1.17 1.03 0.92 4/65 23879 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18066 0 1 0 711 46 0 0 25 0 11 0 477435898 865857536 22144 4294967295 134512640 134569956 3221224416 3221213796 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211391 22151 13073 16 0 211375 0 vsize: 845564 [startup+20.0551 s] Raw data (loadavg): 1.29 1.06 0.93 2/65 23881 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 1563 47 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214584 1131401812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 23732 13073 16 0 211218 0 vsize: 844936 [startup+30.0555 s] Raw data (loadavg): 1.25 1.06 0.93 2/65 23881 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 2477 48 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214676 1080203688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 23732 13073 16 0 211218 0 vsize: 844936 [startup+40.0567 s] Raw data (loadavg): 1.21 1.06 0.93 2/65 23881 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 3377 48 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214640 1131405315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 23732 13073 16 0 211218 0 vsize: 844936 [startup+50.0577 s] Raw data (loadavg): 1.18 1.06 0.93 2/65 23881 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 4280 48 0 0 25 0 11 0 477435898 865214464 24242 4294967295 134512640 134569956 3221224416 3221214640 1131404110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 24242 13073 16 0 211218 0 vsize: 844936 [startup+60.058 s] Raw data (loadavg): 1.15 1.05 0.93 2/65 23881 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 5218 48 0 0 25 0 11 0 477435898 865214464 24459 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 24459 13073 16 0 211218 0 vsize: 844936 [startup+70.059 s] Raw data (loadavg): 1.12 1.05 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 6163 49 0 0 25 0 11 0 477435898 865214464 24516 4294967295 134512640 134569956 3221224416 3221214696 1131242277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 24516 13073 16 0 211218 0 vsize: 844936 [startup+80.0599 s] Raw data (loadavg): 1.11 1.05 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 7099 49 0 0 25 0 11 0 477435898 865214464 24644 4294967295 134512640 134569956 3221224416 3221214696 1131243136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 24644 13073 16 0 211218 0 vsize: 844936 [startup+90.0602 s] Raw data (loadavg): 1.09 1.05 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 8037 49 0 0 25 0 11 0 477435898 865214464 24766 4294967295 134512640 134569956 3221224416 3221214792 1131373332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 24766 13073 16 0 211218 0 vsize: 844936 [startup+100.061 s] Raw data (loadavg): 1.07 1.05 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 8991 49 0 0 25 0 11 0 477435898 865214464 25096 4294967295 134512640 134569956 3221224416 3221214696 1131242602 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25096 13073 16 0 211218 0 vsize: 844936 [startup+110.061 s] Raw data (loadavg): 1.06 1.04 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 9970 50 0 0 25 0 11 0 477435898 865214464 25215 4294967295 134512640 134569956 3221224416 3221214736 1131469138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25215 13073 16 0 211218 0 vsize: 844936 [startup+120.062 s] Raw data (loadavg): 1.05 1.04 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 10951 50 0 0 25 0 11 0 477435898 865214464 25231 4294967295 134512640 134569956 3221224416 3221214736 1131469313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25231 13073 16 0 211218 0 vsize: 844936 [startup+130.062 s] Raw data (loadavg): 1.04 1.04 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 11934 51 0 0 25 0 11 0 477435898 865214464 25244 4294967295 134512640 134569956 3221224416 3221214876 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25244 13073 16 0 211218 0 vsize: 844936 [startup+140.063 s] Raw data (loadavg): 1.04 1.04 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 12904 51 0 0 25 0 11 0 477435898 865214464 25281 4294967295 134512640 134569956 3221224416 3221214640 1131403705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25281 13073 16 0 211218 0 vsize: 844936 [startup+150.063 s] Raw data (loadavg): 1.03 1.04 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 13879 51 0 0 25 0 11 0 477435898 865214464 25334 4294967295 134512640 134569956 3221224416 3221214736 1131469258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25334 13073 16 0 211218 0 vsize: 844936 [startup+160.063 s] Raw data (loadavg): 1.03 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 14849 51 0 0 25 0 11 0 477435898 865214464 25344 4294967295 134512640 134569956 3221224416 3221214736 1131469177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25344 13073 16 0 211218 0 vsize: 844936 [startup+170.067 s] Raw data (loadavg): 1.02 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) S 23868 22929 22928 0 -1 0 18068 3 1 0 15826 51 0 0 25 0 11 0 477435898 865214464 25498 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25498 13073 16 0 211218 0 vsize: 844936 [startup+180.067 s] Raw data (loadavg): 1.02 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 16802 52 0 0 25 0 11 0 477435898 865214464 25536 4294967295 134512640 134569956 3221224416 3221214724 1080204290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25536 13073 16 0 211218 0 vsize: 844936 [startup+190.069 s] Raw data (loadavg): 1.01 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 17778 52 0 0 25 0 11 0 477435898 865214464 25563 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25563 13073 16 0 211218 0 vsize: 844936 [startup+200.07 s] Raw data (loadavg): 1.01 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 18755 53 0 0 25 0 11 0 477435898 865214464 25661 4294967295 134512640 134569956 3221224416 3221214640 1131407259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25661 13073 16 0 211218 0 vsize: 844936 [startup+210.07 s] Raw data (loadavg): 1.01 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 19735 53 0 0 25 0 11 0 477435898 865214464 25677 4294967295 134512640 134569956 3221224416 3221214592 1131328941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25677 13073 16 0 211218 0 vsize: 844936 [startup+220.071 s] Raw data (loadavg): 1.01 1.03 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 20716 53 0 0 25 0 11 0 477435898 865214464 25719 4294967295 134512640 134569956 3221224416 3221214696 1131242457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25719 13073 16 0 211218 0 vsize: 844936 [startup+230.071 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 21689 54 0 0 24 0 11 0 477435898 865214464 25801 4294967295 134512640 134569956 3221224416 3221214640 1131403821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25801 13073 16 0 211218 0 vsize: 844936 [startup+240.071 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 22670 54 0 0 25 0 11 0 477435898 865214464 25827 4294967295 134512640 134569956 3221224416 3221214584 1131591261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25827 13073 16 0 211218 0 vsize: 844936 [startup+250.072 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 23648 54 0 0 25 0 11 0 477435898 865214464 25842 4294967295 134512640 134569956 3221224416 3221214696 1131242645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25842 13073 16 0 211218 0 vsize: 844936 [startup+260.073 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 24622 54 0 0 25 0 11 0 477435898 865214464 25920 4294967295 134512640 134569956 3221224416 3221214672 1131369637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25920 13073 16 0 211218 0 vsize: 844936 [startup+270.073 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23882 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 25591 55 0 0 25 0 11 0 477435898 865214464 25965 4294967295 134512640 134569956 3221224416 3221214488 1131308286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25965 13073 16 0 211218 0 vsize: 844936 [startup+280.073 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 26561 56 0 0 25 0 11 0 477435898 865214464 25981 4294967295 134512640 134569956 3221224416 3221214736 1131472133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 25981 13073 16 0 211218 0 vsize: 844936 [startup+290.075 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 27535 56 0 0 25 0 11 0 477435898 865214464 26094 4294967295 134512640 134569956 3221224416 3221214736 1131474120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 26094 13073 16 0 211218 0 vsize: 844936 [startup+300.075 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 28502 56 0 0 25 0 11 0 477435898 865214464 26125 4294967295 134512640 134569956 3221224416 3221214592 1131328911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26125 13073 16 0 211218 0 vsize: 844936 [startup+310.076 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 29479 56 0 0 25 0 11 0 477435898 865214464 26203 4294967295 134512640 134569956 3221224416 3221214840 1131330411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 26203 13073 16 0 211218 0 vsize: 844936 [startup+320.077 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 30462 56 0 0 24 0 11 0 477435898 865214464 26268 4294967295 134512640 134569956 3221224416 3221214736 1131472853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26268 13073 16 0 211218 0 vsize: 844936 [startup+330.077 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 31450 56 0 0 25 0 11 0 477435898 865214464 26282 4294967295 134512640 134569956 3221224416 3221214584 1131592165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26282 13073 16 0 211218 0 vsize: 844936 [startup+340.078 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 32439 56 0 0 25 0 11 0 477435898 865214464 26299 4294967295 134512640 134569956 3221224416 3221214584 1131592815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26299 13073 16 0 211218 0 vsize: 844936 [startup+350.079 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 33422 57 0 0 25 0 11 0 477435898 865214464 26332 4294967295 134512640 134569956 3221224416 3221214660 1080204314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26332 13073 16 0 211218 0 vsize: 844936 [startup+360.079 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 34405 57 0 0 25 0 11 0 477435898 865214464 26342 4294967295 134512640 134569956 3221224416 3221214676 1080203717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26342 13073 16 0 211218 0 vsize: 844936 [startup+370.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 35390 57 0 0 25 0 11 0 477435898 865214464 26356 4294967295 134512640 134569956 3221224416 3221214520 1131427984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26356 13073 16 0 211218 0 vsize: 844936 [startup+380.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 36375 57 0 0 25 0 11 0 477435898 865214464 26437 4294967295 134512640 134569956 3221224416 3221214696 1131242241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26437 13073 16 0 211218 0 vsize: 844936 [startup+390.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 37353 57 0 0 25 0 11 0 477435898 865214464 26467 4294967295 134512640 134569956 3221224416 3221214640 1131404324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26467 13073 16 0 211218 0 vsize: 844936 [startup+400.082 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 38327 57 0 0 25 0 11 0 477435898 865214464 26467 4294967295 134512640 134569956 3221224416 3221214584 1131592807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26467 13073 16 0 211218 0 vsize: 844936 [startup+410.081 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 39294 57 0 0 25 0 11 0 477435898 865214464 26500 4294967295 134512640 134569956 3221224416 3221214376 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26500 13073 16 0 211218 0 vsize: 844936 [startup+420.082 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 40268 57 0 0 25 0 11 0 477435898 865214464 26535 4294967295 134512640 134569956 3221224416 3221214584 1131308653 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26535 13073 16 0 211218 0 vsize: 844936 [startup+430.082 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 41244 57 0 0 24 0 11 0 477435898 865214464 26670 4294967295 134512640 134569956 3221224416 3221214696 1131242252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26670 13073 16 0 211218 0 vsize: 844936 [startup+440.083 s] Raw data (loadavg): 1.08 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 42220 58 0 0 25 0 11 0 477435898 865214464 26728 4294967295 134512640 134569956 3221224416 3221214736 1131470081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26728 13073 16 0 211218 0 vsize: 844936 [startup+450.084 s] Raw data (loadavg): 1.07 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 43195 58 0 0 25 0 11 0 477435898 865214464 26806 4294967295 134512640 134569956 3221224416 3221214888 1131537173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26806 13073 16 0 211218 0 vsize: 844936 [startup+460.085 s] Raw data (loadavg): 1.06 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 44177 58 0 0 25 0 11 0 477435898 865214464 26866 4294967295 134512640 134569956 3221224416 3221214520 1131429488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26866 13073 16 0 211218 0 vsize: 844936 [startup+470.085 s] Raw data (loadavg): 1.05 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 45162 58 0 0 25 0 11 0 477435898 865214464 26893 4294967295 134512640 134569956 3221224416 3221214560 1131457139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26893 13073 16 0 211218 0 vsize: 844936 [startup+480.085 s] Raw data (loadavg): 1.04 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 46146 58 0 0 25 0 11 0 477435898 865214464 26927 4294967295 134512640 134569956 3221224416 3221214520 1131429352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26927 13073 16 0 211218 0 vsize: 844936 [startup+490.086 s] Raw data (loadavg): 1.03 1.02 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 47135 58 0 0 25 0 11 0 477435898 865214464 26975 4294967295 134512640 134569956 3221224416 3221214472 1131599782 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26975 13073 16 0 211218 0 vsize: 844936 [startup+500.087 s] Raw data (loadavg): 1.03 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 48125 58 0 0 25 0 11 0 477435898 865214464 26975 4294967295 134512640 134569956 3221224416 3221214468 1131602624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 26975 13073 16 0 211218 0 vsize: 844936 [startup+510.088 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 49116 58 0 0 25 0 11 0 477435898 865214464 27010 4294967295 134512640 134569956 3221224416 3221214440 1131616849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27010 13073 16 0 211218 0 vsize: 844936 [startup+520.088 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 50111 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214640 1131407388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27063 13073 16 0 211218 0 vsize: 844936 [startup+530.089 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 51107 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214584 1131308343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27063 13073 16 0 211218 0 vsize: 844936 [startup+540.089 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 52104 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214584 1131308539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27063 13073 16 0 211218 0 vsize: 844936 [startup+550.09 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 53101 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214688 1131633096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27063 13073 16 0 211218 0 vsize: 844936 [startup+560.091 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 54092 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214696 1131242457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27088 13073 16 0 211218 0 vsize: 844936 [startup+570.091 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 23884 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 55076 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214488 1131609596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27088 13073 16 0 211218 0 vsize: 844936 [startup+580.092 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 56057 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214496 1079721536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27088 13073 16 0 211218 0 vsize: 844936 [startup+590.092 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 57039 58 0 0 25 0 11 0 477435898 865214464 27089 4294967295 134512640 134569956 3221224416 3221214584 1131308524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27089 13073 16 0 211218 0 vsize: 844936 [startup+600.093 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 58023 58 0 0 25 0 11 0 477435898 865214464 27115 4294967295 134512640 134569956 3221224416 3221214736 1131472853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27115 13073 16 0 211218 0 vsize: 844936 [startup+610.093 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 59010 59 0 0 25 0 11 0 477435898 865214464 27265 4294967295 134512640 134569956 3221224416 3221214520 1131427775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27265 13073 16 0 211218 0 vsize: 844936 [startup+620.094 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 60002 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214584 1131308702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27285 13073 16 0 211218 0 vsize: 844936 [startup+630.095 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 60996 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214416 1080216994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27285 13073 16 0 211218 0 vsize: 844936 [startup+640.096 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 61984 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214520 1131429485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27285 13073 16 0 211218 0 vsize: 844936 [startup+650.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 62975 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214640 1131404962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27302 13073 16 0 211218 0 vsize: 844936 [startup+660.097 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 63966 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214516 1131621850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27302 13073 16 0 211218 0 vsize: 844936 [startup+670.098 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 64958 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27302 13073 16 0 211218 0 vsize: 844936 [startup+680.099 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 65945 59 0 0 25 0 11 0 477435898 865214464 27373 4294967295 134512640 134569956 3221224416 3221214640 1131404385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27373 13073 16 0 211218 0 vsize: 844936 [startup+690.099 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 66932 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214520 1131428599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27375 13073 16 0 211218 0 vsize: 844936 [startup+700.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 67919 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214584 1131402099 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27375 13073 16 0 211218 0 vsize: 844936 [startup+710.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 68904 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214496 1131621830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27375 13073 16 0 211218 0 vsize: 844936 [startup+720.101 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 69890 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214312 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27375 13073 16 0 211218 0 vsize: 844936 [startup+730.101 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 70876 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214640 1131405081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27375 13073 16 0 211218 0 vsize: 844936 [startup+740.102 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 71863 59 0 0 25 0 11 0 477435898 865214464 27490 4294967295 134512640 134569956 3221224416 3221214312 1080217237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27490 13073 16 0 211218 0 vsize: 844936 [startup+750.102 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 72854 59 0 0 24 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+760.103 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 73852 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+770.104 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 74849 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214560 1131457663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+780.104 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 75845 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214424 1131615210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+790.105 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 76843 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131617022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+800.106 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 77839 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214312 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+810.106 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 78836 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+820.106 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 79833 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131426633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+830.107 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 80831 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214468 1079721525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+840.108 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 81827 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131617122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+850.108 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 82824 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214472 1131629965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+860.109 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 83821 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+870.109 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23886 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 84817 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+880.11 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 85814 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131616868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+890.111 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 86808 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131427668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+900.111 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 87800 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214344 1080216959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+910.111 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 88794 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131429282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+920.112 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 89787 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214344 1080217027 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+930.113 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 90781 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214512 1131619614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+940.114 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 91776 61 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214560 1131429481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27660 13073 16 0 211218 0 vsize: 844936 [startup+950.115 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 92773 61 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214516 1131616492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27699 13073 16 0 211218 0 vsize: 844936 [startup+960.114 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 93764 61 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214584 1131401774 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27699 13073 16 0 211218 0 vsize: 844936 [startup+970.115 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 94754 62 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214696 1131242510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27699 13073 16 0 211218 0 vsize: 844936 [startup+980.117 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 95744 62 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214736 1131469218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27699 13073 16 0 211218 0 vsize: 844936 [startup+990.117 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 96730 62 0 0 25 0 11 0 477435898 865214464 27700 4294967295 134512640 134569956 3221224416 3221214732 1131514924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27700 13073 16 0 211218 0 vsize: 844936 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 97717 62 0 0 25 0 11 0 477435898 865214464 27735 4294967295 134512640 134569956 3221224416 3221214560 1131457664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27735 13073 16 0 211218 0 vsize: 844936 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 98707 62 0 0 25 0 11 0 477435898 865214464 27735 4294967295 134512640 134569956 3221224416 3221214584 1131591542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27735 13073 16 0 211218 0 vsize: 844936 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 99696 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214496 1131621796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27810 13073 16 0 211218 0 vsize: 844936 [startup+1030.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 100687 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214344 1080217015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27810 13073 16 0 211218 0 vsize: 844936 [startup+1040.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 101678 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214420 1080217099 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27810 13073 16 0 211218 0 vsize: 844936 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 102668 64 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214400 1131615309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27810 13073 16 0 211218 0 vsize: 844936 [startup+1060.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 103651 64 0 0 24 0 11 0 477435898 865214464 27839 4294967295 134512640 134569956 3221224416 3221214696 1131243268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27839 13073 16 0 211218 0 vsize: 844936 [startup+1070.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 104634 64 0 0 24 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214516 1131395571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27868 13073 16 0 211218 0 vsize: 844936 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 105621 65 0 0 25 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214584 1131591157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211234 27868 13073 16 0 211218 0 vsize: 844936 [startup+1090.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 106607 65 0 0 25 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214696 1131243206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 27868 13073 16 0 211218 0 vsize: 844936 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 107588 65 0 0 25 0 11 0 477435898 865214464 28027 4294967295 134512640 134569956 3221224416 3221214672 1131369468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28027 13073 16 0 211218 0 vsize: 844936 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 108575 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214416 1080216962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28028 13073 16 0 211218 0 vsize: 844936 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 109562 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214628 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28028 13073 16 0 211218 0 vsize: 844936 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 110550 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214584 1131402111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28028 13073 16 0 211218 0 vsize: 844936 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) S 23868 22929 22928 0 -1 0 18069 3 1 0 111537 67 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28028 13073 16 0 211218 0 vsize: 844936 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 112524 67 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214584 1131401934 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28028 13073 16 0 211218 0 vsize: 844936 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 113514 67 0 0 25 0 11 0 477435898 865214464 28105 4294967295 134512640 134569956 3221224416 3221214520 1131427389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28105 13073 16 0 211218 0 vsize: 844936 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23888 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 114506 68 0 0 25 0 11 0 477435898 865214464 28181 4294967295 134512640 134569956 3221224416 3221214136 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28181 13073 16 0 211218 0 vsize: 844936 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 115498 68 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214200 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 116493 69 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214352 1080217364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 117490 69 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214376 1080216969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 [startup+1210.14 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 118486 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214344 1080217015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 119482 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214376 1080217037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 [startup+1230.14 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 23890 Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 120478 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214496 1131621806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211234 28275 13073 16 0 211218 0 vsize: 844936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.24 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 23892 Raw data (stat): 23869 (java) Z 23868 22929 22928 0 -1 1036 18069 16218 1 0 120483 76 3451 45 25 0 1 0 477435898 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): 1230.24 CPU time (s): 1240.57 CPU user time (s): 1239.35 CPU system time (s): 1.21581 CPU usage (%): 100.839 Max. virtual memory (Kb): 845564 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####