Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb |
MD5SUM | 69d239b72e8d1a72f9c55329043493e1 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 15.9626 |
Number of variables | 2280 |
Total number of constraints | 1636 |
Number of constraints which are clauses | 1558 |
Number of constraints which are cardinality constraints (but not clauses) | 78 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-13 15:53:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=468 boxname=wulflinc21 idbench=52 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 69d239b72e8d1a72f9c55329043493e1 /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb IDLAUNCH: 468 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 937664 kB Buffers: 24356 kB Cached: 52688 kB SwapCached: 0 kB Active: 31096 kB Inactive: 48800 kB HighTotal: 131008 kB HighFree: 74172 kB LowTotal: 903652 kB LowFree: 863492 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 48 kB Writeback: 0 kB Mapped: 6928 kB Slab: 11440 kB Committed_AS: 63788 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:14:56 (client local time) WITH STATUS 143 IN SECONDS stats: 468 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb c reading problem c [nbvar=2280] c [nbconstr=1636] c time 5.046 c #vars 2280 c #clauses 1636 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 #### 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.02 0.32 0.11 2/55 31073 Raw data (stat): 31073 (runsolver) R 31072 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 354445800 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0027 s] Raw data (loadavg): 1.25 0.39 0.13 3/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18074 0 1 0 704 44 0 0 25 0 11 0 354445800 859754496 20612 4294967295 134512640 134569956 3221224400 3221214632 1131405200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209901 20612 13073 16 0 209885 0 vsize: 839604 [startup+20.0224 s] Raw data (loadavg): 1.28 0.43 0.15 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18075 0 1 0 1622 44 0 0 25 0 11 0 354445800 864919552 23064 4294967295 134512640 134569956 3221224400 3221214832 1131333459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211162 23064 13073 16 0 211146 0 vsize: 844648 [startup+30.0281 s] Raw data (loadavg): 1.31 0.46 0.16 2/65 31083 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18077 0 1 0 2532 44 0 0 25 0 11 0 354445800 867016704 23783 4294967295 134512640 134569956 3221224400 3221213176 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211674 23783 13073 16 0 211658 0 vsize: 846696 [startup+40.0285 s] Raw data (loadavg): 1.26 0.48 0.17 3/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 3442 45 0 0 25 0 11 0 354445800 867016704 24047 4294967295 134512640 134569956 3221224400 3221214832 1131333600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211674 24047 13073 16 0 211658 0 vsize: 846696 [startup+50.0293 s] Raw data (loadavg): 1.22 0.50 0.18 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 4364 45 0 0 25 0 11 0 354445800 867016704 24409 4294967295 134512640 134569956 3221224400 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211674 24409 13073 16 0 211658 0 vsize: 846696 [startup+60.029 s] Raw data (loadavg): 1.19 0.51 0.19 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 5314 45 0 0 25 0 11 0 354445800 867016704 24572 4294967295 134512640 134569956 3221224400 3221214608 1130887239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211674 24572 13073 16 0 211658 0 vsize: 846696 [startup+70.0286 s] Raw data (loadavg): 1.16 0.53 0.20 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 6277 45 0 0 25 0 11 0 354445800 867016704 24849 4294967295 134512640 134569956 3221224400 3221214816 1131365260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211674 24849 13073 16 0 211658 0 vsize: 846696 [startup+80.0293 s] Raw data (loadavg): 1.13 0.54 0.20 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 7252 45 0 0 25 0 11 0 354445800 863870976 24065 4294967295 134512640 134569956 3221224400 3221214740 1130883119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 24065 13073 16 0 210890 0 vsize: 843624 [startup+90.0289 s] Raw data (loadavg): 1.11 0.56 0.21 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 8218 45 0 0 25 0 11 0 354445800 863870976 24098 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 24098 13073 16 0 210890 0 vsize: 843624 [startup+100.03 s] Raw data (loadavg): 1.09 0.57 0.22 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 9178 45 0 0 24 0 11 0 354445800 863870976 24155 4294967295 134512640 134569956 3221224400 3221214680 1131265622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 24155 13073 16 0 210890 0 vsize: 843624 [startup+110.03 s] Raw data (loadavg): 1.08 0.58 0.23 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 10135 45 0 0 25 0 11 0 354445800 863870976 24275 4294967295 134512640 134569956 3221224400 3221214832 1131333689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 24275 13073 16 0 210890 0 vsize: 843624 [startup+120.03 s] Raw data (loadavg): 1.07 0.60 0.23 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 11076 46 0 0 25 0 11 0 354445800 863870976 24355 4294967295 134512640 134569956 3221224400 3221214752 1131359801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 24355 13073 16 0 210890 0 vsize: 843624 [startup+130.031 s] Raw data (loadavg): 1.06 0.61 0.24 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 11993 46 0 0 25 0 11 0 354445800 863870976 24431 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 24431 13073 16 0 210890 0 vsize: 843624 [startup+140.03 s] Raw data (loadavg): 1.05 0.62 0.25 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 12915 46 0 0 25 0 11 0 354445800 863870976 24632 4294967295 134512640 134569956 3221224400 3221214688 1131405038 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 24632 13073 16 0 210890 0 vsize: 843624 [startup+150.031 s] Raw data (loadavg): 1.04 0.64 0.26 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 13860 46 0 0 25 0 11 0 354445800 863870976 25109 4294967295 134512640 134569956 3221224400 3221214816 1131366276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25109 13073 16 0 210890 0 vsize: 843624 [startup+160.031 s] Raw data (loadavg): 1.03 0.65 0.27 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 14840 46 0 0 25 0 11 0 354445800 863870976 25204 4294967295 134512640 134569956 3221224400 3221214740 1080203730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25204 13073 16 0 210890 0 vsize: 843624 [startup+170.031 s] Raw data (loadavg): 1.03 0.66 0.27 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 15816 46 0 0 25 0 11 0 354445800 863870976 25232 4294967295 134512640 134569956 3221224400 3221214816 1131365491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25232 13073 16 0 210890 0 vsize: 843624 [startup+180.032 s] Raw data (loadavg): 1.02 0.67 0.28 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 16761 46 0 0 25 0 11 0 354445800 863870976 25286 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25286 13073 16 0 210890 0 vsize: 843624 [startup+190.031 s] Raw data (loadavg): 1.02 0.68 0.29 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 17686 46 0 0 25 0 11 0 354445800 863870976 25302 4294967295 134512640 134569956 3221224400 3221214776 1131337514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25302 13073 16 0 210890 0 vsize: 843624 [startup+200.032 s] Raw data (loadavg): 1.02 0.69 0.29 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 18586 46 0 0 25 0 11 0 354445800 863870976 25509 4294967295 134512640 134569956 3221224400 3221214752 1131359793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25509 13073 16 0 210890 0 vsize: 843624 [startup+210.032 s] Raw data (loadavg): 1.01 0.70 0.30 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 19489 46 0 0 17 0 11 0 354445800 863870976 25793 4294967295 134512640 134569956 3221224400 3221214664 1131433399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 25793 13073 16 0 210890 0 vsize: 843624 [startup+220.032 s] Raw data (loadavg): 1.01 0.71 0.31 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 20400 46 0 0 24 0 11 0 354445800 863870976 26114 4294967295 134512640 134569956 3221224400 3221214696 1131379971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 26114 13073 16 0 210890 0 vsize: 843624 [startup+230.032 s] Raw data (loadavg): 1.01 0.72 0.31 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 21317 47 0 0 25 0 11 0 354445800 863870976 26359 4294967295 134512640 134569956 3221224400 3221214776 1131337407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 26359 13073 16 0 210890 0 vsize: 843624 [startup+240.032 s] Raw data (loadavg): 1.01 0.73 0.32 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 22224 47 0 0 25 0 11 0 354445800 863870976 26580 4294967295 134512640 134569956 3221224400 3221214816 1131366439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 26580 13073 16 0 210890 0 vsize: 843624 [startup+250.032 s] Raw data (loadavg): 1.00 0.74 0.33 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 23145 47 0 0 25 0 11 0 354445800 863870976 26849 4294967295 134512640 134569956 3221224400 3221214728 1131293619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 26849 13073 16 0 210890 0 vsize: 843624 [startup+260.032 s] Raw data (loadavg): 1.00 0.74 0.34 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 24083 47 0 0 25 0 11 0 354445800 863870976 27113 4294967295 134512640 134569956 3221224400 3221214744 1131406728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 27113 13073 16 0 210890 0 vsize: 843624 [startup+270.032 s] Raw data (loadavg): 1.00 0.75 0.34 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 25021 47 0 0 25 0 11 0 354445800 863870976 27278 4294967295 134512640 134569956 3221224400 3221214680 1131265390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 27278 13073 16 0 210890 0 vsize: 843624 [startup+280.032 s] Raw data (loadavg): 1.00 0.76 0.35 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 25958 47 0 0 25 0 11 0 354445800 863870976 27361 4294967295 134512640 134569956 3221224400 3221214680 1131265703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 27361 13073 16 0 210890 0 vsize: 843624 [startup+290.032 s] Raw data (loadavg): 1.00 0.77 0.36 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 26877 47 0 0 25 0 11 0 354445800 863870976 27647 4294967295 134512640 134569956 3221224400 3221214832 1131333365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 27647 13073 16 0 210890 0 vsize: 843624 [startup+300.033 s] Raw data (loadavg): 1.00 0.77 0.36 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 27788 47 0 0 25 0 11 0 354445800 863870976 27845 4294967295 134512640 134569956 3221224400 3221214740 1131422048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 27845 13073 16 0 210890 0 vsize: 843624 [startup+310.036 s] Raw data (loadavg): 1.00 0.78 0.37 2/65 31083 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 28690 47 0 0 25 0 11 0 354445800 863870976 28118 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 28118 13073 16 0 210890 0 vsize: 843624 [startup+320.036 s] Raw data (loadavg): 1.00 0.79 0.37 2/65 31083 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 29596 47 0 0 25 0 11 0 354445800 863870976 28305 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 28305 13073 16 0 210890 0 vsize: 843624 [startup+330.037 s] Raw data (loadavg): 1.00 0.79 0.38 2/65 31083 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 30505 47 0 0 25 0 11 0 354445800 863870976 28690 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 28690 13073 16 0 210890 0 vsize: 843624 [startup+340.037 s] Raw data (loadavg): 1.00 0.80 0.39 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 31426 47 0 0 25 0 11 0 354445800 863870976 28924 4294967295 134512640 134569956 3221224400 3221214680 1131265320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 28924 13073 16 0 210890 0 vsize: 843624 [startup+350.038 s] Raw data (loadavg): 1.00 0.81 0.39 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 32342 47 0 0 25 0 11 0 354445800 863870976 29176 4294967295 134512640 134569956 3221224400 3221214744 1131406890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 29176 13073 16 0 210890 0 vsize: 843624 [startup+360.039 s] Raw data (loadavg): 1.00 0.81 0.40 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 33247 48 0 0 25 0 11 0 354445800 863870976 29391 4294967295 134512640 134569956 3221224400 3221214816 1131365616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 29391 13073 16 0 210890 0 vsize: 843624 [startup+370.038 s] Raw data (loadavg): 1.00 0.82 0.40 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 34139 48 0 0 24 0 11 0 354445800 863870976 29703 4294967295 134512640 134569956 3221224400 3221214744 1131406857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 29703 13073 16 0 210890 0 vsize: 843624 [startup+380.039 s] Raw data (loadavg): 1.00 0.82 0.41 2/65 31083 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 35044 48 0 0 25 0 11 0 354445800 863870976 29960 4294967295 134512640 134569956 3221224400 3221214632 1131240921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 29960 13073 16 0 210890 0 vsize: 843624 [startup+390.04 s] Raw data (loadavg): 1.00 0.83 0.42 3/68 31103 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 35963 49 0 0 25 0 11 0 354445800 863870976 30179 4294967295 134512640 134569956 3221224400 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 30179 13073 16 0 210890 0 vsize: 843624 [startup+400.041 s] Raw data (loadavg): 1.00 0.83 0.42 2/65 31136 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 36877 54 0 0 25 0 11 0 354445800 863870976 30414 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 30414 13073 16 0 210890 0 vsize: 843624 [startup+410.041 s] Raw data (loadavg): 1.00 0.84 0.43 2/65 31136 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 37808 54 0 0 25 0 11 0 354445800 863870976 30694 4294967295 134512640 134569956 3221224400 3221214680 1131265527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 30694 13073 16 0 210890 0 vsize: 843624 [startup+420.041 s] Raw data (loadavg): 1.00 0.84 0.43 2/65 31136 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 38750 54 0 0 25 0 11 0 354445800 863870976 30818 4294967295 134512640 134569956 3221224400 3221214688 1131240896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 30818 13073 16 0 210890 0 vsize: 843624 [startup+430.041 s] Raw data (loadavg): 1.00 0.85 0.44 2/65 31136 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 39701 54 0 0 25 0 11 0 354445800 863870976 31091 4294967295 134512640 134569956 3221224400 3221214816 1131366193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31091 13073 16 0 210890 0 vsize: 843624 [startup+440.041 s] Raw data (loadavg): 1.00 0.85 0.45 2/65 31136 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 40654 54 0 0 25 0 11 0 354445800 863870976 31190 4294967295 134512640 134569956 3221224400 3221214688 1131405150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31190 13073 16 0 210890 0 vsize: 843624 [startup+450.046 s] Raw data (loadavg): 1.00 0.86 0.45 2/65 31138 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 41605 54 0 0 25 0 11 0 354445800 863870976 31297 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31297 13073 16 0 210890 0 vsize: 843624 [startup+460.047 s] Raw data (loadavg): 1.00 0.86 0.46 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 42549 54 0 0 25 0 11 0 354445800 863870976 31385 4294967295 134512640 134569956 3221224400 3221214680 1131265788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31385 13073 16 0 210890 0 vsize: 843624 [startup+470.046 s] Raw data (loadavg): 1.00 0.86 0.46 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 43498 55 0 0 25 0 11 0 354445800 863870976 31483 4294967295 134512640 134569956 3221224400 3221214680 1131265328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31483 13073 16 0 210890 0 vsize: 843624 [startup+480.047 s] Raw data (loadavg): 1.00 0.87 0.47 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 44441 55 0 0 25 0 11 0 354445800 863870976 31662 4294967295 134512640 134569956 3221224400 3221214816 1131366302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31662 13073 16 0 210890 0 vsize: 843624 [startup+490.046 s] Raw data (loadavg): 1.00 0.87 0.47 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 45379 55 0 0 25 0 11 0 354445800 863870976 31842 4294967295 134512640 134569956 3221224400 3221214816 1131365731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31842 13073 16 0 210890 0 vsize: 843624 [startup+500.047 s] Raw data (loadavg): 1.00 0.88 0.48 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 46316 55 0 0 25 0 11 0 354445800 863870976 31907 4294967295 134512640 134569956 3221224400 3221214568 1131442042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 31907 13073 16 0 210890 0 vsize: 843624 [startup+510.047 s] Raw data (loadavg): 1.00 0.88 0.48 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 47234 55 0 0 25 0 11 0 354445800 863870976 32085 4294967295 134512640 134569956 3221224400 3221214744 1131408150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 32085 13073 16 0 210890 0 vsize: 843624 [startup+520.047 s] Raw data (loadavg): 1.00 0.88 0.49 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 48165 55 0 0 25 0 11 0 354445800 863870976 32257 4294967295 134512640 134569956 3221224400 3221214816 1131365546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 32257 13073 16 0 210890 0 vsize: 843624 [startup+530.047 s] Raw data (loadavg): 1.00 0.89 0.49 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 49086 55 0 0 25 0 11 0 354445800 863870976 32434 4294967295 134512640 134569956 3221224400 3221214680 1131265390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 32434 13073 16 0 210890 0 vsize: 843624 [startup+540.047 s] Raw data (loadavg): 1.00 0.89 0.50 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 50005 55 0 0 25 0 11 0 354445800 863870976 32676 4294967295 134512640 134569956 3221224400 3221214680 1131266158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 32676 13073 16 0 210890 0 vsize: 843624 [startup+550.047 s] Raw data (loadavg): 1.00 0.89 0.50 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 50920 55 0 0 25 0 11 0 354445800 863870976 32840 4294967295 134512640 134569956 3221224400 3221214776 1131338637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 32840 13073 16 0 210890 0 vsize: 843624 [startup+560.048 s] Raw data (loadavg): 1.00 0.90 0.51 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 51843 55 0 0 25 0 11 0 354445800 863870976 33181 4294967295 134512640 134569956 3221224400 3221214776 1131338572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33181 13073 16 0 210890 0 vsize: 843624 [startup+570.048 s] Raw data (loadavg): 1.00 0.90 0.51 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 52780 55 0 0 25 0 11 0 354445800 863870976 33296 4294967295 134512640 134569956 3221224400 3221214776 1131338559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33296 13073 16 0 210890 0 vsize: 843624 [startup+580.049 s] Raw data (loadavg): 1.00 0.90 0.52 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 53703 55 0 0 25 0 11 0 354445800 863870976 33540 4294967295 134512640 134569956 3221224400 3221214832 1131333347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33540 13073 16 0 210890 0 vsize: 843624 [startup+590.049 s] Raw data (loadavg): 1.00 0.90 0.52 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 54658 55 0 0 25 0 11 0 354445800 863870976 33665 4294967295 134512640 134569956 3221224400 3221214584 1131299007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 33665 13073 16 0 210890 0 vsize: 843624 [startup+600.049 s] Raw data (loadavg): 1.00 0.91 0.53 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 55617 55 0 0 25 0 11 0 354445800 863870976 33670 4294967295 134512640 134569956 3221224400 3221214744 1131408150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33670 13073 16 0 210890 0 vsize: 843624 [startup+610.049 s] Raw data (loadavg): 1.00 0.91 0.53 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 56588 55 0 0 25 0 11 0 354445800 863870976 33760 4294967295 134512640 134569956 3221224400 3221214568 1131523788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33760 13073 16 0 210890 0 vsize: 843624 [startup+620.049 s] Raw data (loadavg): 1.00 0.91 0.54 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 57560 55 0 0 25 0 11 0 354445800 863870976 33783 4294967295 134512640 134569956 3221224400 3221214776 1131337423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33783 13073 16 0 210890 0 vsize: 843624 [startup+630.049 s] Raw data (loadavg): 1.00 0.91 0.54 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 58527 55 0 0 25 0 11 0 354445800 863870976 33936 4294967295 134512640 134569956 3221224400 3221214568 1131523056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 33936 13073 16 0 210890 0 vsize: 843624 [startup+640.05 s] Raw data (loadavg): 1.00 0.92 0.54 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 59506 55 0 0 25 0 11 0 354445800 863870976 34052 4294967295 134512640 134569956 3221224400 3221214568 1131521927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34052 13073 16 0 210890 0 vsize: 843624 [startup+650.05 s] Raw data (loadavg): 1.00 0.92 0.55 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 60488 56 0 0 25 0 11 0 354445800 863870976 34104 4294967295 134512640 134569956 3221224400 3221214560 1131530660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34104 13073 16 0 210890 0 vsize: 843624 [startup+660.051 s] Raw data (loadavg): 1.00 0.92 0.55 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 61472 56 0 0 25 0 11 0 354445800 863870976 34242 4294967295 134512640 134569956 3221224400 3221214712 1131386913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34242 13073 16 0 210890 0 vsize: 843624 [startup+670.05 s] Raw data (loadavg): 1.00 0.92 0.56 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 62461 56 0 0 25 0 11 0 354445800 863870976 34265 4294967295 134512640 134569956 3221224400 3221214568 1131293708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34265 13073 16 0 210890 0 vsize: 843624 [startup+680.051 s] Raw data (loadavg): 1.00 0.92 0.56 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 63448 56 0 0 25 0 11 0 354445800 863870976 34299 4294967295 134512640 134569956 3221224400 3221214568 1131521308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34299 13073 16 0 210890 0 vsize: 843624 [startup+690.051 s] Raw data (loadavg): 1.00 0.93 0.56 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 64437 56 0 0 25 0 11 0 354445800 863870976 34316 4294967295 134512640 134569956 3221224400 3221214568 1131521297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34316 13073 16 0 210890 0 vsize: 843624 [startup+700.052 s] Raw data (loadavg): 1.00 0.93 0.57 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 65426 56 0 0 25 0 11 0 354445800 863870976 34336 4294967295 134512640 134569956 3221224400 3221214568 1131521745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34336 13073 16 0 210890 0 vsize: 843624 [startup+710.052 s] Raw data (loadavg): 1.00 0.93 0.57 2/65 31140 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 66415 56 0 0 25 0 11 0 354445800 863870976 34366 4294967295 134512640 134569956 3221224400 3221214664 1131451874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34366 13073 16 0 210890 0 vsize: 843624 [startup+720.051 s] Raw data (loadavg): 1.00 0.93 0.58 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 67403 56 0 0 25 0 11 0 354445800 863870976 34387 4294967295 134512640 134569956 3221224400 3221214672 1131626647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34387 13073 16 0 210890 0 vsize: 843624 [startup+730.052 s] Raw data (loadavg): 1.00 0.93 0.58 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 68391 56 0 0 25 0 11 0 354445800 863870976 34417 4294967295 134512640 134569956 3221224400 3221214672 1131485882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34417 13073 16 0 210890 0 vsize: 843624 [startup+740.052 s] Raw data (loadavg): 1.00 0.94 0.58 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 69371 56 0 0 25 0 11 0 354445800 863870976 34450 4294967295 134512640 134569956 3221224400 3221214744 1131408363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34450 13073 16 0 210890 0 vsize: 843624 [startup+750.053 s] Raw data (loadavg): 1.00 0.94 0.59 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 70337 56 0 0 25 0 11 0 354445800 863870976 34512 4294967295 134512640 134569956 3221224400 3221214776 1131338572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34512 13073 16 0 210890 0 vsize: 843624 [startup+760.053 s] Raw data (loadavg): 1.00 0.94 0.59 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 71288 56 0 0 25 0 11 0 354445800 863870976 34575 4294967295 134512640 134569956 3221224400 3221214752 1131359276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34575 13073 16 0 210890 0 vsize: 843624 [startup+770.053 s] Raw data (loadavg): 1.00 0.94 0.60 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 72239 56 0 0 25 0 11 0 354445800 863870976 34627 4294967295 134512640 134569956 3221224400 3221214776 1131337263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34627 13073 16 0 210890 0 vsize: 843624 [startup+780.053 s] Raw data (loadavg): 1.00 0.94 0.60 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 73173 56 0 0 24 0 11 0 354445800 863870976 34813 4294967295 134512640 134569956 3221224400 3221214768 1131380109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34813 13073 16 0 210890 0 vsize: 843624 [startup+790.053 s] Raw data (loadavg): 1.00 0.94 0.60 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 74111 56 0 0 25 0 11 0 354445800 863870976 34857 4294967295 134512640 134569956 3221224400 3221214680 1131265275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 34857 13073 16 0 210890 0 vsize: 843624 [startup+800.054 s] Raw data (loadavg): 1.00 0.94 0.61 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 75042 56 0 0 19 0 11 0 354445800 863870976 35003 4294967295 134512640 134569956 3221224400 3221214568 1131522011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35003 13073 16 0 210890 0 vsize: 843624 [startup+810.054 s] Raw data (loadavg): 1.00 0.95 0.61 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 75981 56 0 0 24 0 11 0 354445800 863870976 35119 4294967295 134512640 134569956 3221224400 3221214744 1131407514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35119 13073 16 0 210890 0 vsize: 843624 [startup+820.054 s] Raw data (loadavg): 1.00 0.95 0.62 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 76918 57 0 0 22 0 11 0 354445800 863870976 35430 4294967295 134512640 134569956 3221224400 3221214740 1080203752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35430 13073 16 0 210890 0 vsize: 843624 [startup+830.054 s] Raw data (loadavg): 1.00 0.95 0.62 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 77863 57 0 0 25 0 11 0 354445800 863870976 35520 4294967295 134512640 134569956 3221224400 3221214768 1131379985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35520 13073 16 0 210890 0 vsize: 843624 [startup+840.058 s] Raw data (loadavg): 1.00 0.95 0.62 2/65 31142 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 78804 57 0 0 25 0 11 0 354445800 863870976 35740 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35740 13073 16 0 210890 0 vsize: 843624 [startup+850.058 s] Raw data (loadavg): 1.00 0.95 0.63 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 79746 57 0 0 24 0 11 0 354445800 863870976 35829 4294967295 134512640 134569956 3221224400 3221214880 1131563036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35829 13073 16 0 210890 0 vsize: 843624 [startup+860.058 s] Raw data (loadavg): 1.00 0.95 0.63 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 80704 57 0 0 24 0 11 0 354445800 863870976 35946 4294967295 134512640 134569956 3221224400 3221214728 1131339464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 35946 13073 16 0 210890 0 vsize: 843624 [startup+870.058 s] Raw data (loadavg): 1.00 0.95 0.64 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 81663 57 0 0 25 0 11 0 354445800 863870976 36023 4294967295 134512640 134569956 3221224400 3221214720 1131359461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36023 13073 16 0 210890 0 vsize: 843624 [startup+880.059 s] Raw data (loadavg): 1.00 0.95 0.64 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 82623 57 0 0 25 0 11 0 354445800 863870976 36119 4294967295 134512640 134569956 3221224400 3221214632 1131265626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36119 13073 16 0 210890 0 vsize: 843624 [startup+890.06 s] Raw data (loadavg): 1.00 0.95 0.64 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 83579 57 0 0 25 0 11 0 354445800 863870976 36250 4294967295 134512640 134569956 3221224400 3221214632 1131265734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36250 13073 16 0 210890 0 vsize: 843624 [startup+900.06 s] Raw data (loadavg): 1.00 0.95 0.64 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 84535 57 0 0 25 0 11 0 354445800 863870976 36387 4294967295 134512640 134569956 3221224400 3221214112 1131638093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36387 13073 16 0 210890 0 vsize: 843624 [startup+910.061 s] Raw data (loadavg): 1.00 0.96 0.65 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 85485 57 0 0 25 0 11 0 354445800 863870976 36501 4294967295 134512640 134569956 3221224400 3221214224 1131638033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36501 13073 16 0 210890 0 vsize: 843624 [startup+920.061 s] Raw data (loadavg): 1.00 0.96 0.65 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 86441 57 0 0 25 0 11 0 354445800 863870976 36548 4294967295 134512640 134569956 3221224400 3221214728 1131337430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36548 13073 16 0 210890 0 vsize: 843624 [startup+930.06 s] Raw data (loadavg): 1.00 0.96 0.65 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 87392 57 0 0 25 0 11 0 354445800 863870976 36641 4294967295 134512640 134569956 3221224400 3221214784 1131365308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36641 13073 16 0 210890 0 vsize: 843624 [startup+940.061 s] Raw data (loadavg): 1.00 0.96 0.66 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 88344 57 0 0 20 0 11 0 354445800 863870976 36648 4294967295 134512640 134569956 3221224400 3221214436 1131638720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36648 13073 16 0 210890 0 vsize: 843624 [startup+950.065 s] Raw data (loadavg): 1.00 0.96 0.66 2/65 31142 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 89293 57 0 0 25 0 11 0 354445800 863870976 36930 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36930 13073 16 0 210890 0 vsize: 843624 [startup+960.065 s] Raw data (loadavg): 1.00 0.96 0.66 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 90254 57 0 0 25 0 11 0 354445800 863870976 36999 4294967295 134512640 134569956 3221224400 3221214784 1131366129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 36999 13073 16 0 210890 0 vsize: 843624 [startup+970.065 s] Raw data (loadavg): 1.00 0.96 0.66 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 91223 57 0 0 25 0 11 0 354445800 863870976 37045 4294967295 134512640 134569956 3221224400 3221214664 1131266259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37045 13073 16 0 210890 0 vsize: 843624 [startup+980.066 s] Raw data (loadavg): 1.00 0.96 0.67 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 92184 57 0 0 25 0 11 0 354445800 863870976 37117 4294967295 134512640 134569956 3221224400 3221214760 1131337430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37117 13073 16 0 210890 0 vsize: 843624 [startup+990.065 s] Raw data (loadavg): 1.00 0.96 0.67 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 93139 57 0 0 25 0 11 0 354445800 863870976 37169 4294967295 134512640 134569956 3221224400 3221214664 1131265320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37169 13073 16 0 210890 0 vsize: 843624 [startup+1000.07 s] Raw data (loadavg): 1.00 0.96 0.67 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 94089 57 0 0 25 0 11 0 354445800 863870976 37366 4294967295 134512640 134569956 3221224400 3221214752 1131359789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37366 13073 16 0 210890 0 vsize: 843624 [startup+1010.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 95048 57 0 0 25 0 11 0 354445800 863870976 37448 4294967295 134512640 134569956 3221224400 3221214664 1131265703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37448 13073 16 0 210890 0 vsize: 843624 [startup+1020.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 96008 58 0 0 25 0 11 0 354445800 863870976 37597 4294967295 134512640 134569956 3221224400 3221214256 1131637925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37597 13073 16 0 210890 0 vsize: 843624 [startup+1030.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 96977 58 0 0 25 0 11 0 354445800 863870976 37641 4294967295 134512640 134569956 3221224400 3221214760 1131337423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37641 13073 16 0 210890 0 vsize: 843624 [startup+1040.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 97930 58 0 0 25 0 11 0 354445800 863870976 37808 4294967295 134512640 134569956 3221224400 3221214880 1131563036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37808 13073 16 0 210890 0 vsize: 843624 [startup+1050.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 98864 58 0 0 25 0 11 0 354445800 863870976 37850 4294967295 134512640 134569956 3221224400 3221214744 1131406854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37850 13073 16 0 210890 0 vsize: 843624 [startup+1060.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 99834 58 0 0 25 0 11 0 354445800 863870976 37903 4294967295 134512640 134569956 3221224400 3221214760 1131339431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37903 13073 16 0 210890 0 vsize: 843624 [startup+1070.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/65 31142 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 100784 58 0 0 25 0 11 0 354445800 863870976 37914 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 37914 13073 16 0 210890 0 vsize: 843624 [startup+1080.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 101724 58 0 0 22 0 11 0 354445800 863870976 38115 4294967295 134512640 134569956 3221224400 3221214656 1131357209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38115 13073 16 0 210890 0 vsize: 843624 [startup+1090.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 102679 58 0 0 25 0 11 0 354445800 863870976 38326 4294967295 134512640 134569956 3221224400 3221214816 1131366359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38326 13073 16 0 210890 0 vsize: 843624 [startup+1100.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 103637 58 0 0 25 0 11 0 354445800 863870976 38413 4294967295 134512640 134569956 3221224400 3221214760 1131338572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38413 13073 16 0 210890 0 vsize: 843624 [startup+1110.07 s] Raw data (loadavg): 1.00 0.97 0.71 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 104590 58 0 0 25 0 11 0 354445800 863870976 38489 4294967295 134512640 134569956 3221224400 3221214664 1131265748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38489 13073 16 0 210890 0 vsize: 843624 [startup+1120.07 s] Raw data (loadavg): 1.00 0.97 0.71 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 105526 58 0 0 25 0 11 0 354445800 863870976 38563 4294967295 134512640 134569956 3221224400 3221214816 1131366359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38563 13073 16 0 210890 0 vsize: 843624 [startup+1130.07 s] Raw data (loadavg): 1.00 0.97 0.71 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 106477 58 0 0 25 0 11 0 354445800 863870976 38736 4294967295 134512640 134569956 3221224400 3221214128 1131487881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38736 13073 16 0 210890 0 vsize: 843624 [startup+1140.07 s] Raw data (loadavg): 1.00 0.97 0.71 2/65 31142 Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 107432 58 0 0 25 0 11 0 354445800 863870976 38824 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38824 13073 16 0 210890 0 vsize: 843624 [startup+1150.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 108381 58 0 0 25 0 11 0 354445800 863870976 38961 4294967295 134512640 134569956 3221224400 3221214816 1131365145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 38961 13073 16 0 210890 0 vsize: 843624 [startup+1160.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 109337 58 0 0 25 0 11 0 354445800 863870976 39030 4294967295 134512640 134569956 3221224400 3221214760 1131338614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39030 13073 16 0 210890 0 vsize: 843624 [startup+1170.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 110287 58 0 0 25 0 11 0 354445800 863870976 39124 4294967295 134512640 134569956 3221224400 3221214040 1131638042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39124 13073 16 0 210890 0 vsize: 843624 [startup+1180.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 111242 58 0 0 25 0 11 0 354445800 863870976 39191 4294967295 134512640 134569956 3221224400 3221214536 1131638090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39191 13073 16 0 210890 0 vsize: 843624 [startup+1190.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 112200 58 0 0 25 0 11 0 354445800 863870976 39450 4294967295 134512640 134569956 3221224400 3221214304 1131636777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39450 13073 16 0 210890 0 vsize: 843624 [startup+1200.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 113169 58 0 0 25 0 11 0 354445800 863870976 39523 4294967295 134512640 134569956 3221224400 3221214760 1131337430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39523 13073 16 0 210890 0 vsize: 843624 [startup+1210.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 114139 58 0 0 25 0 11 0 354445800 863870976 39559 4294967295 134512640 134569956 3221224400 3221214760 1131338572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39559 13073 16 0 210890 0 vsize: 843624 [startup+1220.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 115099 58 0 0 25 0 11 0 354445800 863870976 39667 4294967295 134512640 134569956 3221224400 3221214792 1131418246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39667 13073 16 0 210890 0 vsize: 843624 [startup+1230.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 116065 58 0 0 25 0 11 0 354445800 863870976 39734 4294967295 134512640 134569956 3221224400 3221214760 1131337423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210906 39734 13073 16 0 210890 0 vsize: 843624 [startup+1240.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 117039 59 0 0 25 0 11 0 354445800 863870976 39799 4294967295 134512640 134569956 3221224400 3221214280 1085679735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39799 13073 16 0 210890 0 vsize: 843624 [startup+1250.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 118006 59 0 0 25 0 11 0 354445800 863870976 39831 4294967295 134512640 134569956 3221224400 3221214760 1131338600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39831 13073 16 0 210890 0 vsize: 843624 [startup+1260.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 118971 59 0 0 25 0 11 0 354445800 863870976 39895 4294967295 134512640 134569956 3221224400 3221214664 1131265245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 39895 13073 16 0 210890 0 vsize: 843624 [startup+1270.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 119930 59 0 0 24 0 11 0 354445800 863870976 40030 4294967295 134512640 134569956 3221224400 3221214832 1131333392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 40030 13073 16 0 210890 0 vsize: 843624 [startup+1280.08 s] Raw data (loadavg): 1.00 0.97 0.75 2/65 31142 Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 120903 59 0 0 25 0 11 0 354445800 863870976 40049 4294967295 134512640 134569956 3221224400 3221214008 1085679735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210906 40049 13073 16 0 210890 0 vsize: 843624 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.23 s] Raw data (loadavg): 1.00 0.97 0.75 1/55 31144 Raw data (stat): 31073 (java) Z 31072 30927 30926 0 -1 1036 18079 27465 1 1 120909 67 8214 77 25 0 1 0 354445800 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1280.23 CPU time (s): 1292.7 CPU user time (s): 1291.24 CPU system time (s): 1.45478 CPU usage (%): 100.974 Max. virtual memory (Kb): 846696 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####