Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb |
MD5SUM | 39aa57894e5a2a46514193d566bffe40 |
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 | 6930 |
Biggest coefficient in the objective function | 53730040872960 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 8516865379203027 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
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.079986 |
Number of variables | 9060 |
Total number of constraints | 467 |
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 | 467 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1440 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 07:27:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20819 boxname=wulflinc9 idbench=807 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 39aa57894e5a2a46514193d566bffe40 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-agg3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-agg3.opb IDLAUNCH: 20819 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 530860 kB Buffers: 29140 kB Cached: 452940 kB SwapCached: 584 kB Active: 42684 kB Inactive: 441548 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 530608 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5416 kB Slab: 13948 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 07:48:10 (client local time) WITH STATUS 143 IN 1231.27 SECONDS stats: 20819 7 1231.27 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/wulflinc9/normalized-mps-v2-20-10-agg3.opb c reading problem ... done. Time 32.718 ms. c #vars 9060 c #constraints 489 c starts : 5 c conflicts : 1040 c decisions : 8904 c propagations : 23341 c inspects : 4782007 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1039 c root simplifications : 611 s UNKNOWN c Total CPU time (ms) : 1219.134 #### 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.85 0.97 0.99 2/54 17958 Raw data (stat): 17958 (runsolver) R 17957 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778853945 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 17967 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18001 0 1 0 877 41 0 0 25 0 10 0 778853945 853704704 19320 4294967295 134512640 134569956 3221224368 3221214112 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208424 19320 13086 16 0 208408 0 vsize: 833696 [startup+20.002 s] Raw data (loadavg): 0.89 0.97 0.99 3/63 17967 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18026 0 1 0 1678 41 0 0 25 0 10 0 778853945 862056448 21899 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210463 21899 13086 16 0 210447 0 vsize: 841852 [startup+30.0031 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 17967 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18027 0 1 0 2546 42 0 0 25 0 10 0 778853945 858034176 21897 4294967295 134512640 134569956 3221224368 3221214564 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209481 21897 13086 16 0 209465 0 vsize: 837924 [startup+40.0034 s] Raw data (loadavg): 0.92 0.97 0.99 3/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18068 0 1 0 3375 44 0 0 25 0 11 0 778853945 863076352 26231 4294967295 134512640 134569956 3221224368 3221214504 1131326513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210712 26231 13086 16 0 210696 0 vsize: 842848 [startup+50.0046 s] Raw data (loadavg): 1.01 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 4337 44 0 0 25 0 11 0 778853945 859611136 25670 4294967295 134512640 134569956 3221224368 3221214528 1131326383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209866 25670 13086 16 0 209850 0 vsize: 839464 [startup+60.0049 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 5320 44 0 0 25 0 11 0 778853945 859611136 25635 4294967295 134512640 134569956 3221224368 3221214528 1131326715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25635 13086 16 0 209850 0 vsize: 839464 [startup+70.0057 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 6299 44 0 0 25 0 11 0 778853945 859611136 25636 4294967295 134512640 134569956 3221224368 3221214528 1131326711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25636 13086 16 0 209850 0 vsize: 839464 [startup+80.0059 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 7272 45 0 0 25 0 11 0 778853945 859611136 25770 4294967295 134512640 134569956 3221224368 3221214608 1131270661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25770 13086 16 0 209850 0 vsize: 839464 [startup+90.0067 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 8257 45 0 0 25 0 11 0 778853945 859611136 25846 4294967295 134512640 134569956 3221224368 3221214528 1131326828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25846 13086 16 0 209850 0 vsize: 839464 [startup+100.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) S 17957 3944 3943 0 -1 0 18071 0 1 0 9242 45 0 0 25 0 11 0 778853945 859611136 25864 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25864 13086 16 0 209850 0 vsize: 839464 [startup+110.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 10229 46 0 0 25 0 11 0 778853945 859611136 25916 4294967295 134512640 134569956 3221224368 3221214528 1131326493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25916 13086 16 0 209850 0 vsize: 839464 [startup+120.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 11217 46 0 0 25 0 11 0 778853945 859611136 25955 4294967295 134512640 134569956 3221224368 3221214680 1131404775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25955 13086 16 0 209850 0 vsize: 839464 [startup+130.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 12203 46 0 0 25 0 11 0 778853945 859611136 25995 4294967295 134512640 134569956 3221224368 3221214680 1131405954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25995 13086 16 0 209850 0 vsize: 839464 [startup+140.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 13192 47 0 0 25 0 11 0 778853945 859611136 26024 4294967295 134512640 134569956 3221224368 3221214528 1131327205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26024 13086 16 0 209850 0 vsize: 839464 [startup+150.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 14180 47 0 0 25 0 11 0 778853945 859611136 26048 4294967295 134512640 134569956 3221224368 3221214592 1131430481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26048 13086 16 0 209850 0 vsize: 839464 [startup+160.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 15168 48 0 0 25 0 11 0 778853945 859611136 26072 4294967295 134512640 134569956 3221224368 3221214720 1131423037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26072 13086 16 0 209850 0 vsize: 839464 [startup+170.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 16157 48 0 0 25 0 11 0 778853945 859611136 26098 4294967295 134512640 134569956 3221224368 3221214680 1131405631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26098 13086 16 0 209850 0 vsize: 839464 [startup+180.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 17146 49 0 0 25 0 11 0 778853945 859611136 26139 4294967295 134512640 134569956 3221224368 3221214528 1131326401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26139 13086 16 0 209850 0 vsize: 839464 [startup+190.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 18136 49 0 0 25 0 11 0 778853945 859611136 26171 4294967295 134512640 134569956 3221224368 3221214528 1131326605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26171 13086 16 0 209850 0 vsize: 839464 [startup+200.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 19127 49 0 0 25 0 11 0 778853945 859611136 26191 4294967295 134512640 134569956 3221224368 3221214616 1131362220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26191 13086 16 0 209850 0 vsize: 839464 [startup+210.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 20119 50 0 0 25 0 11 0 778853945 859611136 26208 4294967295 134512640 134569956 3221224368 3221214616 1131362126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26208 13086 16 0 209850 0 vsize: 839464 [startup+220.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 21110 51 0 0 25 0 11 0 778853945 859611136 26224 4294967295 134512640 134569956 3221224368 3221214612 1131239328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26224 13086 16 0 209850 0 vsize: 839464 [startup+230.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 22102 51 0 0 25 0 11 0 778853945 859611136 26241 4294967295 134512640 134569956 3221224368 3221214528 1131239341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26241 13086 16 0 209850 0 vsize: 839464 [startup+240.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 23093 51 0 0 25 0 11 0 778853945 859611136 26258 4294967295 134512640 134569956 3221224368 3221214528 1131326877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26258 13086 16 0 209850 0 vsize: 839464 [startup+250.014 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 24085 51 0 0 25 0 11 0 778853945 859611136 26275 4294967295 134512640 134569956 3221224368 3221214528 1131326457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26275 13086 16 0 209850 0 vsize: 839464 [startup+260.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 25077 52 0 0 25 0 11 0 778853945 859611136 26285 4294967295 134512640 134569956 3221224368 3221214680 1131404614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26285 13086 16 0 209850 0 vsize: 839464 [startup+270.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 26069 52 0 0 25 0 11 0 778853945 859611136 26298 4294967295 134512640 134569956 3221224368 3221214680 1131406463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26298 13086 16 0 209850 0 vsize: 839464 [startup+280.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 27058 53 0 0 25 0 11 0 778853945 859611136 26310 4294967295 134512640 134569956 3221224368 3221214528 1131326807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26310 13086 16 0 209850 0 vsize: 839464 [startup+290.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 28049 53 0 0 25 0 11 0 778853945 859611136 26331 4294967295 134512640 134569956 3221224368 3221214528 1131327632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26331 13086 16 0 209850 0 vsize: 839464 [startup+300.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 29040 53 0 0 25 0 11 0 778853945 859611136 26346 4294967295 134512640 134569956 3221224368 3221214528 1131326369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26346 13086 16 0 209850 0 vsize: 839464 [startup+310.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 30031 53 0 0 25 0 11 0 778853945 859611136 26365 4294967295 134512640 134569956 3221224368 3221214528 1131326420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26365 13086 16 0 209850 0 vsize: 839464 [startup+320.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 31021 54 0 0 25 0 11 0 778853945 859611136 26379 4294967295 134512640 134569956 3221224368 3221214528 1131239389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26379 13086 16 0 209850 0 vsize: 839464 [startup+330.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 32013 54 0 0 25 0 11 0 778853945 859611136 26398 4294967295 134512640 134569956 3221224368 3221214616 1131362114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26398 13086 16 0 209850 0 vsize: 839464 [startup+340.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 33004 55 0 0 25 0 11 0 778853945 859611136 26409 4294967295 134512640 134569956 3221224368 3221214680 1131406029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26409 13086 16 0 209850 0 vsize: 839464 [startup+350.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18071 0 1 0 33995 55 0 0 25 0 11 0 778853945 859611136 26421 4294967295 134512640 134569956 3221224368 3221214528 1131327041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26421 13086 16 0 209850 0 vsize: 839464 [startup+360.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 34986 55 0 0 25 0 11 0 778853945 859611136 26434 4294967295 134512640 134569956 3221224368 3221214616 1131362204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26434 13086 16 0 209850 0 vsize: 839464 [startup+370.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 35977 56 0 0 25 0 11 0 778853945 859611136 26451 4294967295 134512640 134569956 3221224368 3221214528 1131326711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26451 13086 16 0 209850 0 vsize: 839464 [startup+380.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 36967 56 0 0 25 0 11 0 778853945 859611136 26467 4294967295 134512640 134569956 3221224368 3221214680 1131406062 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26467 13086 16 0 209850 0 vsize: 839464 [startup+390.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 37957 57 0 0 25 0 11 0 778853945 859611136 26483 4294967295 134512640 134569956 3221224368 3221214680 1131405954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26483 13086 16 0 209850 0 vsize: 839464 [startup+400.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 38948 57 0 0 25 0 11 0 778853945 859611136 26499 4294967295 134512640 134569956 3221224368 3221214616 1131362227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26499 13086 16 0 209850 0 vsize: 839464 [startup+410.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 39939 58 0 0 25 0 11 0 778853945 859611136 26511 4294967295 134512640 134569956 3221224368 3221214612 1131239328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26511 13086 16 0 209850 0 vsize: 839464 [startup+420.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 40927 58 0 0 25 0 11 0 778853945 859611136 26524 4294967295 134512640 134569956 3221224368 3221214616 1131362163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26524 13086 16 0 209850 0 vsize: 839464 [startup+430.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 41916 58 0 0 25 0 11 0 778853945 859611136 26539 4294967295 134512640 134569956 3221224368 3221214528 1131327765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26539 13086 16 0 209850 0 vsize: 839464 [startup+440.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 42905 58 0 0 25 0 11 0 778853945 859611136 26573 4294967295 134512640 134569956 3221224368 3221214680 1131406033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26573 13086 16 0 209850 0 vsize: 839464 [startup+450.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 43895 59 0 0 25 0 11 0 778853945 859611136 26594 4294967295 134512640 134569956 3221224368 3221214528 1131326881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26594 13086 16 0 209850 0 vsize: 839464 [startup+460.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 44885 59 0 0 25 0 11 0 778853945 859611136 26603 4294967295 134512640 134569956 3221224368 3221214528 1131326745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26603 13086 16 0 209850 0 vsize: 839464 [startup+470.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 45877 60 0 0 25 0 11 0 778853945 859611136 26622 4294967295 134512640 134569956 3221224368 3221214616 1131362073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26622 13086 16 0 209850 0 vsize: 839464 [startup+480.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 46867 60 0 0 25 0 11 0 778853945 859611136 26635 4294967295 134512640 134569956 3221224368 3221214528 1131326663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26635 13086 16 0 209850 0 vsize: 839464 [startup+490.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 47859 60 0 0 25 0 11 0 778853945 859611136 26644 4294967295 134512640 134569956 3221224368 3221214528 1131326446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26644 13086 16 0 209850 0 vsize: 839464 [startup+500.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 48850 61 0 0 25 0 11 0 778853945 859611136 26653 4294967295 134512640 134569956 3221224368 3221214528 1131326901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26653 13086 16 0 209850 0 vsize: 839464 [startup+510.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 49840 61 0 0 25 0 11 0 778853945 859611136 26664 4294967295 134512640 134569956 3221224368 3221214528 1131326269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26664 13086 16 0 209850 0 vsize: 839464 [startup+520.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 50830 62 0 0 25 0 11 0 778853945 859611136 26676 4294967295 134512640 134569956 3221224368 3221214528 1131326881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26676 13086 16 0 209850 0 vsize: 839464 [startup+530.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 51821 62 0 0 25 0 11 0 778853945 859611136 26688 4294967295 134512640 134569956 3221224368 3221214616 1131362163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26688 13086 16 0 209850 0 vsize: 839464 [startup+540.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 52811 63 0 0 25 0 11 0 778853945 859611136 26703 4294967295 134512640 134569956 3221224368 3221214528 1131326619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26703 13086 16 0 209850 0 vsize: 839464 [startup+550.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 53802 63 0 0 25 0 11 0 778853945 859611136 26715 4294967295 134512640 134569956 3221224368 3221214528 1131327067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26715 13086 16 0 209850 0 vsize: 839464 [startup+560.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 54793 64 0 0 25 0 11 0 778853945 859611136 26725 4294967295 134512640 134569956 3221224368 3221214528 1131327611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209866 26725 13086 16 0 209850 0 vsize: 839464 [startup+570.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 55782 64 0 0 24 0 11 0 778853945 859611136 26732 4294967295 134512640 134569956 3221224368 3221214528 1131326378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26732 13086 16 0 209850 0 vsize: 839464 [startup+580.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 56772 65 0 0 25 0 11 0 778853945 859611136 26748 4294967295 134512640 134569956 3221224368 3221214424 1131587605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26748 13086 16 0 209850 0 vsize: 839464 [startup+590.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 57763 65 0 0 25 0 11 0 778853945 859611136 26758 4294967295 134512640 134569956 3221224368 3221214616 1131362111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26758 13086 16 0 209850 0 vsize: 839464 [startup+600.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 58753 66 0 0 25 0 11 0 778853945 859611136 26773 4294967295 134512640 134569956 3221224368 3221214528 1131326313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26773 13086 16 0 209850 0 vsize: 839464 [startup+610.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 59743 66 0 0 25 0 11 0 778853945 859611136 26781 4294967295 134512640 134569956 3221224368 3221214528 1131326313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26781 13086 16 0 209850 0 vsize: 839464 [startup+620.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 60734 66 0 0 25 0 11 0 778853945 859611136 26793 4294967295 134512640 134569956 3221224368 3221214528 1131326766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26793 13086 16 0 209850 0 vsize: 839464 [startup+630.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 61725 67 0 0 25 0 11 0 778853945 859611136 26808 4294967295 134512640 134569956 3221224368 3221214528 1131326541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26808 13086 16 0 209850 0 vsize: 839464 [startup+640.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 62717 67 0 0 25 0 11 0 778853945 859611136 26816 4294967295 134512640 134569956 3221224368 3221214528 1131326766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209866 26816 13086 16 0 209850 0 vsize: 839464 [startup+650.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 63709 67 0 0 25 0 11 0 778853945 859611136 26818 4294967295 134512640 134569956 3221224368 3221214616 1131362462 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26818 13086 16 0 209850 0 vsize: 839464 [startup+660.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 64701 68 0 0 25 0 11 0 778853945 859611136 26822 4294967295 134512640 134569956 3221224368 3221214528 1131326327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26822 13086 16 0 209850 0 vsize: 839464 [startup+670.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 65692 68 0 0 25 0 11 0 778853945 859611136 26827 4294967295 134512640 134569956 3221224368 3221214528 1131326812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26827 13086 16 0 209850 0 vsize: 839464 [startup+680.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 66684 68 0 0 25 0 11 0 778853945 859611136 26830 4294967295 134512640 134569956 3221224368 3221214616 1131362163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26830 13086 16 0 209850 0 vsize: 839464 [startup+690.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 67675 68 0 0 25 0 11 0 778853945 859611136 26836 4294967295 134512640 134569956 3221224368 3221214680 1131404748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26836 13086 16 0 209850 0 vsize: 839464 [startup+700.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 68667 69 0 0 25 0 11 0 778853945 859611136 26839 4294967295 134512640 134569956 3221224368 3221214528 1131326803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209866 26839 13086 16 0 209850 0 vsize: 839464 [startup+710.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 69659 69 0 0 25 0 11 0 778853945 859611136 26846 4294967295 134512640 134569956 3221224368 3221214528 1131326267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26846 13086 16 0 209850 0 vsize: 839464 [startup+720.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 70650 70 0 0 25 0 11 0 778853945 859611136 26849 4294967295 134512640 134569956 3221224368 3221214616 1131362200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26849 13086 16 0 209850 0 vsize: 839464 [startup+730.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 71643 70 0 0 25 0 11 0 778853945 859611136 26851 4294967295 134512640 134569956 3221224368 3221214528 1131327017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26851 13086 16 0 209850 0 vsize: 839464 [startup+740.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 72633 70 0 0 25 0 11 0 778853945 859611136 26856 4294967295 134512640 134569956 3221224368 3221214528 1131326592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26856 13086 16 0 209850 0 vsize: 839464 [startup+750.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 73625 71 0 0 25 0 11 0 778853945 859611136 26858 4294967295 134512640 134569956 3221224368 3221214616 1131362114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26858 13086 16 0 209850 0 vsize: 839464 [startup+760.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 74615 71 0 0 25 0 11 0 778853945 859611136 26867 4294967295 134512640 134569956 3221224368 3221214528 1131326313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26867 13086 16 0 209850 0 vsize: 839464 [startup+770.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 75605 71 0 0 25 0 11 0 778853945 859611136 26878 4294967295 134512640 134569956 3221224368 3221214528 1131326830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26878 13086 16 0 209850 0 vsize: 839464 [startup+780.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 76597 72 0 0 25 0 11 0 778853945 859611136 26880 4294967295 134512640 134569956 3221224368 3221214308 1131584716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26880 13086 16 0 209850 0 vsize: 839464 [startup+790.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 77586 72 0 0 25 0 11 0 778853945 859611136 26888 4294967295 134512640 134569956 3221224368 3221214528 1131327210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26888 13086 16 0 209850 0 vsize: 839464 [startup+800.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 78577 72 0 0 25 0 11 0 778853945 859611136 26893 4294967295 134512640 134569956 3221224368 3221214680 1131403697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26893 13086 16 0 209850 0 vsize: 839464 [startup+810.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 79567 73 0 0 25 0 11 0 778853945 859611136 26905 4294967295 134512640 134569956 3221224368 3221214616 1131362396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26905 13086 16 0 209850 0 vsize: 839464 [startup+820.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 80558 73 0 0 25 0 11 0 778853945 859611136 26912 4294967295 134512640 134569956 3221224368 3221214528 1131326373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26912 13086 16 0 209850 0 vsize: 839464 [startup+830.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 81549 73 0 0 25 0 11 0 778853945 859611136 26918 4294967295 134512640 134569956 3221224368 3221214528 1131326313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26918 13086 16 0 209850 0 vsize: 839464 [startup+840.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 82540 74 0 0 25 0 11 0 778853945 859611136 26921 4294967295 134512640 134569956 3221224368 3221214616 1131362515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26921 13086 16 0 209850 0 vsize: 839464 [startup+850.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 83531 74 0 0 25 0 11 0 778853945 859611136 26927 4294967295 134512640 134569956 3221224368 3221214528 1131327616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26927 13086 16 0 209850 0 vsize: 839464 [startup+860.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 84522 75 0 0 25 0 11 0 778853945 859611136 26934 4294967295 134512640 134569956 3221224368 3221214616 1131362114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26934 13086 16 0 209850 0 vsize: 839464 [startup+870.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 85513 75 0 0 25 0 11 0 778853945 859611136 26936 4294967295 134512640 134569956 3221224368 3221214528 1131326489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26936 13086 16 0 209850 0 vsize: 839464 [startup+880.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 86505 76 0 0 25 0 11 0 778853945 859611136 26940 4294967295 134512640 134569956 3221224368 3221214616 1131362404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26940 13086 16 0 209850 0 vsize: 839464 [startup+890.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 87496 76 0 0 25 0 11 0 778853945 859611136 26944 4294967295 134512640 134569956 3221224368 3221214616 1131362175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26944 13086 16 0 209850 0 vsize: 839464 [startup+900.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 88487 76 0 0 25 0 11 0 778853945 859611136 26950 4294967295 134512640 134569956 3221224368 3221214616 1131362092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26950 13086 16 0 209850 0 vsize: 839464 [startup+910.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 89478 76 0 0 25 0 11 0 778853945 859611136 26955 4294967295 134512640 134569956 3221224368 3221214528 1131326313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26955 13086 16 0 209850 0 vsize: 839464 [startup+920.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 90470 77 0 0 25 0 11 0 778853945 859611136 26957 4294967295 134512640 134569956 3221224368 3221214528 1131326592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26957 13086 16 0 209850 0 vsize: 839464 [startup+930.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 91460 77 0 0 25 0 11 0 778853945 859611136 26960 4294967295 134512640 134569956 3221224368 3221214528 1131326327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26960 13086 16 0 209850 0 vsize: 839464 [startup+940.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 92452 78 0 0 25 0 11 0 778853945 859611136 26963 4294967295 134512640 134569956 3221224368 3221214528 1131326711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26963 13086 16 0 209850 0 vsize: 839464 [startup+950.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 93443 78 0 0 25 0 11 0 778853945 859611136 26968 4294967295 134512640 134569956 3221224368 3221214588 1131427919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26968 13086 16 0 209850 0 vsize: 839464 [startup+960.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 94434 79 0 0 25 0 11 0 778853945 859611136 26971 4294967295 134512640 134569956 3221224368 3221214680 1131403759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26971 13086 16 0 209850 0 vsize: 839464 [startup+970.051 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 95425 79 0 0 25 0 11 0 778853945 859611136 26974 4294967295 134512640 134569956 3221224368 3221214616 1131362535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26974 13086 16 0 209850 0 vsize: 839464 [startup+980.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 96415 80 0 0 25 0 11 0 778853945 859611136 26976 4294967295 134512640 134569956 3221224368 3221214676 1131381699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26976 13086 16 0 209850 0 vsize: 839464 [startup+990.051 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 97405 81 0 0 25 0 11 0 778853945 859611136 26980 4294967295 134512640 134569956 3221224368 3221214680 1131403615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26980 13086 16 0 209850 0 vsize: 839464 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 98397 81 0 0 25 0 11 0 778853945 859611136 26982 4294967295 134512640 134569956 3221224368 3221214676 1131362729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26982 13086 16 0 209850 0 vsize: 839464 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 99387 82 0 0 25 0 11 0 778853945 859611136 26987 4294967295 134512640 134569956 3221224368 3221214616 1131362216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26987 13086 16 0 209850 0 vsize: 839464 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 100377 82 0 0 25 0 11 0 778853945 859611136 26993 4294967295 134512640 134569956 3221224368 3221214528 1131326907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26993 13086 16 0 209850 0 vsize: 839464 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 101368 83 0 0 25 0 11 0 778853945 859611136 26996 4294967295 134512640 134569956 3221224368 3221214528 1131326383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 26996 13086 16 0 209850 0 vsize: 839464 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 102358 83 0 0 25 0 11 0 778853945 859611136 27001 4294967295 134512640 134569956 3221224368 3221214616 1131362114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27001 13086 16 0 209850 0 vsize: 839464 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) S 17957 3944 3943 0 -1 0 18072 0 1 0 103349 84 0 0 25 0 11 0 778853945 859611136 27005 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27005 13086 16 0 209850 0 vsize: 839464 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 104339 84 0 0 25 0 11 0 778853945 859611136 27008 4294967295 134512640 134569956 3221224368 3221214528 1131326692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27008 13086 16 0 209850 0 vsize: 839464 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 105329 84 0 0 25 0 11 0 778853945 859611136 27016 4294967295 134512640 134569956 3221224368 3221214528 1131326260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27016 13086 16 0 209850 0 vsize: 839464 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 106319 84 0 0 25 0 11 0 778853945 859611136 27020 4294967295 134512640 134569956 3221224368 3221214528 1131326267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27020 13086 16 0 209850 0 vsize: 839464 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 107311 84 0 0 25 0 11 0 778853945 859611136 27023 4294967295 134512640 134569956 3221224368 3221214616 1131362073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209866 27023 13086 16 0 209850 0 vsize: 839464 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 108301 84 0 0 25 0 11 0 778853945 859611136 27031 4294967295 134512640 134569956 3221224368 3221214528 1131326838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27031 13086 16 0 209850 0 vsize: 839464 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 109291 85 0 0 25 0 11 0 778853945 859611136 27033 4294967295 134512640 134569956 3221224368 3221214528 1131326446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27033 13086 16 0 209850 0 vsize: 839464 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 110283 85 0 0 25 0 11 0 778853945 859611136 27035 4294967295 134512640 134569956 3221224368 3221214528 1131326257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27035 13086 16 0 209850 0 vsize: 839464 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 111273 85 0 0 25 0 11 0 778853945 859611136 27040 4294967295 134512640 134569956 3221224368 3221214616 1131362081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27040 13086 16 0 209850 0 vsize: 839464 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 112263 85 0 0 25 0 11 0 778853945 859611136 27043 4294967295 134512640 134569956 3221224368 3221214528 1131326946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27043 13086 16 0 209850 0 vsize: 839464 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 113253 86 0 0 25 0 11 0 778853945 859611136 27044 4294967295 134512640 134569956 3221224368 3221214652 1131361513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27044 13086 16 0 209850 0 vsize: 839464 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 114243 86 0 0 25 0 11 0 778853945 859611136 27060 4294967295 134512640 134569956 3221224368 3221214528 1131326795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27060 13086 16 0 209850 0 vsize: 839464 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 115233 86 0 0 25 0 11 0 778853945 859611136 27065 4294967295 134512640 134569956 3221224368 3221214528 1131326729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27065 13086 16 0 209850 0 vsize: 839464 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 116224 86 0 0 25 0 11 0 778853945 859611136 27068 4294967295 134512640 134569956 3221224368 3221214680 1131403615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27068 13086 16 0 209850 0 vsize: 839464 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 117214 87 0 0 25 0 11 0 778853945 859611136 27073 4294967295 134512640 134569956 3221224368 3221214616 1131362413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27073 13086 16 0 209850 0 vsize: 839464 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 118204 87 0 0 25 0 11 0 778853945 859611136 27076 4294967295 134512640 134569956 3221224368 3221214612 1131327426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27076 13086 16 0 209850 0 vsize: 839464 [startup+1210.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 119194 87 0 0 25 0 11 0 778853945 859611136 27082 4294967295 134512640 134569956 3221224368 3221214144 1131584959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27082 13086 16 0 209850 0 vsize: 839464 [startup+1220.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 17968 Raw data (stat): 17958 (java) R 17957 3944 3943 0 -1 0 18072 0 1 0 120184 88 0 0 25 0 11 0 778853945 859611136 27089 4294967295 134512640 134569956 3221224368 3221214504 1131444067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 27089 13086 16 0 209850 0 vsize: 839464 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.13 s] Raw data (loadavg): 1.00 0.99 0.99 1/54 17970 Raw data (stat): 17958 (java) Z 17957 3944 3943 0 -1 1036 18072 15466 1 0 120185 93 2799 49 25 0 1 0 778853945 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): 1220.13 CPU time (s): 1231.27 CPU user time (s): 1229.85 CPU system time (s): 1.42578 CPU usage (%): 100.913 Max. virtual memory (Kb): 842848 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####