Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb |
MD5SUM | c501a04dd091dbe678ec2743021adc30 |
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 | 46 |
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.2037 |
Number of variables | 2970 |
Total number of constraints | 2113 |
Number of constraints which are clauses | 2024 |
Number of constraints which are cardinality constraints (but not clauses) | 89 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-13 15:53:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=504 boxname=wulflinc8 idbench=56 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c501a04dd091dbe678ec2743021adc30 /oldhome/oroussel/tmp/wulflinc8/normalized-fpga45_44_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-fpga45_44_sat_pb.cnf.cr.opb IDLAUNCH: 504 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 921936 kB Buffers: 36336 kB Cached: 56892 kB SwapCached: 0 kB Active: 71208 kB Inactive: 24856 kB HighTotal: 131008 kB HighFree: 69748 kB LowTotal: 903652 kB LowFree: 852188 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6932 kB Slab: 11128 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:14:32 (client local time) WITH STATUS 143 IN SECONDS stats: 504 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-fpga45_44_sat_pb.cnf.cr.opb c reading problem c [nbvar=2970] c [nbconstr=2113] c time 6.542 c #vars 2970 c #clauses 2113 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): 0.98 0.32 0.11 2/54 26813 Raw data (stat): 26813 (runsolver) R 26812 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 405397330 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0028 s] Raw data (loadavg): 0.98 0.34 0.12 4/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18084 0 1 0 784 43 0 0 25 0 11 0 405397330 860147712 20620 4294967295 134512640 134569956 3221224400 3221213604 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209997 20620 13073 16 0 209981 0 vsize: 839988 [startup+20.0217 s] Raw data (loadavg): 1.13 0.39 0.14 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18086 0 1 0 1682 43 0 0 25 0 11 0 405397330 858595328 21709 4294967295 134512640 134569956 3221224400 3221214728 1131341396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209618 21709 13073 16 0 209602 0 vsize: 838472 [startup+30.0228 s] Raw data (loadavg): 1.11 0.41 0.15 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18086 0 1 0 2599 43 0 0 25 0 11 0 405397330 858525696 22192 4294967295 134512640 134569956 3221224400 3221214672 1131385773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209601 22192 13073 16 0 209585 0 vsize: 838404 [startup+40.0222 s] Raw data (loadavg): 1.17 0.45 0.16 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18086 0 1 0 3525 43 0 0 25 0 11 0 405397330 862203904 23088 4294967295 134512640 134569956 3221224400 3221214800 1131398248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 23088 13073 16 0 210483 0 vsize: 841996 [startup+50.0234 s] Raw data (loadavg): 1.14 0.46 0.17 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18087 0 1 0 4465 43 0 0 25 0 11 0 405397330 861843456 23134 4294967295 134512640 134569956 3221224400 3221214832 1131328551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210411 23134 13073 16 0 210395 0 vsize: 841644 [startup+60.0243 s] Raw data (loadavg): 1.12 0.48 0.18 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 5407 44 0 0 25 0 11 0 405397330 858120192 22497 4294967295 134512640 134569956 3221224400 3221214576 1131429336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 22497 13073 16 0 209486 0 vsize: 838008 [startup+70.0246 s] Raw data (loadavg): 1.10 0.50 0.19 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 6371 44 0 0 24 0 11 0 405397330 858120192 22738 4294967295 134512640 134569956 3221224400 3221214832 1131328751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 22738 13073 16 0 209486 0 vsize: 838008 [startup+80.0254 s] Raw data (loadavg): 1.08 0.51 0.19 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 7344 44 0 0 25 0 11 0 405397330 858120192 22868 4294967295 134512640 134569956 3221224400 3221214688 1131523991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 22868 13073 16 0 209486 0 vsize: 838008 [startup+90.0257 s] Raw data (loadavg): 1.07 0.53 0.20 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 8316 44 0 0 25 0 11 0 405397330 858120192 22935 4294967295 134512640 134569956 3221224400 3221214536 1131386375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 22935 13073 16 0 209486 0 vsize: 838008 [startup+100.026 s] Raw data (loadavg): 1.06 0.54 0.21 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 9286 44 0 0 25 0 11 0 405397330 858120192 23027 4294967295 134512640 134569956 3221224400 3221214584 1131628935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23027 13073 16 0 209486 0 vsize: 838008 [startup+110.027 s] Raw data (loadavg): 1.05 0.56 0.22 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 10248 44 0 0 25 0 11 0 405397330 858120192 23033 4294967295 134512640 134569956 3221224400 3221214724 1131145730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23033 13073 16 0 209486 0 vsize: 838008 [startup+120.027 s] Raw data (loadavg): 1.04 0.57 0.22 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 11179 44 0 0 25 0 11 0 405397330 858120192 23147 4294967295 134512640 134569956 3221224400 3221214688 1131523868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23147 13073 16 0 209486 0 vsize: 838008 [startup+130.027 s] Raw data (loadavg): 1.04 0.59 0.23 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 12118 44 0 0 25 0 11 0 405397330 858120192 23284 4294967295 134512640 134569956 3221224400 3221214700 1080203752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23284 13073 16 0 209486 0 vsize: 838008 [startup+140.027 s] Raw data (loadavg): 1.03 0.60 0.24 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 13058 44 0 0 25 0 11 0 405397330 858120192 23369 4294967295 134512640 134569956 3221224400 3221214728 1131341440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23369 13073 16 0 209486 0 vsize: 838008 [startup+150.028 s] Raw data (loadavg): 1.02 0.61 0.25 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 13998 44 0 0 25 0 11 0 405397330 858120192 23504 4294967295 134512640 134569956 3221224400 3221214748 1080204302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23504 13073 16 0 209486 0 vsize: 838008 [startup+160.029 s] Raw data (loadavg): 1.02 0.62 0.26 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 14937 44 0 0 25 0 11 0 405397330 858120192 23867 4294967295 134512640 134569956 3221224400 3221214584 1131629751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 23867 13073 16 0 209486 0 vsize: 838008 [startup+170.029 s] Raw data (loadavg): 1.02 0.64 0.26 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 15877 44 0 0 25 0 11 0 405397330 858120192 24127 4294967295 134512640 134569956 3221224400 3221214712 1131364058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24127 13073 16 0 209486 0 vsize: 838008 [startup+180.03 s] Raw data (loadavg): 1.01 0.65 0.27 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 16813 44 0 0 25 0 11 0 405397330 858120192 24332 4294967295 134512640 134569956 3221224400 3221214688 1131525700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24332 13073 16 0 209486 0 vsize: 838008 [startup+190.029 s] Raw data (loadavg): 1.01 0.66 0.28 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 17751 44 0 0 25 0 11 0 405397330 858120192 24486 4294967295 134512640 134569956 3221224400 3221214680 1131455774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24486 13073 16 0 209486 0 vsize: 838008 [startup+200.034 s] Raw data (loadavg): 1.01 0.67 0.29 2/64 26823 Raw data (stat): 26813 (java) S 26812 26667 26666 0 -1 0 18088 0 1 0 18693 44 0 0 25 0 11 0 405397330 858120192 24643 4294967295 134512640 134569956 3221224400 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24643 13073 16 0 209486 0 vsize: 838008 [startup+210.035 s] Raw data (loadavg): 1.01 0.68 0.29 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 19638 44 0 0 25 0 11 0 405397330 858120192 24775 4294967295 134512640 134569956 3221224400 3221214600 1131391910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24775 13073 16 0 209486 0 vsize: 838008 [startup+220.034 s] Raw data (loadavg): 1.01 0.69 0.30 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 20579 44 0 0 25 0 11 0 405397330 858120192 24936 4294967295 134512640 134569956 3221224400 3221214688 1131523991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 24936 13073 16 0 209486 0 vsize: 838008 [startup+230.038 s] Raw data (loadavg): 1.00 0.70 0.31 2/64 26823 Raw data (stat): 26813 (java) S 26812 26667 26666 0 -1 0 18088 0 1 0 21531 44 0 0 25 0 11 0 405397330 858120192 25180 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25180 13073 16 0 209486 0 vsize: 838008 [startup+240.039 s] Raw data (loadavg): 1.00 0.71 0.31 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 22485 44 0 0 25 0 11 0 405397330 858120192 25343 4294967295 134512640 134569956 3221224400 3221214748 1080204256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25343 13073 16 0 209486 0 vsize: 838008 [startup+250.039 s] Raw data (loadavg): 1.00 0.72 0.32 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 23434 44 0 0 25 0 11 0 405397330 858120192 25511 4294967295 134512640 134569956 3221224400 3221214728 1131341438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25511 13073 16 0 209486 0 vsize: 838008 [startup+260.039 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 24379 44 0 0 24 0 11 0 405397330 858120192 25636 4294967295 134512640 134569956 3221224400 3221214840 1131462420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25636 13073 16 0 209486 0 vsize: 838008 [startup+270.039 s] Raw data (loadavg): 1.00 0.74 0.33 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 25329 44 0 0 25 0 11 0 405397330 858120192 25797 4294967295 134512640 134569956 3221224400 3221214688 1131523856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25797 13073 16 0 209486 0 vsize: 838008 [startup+280.039 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 26255 44 0 0 25 0 11 0 405397330 858120192 25958 4294967295 134512640 134569956 3221224400 3221214580 1131386348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 25958 13073 16 0 209486 0 vsize: 838008 [startup+290.039 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 27209 44 0 0 25 0 11 0 405397330 858120192 26053 4294967295 134512640 134569956 3221224400 3221214688 1131523856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26053 13073 16 0 209486 0 vsize: 838008 [startup+300.04 s] Raw data (loadavg): 1.00 0.76 0.35 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 28167 44 0 0 25 0 11 0 405397330 858120192 26197 4294967295 134512640 134569956 3221224400 3221214688 1131523863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26197 13073 16 0 209486 0 vsize: 838008 [startup+310.04 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 29132 44 0 0 25 0 11 0 405397330 858120192 26418 4294967295 134512640 134569956 3221224400 3221214584 1131629664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26418 13073 16 0 209486 0 vsize: 838008 [startup+320.04 s] Raw data (loadavg): 1.00 0.77 0.37 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 30104 44 0 0 25 0 11 0 405397330 858120192 26607 4294967295 134512640 134569956 3221224400 3221214688 1131525771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26607 13073 16 0 209486 0 vsize: 838008 [startup+330.04 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 31083 44 0 0 25 0 11 0 405397330 858120192 26764 4294967295 134512640 134569956 3221224400 3221214688 1131523856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26764 13073 16 0 209486 0 vsize: 838008 [startup+340.041 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 32066 44 0 0 25 0 11 0 405397330 858120192 26822 4294967295 134512640 134569956 3221224400 3221214796 1080203749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26822 13073 16 0 209486 0 vsize: 838008 [startup+350.042 s] Raw data (loadavg): 1.00 0.79 0.39 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 33046 44 0 0 25 0 11 0 405397330 858120192 26911 4294967295 134512640 134569956 3221224400 3221214768 1131336800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26911 13073 16 0 209486 0 vsize: 838008 [startup+360.043 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 34031 44 0 0 25 0 11 0 405397330 858120192 26948 4294967295 134512640 134569956 3221224400 3221214888 1131316121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26948 13073 16 0 209486 0 vsize: 838008 [startup+370.043 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 35016 44 0 0 25 0 11 0 405397330 858120192 26987 4294967295 134512640 134569956 3221224400 3221214808 1131398905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 26987 13073 16 0 209486 0 vsize: 838008 [startup+380.043 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 26823 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 35986 44 0 0 25 0 11 0 405397330 858120192 27028 4294967295 134512640 134569956 3221224400 3221214784 1131283591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 27028 13073 16 0 209486 0 vsize: 838008 [startup+390.043 s] Raw data (loadavg): 1.16 0.85 0.42 3/67 26867 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 36949 45 0 0 25 0 11 0 405397330 858120192 27065 4294967295 134512640 134569956 3221224400 3221214728 1131342342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 27065 13073 16 0 209486 0 vsize: 838008 [startup+400.044 s] Raw data (loadavg): 1.21 0.87 0.43 2/64 26876 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 37908 45 0 0 25 0 11 0 405397330 858120192 27101 4294967295 134512640 134569956 3221224400 3221214808 1131400460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27101 13073 16 0 209486 0 vsize: 838008 [startup+410.045 s] Raw data (loadavg): 1.18 0.88 0.44 2/64 26876 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 38862 45 0 0 25 0 11 0 405397330 858120192 27147 4294967295 134512640 134569956 3221224400 3221214808 1131398512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 27147 13073 16 0 209486 0 vsize: 838008 [startup+420.045 s] Raw data (loadavg): 1.15 0.88 0.44 2/64 26876 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 39813 45 0 0 25 0 11 0 405397330 858120192 27191 4294967295 134512640 134569956 3221224400 3221214584 1131631417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27191 13073 16 0 209486 0 vsize: 838008 [startup+430.045 s] Raw data (loadavg): 1.12 0.88 0.45 2/64 26876 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 40771 46 0 0 25 0 11 0 405397330 858120192 27456 4294967295 134512640 134569956 3221224400 3221214760 1131462420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27456 13073 16 0 209486 0 vsize: 838008 [startup+440.046 s] Raw data (loadavg): 1.11 0.89 0.45 2/64 26876 Raw data (stat): 26813 (java) S 26812 26667 26666 0 -1 0 18088 0 1 0 41734 46 0 0 25 0 11 0 405397330 858120192 27572 4294967295 134512640 134569956 3221224400 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27572 13073 16 0 209486 0 vsize: 838008 [startup+450.046 s] Raw data (loadavg): 1.09 0.89 0.46 2/64 26876 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 42699 46 0 0 25 0 11 0 405397330 858120192 27696 4294967295 134512640 134569956 3221224400 3221214864 1131306745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 27696 13073 16 0 209486 0 vsize: 838008 [startup+460.046 s] Raw data (loadavg): 1.07 0.89 0.46 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 43666 47 0 0 25 0 11 0 405397330 858120192 27878 4294967295 134512640 134569956 3221224400 3221214736 1131283572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27878 13073 16 0 209486 0 vsize: 838008 [startup+470.047 s] Raw data (loadavg): 1.06 0.90 0.47 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 44641 47 0 0 25 0 11 0 405397330 858120192 27951 4294967295 134512640 134569956 3221224400 3221214808 1131399988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 27951 13073 16 0 209486 0 vsize: 838008 [startup+480.047 s] Raw data (loadavg): 1.05 0.90 0.47 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 45610 47 0 0 25 0 11 0 405397330 858120192 28001 4294967295 134512640 134569956 3221224400 3221214648 1131517793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28001 13073 16 0 209486 0 vsize: 838008 [startup+490.047 s] Raw data (loadavg): 1.04 0.90 0.48 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 46580 48 0 0 25 0 11 0 405397330 858120192 28040 4294967295 134512640 134569956 3221224400 3221214712 1131363234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28040 13073 16 0 209486 0 vsize: 838008 [startup+500.048 s] Raw data (loadavg): 1.04 0.90 0.48 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 47547 48 0 0 25 0 11 0 405397330 858120192 28125 4294967295 134512640 134569956 3221224400 3221214520 1131387794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28125 13073 16 0 209486 0 vsize: 838008 [startup+510.048 s] Raw data (loadavg): 1.03 0.91 0.49 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 48507 48 0 0 25 0 11 0 405397330 858120192 28199 4294967295 134512640 134569956 3221224400 3221214584 1131300831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28199 13073 16 0 209486 0 vsize: 838008 [startup+520.048 s] Raw data (loadavg): 1.03 0.91 0.49 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 49474 48 0 0 25 0 11 0 405397330 858120192 28264 4294967295 134512640 134569956 3221224400 3221214808 1131400127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28264 13073 16 0 209486 0 vsize: 838008 [startup+530.049 s] Raw data (loadavg): 1.02 0.91 0.50 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 50442 49 0 0 25 0 11 0 405397330 858120192 28367 4294967295 134512640 134569956 3221224400 3221214404 1078128093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28367 13073 16 0 209486 0 vsize: 838008 [startup+540.05 s] Raw data (loadavg): 1.02 0.91 0.50 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 51406 49 0 0 24 0 11 0 405397330 858120192 28535 4294967295 134512640 134569956 3221224400 3221214808 1131397816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28535 13073 16 0 209486 0 vsize: 838008 [startup+550.051 s] Raw data (loadavg): 1.01 0.92 0.51 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 52380 50 0 0 25 0 11 0 405397330 858120192 28737 4294967295 134512640 134569956 3221224400 3221214584 1131629596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 28737 13073 16 0 209486 0 vsize: 838008 [startup+560.051 s] Raw data (loadavg): 1.01 0.92 0.51 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 53357 50 0 0 25 0 11 0 405397330 858120192 28765 4294967295 134512640 134569956 3221224400 3221214784 1131283544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28765 13073 16 0 209486 0 vsize: 838008 [startup+570.051 s] Raw data (loadavg): 1.01 0.92 0.52 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 54348 50 0 0 25 0 11 0 405397330 858120192 28785 4294967295 134512640 134569956 3221224400 3221214184 1131491422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28785 13073 16 0 209486 0 vsize: 838008 [startup+580.052 s] Raw data (loadavg): 1.01 0.92 0.52 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 55323 50 0 0 25 0 11 0 405397330 858120192 28820 4294967295 134512640 134569956 3221224400 3221214416 1131488151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28820 13073 16 0 209486 0 vsize: 838008 [startup+590.052 s] Raw data (loadavg): 1.01 0.92 0.53 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 56313 50 0 0 25 0 11 0 405397330 858120192 28838 4294967295 134512640 134569956 3221224400 3221214584 1131300834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28838 13073 16 0 209486 0 vsize: 838008 [startup+600.052 s] Raw data (loadavg): 1.00 0.93 0.53 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 57292 50 0 0 25 0 11 0 405397330 858120192 28899 4294967295 134512640 134569956 3221224400 3221214136 1131494792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28899 13073 16 0 209486 0 vsize: 838008 [startup+610.053 s] Raw data (loadavg): 1.00 0.93 0.54 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 58269 50 0 0 25 0 11 0 405397330 858120192 28946 4294967295 134512640 134569956 3221224400 3221214480 1131494633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28946 13073 16 0 209486 0 vsize: 838008 [startup+620.053 s] Raw data (loadavg): 1.00 0.93 0.54 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 59252 50 0 0 25 0 11 0 405397330 858120192 28973 4294967295 134512640 134569956 3221224400 3221214164 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 28973 13073 16 0 209486 0 vsize: 838008 [startup+630.053 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 60221 50 0 0 25 0 11 0 405397330 858120192 29011 4294967295 134512640 134569956 3221224400 3221214840 1131328558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29011 13073 16 0 209486 0 vsize: 838008 [startup+640.053 s] Raw data (loadavg): 1.00 0.93 0.55 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 61196 50 0 0 25 0 11 0 405397330 858120192 29047 4294967295 134512640 134569956 3221224400 3221213992 1131488824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29047 13073 16 0 209486 0 vsize: 838008 [startup+650.054 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 62177 50 0 0 25 0 11 0 405397330 858120192 29117 4294967295 134512640 134569956 3221224400 3221214808 1131397973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29117 13073 16 0 209486 0 vsize: 838008 [startup+660.054 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 63152 50 0 0 25 0 11 0 405397330 858120192 29198 4294967295 134512640 134569956 3221224400 3221214840 1131329013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29198 13073 16 0 209486 0 vsize: 838008 [startup+670.054 s] Raw data (loadavg): 1.00 0.94 0.56 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 64126 50 0 0 25 0 11 0 405397330 858120192 29242 4294967295 134512640 134569956 3221224400 3221214204 1131488128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29242 13073 16 0 209486 0 vsize: 838008 [startup+680.055 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 65100 50 0 0 25 0 11 0 405397330 858120192 29318 4294967295 134512640 134569956 3221224400 3221214688 1131523949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29318 13073 16 0 209486 0 vsize: 838008 [startup+690.054 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 66069 50 0 0 25 0 11 0 405397330 858120192 29432 4294967295 134512640 134569956 3221224400 3221214840 1131328558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29432 13073 16 0 209486 0 vsize: 838008 [startup+700.056 s] Raw data (loadavg): 1.00 0.94 0.57 2/64 26878 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 67045 50 0 0 25 0 11 0 405397330 858120192 29497 4294967295 134512640 134569956 3221224400 3221214576 1131464958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29497 13073 16 0 209486 0 vsize: 838008 [startup+710.056 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 68013 50 0 0 25 0 11 0 405397330 858120192 29543 4294967295 134512640 134569956 3221224400 3221214584 1131300834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29543 13073 16 0 209486 0 vsize: 838008 [startup+720.057 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 68979 50 0 0 25 0 11 0 405397330 858120192 29636 4294967295 134512640 134569956 3221224400 3221214584 1131629330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29636 13073 16 0 209486 0 vsize: 838008 [startup+730.057 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 69938 51 0 0 25 0 11 0 405397330 858120192 29749 4294967295 134512640 134569956 3221224400 3221213980 1131488160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29749 13073 16 0 209486 0 vsize: 838008 [startup+740.056 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 70900 51 0 0 25 0 11 0 405397330 858120192 29859 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29859 13073 16 0 209486 0 vsize: 838008 [startup+750.057 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 71870 51 0 0 25 0 11 0 405397330 858120192 29919 4294967295 134512640 134569956 3221224400 3221214736 1131300839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 29919 13073 16 0 209486 0 vsize: 838008 [startup+760.058 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 72837 51 0 0 25 0 11 0 405397330 858120192 30037 4294967295 134512640 134569956 3221224400 3221214152 1131488824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30037 13073 16 0 209486 0 vsize: 838008 [startup+770.058 s] Raw data (loadavg): 1.00 0.95 0.60 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 73800 51 0 0 25 0 11 0 405397330 858120192 30271 4294967295 134512640 134569956 3221224400 3221214712 1131365409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30271 13073 16 0 209486 0 vsize: 838008 [startup+780.058 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 74763 51 0 0 25 0 11 0 405397330 858120192 30525 4294967295 134512640 134569956 3221224400 3221214200 1131494633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30525 13073 16 0 209486 0 vsize: 838008 [startup+790.059 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 75733 51 0 0 25 0 11 0 405397330 858120192 30597 4294967295 134512640 134569956 3221224400 3221214704 1131300712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30597 13073 16 0 209486 0 vsize: 838008 [startup+800.059 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 76702 51 0 0 25 0 11 0 405397330 858120192 30622 4294967295 134512640 134569956 3221224400 3221214760 1131462420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30622 13073 16 0 209486 0 vsize: 838008 [startup+810.059 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 77670 51 0 0 25 0 11 0 405397330 858120192 30728 4294967295 134512640 134569956 3221224400 3221214848 1131143128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30728 13073 16 0 209486 0 vsize: 838008 [startup+820.059 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 78640 51 0 0 25 0 11 0 405397330 858120192 30820 4294967295 134512640 134569956 3221224400 3221214584 1131629824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30820 13073 16 0 209486 0 vsize: 838008 [startup+830.06 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 79616 51 0 0 25 0 11 0 405397330 858120192 30888 4294967295 134512640 134569956 3221224400 3221214544 1131488817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30888 13073 16 0 209486 0 vsize: 838008 [startup+840.059 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 80581 51 0 0 24 0 11 0 405397330 858120192 30988 4294967295 134512640 134569956 3221224400 3221214784 1131283591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 30988 13073 16 0 209486 0 vsize: 838008 [startup+850.06 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 81563 51 0 0 25 0 11 0 405397330 858120192 31029 4294967295 134512640 134569956 3221224400 3221214760 1131462497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31029 13073 16 0 209486 0 vsize: 838008 [startup+860.061 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 82545 51 0 0 25 0 11 0 405397330 858120192 31056 4294967295 134512640 134569956 3221224400 3221214848 1131143064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31056 13073 16 0 209486 0 vsize: 838008 [startup+870.061 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 83513 52 0 0 25 0 11 0 405397330 858120192 31151 4294967295 134512640 134569956 3221224400 3221214840 1131329003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31151 13073 16 0 209486 0 vsize: 838008 [startup+880.061 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 84486 52 0 0 25 0 11 0 405397330 858120192 31201 4294967295 134512640 134569956 3221224400 3221214888 1131315797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31201 13073 16 0 209486 0 vsize: 838008 [startup+890.062 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 85450 52 0 0 25 0 11 0 405397330 858120192 31250 4294967295 134512640 134569956 3221224400 3221214784 1131283169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31250 13073 16 0 209486 0 vsize: 838008 [startup+900.063 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 86421 52 0 0 25 0 11 0 405397330 858120192 31312 4294967295 134512640 134569956 3221224400 3221214848 1131143040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31312 13073 16 0 209486 0 vsize: 838008 [startup+910.063 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 87383 52 0 0 25 0 11 0 405397330 858120192 31377 4294967295 134512640 134569956 3221224400 3221214784 1131283591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31377 13073 16 0 209486 0 vsize: 838008 [startup+920.062 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 88346 52 0 0 25 0 11 0 405397330 858120192 31487 4294967295 134512640 134569956 3221224400 3221214584 1131284404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31487 13073 16 0 209486 0 vsize: 838008 [startup+930.063 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 89310 52 0 0 25 0 11 0 405397330 858120192 31586 4294967295 134512640 134569956 3221224400 3221214784 1131283591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31586 13073 16 0 209486 0 vsize: 838008 [startup+940.064 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 90282 52 0 0 25 0 11 0 405397330 858120192 31654 4294967295 134512640 134569956 3221224400 3221214840 1131328738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 31654 13073 16 0 209486 0 vsize: 838008 [startup+950.064 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 91243 52 0 0 25 0 11 0 405397330 858120192 31796 4294967295 134512640 134569956 3221224400 3221214688 1131523860 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31796 13073 16 0 209486 0 vsize: 838008 [startup+960.065 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 92210 52 0 0 25 0 11 0 405397330 858120192 31892 4294967295 134512640 134569956 3221224400 3221214840 1131328828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31892 13073 16 0 209486 0 vsize: 838008 [startup+970.065 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 93177 52 0 0 25 0 11 0 405397330 858120192 31983 4294967295 134512640 134569956 3221224400 3221214080 1131489492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 31983 13073 16 0 209486 0 vsize: 838008 [startup+980.065 s] Raw data (loadavg): 1.08 0.99 0.68 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 94139 52 0 0 25 0 11 0 405397330 858120192 32064 4294967295 134512640 134569956 3221224400 3221214160 1131488812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32064 13073 16 0 209486 0 vsize: 838008 [startup+990.065 s] Raw data (loadavg): 1.07 0.99 0.68 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 95107 52 0 0 25 0 11 0 405397330 858120192 32165 4294967295 134512640 134569956 3221224400 3221214688 1131523949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32165 13073 16 0 209486 0 vsize: 838008 [startup+1000.07 s] Raw data (loadavg): 1.06 0.99 0.68 2/64 26880 Raw data (stat): 26813 (java) S 26812 26667 26666 0 -1 0 18088 0 1 0 96075 52 0 0 25 0 11 0 405397330 858120192 32239 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32239 13073 16 0 209486 0 vsize: 838008 [startup+1010.07 s] Raw data (loadavg): 1.05 0.99 0.69 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 97030 52 0 0 25 0 11 0 405397330 858120192 32367 4294967295 134512640 134569956 3221224400 3221214608 1131540437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32367 13073 16 0 209486 0 vsize: 838008 [startup+1020.07 s] Raw data (loadavg): 1.04 0.99 0.69 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 97998 52 0 0 25 0 11 0 405397330 858120192 32465 4294967295 134512640 134569956 3221224400 3221213712 1131488909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32465 13073 16 0 209486 0 vsize: 838008 [startup+1030.07 s] Raw data (loadavg): 1.03 0.99 0.69 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 98966 52 0 0 25 0 11 0 405397330 858120192 32532 4294967295 134512640 134569956 3221224400 3221214840 1131328536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32532 13073 16 0 209486 0 vsize: 838008 [startup+1040.07 s] Raw data (loadavg): 1.03 0.99 0.70 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 99937 52 0 0 24 0 11 0 405397330 858120192 32625 4294967295 134512640 134569956 3221224400 3221214732 1080203680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32625 13073 16 0 209486 0 vsize: 838008 [startup+1050.07 s] Raw data (loadavg): 1.02 0.99 0.70 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 100920 52 0 0 25 0 11 0 405397330 858120192 32665 4294967295 134512640 134569956 3221224400 3221214840 1131328540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32665 13073 16 0 209486 0 vsize: 838008 [startup+1060.07 s] Raw data (loadavg): 1.02 0.99 0.70 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 101892 53 0 0 25 0 11 0 405397330 858120192 32736 4294967295 134512640 134569956 3221224400 3221214848 1131143037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32736 13073 16 0 209486 0 vsize: 838008 [startup+1070.07 s] Raw data (loadavg): 1.02 0.99 0.70 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 102869 53 0 0 25 0 11 0 405397330 858120192 32801 4294967295 134512640 134569956 3221224400 3221214784 1131283765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32801 13073 16 0 209486 0 vsize: 838008 [startup+1080.07 s] Raw data (loadavg): 1.01 0.99 0.71 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 103838 53 0 0 25 0 11 0 405397330 858120192 32912 4294967295 134512640 134569956 3221224400 3221214840 1131328846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32912 13073 16 0 209486 0 vsize: 838008 [startup+1090.07 s] Raw data (loadavg): 1.01 0.99 0.71 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 104817 53 0 0 25 0 11 0 405397330 858120192 32960 4294967295 134512640 134569956 3221224400 3221214688 1131523856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 32960 13073 16 0 209486 0 vsize: 838008 [startup+1100.07 s] Raw data (loadavg): 1.01 0.99 0.71 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 105793 53 0 0 25 0 11 0 405397330 858120192 33004 4294967295 134512640 134569956 3221224400 3221214532 1131488128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33004 13073 16 0 209486 0 vsize: 838008 [startup+1110.07 s] Raw data (loadavg): 1.01 0.99 0.72 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 106767 53 0 0 25 0 11 0 405397330 858120192 33035 4294967295 134512640 134569956 3221224400 3221214840 1131328672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33035 13073 16 0 209486 0 vsize: 838008 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.72 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 107751 53 0 0 25 0 11 0 405397330 858120192 33092 4294967295 134512640 134569956 3221224400 3221214712 1131362687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33092 13073 16 0 209486 0 vsize: 838008 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.72 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 108712 53 0 0 25 0 11 0 405397330 858120192 33184 4294967295 134512640 134569956 3221224400 3221214888 1131316230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33184 13073 16 0 209486 0 vsize: 838008 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.72 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 109680 53 0 0 25 0 11 0 405397330 858120192 33239 4294967295 134512640 134569956 3221224400 3221214536 1131494780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33239 13073 16 0 209486 0 vsize: 838008 [startup+1150.08 s] Raw data (loadavg): 1.00 0.99 0.73 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 110660 53 0 0 25 0 11 0 405397330 858120192 33282 4294967295 134512640 134569956 3221224400 3221214848 1131143224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33282 13073 16 0 209486 0 vsize: 838008 [startup+1160.08 s] Raw data (loadavg): 1.00 0.99 0.73 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 111627 53 0 0 25 0 11 0 405397330 858120192 33328 4294967295 134512640 134569956 3221224400 3221214528 1131494792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33328 13073 16 0 209486 0 vsize: 838008 [startup+1170.08 s] Raw data (loadavg): 1.00 0.99 0.73 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 112591 53 0 0 25 0 11 0 405397330 858120192 33385 4294967295 134512640 134569956 3221224400 3221213904 1085679366 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209502 33385 13073 16 0 209486 0 vsize: 838008 [startup+1180.08 s] Raw data (loadavg): 1.00 0.99 0.73 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 113555 54 0 0 25 0 11 0 405397330 858120192 33466 4294967295 134512640 134569956 3221224400 3221214656 1131391403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33466 13073 16 0 209486 0 vsize: 838008 [startup+1190.08 s] Raw data (loadavg): 1.00 0.99 0.74 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 114520 54 0 0 25 0 11 0 405397330 858120192 33533 4294967295 134512640 134569956 3221224400 3221214780 1131246368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33533 13073 16 0 209486 0 vsize: 838008 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.74 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 115499 54 0 0 25 0 11 0 405397330 858120192 33625 4294967295 134512640 134569956 3221224400 3221214760 1131211979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33625 13073 16 0 209486 0 vsize: 838008 [startup+1210.08 s] Raw data (loadavg): 1.00 0.99 0.74 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 116462 54 0 0 24 0 11 0 405397330 858120192 33763 4294967295 134512640 134569956 3221224400 3221214848 1131143057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33763 13073 16 0 209486 0 vsize: 838008 [startup+1220.08 s] Raw data (loadavg): 1.00 0.99 0.74 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 117434 54 0 0 25 0 11 0 405397330 858120192 33863 4294967295 134512640 134569956 3221224400 3221214848 1131143051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33863 13073 16 0 209486 0 vsize: 838008 [startup+1230.08 s] Raw data (loadavg): 1.00 0.99 0.74 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 118405 54 0 0 25 0 11 0 405397330 858120192 33927 4294967295 134512640 134569956 3221224400 3221214808 1131397924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 33927 13073 16 0 209486 0 vsize: 838008 [startup+1240.08 s] Raw data (loadavg): 1.00 0.99 0.75 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 119377 54 0 0 25 0 11 0 405397330 858120192 34010 4294967295 134512640 134569956 3221224400 3221214840 1131328831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 34010 13073 16 0 209486 0 vsize: 838008 [startup+1250.08 s] Raw data (loadavg): 1.00 0.99 0.75 2/64 26880 Raw data (stat): 26813 (java) R 26812 26667 26666 0 -1 0 18088 0 1 0 120345 54 0 0 25 0 11 0 405397330 858120192 34072 4294967295 134512640 134569956 3221224400 3221213904 1085679343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209502 34072 13073 16 0 209486 0 vsize: 838008 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.32 s] Raw data (loadavg): 1.00 0.99 0.75 1/54 26882 Raw data (stat): 26813 (java) Z 26812 26667 26666 0 -1 1036 18088 14615 1 1 120352 54 4381 38 25 0 1 0 405397330 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): 1250.32 CPU time (s): 1248.27 CPU user time (s): 1247.34 CPU system time (s): 0.930858 CPU usage (%): 99.8359 Max. virtual memory (Kb): 841996 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####