Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb |
MD5SUM | 8d3c68301f62da0e55b9c337557ad45c |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 930 |
Biggest coefficient in the objective function | 268435456000000 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 2701523689249770 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 7098668259737600 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 57387730531810471 |
Number of bits of the biggest sum of numbers | 56 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.317951 |
Number of variables | 6750 |
Total number of constraints | 117 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-25 08:09:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20887 boxname=wulflinc1 idbench=875 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 8d3c68301f62da0e55b9c337557ad45c /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-share1b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-share1b.opb IDLAUNCH: 20887 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 725200 kB Buffers: 26652 kB Cached: 253140 kB SwapCached: 3972 kB Active: 58348 kB Inactive: 228348 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 724948 kB SwapTotal: 2097136 kB SwapFree: 2092844 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6960 kB Slab: 17008 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:30:10 (client local time) WITH STATUS 143 IN 1257.55 SECONDS stats: 20887 7 1257.55 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/wulflinc1/normalized-mps-v2-20-10-share1b.opb c reading problem ... done. Time 19.059 ms. c #vars 6750 c #constraints 206 c starts : 10 c conflicts : 8692 c decisions : 10113 c propagations : 30391 c inspects : 2969671 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8692 c root simplifications : 10 s UNKNOWN c Total CPU time (ms) : 1259.13 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.99 2/55 19768 Raw data (stat): 19768 (runsolver) R 19767 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 722246690 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99964 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 19777 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18029 0 1 0 778 40 0 0 25 0 10 0 722246690 854671360 20430 4294967295 134512640 134569956 3221224368 3221214436 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208660 20430 13086 16 0 208644 0 vsize: 834640 [startup+20.0004 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 19777 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18049 0 1 0 1658 40 0 0 25 0 10 0 722246690 854671360 21167 4294967295 134512640 134569956 3221224368 3221214704 1131304183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208660 21167 13086 16 0 208644 0 vsize: 834640 [startup+30.0006 s] Raw data (loadavg): 1.24 1.05 1.02 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18088 0 1 0 2475 41 0 0 25 0 11 0 722246690 858710016 22703 4294967295 134512640 134569956 3221224368 3221214480 1131479982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 22703 13086 16 0 209630 0 vsize: 838584 [startup+40.0009 s] Raw data (loadavg): 1.20 1.05 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18088 0 1 0 3406 41 0 0 25 0 11 0 722246690 858710016 23515 4294967295 134512640 134569956 3221224368 3221214532 1131200259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 23515 13086 16 0 209630 0 vsize: 838584 [startup+50.0019 s] Raw data (loadavg): 1.17 1.05 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18089 0 1 0 4355 41 0 0 25 0 11 0 722246690 858710016 23874 4294967295 134512640 134569956 3221224368 3221214592 1131371306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 23874 13086 16 0 209630 0 vsize: 838584 [startup+60.0019 s] Raw data (loadavg): 1.15 1.04 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18089 0 1 0 5301 41 0 0 25 0 11 0 722246690 858710016 24544 4294967295 134512640 134569956 3221224368 3221214184 1085679759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 24544 13086 16 0 209630 0 vsize: 838584 [startup+70.0024 s] Raw data (loadavg): 1.12 1.04 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18089 0 1 0 6246 41 0 0 25 0 11 0 722246690 858710016 25095 4294967295 134512640 134569956 3221224368 3221214448 1131500962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 25095 13086 16 0 209630 0 vsize: 838584 [startup+80.0031 s] Raw data (loadavg): 1.10 1.04 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18089 0 1 0 7193 41 0 0 25 0 11 0 722246690 858710016 25747 4294967295 134512640 134569956 3221224368 3221214504 1131443482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 25747 13086 16 0 209630 0 vsize: 838584 [startup+90.0046 s] Raw data (loadavg): 1.09 1.04 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 8150 41 0 0 25 0 11 0 722246690 858710016 26096 4294967295 134512640 134569956 3221224368 3221214528 1131363389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 26096 13086 16 0 209630 0 vsize: 838584 [startup+100.005 s] Raw data (loadavg): 1.07 1.04 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 9095 42 0 0 25 0 11 0 722246690 858710016 26649 4294967295 134512640 134569956 3221224368 3221214664 1131333824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 26649 13086 16 0 209630 0 vsize: 838584 [startup+110.004 s] Raw data (loadavg): 1.06 1.03 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 10043 42 0 0 25 0 11 0 722246690 858710016 27074 4294967295 134512640 134569956 3221224368 3221214552 1131302843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 27074 13086 16 0 209630 0 vsize: 838584 [startup+120.005 s] Raw data (loadavg): 1.05 1.03 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 10984 42 0 0 25 0 11 0 722246690 858710016 27530 4294967295 134512640 134569956 3221224368 3221214328 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 27530 13086 16 0 209630 0 vsize: 838584 [startup+130.005 s] Raw data (loadavg): 1.04 1.03 1.01 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 11931 42 0 0 25 0 11 0 722246690 858710016 27930 4294967295 134512640 134569956 3221224368 3221214552 1131303008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 27930 13086 16 0 209630 0 vsize: 838584 [startup+140.006 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 12881 43 0 0 25 0 11 0 722246690 858710016 28314 4294967295 134512640 134569956 3221224368 3221214520 1131363907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 28314 13086 16 0 209630 0 vsize: 838584 [startup+150.007 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 13830 43 0 0 25 0 11 0 722246690 858710016 28640 4294967295 134512640 134569956 3221224368 3221214640 1131333824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 28640 13086 16 0 209630 0 vsize: 838584 [startup+160.006 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 14768 44 0 0 25 0 11 0 722246690 858710016 29079 4294967295 134512640 134569956 3221224368 3221214552 1131303439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 29079 13086 16 0 209630 0 vsize: 838584 [startup+170.007 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 15717 44 0 0 24 0 11 0 722246690 858710016 29444 4294967295 134512640 134569956 3221224368 3221214552 1131303008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 29444 13086 16 0 209630 0 vsize: 838584 [startup+180.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 16675 44 0 0 25 0 11 0 722246690 858710016 29726 4294967295 134512640 134569956 3221224368 3221214032 1131526776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 29726 13086 16 0 209630 0 vsize: 838584 [startup+190.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 17629 44 0 0 25 0 11 0 722246690 858710016 30215 4294967295 134512640 134569956 3221224368 3221214616 1131532452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 30215 13086 16 0 209630 0 vsize: 838584 [startup+200.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 18576 45 0 0 24 0 11 0 722246690 858710016 30711 4294967295 134512640 134569956 3221224368 3221214552 1131303008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 30711 13086 16 0 209630 0 vsize: 838584 [startup+210.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 19532 45 0 0 25 0 11 0 722246690 858710016 31203 4294967295 134512640 134569956 3221224368 3221214336 1131532168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 31203 13086 16 0 209630 0 vsize: 838584 [startup+220.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 20489 45 0 0 25 0 11 0 722246690 858710016 31606 4294967295 134512640 134569956 3221224368 3221214640 1131333824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 31606 13086 16 0 209630 0 vsize: 838584 [startup+230.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 21446 45 0 0 25 0 11 0 722246690 858710016 32030 4294967295 134512640 134569956 3221224368 3221214516 1131529356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 32030 13086 16 0 209630 0 vsize: 838584 [startup+240.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 22403 45 0 0 25 0 11 0 722246690 858710016 32497 4294967295 134512640 134569956 3221224368 3221214576 1131528041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 32497 13086 16 0 209630 0 vsize: 838584 [startup+250.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 23358 45 0 0 25 0 11 0 722246690 858710016 32903 4294967295 134512640 134569956 3221224368 3221214512 1131243416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 32903 13086 16 0 209630 0 vsize: 838584 [startup+260.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 24316 45 0 0 25 0 11 0 722246690 858710016 33370 4294967295 134512640 134569956 3221224368 3221214552 1131303063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 33370 13086 16 0 209630 0 vsize: 838584 [startup+270.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 25275 46 0 0 25 0 11 0 722246690 858710016 33657 4294967295 134512640 134569956 3221224368 3221214536 1131299104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 33657 13086 16 0 209630 0 vsize: 838584 [startup+280.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 26236 46 0 0 25 0 11 0 722246690 858710016 33978 4294967295 134512640 134569956 3221224368 3221214552 1131302889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 33978 13086 16 0 209630 0 vsize: 838584 [startup+290.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 27189 46 0 0 25 0 11 0 722246690 858710016 34122 4294967295 134512640 134569956 3221224368 3221214524 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 34122 13086 16 0 209630 0 vsize: 838584 [startup+300.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 28139 47 0 0 25 0 11 0 722246690 858710016 34472 4294967295 134512640 134569956 3221224368 3221214520 1131363828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 34472 13086 16 0 209630 0 vsize: 838584 [startup+310.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 29090 47 0 0 25 0 11 0 722246690 858710016 34677 4294967295 134512640 134569956 3221224368 3221214552 1131302908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 34677 13086 16 0 209630 0 vsize: 838584 [startup+320.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 30040 47 0 0 25 0 11 0 722246690 858710016 34958 4294967295 134512640 134569956 3221224368 3221214640 1131334008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 34958 13086 16 0 209630 0 vsize: 838584 [startup+330.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 30999 48 0 0 25 0 11 0 722246690 858710016 35190 4294967295 134512640 134569956 3221224368 3221213920 1131526776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 35190 13086 16 0 209630 0 vsize: 838584 [startup+340.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 31949 48 0 0 25 0 11 0 722246690 858710016 35503 4294967295 134512640 134569956 3221224368 3221214216 1085679331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 35503 13086 16 0 209630 0 vsize: 838584 [startup+350.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 32900 48 0 0 25 0 11 0 722246690 858710016 35727 4294967295 134512640 134569956 3221224368 3221214520 1131528112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 35727 13086 16 0 209630 0 vsize: 838584 [startup+360.014 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 33849 48 0 0 24 0 11 0 722246690 858710016 36017 4294967295 134512640 134569956 3221224368 3221214616 1131321944 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 36017 13086 16 0 209630 0 vsize: 838584 [startup+370.014 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 34810 48 0 0 25 0 11 0 722246690 858710016 36250 4294967295 134512640 134569956 3221224368 3221213696 1131526801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 36250 13086 16 0 209630 0 vsize: 838584 [startup+380.014 s] Raw data (loadavg): 1.05 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 35761 49 0 0 25 0 11 0 722246690 858710016 36512 4294967295 134512640 134569956 3221224368 3221214016 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 36512 13086 16 0 209630 0 vsize: 838584 [startup+390.015 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 36721 49 0 0 25 0 11 0 722246690 858710016 36719 4294967295 134512640 134569956 3221224368 3221214640 1131336643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 36719 13086 16 0 209630 0 vsize: 838584 [startup+400.015 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 37672 49 0 0 25 0 11 0 722246690 858710016 36998 4294967295 134512640 134569956 3221224368 3221214636 1131202407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 36998 13086 16 0 209630 0 vsize: 838584 [startup+410.015 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) S 19767 8378 8377 0 -1 0 18090 0 1 0 38626 49 0 0 25 0 11 0 722246690 858710016 37175 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 37175 13086 16 0 209630 0 vsize: 838584 [startup+420.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 39584 50 0 0 25 0 11 0 722246690 858710016 37417 4294967295 134512640 134569956 3221224368 3221214084 1131526795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 37417 13086 16 0 209630 0 vsize: 838584 [startup+430.017 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 40533 50 0 0 25 0 11 0 722246690 858710016 37681 4294967295 134512640 134569956 3221224368 3221214552 1131302947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 37681 13086 16 0 209630 0 vsize: 838584 [startup+440.017 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 41492 50 0 0 25 0 11 0 722246690 858710016 37892 4294967295 134512640 134569956 3221224368 3221214352 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 37892 13086 16 0 209630 0 vsize: 838584 [startup+450.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 42452 50 0 0 25 0 11 0 722246690 858710016 38150 4294967295 134512640 134569956 3221224368 3221213976 1131526807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 38150 13086 16 0 209630 0 vsize: 838584 [startup+460.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 43402 50 0 0 25 0 11 0 722246690 858710016 38356 4294967295 134512640 134569956 3221224368 3221213912 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 38356 13086 16 0 209630 0 vsize: 838584 [startup+470.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 44362 51 0 0 25 0 11 0 722246690 858710016 38572 4294967295 134512640 134569956 3221224368 3221214512 1131243673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 38572 13086 16 0 209630 0 vsize: 838584 [startup+480.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 45311 51 0 0 24 0 11 0 722246690 858710016 38887 4294967295 134512640 134569956 3221224368 3221214572 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 38887 13086 16 0 209630 0 vsize: 838584 [startup+490.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 46271 52 0 0 25 0 11 0 722246690 858710016 39102 4294967295 134512640 134569956 3221224368 3221214552 1131303423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 39102 13086 16 0 209630 0 vsize: 838584 [startup+500.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 47231 52 0 0 25 0 11 0 722246690 858710016 39288 4294967295 134512640 134569956 3221224368 3221214080 1131528107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 39288 13086 16 0 209630 0 vsize: 838584 [startup+510.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 48180 52 0 0 25 0 11 0 722246690 858710016 39542 4294967295 134512640 134569956 3221224368 3221214552 1131302880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 39542 13086 16 0 209630 0 vsize: 838584 [startup+520.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 49141 52 0 0 25 0 11 0 722246690 858710016 39717 4294967295 134512640 134569956 3221224368 3221214552 1131302843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 39717 13086 16 0 209630 0 vsize: 838584 [startup+530.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 50100 53 0 0 25 0 11 0 722246690 858710016 39919 4294967295 134512640 134569956 3221224368 3221213688 1131526807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 39919 13086 16 0 209630 0 vsize: 838584 [startup+540.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 51059 53 0 0 25 0 11 0 722246690 858710016 40135 4294967295 134512640 134569956 3221224368 3221214632 1131187257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 40135 13086 16 0 209630 0 vsize: 838584 [startup+550.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 52018 53 0 0 25 0 11 0 722246690 858710016 40374 4294967295 134512640 134569956 3221224368 3221214552 1131303336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 40374 13086 16 0 209630 0 vsize: 838584 [startup+560.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 52976 54 0 0 25 0 11 0 722246690 858710016 40673 4294967295 134512640 134569956 3221224368 3221214440 1085679759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 40673 13086 16 0 209630 0 vsize: 838584 [startup+570.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 53935 54 0 0 25 0 11 0 722246690 858710016 40979 4294967295 134512640 134569956 3221224368 3221214632 1131187246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 40979 13086 16 0 209630 0 vsize: 838584 [startup+580.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 54894 54 0 0 25 0 11 0 722246690 858710016 41253 4294967295 134512640 134569956 3221224368 3221214552 1131201348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 41253 13086 16 0 209630 0 vsize: 838584 [startup+590.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 55864 54 0 0 25 0 11 0 722246690 858710016 41368 4294967295 134512640 134569956 3221224368 3221214412 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 41368 13086 16 0 209630 0 vsize: 838584 [startup+600.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 56821 54 0 0 25 0 11 0 722246690 858710016 41759 4294967295 134512640 134569956 3221224368 3221213496 1085679446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 41759 13086 16 0 209630 0 vsize: 838584 [startup+610.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 57782 55 0 0 25 0 11 0 722246690 858710016 41967 4294967295 134512640 134569956 3221224368 3221214656 1131587674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 41967 13086 16 0 209630 0 vsize: 838584 [startup+620.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 58741 55 0 0 25 0 11 0 722246690 858710016 42143 4294967295 134512640 134569956 3221224368 3221213720 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 42143 13086 16 0 209630 0 vsize: 838584 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 59701 55 0 0 25 0 11 0 722246690 858710016 42440 4294967295 134512640 134569956 3221224368 3221213912 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 42440 13086 16 0 209630 0 vsize: 838584 [startup+640.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 60670 55 0 0 25 0 11 0 722246690 858710016 42598 4294967295 134512640 134569956 3221224368 3221214640 1131334000 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 42598 13086 16 0 209630 0 vsize: 838584 [startup+650.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 61629 55 0 0 25 0 11 0 722246690 858710016 42810 4294967295 134512640 134569956 3221224368 3221213912 1131528100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 42810 13086 16 0 209630 0 vsize: 838584 [startup+660.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 62588 56 0 0 25 0 11 0 722246690 858710016 43024 4294967295 134512640 134569956 3221224368 3221214552 1131304201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 43024 13086 16 0 209630 0 vsize: 838584 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 63548 56 0 0 25 0 11 0 722246690 858710016 43230 4294967295 134512640 134569956 3221224368 3221214520 1131364056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 43230 13086 16 0 209630 0 vsize: 838584 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 64506 57 0 0 25 0 11 0 722246690 858710016 43528 4294967295 134512640 134569956 3221224368 3221214640 1131336814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 43528 13086 16 0 209630 0 vsize: 838584 [startup+690.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 65475 57 0 0 25 0 11 0 722246690 858710016 43701 4294967295 134512640 134569956 3221224368 3221214080 1131526748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 43701 13086 16 0 209630 0 vsize: 838584 [startup+700.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 66434 57 0 0 25 0 11 0 722246690 858710016 43938 4294967295 134512640 134569956 3221224368 3221214616 1131532452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 43938 13086 16 0 209630 0 vsize: 838584 [startup+710.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 67394 57 0 0 25 0 11 0 722246690 858710016 44132 4294967295 134512640 134569956 3221224368 3221213528 1131526776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 44132 13086 16 0 209630 0 vsize: 838584 [startup+720.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 68362 58 0 0 25 0 11 0 722246690 858710016 44366 4294967295 134512640 134569956 3221224368 3221214072 1131528156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 44366 13086 16 0 209630 0 vsize: 838584 [startup+730.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 69321 58 0 0 25 0 11 0 722246690 858710016 44647 4294967295 134512640 134569956 3221224368 3221214440 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 44647 13086 16 0 209630 0 vsize: 838584 [startup+740.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 70280 58 0 0 25 0 11 0 722246690 858710016 44824 4294967295 134512640 134569956 3221224368 3221214552 1131302889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 44824 13086 16 0 209630 0 vsize: 838584 [startup+750.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 71239 59 0 0 25 0 11 0 722246690 858710016 45011 4294967295 134512640 134569956 3221224368 3221214244 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 45011 13086 16 0 209630 0 vsize: 838584 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 72208 59 0 0 25 0 11 0 722246690 858710016 45204 4294967295 134512640 134569956 3221224368 3221214520 1131528095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 45204 13086 16 0 209630 0 vsize: 838584 [startup+770.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 73176 59 0 0 25 0 11 0 722246690 858710016 45460 4294967295 134512640 134569956 3221224368 3221213692 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 45460 13086 16 0 209630 0 vsize: 838584 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 74136 59 0 0 25 0 11 0 722246690 858710016 45740 4294967295 134512640 134569956 3221224368 3221214552 1131303230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209646 45740 13086 16 0 209630 0 vsize: 838584 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 75096 59 0 0 25 0 11 0 722246690 858710016 45958 4294967295 134512640 134569956 3221224368 3221214568 1131529365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 45958 13086 16 0 209630 0 vsize: 838584 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 76065 60 0 0 25 0 11 0 722246690 858710016 46156 4294967295 134512640 134569956 3221224368 3221214408 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 46156 13086 16 0 209630 0 vsize: 838584 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 77035 60 0 0 25 0 11 0 722246690 858710016 46381 4294967295 134512640 134569956 3221224368 3221214080 1131526861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 46381 13086 16 0 209630 0 vsize: 838584 [startup+820.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 77995 60 0 0 25 0 11 0 722246690 858710016 46625 4294967295 134512640 134569956 3221224368 3221214576 1131527978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 46625 13086 16 0 209630 0 vsize: 838584 [startup+830.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 78954 61 0 0 24 0 11 0 722246690 858710016 46859 4294967295 134512640 134569956 3221224368 3221214624 1131195596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 46859 13086 16 0 209630 0 vsize: 838584 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 79924 61 0 0 25 0 11 0 722246690 858710016 47070 4294967295 134512640 134569956 3221224368 3221214360 1131526794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 47070 13086 16 0 209630 0 vsize: 838584 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 80894 61 0 0 25 0 11 0 722246690 858710016 47267 4294967295 134512640 134569956 3221224368 3221214552 1131303684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 47267 13086 16 0 209630 0 vsize: 838584 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 81854 62 0 0 25 0 11 0 722246690 858710016 47448 4294967295 134512640 134569956 3221224368 3221214408 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 47448 13086 16 0 209630 0 vsize: 838584 [startup+870.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 82824 62 0 0 25 0 11 0 722246690 858710016 47680 4294967295 134512640 134569956 3221224368 3221214304 1131526861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 47680 13086 16 0 209630 0 vsize: 838584 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 83793 62 0 0 25 0 11 0 722246690 858710016 47828 4294967295 134512640 134569956 3221224368 3221214236 1131528171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 47828 13086 16 0 209630 0 vsize: 838584 [startup+890.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 84752 63 0 0 25 0 11 0 722246690 858710016 48102 4294967295 134512640 134569956 3221224368 3221213736 1131529367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 48102 13086 16 0 209630 0 vsize: 838584 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 85722 63 0 0 25 0 11 0 722246690 858710016 48262 4294967295 134512640 134569956 3221224368 3221213936 1085679290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 48262 13086 16 0 209630 0 vsize: 838584 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 86681 64 0 0 25 0 11 0 722246690 858710016 48427 4294967295 134512640 134569956 3221224368 3221214552 1131303079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 48427 13086 16 0 209630 0 vsize: 838584 [startup+920.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 87640 64 0 0 25 0 11 0 722246690 858710016 48623 4294967295 134512640 134569956 3221224368 3221214552 1131303207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 48623 13086 16 0 209630 0 vsize: 838584 [startup+930.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 88599 64 0 0 25 0 11 0 722246690 858710016 48835 4294967295 134512640 134569956 3221224368 3221213944 1131532471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 48835 13086 16 0 209630 0 vsize: 838584 [startup+940.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 89559 65 0 0 25 0 11 0 722246690 858710016 49008 4294967295 134512640 134569956 3221224368 3221213744 1131526649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49008 13086 16 0 209630 0 vsize: 838584 [startup+950.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 90519 65 0 0 25 0 11 0 722246690 858710016 49119 4294967295 134512640 134569956 3221224368 3221214124 1131529344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49119 13086 16 0 209630 0 vsize: 838584 [startup+960.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 91488 65 0 0 25 0 11 0 722246690 858710016 49283 4294967295 134512640 134569956 3221224368 3221213976 1131526801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49283 13086 16 0 209630 0 vsize: 838584 [startup+970.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 92456 65 0 0 25 0 11 0 722246690 858710016 49459 4294967295 134512640 134569956 3221224368 3221214640 1131333889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49459 13086 16 0 209630 0 vsize: 838584 [startup+980.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 93416 65 0 0 25 0 11 0 722246690 858710016 49598 4294967295 134512640 134569956 3221224368 3221214524 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49598 13086 16 0 209630 0 vsize: 838584 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 94364 66 0 0 25 0 11 0 722246690 858710016 49792 4294967295 134512640 134569956 3221224368 3221214552 1131302889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49792 13086 16 0 209630 0 vsize: 838584 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 95324 66 0 0 25 0 11 0 722246690 858710016 49959 4294967295 134512640 134569956 3221224368 3221214136 1131526814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 49959 13086 16 0 209630 0 vsize: 838584 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 96273 66 0 0 25 0 11 0 722246690 858710016 50118 4294967295 134512640 134569956 3221224368 3221214640 1131335901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50118 13086 16 0 209630 0 vsize: 838584 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 97233 66 0 0 25 0 11 0 722246690 858710016 50267 4294967295 134512640 134569956 3221224368 3221214824 1131536953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50267 13086 16 0 209630 0 vsize: 838584 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 98192 67 0 0 25 0 11 0 722246690 858710016 50380 4294967295 134512640 134569956 3221224368 3221214640 1131333615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50380 13086 16 0 209630 0 vsize: 838584 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 99151 67 0 0 25 0 11 0 722246690 858710016 50567 4294967295 134512640 134569956 3221224368 3221214624 1131286948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50567 13086 16 0 209630 0 vsize: 838584 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 100111 67 0 0 25 0 11 0 722246690 858710016 50674 4294967295 134512640 134569956 3221224368 3221214576 1131527978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50674 13086 16 0 209630 0 vsize: 838584 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 101062 67 0 0 25 0 11 0 722246690 858710016 50832 4294967295 134512640 134569956 3221224368 3221214504 1131199940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50832 13086 16 0 209630 0 vsize: 838584 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 102021 68 0 0 25 0 11 0 722246690 858710016 50960 4294967295 134512640 134569956 3221224368 3221214552 1131303181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 50960 13086 16 0 209630 0 vsize: 838584 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 102981 68 0 0 25 0 11 0 722246690 858710016 51089 4294967295 134512640 134569956 3221224368 3221214288 1131529367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51089 13086 16 0 209630 0 vsize: 838584 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 103941 68 0 0 25 0 11 0 722246690 858710016 51278 4294967295 134512640 134569956 3221224368 3221214552 1131303249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51278 13086 16 0 209630 0 vsize: 838584 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 104890 69 0 0 25 0 11 0 722246690 858710016 51427 4294967295 134512640 134569956 3221224368 3221214640 1131339382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51427 13086 16 0 209630 0 vsize: 838584 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 105849 69 0 0 25 0 11 0 722246690 858710016 51561 4294967295 134512640 134569956 3221224368 3221213860 1131526800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51561 13086 16 0 209630 0 vsize: 838584 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 106808 69 0 0 25 0 11 0 722246690 858710016 51724 4294967295 134512640 134569956 3221224368 3221214516 1131529344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51724 13086 16 0 209630 0 vsize: 838584 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 107777 70 0 0 25 0 11 0 722246690 858710016 51863 4294967295 134512640 134569956 3221224368 3221214640 1131335068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 51863 13086 16 0 209630 0 vsize: 838584 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) S 19767 8378 8377 0 -1 0 18090 0 1 0 108730 70 0 0 25 0 11 0 722246690 858710016 52056 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52056 13086 16 0 209630 0 vsize: 838584 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 109697 70 0 0 25 0 11 0 722246690 858710016 52166 4294967295 134512640 134569956 3221224368 3221214184 1131528041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52166 13086 16 0 209630 0 vsize: 838584 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) S 19767 8378 8377 0 -1 0 18090 0 1 0 110660 70 0 0 25 0 11 0 722246690 858710016 52275 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52275 13086 16 0 209630 0 vsize: 838584 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 111624 70 0 0 24 0 11 0 722246690 858710016 52431 4294967295 134512640 134569956 3221224368 3221214552 1131302996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52431 13086 16 0 209630 0 vsize: 838584 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 112593 71 0 0 25 0 11 0 722246690 858710016 52571 4294967295 134512640 134569956 3221224368 3221213912 1131526711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52571 13086 16 0 209630 0 vsize: 838584 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 113562 71 0 0 25 0 11 0 722246690 858710016 52716 4294967295 134512640 134569956 3221224368 3221214552 1131303813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52716 13086 16 0 209630 0 vsize: 838584 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 114530 71 0 0 25 0 11 0 722246690 858710016 52878 4294967295 134512640 134569956 3221224368 3221214796 1130885222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 52878 13086 16 0 209630 0 vsize: 838584 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 115499 71 0 0 25 0 11 0 722246690 858710016 53006 4294967295 134512640 134569956 3221224368 3221214100 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53006 13086 16 0 209630 0 vsize: 838584 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 116467 72 0 0 25 0 11 0 722246690 858710016 53144 4294967295 134512640 134569956 3221224368 3221214180 1131529344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53144 13086 16 0 209630 0 vsize: 838584 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 117426 72 0 0 25 0 11 0 722246690 858710016 53313 4294967295 134512640 134569956 3221224368 3221214128 1131527981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53313 13086 16 0 209630 0 vsize: 838584 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 118395 72 0 0 25 0 11 0 722246690 858710016 53458 4294967295 134512640 134569956 3221224368 3221214640 1131336706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53458 13086 16 0 209630 0 vsize: 838584 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 119344 73 0 0 24 0 11 0 722246690 858710016 53672 4294967295 134512640 134569956 3221224368 3221214296 1131528188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53672 13086 16 0 209630 0 vsize: 838584 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19778 Raw data (stat): 19768 (java) R 19767 8378 8377 0 -1 0 18090 0 1 0 120304 73 0 0 25 0 11 0 722246690 858710016 53769 4294967295 134512640 134569956 3221224368 3221213680 1131528194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 53769 13086 16 0 209630 0 vsize: 838584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.16 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 19780 Raw data (stat): 19768 (java) Z 19767 8378 8377 0 -1 1036 18090 34035 1 0 120304 73 5310 66 25 0 1 0 722246690 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): 1260.16 CPU time (s): 1257.55 CPU user time (s): 1256.15 CPU system time (s): 1.39579 CPU usage (%): 99.7925 Max. virtual memory (Kb): 838584 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####