Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb |
MD5SUM | c5ca7819a7dcae16ff6045242cdd1f87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -23 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1176.86 |
Number of variables | 1835 |
Total number of constraints | 3947 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 1921 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 882 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-04-21 15:13:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17936 boxname=wulflinc27 idbench=1380 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-protfold.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-protfold.opb IDLAUNCH: 17936 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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 : 3 cpu MHz : 451.169 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: 701220 kB Buffers: 17632 kB Cached: 292004 kB SwapCached: 512 kB Active: 26860 kB Inactive: 284772 kB HighTotal: 131008 kB HighFree: 11284 kB LowTotal: 903652 kB LowFree: 689936 kB SwapTotal: 2097892 kB SwapFree: 2096472 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5096 kB Slab: 16120 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 15:35:07 (client local time) WITH STATUS 143 IN 1272.64 SECONDS stats: 17936 7 1272.64 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-protfold.opb c reading problem c [nbvar=1835] c [nbconstr=3947] c time 5.542 c #vars 1835 c #clauses 2149 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=-11 c Current CPU time (ms) : 29.748 c starts : 2 c conflicts : 123 c decisions : 2203 c propagations : 18402 c inspects : 50393 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 123 c root simplifications : 2 c c CURRENT OPTIMUM=-12 c Current CPU time (ms) : 56.004 c starts : 4 c conflicts : 232 c decisions : 3485 c propagations : 32034 c inspects : 97709 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 232 c root simplifications : 4 c c CURRENT OPTIMUM=-13 c Current CPU time (ms) : 83.204 c starts : 5 c conflicts : 320 c decisions : 4351 c propagations : 43263 c inspects : 135503 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 320 c root simplifications : 5 c c CURRENT OPTIMUM=-15 c Current CPU time (ms) : 132.588 c starts : 7 c conflicts : 469 c decisions : 5861 c propagations : 61519 c inspects : 223330 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 469 c root simplifications : 7 c c CURRENT OPTIMUM=-16 c Current CPU time (ms) : 237.538 c starts : 10 c conflicts : 761 c decisions : 9713 c propagations : 100370 c inspects : 422129 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 761 c root simplifications : 10 c c CURRENT OPTIMUM=-17 c Current CPU time (ms) : 437.239 c starts : 13 c conflicts : 1082 c decisions : 13024 c propagations : 140868 c inspects : 740379 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1082 c root simplifications : 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.95 0.90 2/54 21410 Raw data (stat): 21410 (runsolver) R 21409 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546071136 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 1.17 1.00 0.92 4/64 21420 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18038 0 37 0 561 41 0 0 25 0 11 0 546071136 859594752 20250 4294967295 134512640 134569956 3221224400 3221214820 1130894842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209862 20250 13073 16 0 209846 0 vsize: 839448 [startup+20.0839 s] Raw data (loadavg): 1.14 1.00 0.92 2/64 21420 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18042 0 37 0 1401 41 0 0 25 0 11 0 546071136 860450816 21431 4294967295 134512640 134569956 3221224400 3221214816 1131373137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 21431 13073 16 0 210055 0 vsize: 840284 [startup+30.0847 s] Raw data (loadavg): 1.12 1.00 0.92 2/64 21420 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18043 0 37 0 2329 41 0 0 24 0 11 0 546071136 860450816 21861 4294967295 134512640 134569956 3221224400 3221214784 1131308876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 21861 13073 16 0 210055 0 vsize: 840284 [startup+40.0855 s] Raw data (loadavg): 1.10 1.00 0.92 2/64 21421 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18043 3 37 0 3263 41 0 0 25 0 11 0 546071136 860450816 22345 4294967295 134512640 134569956 3221224400 3221214896 1131520900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 22345 13073 16 0 210055 0 vsize: 840284 [startup+50.0863 s] Raw data (loadavg): 1.16 1.02 0.93 2/64 21421 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18043 3 37 0 4197 41 0 0 25 0 11 0 546071136 860450816 22345 4294967295 134512640 134569956 3221224400 3221214664 1131428727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 22345 13073 16 0 210055 0 vsize: 840284 [startup+60.0865 s] Raw data (loadavg): 1.13 1.02 0.93 2/64 21422 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 5115 41 0 0 25 0 11 0 546071136 860450816 22525 4294967295 134512640 134569956 3221224400 3221214664 1131349538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 22525 13073 16 0 210055 0 vsize: 840284 [startup+70.0869 s] Raw data (loadavg): 1.11 1.02 0.93 2/64 21422 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 6042 42 0 0 25 0 11 0 546071136 860450816 22778 4294967295 134512640 134569956 3221224400 3221214696 1131366875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 22778 13073 16 0 210055 0 vsize: 840284 [startup+80.0879 s] Raw data (loadavg): 1.09 1.01 0.93 2/64 21422 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 6968 42 0 0 25 0 11 0 546071136 860450816 23030 4294967295 134512640 134569956 3221224400 3221214568 1131551863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210071 23030 13073 16 0 210055 0 vsize: 840284 [startup+90.089 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 21423 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 7886 42 0 0 25 0 11 0 546071136 860450816 23196 4294967295 134512640 134569956 3221224400 3221214680 1131225657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 23196 13073 16 0 210055 0 vsize: 840284 [startup+100.089 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 21423 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 8806 42 0 0 25 0 11 0 546071136 860450816 23403 4294967295 134512640 134569956 3221224400 3221214776 1131215264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 23403 13073 16 0 210055 0 vsize: 840284 [startup+110.089 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 21423 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 9728 42 0 0 24 0 11 0 546071136 860450816 23659 4294967295 134512640 134569956 3221224400 3221214672 1131428721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 23659 13073 16 0 210055 0 vsize: 840284 [startup+120.091 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 21423 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 10666 42 0 0 25 0 11 0 546071136 860450816 23886 4294967295 134512640 134569956 3221224400 3221214680 1131225190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 23886 13073 16 0 210055 0 vsize: 840284 [startup+130.091 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 21423 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 11599 42 0 0 24 0 11 0 546071136 860450816 24031 4294967295 134512640 134569956 3221224400 3221214824 1131374450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210071 24031 13073 16 0 210055 0 vsize: 840284 [startup+140.092 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 12537 42 0 0 25 0 11 0 546071136 866742272 25694 4294967295 134512640 134569956 3221224400 3221214672 1131428704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211607 25694 13073 16 0 211591 0 vsize: 846428 [startup+150.093 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 13471 42 0 0 25 0 11 0 546071136 862547968 24847 4294967295 134512640 134569956 3221224400 3221214752 1131332685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 24847 13073 16 0 210567 0 vsize: 842332 [startup+160.092 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 14416 42 0 0 25 0 11 0 546071136 862547968 24995 4294967295 134512640 134569956 3221224400 3221214576 1131239874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 24995 13073 16 0 210567 0 vsize: 842332 [startup+170.093 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 15354 42 0 0 25 0 11 0 546071136 862547968 25190 4294967295 134512640 134569956 3221224400 3221214776 1131306539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25190 13073 16 0 210567 0 vsize: 842332 [startup+180.093 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 16301 43 0 0 25 0 11 0 546071136 862547968 25309 4294967295 134512640 134569956 3221224400 3221214616 1131354594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25309 13073 16 0 210567 0 vsize: 842332 [startup+190.094 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 17236 43 0 0 25 0 11 0 546071136 862547968 25475 4294967295 134512640 134569956 3221224400 3221214824 1131375450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25475 13073 16 0 210567 0 vsize: 842332 [startup+200.094 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 18177 43 0 0 25 0 11 0 546071136 862547968 25557 4294967295 134512640 134569956 3221224400 3221214568 1131550779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25557 13073 16 0 210567 0 vsize: 842332 [startup+210.094 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 19111 43 0 0 25 0 11 0 546071136 862547968 25741 4294967295 134512640 134569956 3221224400 3221214856 1131322771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25741 13073 16 0 210567 0 vsize: 842332 [startup+220.094 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 20043 43 0 0 25 0 11 0 546071136 862547968 25924 4294967295 134512640 134569956 3221224400 3221214776 1131306831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 25924 13073 16 0 210567 0 vsize: 842332 [startup+230.095 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 20972 43 0 0 25 0 11 0 546071136 862547968 26142 4294967295 134512640 134569956 3221224400 3221214776 1131309492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26142 13073 16 0 210567 0 vsize: 842332 [startup+240.095 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21424 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 21913 43 0 0 25 0 11 0 546071136 862547968 26298 4294967295 134512640 134569956 3221224400 3221214680 1131225153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26298 13073 16 0 210567 0 vsize: 842332 [startup+250.096 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 22868 43 0 0 25 0 11 0 546071136 862547968 26457 4294967295 134512640 134569956 3221224400 3221214568 1131550935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26457 13073 16 0 210567 0 vsize: 842332 [startup+260.096 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 23815 43 0 0 25 0 11 0 546071136 862547968 26599 4294967295 134512640 134569956 3221224400 3221214680 1131226227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26599 13073 16 0 210567 0 vsize: 842332 [startup+270.097 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 24762 43 0 0 25 0 11 0 546071136 862547968 26683 4294967295 134512640 134569956 3221224400 3221214680 1131225185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26683 13073 16 0 210567 0 vsize: 842332 [startup+280.097 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 25711 43 0 0 25 0 11 0 546071136 862547968 26803 4294967295 134512640 134569956 3221224400 3221214856 1131322686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26803 13073 16 0 210567 0 vsize: 842332 [startup+290.099 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 26675 44 0 0 25 0 11 0 546071136 862547968 26932 4294967295 134512640 134569956 3221224400 3221214568 1131550993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26932 13073 16 0 210567 0 vsize: 842332 [startup+300.099 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 27646 44 0 0 25 0 11 0 546071136 862547968 26989 4294967295 134512640 134569956 3221224400 3221214856 1131322606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 26989 13073 16 0 210567 0 vsize: 842332 [startup+310.099 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 28603 44 0 0 25 0 11 0 546071136 862547968 27048 4294967295 134512640 134569956 3221224400 3221214680 1131225700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27048 13073 16 0 210567 0 vsize: 842332 [startup+320.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 29554 44 0 0 25 0 11 0 546071136 862547968 27204 4294967295 134512640 134569956 3221224400 3221214680 1131226101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27204 13073 16 0 210567 0 vsize: 842332 [startup+330.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 30507 44 0 0 25 0 11 0 546071136 862547968 27216 4294967295 134512640 134569956 3221224400 3221214576 1131239953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 27216 13073 16 0 210567 0 vsize: 842332 [startup+340.103 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) S 21409 18865 18864 0 -1 0 18044 3 37 0 31452 44 0 0 25 0 11 0 546071136 862547968 27375 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27376 13073 16 0 210567 0 vsize: 842332 [startup+350.105 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 32400 44 0 0 25 0 11 0 546071136 862547968 27485 4294967295 134512640 134569956 3221224400 3221214680 1131225354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27485 13073 16 0 210567 0 vsize: 842332 [startup+360.105 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 33364 44 0 0 24 0 11 0 546071136 862547968 27557 4294967295 134512640 134569956 3221224400 3221214680 1131225153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27557 13073 16 0 210567 0 vsize: 842332 [startup+370.106 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 34322 44 0 0 25 0 11 0 546071136 862547968 27632 4294967295 134512640 134569956 3221224400 3221214576 1131239682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27632 13073 16 0 210567 0 vsize: 842332 [startup+380.106 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 35271 44 0 0 25 0 11 0 546071136 862547968 27778 4294967295 134512640 134569956 3221224400 3221214776 1131306877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27778 13073 16 0 210567 0 vsize: 842332 [startup+390.107 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 36221 44 0 0 25 0 11 0 546071136 862547968 27908 4294967295 134512640 134569956 3221224400 3221214776 1131306877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27908 13073 16 0 210567 0 vsize: 842332 [startup+400.107 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 37164 44 0 0 25 0 11 0 546071136 862547968 27990 4294967295 134512640 134569956 3221224400 3221214680 1131226331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 27990 13073 16 0 210567 0 vsize: 842332 [startup+410.107 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 38103 44 0 0 25 0 11 0 546071136 862547968 28133 4294967295 134512640 134569956 3221224400 3221214680 1131225733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 28133 13073 16 0 210567 0 vsize: 842332 [startup+420.108 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 39040 44 0 0 25 0 11 0 546071136 862547968 28285 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 28285 13073 16 0 210567 0 vsize: 842332 [startup+430.109 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21425 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 39987 44 0 0 25 0 11 0 546071136 862547968 28420 4294967295 134512640 134569956 3221224400 3221214776 1131306877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 28420 13073 16 0 210567 0 vsize: 842332 [startup+440.109 s] Raw data (loadavg): 1.00 1.00 0.93 3/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 40936 44 0 0 25 0 11 0 546071136 862547968 28614 4294967295 134512640 134569956 3221224400 3221214504 1130912772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 28614 13073 16 0 210567 0 vsize: 842332 [startup+450.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 41897 45 0 0 25 0 11 0 546071136 862547968 28681 4294967295 134512640 134569956 3221224400 3221214680 1131226237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 28681 13073 16 0 210567 0 vsize: 842332 [startup+460.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 42852 45 0 0 25 0 11 0 546071136 862547968 28750 4294967295 134512640 134569956 3221224400 3221214776 1131306877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 28750 13073 16 0 210567 0 vsize: 842332 [startup+470.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 43804 45 0 0 25 0 11 0 546071136 862547968 28847 4294967295 134512640 134569956 3221224400 3221214856 1131322857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 28847 13073 16 0 210567 0 vsize: 842332 [startup+480.111 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 44758 46 0 0 25 0 11 0 546071136 862547968 28935 4294967295 134512640 134569956 3221224400 3221214672 1131421360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 28935 13073 16 0 210567 0 vsize: 842332 [startup+490.111 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) S 21409 18865 18864 0 -1 0 18044 3 37 0 45700 46 0 0 25 0 11 0 546071136 862547968 29059 4294967295 134512640 134569956 3221224400 3221213392 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29059 13073 16 0 210567 0 vsize: 842332 [startup+500.111 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 46651 46 0 0 25 0 11 0 546071136 862547968 29169 4294967295 134512640 134569956 3221224400 3221214680 1131226338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29169 13073 16 0 210567 0 vsize: 842332 [startup+510.111 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 47603 46 0 0 25 0 11 0 546071136 862547968 29267 4294967295 134512640 134569956 3221224400 3221214680 1131226242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29267 13073 16 0 210567 0 vsize: 842332 [startup+520.112 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 48556 47 0 0 25 0 11 0 546071136 862547968 29392 4294967295 134512640 134569956 3221224400 3221214204 1131128528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29392 13073 16 0 210567 0 vsize: 842332 [startup+530.112 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 49513 47 0 0 25 0 11 0 546071136 862547968 29533 4294967295 134512640 134569956 3221224400 3221214696 1131366826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29533 13073 16 0 210567 0 vsize: 842332 [startup+540.113 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 50469 48 0 0 25 0 11 0 546071136 862547968 29619 4294967295 134512640 134569956 3221224400 3221214776 1131308143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29619 13073 16 0 210567 0 vsize: 842332 [startup+550.114 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 51425 48 0 0 25 0 11 0 546071136 862547968 29710 4294967295 134512640 134569956 3221224400 3221214680 1131226196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29710 13073 16 0 210567 0 vsize: 842332 [startup+560.113 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 52380 48 0 0 25 0 11 0 546071136 862547968 29803 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29803 13073 16 0 210567 0 vsize: 842332 [startup+570.114 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 53335 49 0 0 25 0 11 0 546071136 862547968 29909 4294967295 134512640 134569956 3221224400 3221214576 1131239610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 29909 13073 16 0 210567 0 vsize: 842332 [startup+580.115 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 54287 49 0 0 24 0 11 0 546071136 862547968 30052 4294967295 134512640 134569956 3221224400 3221214776 1131308872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30052 13073 16 0 210567 0 vsize: 842332 [startup+590.116 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 55250 49 0 0 25 0 11 0 546071136 862547968 30125 4294967295 134512640 134569956 3221224400 3221214680 1131225354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30125 13073 16 0 210567 0 vsize: 842332 [startup+600.117 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 56218 50 0 0 25 0 11 0 546071136 862547968 30159 4294967295 134512640 134569956 3221224400 3221214288 1085679473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30159 13073 16 0 210567 0 vsize: 842332 [startup+610.116 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 57167 50 0 0 25 0 11 0 546071136 862547968 30299 4294967295 134512640 134569956 3221224400 3221214776 1131309034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30299 13073 16 0 210567 0 vsize: 842332 [startup+620.117 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 58127 50 0 0 25 0 11 0 546071136 862547968 30347 4294967295 134512640 134569956 3221224400 3221214776 1131307993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30347 13073 16 0 210567 0 vsize: 842332 [startup+630.117 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 59088 51 0 0 25 0 11 0 546071136 862547968 30416 4294967295 134512640 134569956 3221224400 3221214776 1131215142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30416 13073 16 0 210567 0 vsize: 842332 [startup+640.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 60039 51 0 0 25 0 11 0 546071136 862547968 30543 4294967295 134512640 134569956 3221224400 3221214680 1131226252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 30543 13073 16 0 210567 0 vsize: 842332 [startup+650.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 60992 51 0 0 25 0 11 0 546071136 862547968 30621 4294967295 134512640 134569956 3221224400 3221214576 1131239405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30621 13073 16 0 210567 0 vsize: 842332 [startup+660.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 61950 52 0 0 25 0 11 0 546071136 862547968 30699 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30699 13073 16 0 210567 0 vsize: 842332 [startup+670.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 62902 52 0 0 25 0 11 0 546071136 862547968 30816 4294967295 134512640 134569956 3221224400 3221214840 1131500956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 30816 13073 16 0 210567 0 vsize: 842332 [startup+680.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 63854 52 0 0 25 0 11 0 546071136 862547968 30908 4294967295 134512640 134569956 3221224400 3221214672 1131428719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30908 13073 16 0 210567 0 vsize: 842332 [startup+690.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 64817 53 0 0 25 0 11 0 546071136 862547968 30964 4294967295 134512640 134569956 3221224400 3221214568 1131551044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 30964 13073 16 0 210567 0 vsize: 842332 [startup+700.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 65779 53 0 0 25 0 11 0 546071136 862547968 31085 4294967295 134512640 134569956 3221224400 3221214752 1131333638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31085 13073 16 0 210567 0 vsize: 842332 [startup+710.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 66746 54 0 0 25 0 11 0 546071136 862547968 31148 4294967295 134512640 134569956 3221224400 3221214680 1131225463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31148 13073 16 0 210567 0 vsize: 842332 [startup+720.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 67704 54 0 0 25 0 11 0 546071136 862547968 31229 4294967295 134512640 134569956 3221224400 3221214576 1131239682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31229 13073 16 0 210567 0 vsize: 842332 [startup+730.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 68656 54 0 0 25 0 11 0 546071136 862547968 31350 4294967295 134512640 134569956 3221224400 3221214672 1131428721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31350 13073 16 0 210567 0 vsize: 842332 [startup+740.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 69612 54 0 0 25 0 11 0 546071136 862547968 31351 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31351 13073 16 0 210567 0 vsize: 842332 [startup+750.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 70562 55 0 0 25 0 11 0 546071136 862547968 31475 4294967295 134512640 134569956 3221224400 3221214680 1131225185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31475 13073 16 0 210567 0 vsize: 842332 [startup+760.118 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 71510 55 0 0 25 0 11 0 546071136 862547968 31635 4294967295 134512640 134569956 3221224400 3221214616 1131354405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31635 13073 16 0 210567 0 vsize: 842332 [startup+770.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 72459 55 0 0 25 0 11 0 546071136 862547968 31723 4294967295 134512640 134569956 3221224400 3221214672 1131428752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31723 13073 16 0 210567 0 vsize: 842332 [startup+780.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 73423 56 0 0 25 0 11 0 546071136 862547968 31816 4294967295 134512640 134569956 3221224400 3221214680 1131225829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31816 13073 16 0 210567 0 vsize: 842332 [startup+790.119 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) S 21409 18865 18864 0 -1 0 18044 3 37 0 74388 56 0 0 25 0 11 0 546071136 862547968 31939 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 31939 13073 16 0 210567 0 vsize: 842332 [startup+800.12 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 75355 57 0 0 25 0 11 0 546071136 862547968 32036 4294967295 134512640 134569956 3221224400 3221214576 1131239514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32036 13073 16 0 210567 0 vsize: 842332 [startup+810.12 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 76324 57 0 0 25 0 11 0 546071136 862547968 32118 4294967295 134512640 134569956 3221224400 3221214576 1131239514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32118 13073 16 0 210567 0 vsize: 842332 [startup+820.121 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 77287 58 0 0 25 0 11 0 546071136 862547968 32159 4294967295 134512640 134569956 3221224400 3221214564 1131298592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32159 13073 16 0 210567 0 vsize: 842332 [startup+830.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 78255 58 0 0 25 0 11 0 546071136 862547968 32189 4294967295 134512640 134569956 3221224400 3221214752 1131333083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32189 13073 16 0 210567 0 vsize: 842332 [startup+840.121 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 79220 58 0 0 25 0 11 0 546071136 862547968 32284 4294967295 134512640 134569956 3221224400 3221214776 1131306877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32284 13073 16 0 210567 0 vsize: 842332 [startup+850.121 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 80182 58 0 0 25 0 11 0 546071136 862547968 32361 4294967295 134512640 134569956 3221224400 3221214776 1131309562 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32361 13073 16 0 210567 0 vsize: 842332 [startup+860.121 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 81140 59 0 0 25 0 11 0 546071136 862547968 32441 4294967295 134512640 134569956 3221224400 3221214776 1131308160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32441 13073 16 0 210567 0 vsize: 842332 [startup+870.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 82091 59 0 0 25 0 11 0 546071136 862547968 32535 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32535 13073 16 0 210567 0 vsize: 842332 [startup+880.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 83046 59 0 0 25 0 11 0 546071136 862547968 32608 4294967295 134512640 134569956 3221224400 3221214304 1131604237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32608 13073 16 0 210567 0 vsize: 842332 [startup+890.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 84001 60 0 0 25 0 11 0 546071136 862547968 32717 4294967295 134512640 134569956 3221224400 3221214568 1131550957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32717 13073 16 0 210567 0 vsize: 842332 [startup+900.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 84972 60 0 0 25 0 11 0 546071136 862547968 32772 4294967295 134512640 134569956 3221224400 3221214764 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32772 13073 16 0 210567 0 vsize: 842332 [startup+910.122 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 85942 60 0 0 25 0 11 0 546071136 862547968 32831 4294967295 134512640 134569956 3221224400 3221214672 1131421312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32831 13073 16 0 210567 0 vsize: 842332 [startup+920.123 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 86914 60 0 0 25 0 11 0 546071136 862547968 32895 4294967295 134512640 134569956 3221224400 3221214552 1131602897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 32895 13073 16 0 210567 0 vsize: 842332 [startup+930.124 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 87895 61 0 0 25 0 11 0 546071136 862547968 33789 4294967295 134512640 134569956 3221224400 3221214600 1131423319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 33789 13073 16 0 210567 0 vsize: 842332 [startup+940.123 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 88886 61 0 0 25 0 11 0 546071136 862547968 34026 4294967295 134512640 134569956 3221224400 3221214152 1131128538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 34026 13073 16 0 210567 0 vsize: 842332 [startup+950.124 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 89866 61 0 0 25 0 11 0 546071136 862547968 34026 4294967295 134512640 134569956 3221224400 3221214680 1131225157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34026 13073 16 0 210567 0 vsize: 842332 [startup+960.124 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 90844 62 0 0 25 0 11 0 546071136 862547968 34026 4294967295 134512640 134569956 3221224400 3221214680 1131225603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34026 13073 16 0 210567 0 vsize: 842332 [startup+970.125 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 91814 62 0 0 25 0 11 0 546071136 862547968 34026 4294967295 134512640 134569956 3221224400 3221214424 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210583 34026 13073 16 0 210567 0 vsize: 842332 [startup+980.125 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 92789 62 0 0 25 0 11 0 546071136 862547968 34026 4294967295 134512640 134569956 3221224400 3221214376 1131128468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34026 13073 16 0 210567 0 vsize: 842332 [startup+990.125 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 93755 62 0 0 25 0 11 0 546071136 862547968 34088 4294967295 134512640 134569956 3221224400 3221214776 1131306942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34088 13073 16 0 210567 0 vsize: 842332 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 94713 63 0 0 25 0 11 0 546071136 862547968 34168 4294967295 134512640 134569956 3221224400 3221214680 1131225612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34168 13073 16 0 210567 0 vsize: 842332 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 95669 63 0 0 25 0 11 0 546071136 862547968 34291 4294967295 134512640 134569956 3221224400 3221214672 1131428719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34291 13073 16 0 210567 0 vsize: 842332 [startup+1020.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 96628 63 0 0 25 0 11 0 546071136 862547968 34375 4294967295 134512640 134569956 3221224400 3221214680 1131225323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34375 13073 16 0 210567 0 vsize: 842332 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 97579 64 0 0 25 0 11 0 546071136 862547968 34472 4294967295 134512640 134569956 3221224400 3221214680 1131225871 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34472 13073 16 0 210567 0 vsize: 842332 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 98532 64 0 0 25 0 11 0 546071136 862547968 34601 4294967295 134512640 134569956 3221224400 3221214776 1131307776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34601 13073 16 0 210567 0 vsize: 842332 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 99486 64 0 0 25 0 11 0 546071136 862547968 34667 4294967295 134512640 134569956 3221224400 3221214664 1131349518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34667 13073 16 0 210567 0 vsize: 842332 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 100444 65 0 0 25 0 11 0 546071136 862547968 34771 4294967295 134512640 134569956 3221224400 3221214672 1131428719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34771 13073 16 0 210567 0 vsize: 842332 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 101399 65 0 0 25 0 11 0 546071136 862547968 34838 4294967295 134512640 134569956 3221224400 3221214712 1131469244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34838 13073 16 0 210567 0 vsize: 842332 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 102344 65 0 0 25 0 11 0 546071136 862547968 34922 4294967295 134512640 134569956 3221224400 3221214776 1131307993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 34922 13073 16 0 210567 0 vsize: 842332 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 103296 66 0 0 25 0 11 0 546071136 862547968 35027 4294967295 134512640 134569956 3221224400 3221214036 1131661220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35027 13073 16 0 210567 0 vsize: 842332 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 104237 66 0 0 25 0 11 0 546071136 862547968 35193 4294967295 134512640 134569956 3221224400 3221214576 1131239682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35193 13073 16 0 210567 0 vsize: 842332 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 105199 66 0 0 25 0 11 0 546071136 862547968 35283 4294967295 134512640 134569956 3221224400 3221214648 1131365670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35283 13073 16 0 210567 0 vsize: 842332 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 106157 67 0 0 25 0 11 0 546071136 862547968 35402 4294967295 134512640 134569956 3221224400 3221214680 1131225153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35402 13073 16 0 210567 0 vsize: 842332 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 107108 67 0 0 25 0 11 0 546071136 862547968 35504 4294967295 134512640 134569956 3221224400 3221214680 1131226206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35504 13073 16 0 210567 0 vsize: 842332 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 108060 67 0 0 25 0 11 0 546071136 862547968 35620 4294967295 134512640 134569956 3221224400 3221214856 1131322857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35620 13073 16 0 210567 0 vsize: 842332 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 109005 67 0 0 24 0 11 0 546071136 862547968 35742 4294967295 134512640 134569956 3221224400 3221214680 1131225673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35742 13073 16 0 210567 0 vsize: 842332 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 109962 68 0 0 25 0 11 0 546071136 862547968 35829 4294967295 134512640 134569956 3221224400 3221214576 1131239573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35829 13073 16 0 210567 0 vsize: 842332 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 110923 68 0 0 25 0 11 0 546071136 862547968 35902 4294967295 134512640 134569956 3221224400 3221214672 1131428716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35902 13073 16 0 210567 0 vsize: 842332 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 111879 69 0 0 25 0 11 0 546071136 862547968 35982 4294967295 134512640 134569956 3221224400 3221214776 1131308014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 35982 13073 16 0 210567 0 vsize: 842332 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 112835 69 0 0 25 0 11 0 546071136 862547968 36057 4294967295 134512640 134569956 3221224400 3221214568 1131550935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36057 13073 16 0 210567 0 vsize: 842332 [startup+1200.13 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 113790 69 0 0 25 0 11 0 546071136 862547968 36155 4294967295 134512640 134569956 3221224400 3221214776 1131307993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36155 13073 16 0 210567 0 vsize: 842332 [startup+1210.13 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 114746 70 0 0 25 0 11 0 546071136 862547968 36245 4294967295 134512640 134569956 3221224400 3221214568 1131550574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36245 13073 16 0 210567 0 vsize: 842332 [startup+1220.13 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 115710 70 0 0 25 0 11 0 546071136 862547968 36343 4294967295 134512640 134569956 3221224400 3221214680 1131226143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36343 13073 16 0 210567 0 vsize: 842332 [startup+1230.13 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 116667 70 0 0 25 0 11 0 546071136 862547968 36415 4294967295 134512640 134569956 3221224400 3221214680 1131225657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36415 13073 16 0 210567 0 vsize: 842332 [startup+1240.13 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 117621 71 0 0 25 0 11 0 546071136 862547968 36506 4294967295 134512640 134569956 3221224400 3221214680 1131225813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36506 13073 16 0 210567 0 vsize: 842332 [startup+1250.14 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 118572 71 0 0 25 0 11 0 546071136 862547968 36583 4294967295 134512640 134569956 3221224400 3221214680 1131225899 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36583 13073 16 0 210567 0 vsize: 842332 [startup+1260.14 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 119525 72 0 0 24 0 11 0 546071136 862547968 36668 4294967295 134512640 134569956 3221224400 3221214576 1131239581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36668 13073 16 0 210567 0 vsize: 842332 [startup+1270.15 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 21426 Raw data (stat): 21410 (java) R 21409 18865 18864 0 -1 0 18044 3 37 0 120480 72 0 0 25 0 11 0 546071136 862547968 36779 4294967295 134512640 134569956 3221224400 3221214776 1131309444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210583 36779 13073 16 0 210567 0 vsize: 842332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.52 s] Raw data (loadavg): 1.02 1.01 0.93 1/54 21428 Raw data (stat): 21410 (java) Z 21409 18865 18864 0 -1 1036 18044 20711 37 2 120487 72 6645 57 24 0 1 0 546071136 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): 1270.52 CPU time (s): 1272.64 CPU user time (s): 1271.33 CPU system time (s): 1.3068 CPU usage (%): 100.167 Max. virtual memory (Kb): 846428 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####