Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 7500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 05:04:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20542 boxname=wulflinc23 idbench=132 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc23/normalized-g250.15.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-g250.15.opb IDLAUNCH: 20542 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 768824 kB Buffers: 28512 kB Cached: 215172 kB SwapCached: 640 kB Active: 74796 kB Inactive: 171384 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 768572 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5628 kB Slab: 13972 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:26:30 (client local time) WITH STATUS 143 IN 1308.92 SECONDS stats: 20542 7 1308.92 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc23/normalized-g250.15.opb c reading problem ... done. Time 44.567 ms. c #vars 7500 c #constraints 237715 c starts : 11 c conflicts : 14884 c decisions : 23558 c propagations : 7062107 c inspects : 21091778 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 14883 c root simplifications : 11 s UNKNOWN c Total CPU time (ms) : 1299.164 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.99 0.98 2/54 13246 Raw data (stat): 13246 (runsolver) R 13245 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836220373 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0005 s] Raw data (loadavg): 0.93 0.99 0.98 2/63 13255 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18012 0 1 0 879 40 0 0 25 0 10 0 836220373 854495232 19510 4294967295 134512640 134569956 3221224384 3221213720 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 19510 13086 16 0 208601 0 vsize: 834468 [startup+20.001 s] Raw data (loadavg): 0.94 0.99 0.98 2/63 13255 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18020 0 1 0 1782 40 0 0 25 0 10 0 836220373 854261760 19952 4294967295 134512640 134569956 3221224384 3221214216 1130917759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208560 19952 13086 16 0 208544 0 vsize: 834240 [startup+30.0006 s] Raw data (loadavg): 1.10 1.03 1.00 2/63 13255 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18024 0 1 0 2537 42 0 0 25 0 10 0 836220373 854794240 28043 4294967295 134512640 134569956 3221224384 3221214648 1131287300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208690 28043 13086 16 0 208674 0 vsize: 834760 [startup+40.0007 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 13255 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18024 0 1 0 3249 44 0 0 18 0 10 0 836220373 854794240 40296 4294967295 134512640 134569956 3221224384 3221214448 1131260820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208690 40296 13086 16 0 208674 0 vsize: 834760 [startup+50.0575 s] Raw data (loadavg): 1.22 1.06 1.01 3/64 13256 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18066 0 1 0 3980 46 0 0 25 0 11 0 836220373 857583616 48308 4294967295 134512640 134569956 3221224384 3221213844 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209371 48308 13086 16 0 209355 0 vsize: 837484 [startup+60.0576 s] Raw data (loadavg): 1.19 1.06 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 4914 46 0 0 25 0 11 0 836220373 856891392 49963 4294967295 134512640 134569956 3221224384 3221214784 1131394825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 49963 13086 16 0 209186 0 vsize: 836808 [startup+70.0585 s] Raw data (loadavg): 1.16 1.05 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 5873 47 0 0 25 0 11 0 836220373 856891392 49886 4294967295 134512640 134569956 3221224384 3221214772 1131240409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 49886 13086 16 0 209186 0 vsize: 836808 [startup+80.0589 s] Raw data (loadavg): 1.13 1.05 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 6823 47 0 0 25 0 11 0 836220373 856891392 50391 4294967295 134512640 134569956 3221224384 3221214796 1131373824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 50391 13086 16 0 209186 0 vsize: 836808 [startup+90.0585 s] Raw data (loadavg): 1.11 1.05 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 7779 47 0 0 25 0 11 0 836220373 856891392 50855 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 50855 13086 16 0 209186 0 vsize: 836808 [startup+100.06 s] Raw data (loadavg): 1.10 1.05 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 8738 48 0 0 25 0 11 0 836220373 856891392 51037 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 51037 13086 16 0 209186 0 vsize: 836808 [startup+110.06 s] Raw data (loadavg): 1.08 1.05 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 9685 48 0 0 25 0 11 0 836220373 856891392 51552 4294967295 134512640 134569956 3221224384 3221214768 1131409978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 51552 13086 16 0 209186 0 vsize: 836808 [startup+120.061 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 10648 48 0 0 25 0 11 0 836220373 856891392 51869 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 51869 13086 16 0 209186 0 vsize: 836808 [startup+130.062 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 11600 49 0 0 25 0 11 0 836220373 856891392 52112 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 52112 13086 16 0 209186 0 vsize: 836808 [startup+140.062 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 12544 49 0 0 25 0 11 0 836220373 856891392 52712 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 52712 13086 16 0 209186 0 vsize: 836808 [startup+150.062 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 13472 50 0 0 25 0 11 0 836220373 856891392 53665 4294967295 134512640 134569956 3221224384 3221214692 1130917307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 53665 13086 16 0 209186 0 vsize: 836808 [startup+160.062 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 14408 50 0 0 25 0 11 0 836220373 856891392 53831 4294967295 134512640 134569956 3221224384 3221214704 1131332345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 53831 13086 16 0 209186 0 vsize: 836808 [startup+170.063 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 15358 50 0 0 25 0 11 0 836220373 856891392 54247 4294967295 134512640 134569956 3221224384 3221214824 1131437765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 54247 13086 16 0 209186 0 vsize: 836808 [startup+180.063 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 16309 50 0 0 25 0 11 0 836220373 856891392 54741 4294967295 134512640 134569956 3221224384 3221214784 1131448368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 54741 13086 16 0 209186 0 vsize: 836808 [startup+190.064 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 17240 50 0 0 25 0 11 0 836220373 856891392 55270 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 55270 13086 16 0 209186 0 vsize: 836808 [startup+200.065 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 18197 51 0 0 25 0 11 0 836220373 856891392 55455 4294967295 134512640 134569956 3221224384 3221214800 1131418003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 55455 13086 16 0 209186 0 vsize: 836808 [startup+210.064 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 19140 51 0 0 25 0 11 0 836220373 856891392 55794 4294967295 134512640 134569956 3221224384 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 55794 13086 16 0 209186 0 vsize: 836808 [startup+220.064 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 20087 51 0 0 25 0 11 0 836220373 856891392 56343 4294967295 134512640 134569956 3221224384 3221214796 1131409827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 56343 13086 16 0 209186 0 vsize: 836808 [startup+230.066 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 21034 52 0 0 25 0 11 0 836220373 856891392 56637 4294967295 134512640 134569956 3221224384 3221214656 1131465808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 56637 13086 16 0 209186 0 vsize: 836808 [startup+240.066 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 21981 52 0 0 25 0 11 0 836220373 856891392 56890 4294967295 134512640 134569956 3221224384 3221214768 1131409936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 56890 13086 16 0 209186 0 vsize: 836808 [startup+250.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 22947 53 0 0 25 0 11 0 836220373 856891392 57010 4294967295 134512640 134569956 3221224384 3221214772 1131240400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 57010 13086 16 0 209186 0 vsize: 836808 [startup+260.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 23894 53 0 0 25 0 11 0 836220373 856891392 57345 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 57345 13086 16 0 209186 0 vsize: 836808 [startup+270.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 24818 53 0 0 24 0 11 0 836220373 856891392 57823 4294967295 134512640 134569956 3221224384 3221214696 1131338735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 57823 13086 16 0 209186 0 vsize: 836808 [startup+280.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 25780 54 0 0 25 0 11 0 836220373 856891392 58035 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 58035 13086 16 0 209186 0 vsize: 836808 [startup+290.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 26721 54 0 0 25 0 11 0 836220373 856891392 58371 4294967295 134512640 134569956 3221224384 3221214560 1131332455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 58371 13086 16 0 209186 0 vsize: 836808 [startup+300.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 27662 55 0 0 25 0 11 0 836220373 856891392 58710 4294967295 134512640 134569956 3221224384 3221214800 1131417607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 58710 13086 16 0 209186 0 vsize: 836808 [startup+310.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 28607 55 0 0 25 0 11 0 836220373 856891392 59079 4294967295 134512640 134569956 3221224384 3221214800 1131448368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 59079 13086 16 0 209186 0 vsize: 836808 [startup+320.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 29555 55 0 0 25 0 11 0 836220373 856891392 59283 4294967295 134512640 134569956 3221224384 3221214768 1131410000 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 59283 13086 16 0 209186 0 vsize: 836808 [startup+330.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 30503 55 0 0 25 0 11 0 836220373 856891392 59503 4294967295 134512640 134569956 3221224384 3221214592 1131458376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 59503 13086 16 0 209186 0 vsize: 836808 [startup+340.067 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 31449 56 0 0 25 0 11 0 836220373 856891392 59785 4294967295 134512640 134569956 3221224384 3221214768 1131409972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 59785 13086 16 0 209186 0 vsize: 836808 [startup+350.069 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 32379 56 0 0 25 0 11 0 836220373 856891392 60076 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 60078 13086 16 0 209186 0 vsize: 836808 [startup+360.069 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 33326 56 0 0 25 0 11 0 836220373 856891392 60310 4294967295 134512640 134569956 3221224384 3221214800 1131417583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 60310 13086 16 0 209186 0 vsize: 836808 [startup+370.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 34273 57 0 0 25 0 11 0 836220373 856891392 60535 4294967295 134512640 134569956 3221224384 3221214800 1131418008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 60535 13086 16 0 209186 0 vsize: 836808 [startup+380.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 35203 57 0 0 25 0 11 0 836220373 856891392 60839 4294967295 134512640 134569956 3221224384 3221214784 1131421216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 60839 13086 16 0 209186 0 vsize: 836808 [startup+390.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 36152 57 0 0 25 0 11 0 836220373 856891392 61057 4294967295 134512640 134569956 3221224384 3221214776 1131242048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 61057 13086 16 0 209186 0 vsize: 836808 [startup+400.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 37099 57 0 0 25 0 11 0 836220373 856891392 61302 4294967295 134512640 134569956 3221224384 3221214796 1131409836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 61302 13086 16 0 209186 0 vsize: 836808 [startup+410.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 38038 58 0 0 25 0 11 0 836220373 856891392 61590 4294967295 134512640 134569956 3221224384 3221214768 1131409904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 61590 13086 16 0 209186 0 vsize: 836808 [startup+420.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 38970 58 0 0 25 0 11 0 836220373 856891392 62075 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 62075 13086 16 0 209186 0 vsize: 836808 [startup+430.068 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 39904 59 0 0 25 0 11 0 836220373 856891392 62330 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 62330 13086 16 0 209186 0 vsize: 836808 [startup+440.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 40836 59 0 0 25 0 11 0 836220373 856891392 62726 4294967295 134512640 134569956 3221224384 3221214800 1131417571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 62726 13086 16 0 209186 0 vsize: 836808 [startup+450.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 41782 59 0 0 25 0 11 0 836220373 856891392 62932 4294967295 134512640 134569956 3221224384 3221214704 1131332303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 62932 13086 16 0 209186 0 vsize: 836808 [startup+460.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 42729 60 0 0 25 0 11 0 836220373 856891392 63139 4294967295 134512640 134569956 3221224384 3221214800 1131417607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 63139 13086 16 0 209186 0 vsize: 836808 [startup+470.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 43673 60 0 0 25 0 11 0 836220373 856891392 63402 4294967295 134512640 134569956 3221224384 3221214668 1131253552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 63402 13086 16 0 209186 0 vsize: 836808 [startup+480.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 44615 60 0 0 25 0 11 0 836220373 856891392 63693 4294967295 134512640 134569956 3221224384 3221214768 1131409931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 63693 13086 16 0 209186 0 vsize: 836808 [startup+490.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 45539 61 0 0 25 0 11 0 836220373 856891392 64017 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 64017 13086 16 0 209186 0 vsize: 836808 [startup+500.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 46483 61 0 0 25 0 11 0 836220373 856891392 64158 4294967295 134512640 134569956 3221224384 3221214560 1131332105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 64158 13086 16 0 209186 0 vsize: 836808 [startup+510.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 47427 62 0 0 25 0 11 0 836220373 856891392 64415 4294967295 134512640 134569956 3221224384 3221214796 1131409833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 64415 13086 16 0 209186 0 vsize: 836808 [startup+520.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 48356 63 0 0 25 0 11 0 836220373 856891392 64647 4294967295 134512640 134569956 3221224384 3221214560 1131332074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 64647 13086 16 0 209186 0 vsize: 836808 [startup+530.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 49305 63 0 0 25 0 11 0 836220373 856891392 64786 4294967295 134512640 134569956 3221224384 3221214656 1131466162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 64786 13086 16 0 209186 0 vsize: 836808 [startup+540.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 50232 63 0 0 25 0 11 0 836220373 856891392 65056 4294967295 134512640 134569956 3221224384 3221214784 1131448300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 65056 13086 16 0 209186 0 vsize: 836808 [startup+550.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 51160 64 0 0 25 0 11 0 836220373 856891392 65319 4294967295 134512640 134569956 3221224384 3221214616 1131374140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 65319 13086 16 0 209186 0 vsize: 836808 [startup+560.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 52105 64 0 0 25 0 11 0 836220373 856891392 65553 4294967295 134512640 134569956 3221224384 3221214356 1131437421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 65553 13086 16 0 209186 0 vsize: 836808 [startup+570.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 53032 64 0 0 25 0 11 0 836220373 856891392 65831 4294967295 134512640 134569956 3221224384 3221214704 1131332998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 65831 13086 16 0 209186 0 vsize: 836808 [startup+580.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 53979 64 0 0 25 0 11 0 836220373 856891392 66036 4294967295 134512640 134569956 3221224384 3221214796 1131394793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 66036 13086 16 0 209186 0 vsize: 836808 [startup+590.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 54909 64 0 0 25 0 11 0 836220373 856891392 66195 4294967295 134512640 134569956 3221224384 3221214840 1131491363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 66195 13086 16 0 209186 0 vsize: 836808 [startup+600.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 55828 64 0 0 25 0 11 0 836220373 856891392 66468 4294967295 134512640 134569956 3221224384 3221213200 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 66468 13086 16 0 209186 0 vsize: 836808 [startup+610.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 56759 64 0 0 25 0 11 0 836220373 856891392 66661 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 66661 13086 16 0 209186 0 vsize: 836808 [startup+620.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 57678 65 0 0 25 0 11 0 836220373 856891392 66866 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 66866 13086 16 0 209186 0 vsize: 836808 [startup+630.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 58612 65 0 0 25 0 11 0 836220373 856891392 67250 4294967295 134512640 134569956 3221224384 3221214800 1131417926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 67250 13086 16 0 209186 0 vsize: 836808 [startup+640.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 59556 65 0 0 25 0 11 0 836220373 856891392 67521 4294967295 134512640 134569956 3221224384 3221214796 1131409836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 67521 13086 16 0 209186 0 vsize: 836808 [startup+650.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 60485 65 0 0 25 0 11 0 836220373 856891392 67882 4294967295 134512640 134569956 3221224384 3221214752 1131243097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 67882 13086 16 0 209186 0 vsize: 836808 [startup+660.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 61427 65 0 0 25 0 11 0 836220373 856891392 68235 4294967295 134512640 134569956 3221224384 3221214796 1131409833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 68235 13086 16 0 209186 0 vsize: 836808 [startup+670.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 62372 65 0 0 25 0 11 0 836220373 856891392 68416 4294967295 134512640 134569956 3221224384 3221214656 1131468159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 68416 13086 16 0 209186 0 vsize: 836808 [startup+680.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 63314 65 0 0 25 0 11 0 836220373 856891392 68712 4294967295 134512640 134569956 3221224384 3221214776 1131241966 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 68712 13086 16 0 209186 0 vsize: 836808 [startup+690.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 64243 66 0 0 25 0 11 0 836220373 856891392 68970 4294967295 134512640 134569956 3221224384 3221214560 1131332856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 68970 13086 16 0 209186 0 vsize: 836808 [startup+700.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 65191 66 0 0 25 0 11 0 836220373 856891392 69120 4294967295 134512640 134569956 3221224384 3221214656 1131468091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 69120 13086 16 0 209186 0 vsize: 836808 [startup+710.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 66116 66 0 0 24 0 11 0 836220373 856891392 69521 4294967295 134512640 134569956 3221224384 3221214560 1131332167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 69521 13086 16 0 209186 0 vsize: 836808 [startup+720.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 67062 66 0 0 25 0 11 0 836220373 856891392 69734 4294967295 134512640 134569956 3221224384 3221214800 1131417940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 69734 13086 16 0 209186 0 vsize: 836808 [startup+730.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 68006 66 0 0 25 0 11 0 836220373 856891392 69923 4294967295 134512640 134569956 3221224384 3221214560 1131333148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 69923 13086 16 0 209186 0 vsize: 836808 [startup+740.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 68934 66 0 0 25 0 11 0 836220373 856891392 70267 4294967295 134512640 134569956 3221224384 3221214784 1131394809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 70267 13086 16 0 209186 0 vsize: 836808 [startup+750.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 69880 66 0 0 25 0 11 0 836220373 856891392 70415 4294967295 134512640 134569956 3221224384 3221214776 1131241945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 70415 13086 16 0 209186 0 vsize: 836808 [startup+760.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 70808 66 0 0 25 0 11 0 836220373 856891392 70711 4294967295 134512640 134569956 3221224384 3221214656 1131465808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 70711 13086 16 0 209186 0 vsize: 836808 [startup+770.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 71739 66 0 0 25 0 11 0 836220373 856891392 70950 4294967295 134512640 134569956 3221224384 3221214768 1131409972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 70950 13086 16 0 209186 0 vsize: 836808 [startup+780.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 72668 66 0 0 25 0 11 0 836220373 856891392 71215 4294967295 134512640 134569956 3221224384 3221214768 1131409849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 71215 13086 16 0 209186 0 vsize: 836808 [startup+790.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 73597 67 0 0 25 0 11 0 836220373 856891392 71453 4294967295 134512640 134569956 3221224384 3221214652 1131331980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 71453 13086 16 0 209186 0 vsize: 836808 [startup+800.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 74528 67 0 0 25 0 11 0 836220373 856891392 71655 4294967295 134512640 134569956 3221224384 3221214800 1131417984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 71655 13086 16 0 209186 0 vsize: 836808 [startup+810.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 75457 67 0 0 25 0 11 0 836220373 856891392 71849 4294967295 134512640 134569956 3221224384 3221214680 1131338282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 71849 13086 16 0 209186 0 vsize: 836808 [startup+820.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 76371 67 0 0 25 0 11 0 836220373 856891392 72089 4294967295 134512640 134569956 3221224384 3221214560 1131332188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 72089 13086 16 0 209186 0 vsize: 836808 [startup+830.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 77301 67 0 0 25 0 11 0 836220373 856891392 72300 4294967295 134512640 134569956 3221224384 3221214560 1131332879 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 72300 13086 16 0 209186 0 vsize: 836808 [startup+840.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 78231 67 0 0 25 0 11 0 836220373 856891392 72495 4294967295 134512640 134569956 3221224384 3221214472 1131260445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 72495 13086 16 0 209186 0 vsize: 836808 [startup+850.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 79161 67 0 0 25 0 11 0 836220373 856891392 72698 4294967295 134512640 134569956 3221224384 3221214560 1131332345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 72698 13086 16 0 209186 0 vsize: 836808 [startup+860.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 80093 67 0 0 25 0 11 0 836220373 856891392 72943 4294967295 134512640 134569956 3221224384 3221214560 1131332012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 72943 13086 16 0 209186 0 vsize: 836808 [startup+870.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 81008 67 0 0 24 0 11 0 836220373 856891392 73169 4294967295 134512640 134569956 3221224384 3221214656 1131468174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 73169 13086 16 0 209186 0 vsize: 836808 [startup+880.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 81939 67 0 0 25 0 11 0 836220373 856891392 73384 4294967295 134512640 134569956 3221224384 3221214772 1131243067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 73384 13086 16 0 209186 0 vsize: 836808 [startup+890.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 82870 68 0 0 25 0 11 0 836220373 856891392 73594 4294967295 134512640 134569956 3221224384 3221214792 1131373851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 73594 13086 16 0 209186 0 vsize: 836808 [startup+900.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 83801 68 0 0 25 0 11 0 836220373 856891392 73793 4294967295 134512640 134569956 3221224384 3221214776 1131242026 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209202 73793 13086 16 0 209186 0 vsize: 836808 [startup+910.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 84718 68 0 0 25 0 11 0 836220373 856891392 74030 4294967295 134512640 134569956 3221224384 3221214772 1131243056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 74030 13086 16 0 209186 0 vsize: 836808 [startup+920.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 85651 68 0 0 25 0 11 0 836220373 856891392 74249 4294967295 134512640 134569956 3221224384 3221214776 1131241997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 74249 13086 16 0 209186 0 vsize: 836808 [startup+930.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 86566 69 0 0 25 0 11 0 836220373 856891392 74453 4294967295 134512640 134569956 3221224384 3221214656 1131467275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 74453 13086 16 0 209186 0 vsize: 836808 [startup+940.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 87493 69 0 0 25 0 11 0 836220373 856891392 74636 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 74636 13086 16 0 209186 0 vsize: 836808 [startup+950.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 88412 69 0 0 25 0 11 0 836220373 856891392 74842 4294967295 134512640 134569956 3221224384 3221214748 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 74842 13086 16 0 209186 0 vsize: 836808 [startup+960.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 89327 69 0 0 25 0 11 0 836220373 856891392 75030 4294967295 134512640 134569956 3221224384 3221214680 1131338939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 75030 13086 16 0 209186 0 vsize: 836808 [startup+970.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 90258 69 0 0 25 0 11 0 836220373 856891392 75238 4294967295 134512640 134569956 3221224384 3221214560 1131332559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 75238 13086 16 0 209186 0 vsize: 836808 [startup+980.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 91168 70 0 0 25 0 11 0 836220373 856891392 75483 4294967295 134512640 134569956 3221224384 3221214672 1131251755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 75483 13086 16 0 209186 0 vsize: 836808 [startup+990.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 92103 70 0 0 25 0 11 0 836220373 856891392 75871 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 75871 13086 16 0 209186 0 vsize: 836808 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 93023 70 0 0 25 0 11 0 836220373 856891392 76184 4294967295 134512640 134569956 3221224384 3221214768 1131409929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 76184 13086 16 0 209186 0 vsize: 836808 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 93949 71 0 0 25 0 11 0 836220373 856891392 76375 4294967295 134512640 134569956 3221224384 3221214652 1131331980 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 76375 13086 16 0 209186 0 vsize: 836808 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 94881 71 0 0 25 0 11 0 836220373 856891392 76661 4294967295 134512640 134569956 3221224384 3221214800 1131417940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 76661 13086 16 0 209186 0 vsize: 836808 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 95812 71 0 0 25 0 11 0 836220373 856891392 76865 4294967295 134512640 134569956 3221224384 3221214772 1131407904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 76865 13086 16 0 209186 0 vsize: 836808 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 96743 71 0 0 25 0 11 0 836220373 856891392 77094 4294967295 134512640 134569956 3221224384 3221214608 1131456928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 77094 13086 16 0 209186 0 vsize: 836808 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 97674 71 0 0 25 0 11 0 836220373 856891392 77312 4294967295 134512640 134569956 3221224384 3221214560 1131332393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 77312 13086 16 0 209186 0 vsize: 836808 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 98607 72 0 0 25 0 11 0 836220373 856891392 77471 4294967295 134512640 134569956 3221224384 3221214768 1131330439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 77471 13086 16 0 209186 0 vsize: 836808 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 99522 72 0 0 25 0 11 0 836220373 856891392 77720 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 77720 13086 16 0 209186 0 vsize: 836808 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 100454 72 0 0 25 0 11 0 836220373 856891392 77945 4294967295 134512640 134569956 3221224384 3221214560 1131332389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 77945 13086 16 0 209186 0 vsize: 836808 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 101371 73 0 0 25 0 11 0 836220373 856891392 78145 4294967295 134512640 134569956 3221224384 3221214768 1131410017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 78145 13086 16 0 209186 0 vsize: 836808 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 102306 73 0 0 25 0 11 0 836220373 856891392 78303 4294967295 134512640 134569956 3221224384 3221214672 1131504437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 78303 13086 16 0 209186 0 vsize: 836808 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 103222 73 0 0 24 0 11 0 836220373 856891392 78500 4294967295 134512640 134569956 3221224384 3221214800 1131417943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 78500 13086 16 0 209186 0 vsize: 836808 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 104154 73 0 0 25 0 11 0 836220373 856891392 78673 4294967295 134512640 134569956 3221224384 3221214748 1130885169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 78673 13086 16 0 209186 0 vsize: 836808 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 105080 74 0 0 25 0 11 0 836220373 856891392 78883 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 78883 13086 16 0 209186 0 vsize: 836808 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 106000 74 0 0 25 0 11 0 836220373 856891392 79126 4294967295 134512640 134569956 3221224384 3221214776 1131242088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 79126 13086 16 0 209186 0 vsize: 836808 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 106917 74 0 0 25 0 11 0 836220373 856891392 79330 4294967295 134512640 134569956 3221224384 3221214560 1131332188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 79330 13086 16 0 209186 0 vsize: 836808 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 107851 74 0 0 25 0 11 0 836220373 856891392 79542 4294967295 134512640 134569956 3221224384 3221214768 1131410010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 79542 13086 16 0 209186 0 vsize: 836808 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 108768 75 0 0 25 0 11 0 836220373 856891392 79736 4294967295 134512640 134569956 3221224384 3221214560 1131332265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 79736 13086 16 0 209186 0 vsize: 836808 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 109686 75 0 0 25 0 11 0 836220373 856891392 79872 4294967295 134512640 134569956 3221224384 3221214560 1131332628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 79872 13086 16 0 209186 0 vsize: 836808 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 110603 75 0 0 25 0 11 0 836220373 856891392 80049 4294967295 134512640 134569956 3221224384 3221214856 1131443664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 80049 13086 16 0 209186 0 vsize: 836808 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 111520 76 0 0 25 0 11 0 836220373 856891392 80169 4294967295 134512640 134569956 3221224384 3221214560 1131332295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 80169 13086 16 0 209186 0 vsize: 836808 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 112436 76 0 0 25 0 11 0 836220373 856891392 80293 4294967295 134512640 134569956 3221224384 3221214800 1131417568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 80293 13086 16 0 209186 0 vsize: 836808 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 113364 76 0 0 25 0 11 0 836220373 856891392 80499 4294967295 134512640 134569956 3221224384 3221214704 1131332376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 80499 13086 16 0 209186 0 vsize: 836808 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 114281 77 0 0 25 0 11 0 836220373 856891392 80827 4294967295 134512640 134569956 3221224384 3221214736 1131293067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 80827 13086 16 0 209186 0 vsize: 836808 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 115196 77 0 0 25 0 11 0 836220373 856891392 81145 4294967295 134512640 134569956 3221224384 3221214560 1131332159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 81145 13086 16 0 209186 0 vsize: 836808 [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 116115 77 0 0 25 0 11 0 836220373 856891392 81312 4294967295 134512640 134569956 3221224384 3221214776 1131241861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 81312 13086 16 0 209186 0 vsize: 836808 [startup+1260.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 117040 78 0 0 25 0 11 0 836220373 856891392 81475 4294967295 134512640 134569956 3221224384 3221214560 1131332455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 81475 13086 16 0 209186 0 vsize: 836808 [startup+1270.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 117956 78 0 0 24 0 11 0 836220373 856891392 81644 4294967295 134512640 134569956 3221224384 3221214748 1131243056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 81644 13086 16 0 209186 0 vsize: 836808 [startup+1280.1 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 118902 78 0 0 25 0 11 0 836220373 856891392 81822 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 81822 13086 16 0 209186 0 vsize: 836808 [startup+1290.1 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 119833 79 0 0 25 0 11 0 836220373 856891392 82010 4294967295 134512640 134569956 3221224384 3221214608 1131456926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 82010 13086 16 0 209186 0 vsize: 836808 [startup+1300.1 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13258 Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 120761 79 0 0 25 0 11 0 836220373 856891392 82216 4294967295 134512640 134569956 3221224384 3221214776 1131241910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 82216 13086 16 0 209186 0 vsize: 836808 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.28 s] Raw data (loadavg): 1.05 1.01 1.00 1/54 13260 Raw data (stat): 13246 (java) Z 13245 5562 5561 0 -1 1036 18069 67456 1 0 120763 94 9891 142 25 0 1 0 836220373 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1300.28 CPU time (s): 1308.92 CPU user time (s): 1306.55 CPU system time (s): 2.37364 CPU usage (%): 100.665 Max. virtual memory (Kb): 837484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####