Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb |
MD5SUM | 4a690348e685ba516d0f6942be0bf113 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 779 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4317 |
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 | 4317 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4317 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 4316 |
Total number of constraints | 11912 |
Number of constraints which are clauses | 11912 |
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 | 1 |
Maximum length of a constraint | 160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-13 15:54:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=558 boxname=wulflinc25 idbench=62 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4a690348e685ba516d0f6942be0bf113 /oldhome/oroussel/tmp/wulflinc25/normalized-apex4.a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-apex4.a.opb IDLAUNCH: 558 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 914140 kB Buffers: 30908 kB Cached: 55008 kB SwapCached: 36 kB Active: 37052 kB Inactive: 51724 kB HighTotal: 131008 kB HighFree: 71792 kB LowTotal: 903652 kB LowFree: 842348 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6920 kB Slab: 26136 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:15:23 (client local time) WITH STATUS 143 IN SECONDS stats: 558 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc25/normalized-apex4.a.opb c reading problem c [nbvar=4317] c [nbconstr=11912] c time 12.376 c #vars 4317 c #clauses 11912 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=799 c Current CPU time (ms) : 14.535 c starts : 1 c conflicts : 7 c decisions : 3107 c propagations : 4365 c inspects : 14172 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 1 c learned clauses : 7 c root simplifications : 1 #### 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): 1.08 0.39 0.14 2/54 28245 Raw data (stat): 28245 (runsolver) R 28244 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477194855 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.0011 s] Raw data (loadavg): 1.07 0.41 0.15 4/63 28254 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 17984 0 1 0 815 45 0 0 25 0 10 0 477194855 856256512 19704 4294967295 134512640 134569956 3221224416 3221214384 1131213097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209047 19704 13073 16 0 209031 0 vsize: 836188 [startup+20.0018 s] Raw data (loadavg): 1.06 0.43 0.15 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18054 3 1 0 1655 46 0 0 25 0 11 0 477194855 857030656 21505 4294967295 134512640 134569956 3221224416 3221214640 1131315017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209236 21505 13073 16 0 209220 0 vsize: 836944 [startup+30.0023 s] Raw data (loadavg): 1.28 0.50 0.18 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 2499 46 0 0 25 0 11 0 477194855 863961088 23438 4294967295 134512640 134569956 3221224416 3221214688 1131541897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 23438 13073 16 0 210912 0 vsize: 843712 [startup+40.003 s] Raw data (loadavg): 1.23 0.51 0.19 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 3447 46 0 0 25 0 11 0 477194855 863961088 24073 4294967295 134512640 134569956 3221224416 3221214600 1131471088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24073 13073 16 0 210912 0 vsize: 843712 [startup+50.0035 s] Raw data (loadavg): 1.20 0.53 0.20 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 4385 46 0 0 25 0 11 0 477194855 863961088 24120 4294967295 134512640 134569956 3221224416 3221214688 1131537455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24120 13073 16 0 210912 0 vsize: 843712 [startup+60.0038 s] Raw data (loadavg): 1.17 0.54 0.20 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 5327 47 0 0 25 0 11 0 477194855 863961088 24238 4294967295 134512640 134569956 3221224416 3221214688 1131544264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24238 13073 16 0 210912 0 vsize: 843712 [startup+70.0049 s] Raw data (loadavg): 1.14 0.56 0.21 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 6269 47 0 0 25 0 11 0 477194855 863961088 24311 4294967295 134512640 134569956 3221224416 3221214688 1131540742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24311 13073 16 0 210912 0 vsize: 843712 [startup+80.0063 s] Raw data (loadavg): 1.12 0.57 0.22 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 7209 47 0 0 25 0 11 0 477194855 863961088 24468 4294967295 134512640 134569956 3221224416 3221214600 1131470186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 24468 13073 16 0 210912 0 vsize: 843712 [startup+90.01 s] Raw data (loadavg): 1.10 0.59 0.23 2/64 28256 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18064 3 1 0 8146 47 0 0 25 0 11 0 477194855 863961088 24649 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24649 13073 16 0 210912 0 vsize: 843712 [startup+100.011 s] Raw data (loadavg): 1.08 0.60 0.23 2/64 28256 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18064 3 1 0 9086 47 0 0 25 0 11 0 477194855 863961088 24809 4294967295 134512640 134569956 3221224416 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24809 13073 16 0 210912 0 vsize: 843712 [startup+110.011 s] Raw data (loadavg): 1.07 0.61 0.24 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 10026 47 0 0 25 0 11 0 477194855 863961088 24972 4294967295 134512640 134569956 3221224416 3221214608 1131461367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 24972 13073 16 0 210912 0 vsize: 843712 [startup+120.011 s] Raw data (loadavg): 1.06 0.62 0.25 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 10972 47 0 0 24 0 11 0 477194855 863961088 25173 4294967295 134512640 134569956 3221224416 3221214688 1131541829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25173 13073 16 0 210912 0 vsize: 843712 [startup+130.012 s] Raw data (loadavg): 1.05 0.64 0.26 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 11927 47 0 0 25 0 11 0 477194855 863961088 25269 4294967295 134512640 134569956 3221224416 3221214328 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25269 13073 16 0 210912 0 vsize: 843712 [startup+140.013 s] Raw data (loadavg): 1.04 0.65 0.27 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 12888 47 0 0 25 0 11 0 477194855 863961088 25398 4294967295 134512640 134569956 3221224416 3221214520 1131505122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25398 13073 16 0 210912 0 vsize: 843712 [startup+150.014 s] Raw data (loadavg): 1.04 0.66 0.27 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 13841 47 0 0 24 0 11 0 477194855 863961088 25497 4294967295 134512640 134569956 3221224416 3221214352 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25497 13073 16 0 210912 0 vsize: 843712 [startup+160.014 s] Raw data (loadavg): 1.03 0.67 0.28 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 14787 47 0 0 25 0 11 0 477194855 863961088 25568 4294967295 134512640 134569956 3221224416 3221214600 1131470492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25568 13073 16 0 210912 0 vsize: 843712 [startup+170.017 s] Raw data (loadavg): 1.02 0.68 0.29 2/64 28256 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18064 3 1 0 15713 47 0 0 25 0 11 0 477194855 863961088 25714 4294967295 134512640 134569956 3221224416 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25714 13073 16 0 210912 0 vsize: 843712 [startup+180.018 s] Raw data (loadavg): 1.02 0.69 0.29 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 16640 47 0 0 25 0 11 0 477194855 863961088 25795 4294967295 134512640 134569956 3221224416 3221214600 1131471103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 25795 13073 16 0 210912 0 vsize: 843712 [startup+190.019 s] Raw data (loadavg): 1.02 0.70 0.30 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 17564 47 0 0 25 0 11 0 477194855 863961088 26131 4294967295 134512640 134569956 3221224416 3221214640 1131529799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26131 13073 16 0 210912 0 vsize: 843712 [startup+200.018 s] Raw data (loadavg): 1.01 0.71 0.31 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 18508 47 0 0 25 0 11 0 477194855 863961088 26315 4294967295 134512640 134569956 3221224416 3221214736 1131242976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26315 13073 16 0 210912 0 vsize: 843712 [startup+210.019 s] Raw data (loadavg): 1.01 0.72 0.31 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 19468 47 0 0 25 0 11 0 477194855 863961088 26454 4294967295 134512640 134569956 3221224416 3221214688 1131540402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26454 13073 16 0 210912 0 vsize: 843712 [startup+220.02 s] Raw data (loadavg): 1.01 0.73 0.32 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 20433 47 0 0 25 0 11 0 477194855 863961088 26524 4294967295 134512640 134569956 3221224416 3221214600 1131469839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26524 13073 16 0 210912 0 vsize: 843712 [startup+230.02 s] Raw data (loadavg): 1.01 0.74 0.33 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 21388 47 0 0 25 0 11 0 477194855 863961088 26609 4294967295 134512640 134569956 3221224416 3221214680 1131421221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26609 13073 16 0 210912 0 vsize: 843712 [startup+240.02 s] Raw data (loadavg): 1.01 0.74 0.34 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 22337 48 0 0 20 0 11 0 477194855 863961088 26623 4294967295 134512640 134569956 3221224416 3221214676 1080204267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26623 13073 16 0 210912 0 vsize: 843712 [startup+250.02 s] Raw data (loadavg): 1.00 0.75 0.34 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 23284 48 0 0 25 0 11 0 477194855 863961088 26816 4294967295 134512640 134569956 3221224416 3221214544 1131463086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26816 13073 16 0 210912 0 vsize: 843712 [startup+260.024 s] Raw data (loadavg): 1.00 0.76 0.35 2/64 28256 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18064 3 1 0 24231 48 0 0 25 0 11 0 477194855 863961088 26898 4294967295 134512640 134569956 3221224416 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 26898 13073 16 0 210912 0 vsize: 843712 [startup+270.025 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 25167 48 0 0 25 0 11 0 477194855 863961088 27035 4294967295 134512640 134569956 3221224416 3221214624 1131421052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27035 13073 16 0 210912 0 vsize: 843712 [startup+280.025 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 26089 48 0 0 24 0 11 0 477194855 863961088 27173 4294967295 134512640 134569956 3221224416 3221214480 1131484337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27173 13073 16 0 210912 0 vsize: 843712 [startup+290.026 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 27012 48 0 0 25 0 11 0 477194855 863961088 27376 4294967295 134512640 134569956 3221224416 3221214744 1131408682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27376 13073 16 0 210912 0 vsize: 843712 [startup+300.026 s] Raw data (loadavg): 1.00 0.79 0.37 2/64 28256 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18064 3 1 0 27927 48 0 0 25 0 11 0 477194855 863961088 27534 4294967295 134512640 134569956 3221224416 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27534 13073 16 0 210912 0 vsize: 843712 [startup+310.026 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 28842 48 0 0 24 0 11 0 477194855 863961088 27779 4294967295 134512640 134569956 3221224416 3221214888 1131605581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27779 13073 16 0 210912 0 vsize: 843712 [startup+320.026 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 29778 49 0 0 25 0 11 0 477194855 863961088 27953 4294967295 134512640 134569956 3221224416 3221214704 1131309495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 27953 13073 16 0 210912 0 vsize: 843712 [startup+330.028 s] Raw data (loadavg): 1.00 0.81 0.39 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 30719 49 0 0 25 0 11 0 477194855 863961088 28234 4294967295 134512640 134569956 3221224416 3221214048 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28234 13073 16 0 210912 0 vsize: 843712 [startup+340.029 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 31659 49 0 0 25 0 11 0 477194855 863961088 28301 4294967295 134512640 134569956 3221224416 3221214612 1080203670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28301 13073 16 0 210912 0 vsize: 843712 [startup+350.028 s] Raw data (loadavg): 1.00 0.82 0.40 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 32594 49 0 0 25 0 11 0 477194855 863961088 28448 4294967295 134512640 134569956 3221224416 3221214480 1131484533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28448 13073 16 0 210912 0 vsize: 843712 [startup+360.028 s] Raw data (loadavg): 1.00 0.82 0.41 2/64 28256 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 33513 49 0 0 25 0 11 0 477194855 863961088 28580 4294967295 134512640 134569956 3221224416 3221214624 1131421063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 28580 13073 16 0 210912 0 vsize: 843712 [startup+370.028 s] Raw data (loadavg): 1.08 0.85 0.42 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 34428 56 0 0 25 0 11 0 477194855 863961088 28713 4294967295 134512640 134569956 3221224416 3221214504 1131309495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28713 13073 16 0 210912 0 vsize: 843712 [startup+380.029 s] Raw data (loadavg): 1.07 0.85 0.43 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18064 3 1 0 35361 56 0 0 25 0 11 0 477194855 863961088 28913 4294967295 134512640 134569956 3221224416 3221214600 1131386713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 28913 13073 16 0 210912 0 vsize: 843712 [startup+390.03 s] Raw data (loadavg): 1.06 0.85 0.43 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 36325 56 0 0 25 0 11 0 477194855 863961088 29045 4294967295 134512640 134569956 3221224416 3221214504 1131309402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29045 13073 16 0 210912 0 vsize: 843712 [startup+400.03 s] Raw data (loadavg): 1.05 0.86 0.44 2/64 28309 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 37291 56 0 0 25 0 11 0 477194855 863961088 29110 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29110 13073 16 0 210912 0 vsize: 843712 [startup+410.031 s] Raw data (loadavg): 1.04 0.86 0.44 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 38251 57 0 0 25 0 11 0 477194855 863961088 29253 4294967295 134512640 134569956 3221224416 3221214688 1131537459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29253 13073 16 0 210912 0 vsize: 843712 [startup+420.031 s] Raw data (loadavg): 1.03 0.87 0.45 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 39205 57 0 0 25 0 11 0 477194855 863961088 29295 4294967295 134512640 134569956 3221224416 3221214600 1131469091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29295 13073 16 0 210912 0 vsize: 843712 [startup+430.032 s] Raw data (loadavg): 1.03 0.87 0.46 2/64 28309 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 40143 57 0 0 25 0 11 0 477194855 863961088 29383 4294967295 134512640 134569956 3221224416 3221214648 1131458656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29383 13073 16 0 210912 0 vsize: 843712 [startup+440.033 s] Raw data (loadavg): 1.02 0.87 0.46 2/64 28309 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 41083 58 0 0 25 0 11 0 477194855 863961088 29447 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29447 13073 16 0 210912 0 vsize: 843712 [startup+450.032 s] Raw data (loadavg): 1.02 0.88 0.47 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 42016 58 0 0 25 0 11 0 477194855 863961088 29641 4294967295 134512640 134569956 3221224416 3221214600 1131470464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29641 13073 16 0 210912 0 vsize: 843712 [startup+460.032 s] Raw data (loadavg): 1.02 0.88 0.47 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 42947 59 0 0 25 0 11 0 477194855 863961088 29770 4294967295 134512640 134569956 3221224416 3221214684 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29770 13073 16 0 210912 0 vsize: 843712 [startup+470.033 s] Raw data (loadavg): 1.01 0.89 0.48 2/64 28311 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 43881 59 0 0 25 0 11 0 477194855 863961088 29853 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 29853 13073 16 0 210912 0 vsize: 843712 [startup+480.034 s] Raw data (loadavg): 1.01 0.89 0.48 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 44816 59 0 0 25 0 11 0 477194855 863961088 30045 4294967295 134512640 134569956 3221224416 3221214876 1080204306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30045 13073 16 0 210912 0 vsize: 843712 [startup+490.034 s] Raw data (loadavg): 1.01 0.89 0.49 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 45743 60 0 0 25 0 11 0 477194855 863961088 30174 4294967295 134512640 134569956 3221224416 3221214544 1131463242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30174 13073 16 0 210912 0 vsize: 843712 [startup+500.034 s] Raw data (loadavg): 1.01 0.89 0.49 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 46663 60 0 0 25 0 11 0 477194855 863961088 30303 4294967295 134512640 134569956 3221224416 3221214596 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30303 13073 16 0 210912 0 vsize: 843712 [startup+510.035 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 47604 60 0 0 25 0 11 0 477194855 863961088 30457 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 30457 13073 16 0 210912 0 vsize: 843712 [startup+520.035 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 48567 60 0 0 25 0 11 0 477194855 863961088 30651 4294967295 134512640 134569956 3221224416 3221214792 1131433112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 30651 13073 16 0 210912 0 vsize: 843712 [startup+530.036 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 49511 60 0 0 25 0 11 0 477194855 863961088 30651 4294967295 134512640 134569956 3221224416 3221214792 1131432985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30651 13073 16 0 210912 0 vsize: 843712 [startup+540.036 s] Raw data (loadavg): 1.00 0.91 0.51 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 50454 61 0 0 25 0 11 0 477194855 863961088 30651 4294967295 134512640 134569956 3221224416 3221214640 1131315105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30651 13073 16 0 210912 0 vsize: 843712 [startup+550.035 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 51388 61 0 0 25 0 11 0 477194855 863961088 30767 4294967295 134512640 134569956 3221224416 3221214792 1131432831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 30767 13073 16 0 210912 0 vsize: 843712 [startup+560.035 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 28311 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 52327 61 0 0 25 0 11 0 477194855 863961088 31015 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31015 13073 16 0 210912 0 vsize: 843712 [startup+570.036 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 53282 61 0 0 25 0 11 0 477194855 863961088 31496 4294967295 134512640 134569956 3221224416 3221214688 1131251784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31496 13073 16 0 210912 0 vsize: 843712 [startup+580.036 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 54268 62 0 0 25 0 11 0 477194855 863961088 31527 4294967295 134512640 134569956 3221224416 3221214640 1131315190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31527 13073 16 0 210912 0 vsize: 843712 [startup+590.036 s] Raw data (loadavg): 1.00 0.92 0.53 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 55255 62 0 0 25 0 11 0 477194855 863961088 31548 4294967295 134512640 134569956 3221224416 3221214792 1131432819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31548 13073 16 0 210912 0 vsize: 843712 [startup+600.037 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 56242 62 0 0 25 0 11 0 477194855 863961088 31561 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31561 13073 16 0 210912 0 vsize: 843712 [startup+610.037 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 57228 63 0 0 25 0 11 0 477194855 863961088 31574 4294967295 134512640 134569956 3221224416 3221214640 1131315105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31574 13073 16 0 210912 0 vsize: 843712 [startup+620.037 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 58216 63 0 0 25 0 11 0 477194855 863961088 31583 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31583 13073 16 0 210912 0 vsize: 843712 [startup+630.038 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 28311 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 59202 63 0 0 25 0 11 0 477194855 863961088 31593 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31593 13073 16 0 210912 0 vsize: 843712 [startup+640.038 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 60191 63 0 0 25 0 11 0 477194855 863961088 31613 4294967295 134512640 134569956 3221224416 3221214792 1131432985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31613 13073 16 0 210912 0 vsize: 843712 [startup+650.038 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 61181 64 0 0 25 0 11 0 477194855 863961088 31623 4294967295 134512640 134569956 3221224416 3221214640 1131315317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31623 13073 16 0 210912 0 vsize: 843712 [startup+660.038 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 62171 64 0 0 25 0 11 0 477194855 863961088 31634 4294967295 134512640 134569956 3221224416 3221214640 1131315140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31634 13073 16 0 210912 0 vsize: 843712 [startup+670.039 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 63126 64 0 0 24 0 11 0 477194855 863961088 31643 4294967295 134512640 134569956 3221224416 3221214688 1131544264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 31643 13073 16 0 210912 0 vsize: 843712 [startup+680.039 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 64018 65 0 0 25 0 11 0 477194855 863961088 32567 4294967295 134512640 134569956 3221224416 3221214792 1131433082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 32567 13073 16 0 210912 0 vsize: 843712 [startup+690.047 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 64889 66 0 0 24 0 11 0 477194855 863961088 33394 4294967295 134512640 134569956 3221224416 3221214760 1131517347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 33394 13073 16 0 210912 0 vsize: 843712 [startup+700.047 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 65779 66 0 0 25 0 11 0 477194855 863961088 33843 4294967295 134512640 134569956 3221224416 3221214624 1131421434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210928 33843 13073 16 0 210912 0 vsize: 843712 [startup+710.047 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 28311 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 66656 66 0 0 25 0 11 0 477194855 863961088 34210 4294967295 134512640 134569956 3221224416 3221214688 1131538224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34210 13073 16 0 210912 0 vsize: 843712 [startup+720.048 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 67543 67 0 0 25 0 11 0 477194855 863961088 34746 4294967295 134512640 134569956 3221224416 3221214520 1131505155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 34746 13073 16 0 210912 0 vsize: 843712 [startup+730.048 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 68419 67 0 0 25 0 11 0 477194855 863961088 35154 4294967295 134512640 134569956 3221224416 3221214480 1131484451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35154 13073 16 0 210912 0 vsize: 843712 [startup+740.048 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 69302 67 0 0 25 0 11 0 477194855 863961088 35557 4294967295 134512640 134569956 3221224416 3221214688 1131540282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35557 13073 16 0 210912 0 vsize: 843712 [startup+750.048 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 70182 68 0 0 25 0 11 0 477194855 863961088 35951 4294967295 134512640 134569956 3221224416 3221214600 1131472607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 35951 13073 16 0 210912 0 vsize: 843712 [startup+760.049 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 71064 68 0 0 24 0 11 0 477194855 863961088 36282 4294967295 134512640 134569956 3221224416 3221214688 1131539810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 36282 13073 16 0 210912 0 vsize: 843712 [startup+770.049 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 71944 68 0 0 25 0 11 0 477194855 863961088 37410 4294967295 134512640 134569956 3221224416 3221214688 1131538085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 37410 13073 16 0 210912 0 vsize: 843712 [startup+780.049 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 72835 69 0 0 25 0 11 0 477194855 863961088 38299 4294967295 134512640 134569956 3221224416 3221214272 1131281558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38299 13073 16 0 210912 0 vsize: 843712 [startup+790.05 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 73732 69 0 0 25 0 11 0 477194855 863961088 38561 4294967295 134512640 134569956 3221224416 3221214744 1131408656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38561 13073 16 0 210912 0 vsize: 843712 [startup+800.05 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 74615 69 0 0 25 0 11 0 477194855 863961088 38833 4294967295 134512640 134569956 3221224416 3221214480 1131484261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 38833 13073 16 0 210912 0 vsize: 843712 [startup+810.051 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 28313 Raw data (stat): 28245 (java) S 28244 28099 28098 0 -1 0 18065 3 1 0 75497 70 0 0 25 0 11 0 477194855 863961088 39037 4294967295 134512640 134569956 3221224416 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 39037 13073 16 0 210912 0 vsize: 843712 [startup+820.051 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 76376 71 0 0 24 0 11 0 477194855 863961088 39435 4294967295 134512640 134569956 3221224416 3221214600 1131470240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 39435 13073 16 0 210912 0 vsize: 843712 [startup+830.052 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 77272 71 0 0 25 0 11 0 477194855 863961088 39632 4294967295 134512640 134569956 3221224416 3221214736 1131242976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 39632 13073 16 0 210912 0 vsize: 843712 [startup+840.053 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 78201 71 0 0 25 0 11 0 477194855 863961088 39830 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 39830 13073 16 0 210912 0 vsize: 843712 [startup+850.053 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 79154 72 0 0 25 0 11 0 477194855 863961088 39925 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 39925 13073 16 0 210912 0 vsize: 843712 [startup+860.053 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 80092 72 0 0 25 0 11 0 477194855 863961088 40172 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40172 13073 16 0 210912 0 vsize: 843712 [startup+870.053 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 81044 72 0 0 25 0 11 0 477194855 863961088 40313 4294967295 134512640 134569956 3221224416 3221214792 1131433135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40313 13073 16 0 210912 0 vsize: 843712 [startup+880.054 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 82000 73 0 0 25 0 11 0 477194855 863961088 40499 4294967295 134512640 134569956 3221224416 3221214728 1131279694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40499 13073 16 0 210912 0 vsize: 843712 [startup+890.054 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 82970 73 0 0 25 0 11 0 477194855 863961088 40649 4294967295 134512640 134569956 3221224416 3221214640 1131315359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40649 13073 16 0 210912 0 vsize: 843712 [startup+900.053 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 83957 73 0 0 25 0 11 0 477194855 863961088 40720 4294967295 134512640 134569956 3221224416 3221214792 1131435005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40720 13073 16 0 210912 0 vsize: 843712 [startup+910.054 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 84944 73 0 0 25 0 11 0 477194855 863961088 40728 4294967295 134512640 134569956 3221224416 3221214792 1131432996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40728 13073 16 0 210912 0 vsize: 843712 [startup+920.054 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 85932 74 0 0 25 0 11 0 477194855 863961088 40735 4294967295 134512640 134569956 3221224416 3221214792 1131433053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40735 13073 16 0 210912 0 vsize: 843712 [startup+930.054 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 86919 74 0 0 25 0 11 0 477194855 863961088 40745 4294967295 134512640 134569956 3221224416 3221214792 1131433053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40745 13073 16 0 210912 0 vsize: 843712 [startup+940.054 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 87906 74 0 0 25 0 11 0 477194855 863961088 40755 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40755 13073 16 0 210912 0 vsize: 843712 [startup+950.054 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 88896 74 0 0 25 0 11 0 477194855 863961088 40766 4294967295 134512640 134569956 3221224416 3221214792 1131432992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40766 13073 16 0 210912 0 vsize: 843712 [startup+960.055 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 89886 75 0 0 25 0 11 0 477194855 863961088 40774 4294967295 134512640 134569956 3221224416 3221214736 1131242976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40774 13073 16 0 210912 0 vsize: 843712 [startup+970.055 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 90875 75 0 0 25 0 11 0 477194855 863961088 40780 4294967295 134512640 134569956 3221224416 3221214792 1131433813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40780 13073 16 0 210912 0 vsize: 843712 [startup+980.056 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 91865 75 0 0 24 0 11 0 477194855 863961088 40787 4294967295 134512640 134569956 3221224416 3221214640 1131315147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40787 13073 16 0 210912 0 vsize: 843712 [startup+990.057 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 92856 76 0 0 25 0 11 0 477194855 863961088 40791 4294967295 134512640 134569956 3221224416 3221214728 1131279711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40791 13073 16 0 210912 0 vsize: 843712 [startup+1000.06 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 93847 76 0 0 25 0 11 0 477194855 863961088 40798 4294967295 134512640 134569956 3221224416 3221214688 1131251784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40798 13073 16 0 210912 0 vsize: 843712 [startup+1010.06 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 94838 76 0 0 25 0 11 0 477194855 863961088 40804 4294967295 134512640 134569956 3221224416 3221214640 1131315105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40804 13073 16 0 210912 0 vsize: 843712 [startup+1020.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 95830 76 0 0 25 0 11 0 477194855 863961088 40811 4294967295 134512640 134569956 3221224416 3221214640 1131315201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40811 13073 16 0 210912 0 vsize: 843712 [startup+1030.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 96821 77 0 0 25 0 11 0 477194855 863961088 40814 4294967295 134512640 134569956 3221224416 3221214736 1131242970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40814 13073 16 0 210912 0 vsize: 843712 [startup+1040.06 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 97813 77 0 0 25 0 11 0 477194855 863961088 40817 4294967295 134512640 134569956 3221224416 3221214640 1131315940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40817 13073 16 0 210912 0 vsize: 843712 [startup+1050.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 98804 78 0 0 25 0 11 0 477194855 863961088 40821 4294967295 134512640 134569956 3221224416 3221214728 1131279719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40821 13073 16 0 210912 0 vsize: 843712 [startup+1060.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 99796 78 0 0 25 0 11 0 477194855 863961088 40824 4294967295 134512640 134569956 3221224416 3221214792 1131433053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40824 13073 16 0 210912 0 vsize: 843712 [startup+1070.06 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 100789 78 0 0 25 0 11 0 477194855 863961088 40829 4294967295 134512640 134569956 3221224416 3221214792 1131433092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40829 13073 16 0 210912 0 vsize: 843712 [startup+1080.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 101781 79 0 0 25 0 11 0 477194855 863961088 40832 4294967295 134512640 134569956 3221224416 3221214640 1131315105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40832 13073 16 0 210912 0 vsize: 843712 [startup+1090.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 102773 79 0 0 25 0 11 0 477194855 863961088 40834 4294967295 134512640 134569956 3221224416 3221214736 1131242976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40834 13073 16 0 210912 0 vsize: 843712 [startup+1100.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 103764 79 0 0 25 0 11 0 477194855 863961088 40839 4294967295 134512640 134569956 3221224416 3221214640 1131315351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40839 13073 16 0 210912 0 vsize: 843712 [startup+1110.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 104751 80 0 0 25 0 11 0 477194855 863961088 40841 4294967295 134512640 134569956 3221224416 3221214736 1131242622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 40841 13073 16 0 210912 0 vsize: 843712 [startup+1120.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 105642 80 0 0 25 0 11 0 477194855 863961088 41991 4294967295 134512640 134569956 3221224416 3221214680 1080203665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 41991 13073 16 0 210912 0 vsize: 843712 [startup+1130.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 106525 80 0 0 25 0 11 0 477194855 863961088 43342 4294967295 134512640 134569956 3221224416 3221214688 1131541987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 43342 13073 16 0 210912 0 vsize: 843712 [startup+1140.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 107421 80 0 0 25 0 11 0 477194855 863961088 44403 4294967295 134512640 134569956 3221224416 3221214688 1131542521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44403 13073 16 0 210912 0 vsize: 843712 [startup+1150.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 108323 81 0 0 25 0 11 0 477194855 863961088 44795 4294967295 134512640 134569956 3221224416 3221214488 1131308421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44795 13073 16 0 210912 0 vsize: 843712 [startup+1160.06 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 109246 81 0 0 25 0 11 0 477194855 863961088 44795 4294967295 134512640 134569956 3221224416 3221214504 1131309617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44795 13073 16 0 210912 0 vsize: 843712 [startup+1170.07 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 110151 81 0 0 25 0 11 0 477194855 863961088 44896 4294967295 134512640 134569956 3221224416 3221214568 1131651124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 44896 13073 16 0 210912 0 vsize: 843712 [startup+1180.07 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 111068 82 0 0 25 0 11 0 477194855 863961088 45073 4294967295 134512640 134569956 3221224416 3221214600 1131386613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45073 13073 16 0 210912 0 vsize: 843712 [startup+1190.07 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 112002 82 0 0 25 0 11 0 477194855 863961088 45605 4294967295 134512640 134569956 3221224416 3221214600 1131469401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45605 13073 16 0 210912 0 vsize: 843712 [startup+1200.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 112909 82 0 0 25 0 11 0 477194855 863961088 45745 4294967295 134512640 134569956 3221224416 3221214744 1131408690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 45745 13073 16 0 210912 0 vsize: 843712 [startup+1210.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 113792 82 0 0 25 0 11 0 477194855 863961088 46358 4294967295 134512640 134569956 3221224416 3221214608 1131461333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46358 13073 16 0 210912 0 vsize: 843712 [startup+1220.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 114693 83 0 0 25 0 11 0 477194855 863961088 46696 4294967295 134512640 134569956 3221224416 3221214640 1131315023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46696 13073 16 0 210912 0 vsize: 843712 [startup+1230.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 115598 83 0 0 25 0 11 0 477194855 863961088 46696 4294967295 134512640 134569956 3221224416 3221214736 1131242976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46696 13073 16 0 210912 0 vsize: 843712 [startup+1240.07 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 116495 83 0 0 25 0 11 0 477194855 863961088 46885 4294967295 134512640 134569956 3221224416 3221214976 1131411178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 46885 13073 16 0 210912 0 vsize: 843712 [startup+1250.07 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 117435 84 0 0 25 0 11 0 477194855 863961088 47498 4294967295 134512640 134569956 3221224416 3221214328 1131658428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 47498 13073 16 0 210912 0 vsize: 843712 [startup+1260.07 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 118313 84 0 0 25 0 11 0 477194855 863961088 51926 4294967295 134512640 134569956 3221224416 3221214688 1131540453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 51926 13073 16 0 210912 0 vsize: 843712 [startup+1270.07 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 119211 84 0 0 25 0 11 0 477194855 863961088 53520 4294967295 134512640 134569956 3221224416 3221214352 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 53520 13073 16 0 210912 0 vsize: 843712 [startup+1280.07 s] Raw data (loadavg): 1.00 0.97 0.75 2/64 28313 Raw data (stat): 28245 (java) R 28244 28099 28098 0 -1 0 18065 3 1 0 120126 85 0 0 25 0 11 0 477194855 863961088 53520 4294967295 134512640 134569956 3221224416 3221214568 1131653510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 53520 13073 16 0 210912 0 vsize: 843712 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.55 s] Raw data (loadavg): 1.00 0.97 0.75 1/54 28315 Raw data (stat): 28245 (java) Z 28244 28099 28098 0 -1 1036 18065 41791 1 1 120161 95 8767 101 24 0 1 0 477194855 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1280.55 CPU time (s): 1291.26 CPU user time (s): 1289.29 CPU system time (s): 1.9687 CPU usage (%): 100.837 Max. virtual memory (Kb): 843712 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####