Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 80af83dd4f7c0078ae8fafa661248d8f |
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 | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.140978 |
Number of variables | 16224 |
Total number of constraints | 1968 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 384 |
Number of constraints which are nor clauses,nor cardinality constraints | 1392 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 309 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 08:27:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12580 boxname=wulflinc4 idbench=968 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 80af83dd4f7c0078ae8fafa661248d8f /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-gesa2-o.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-gesa2-o.opb IDLAUNCH: 12580 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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: 380760 kB Buffers: 14108 kB Cached: 616184 kB SwapCached: 0 kB Active: 30908 kB Inactive: 602204 kB HighTotal: 131008 kB HighFree: 29372 kB LowTotal: 903652 kB LowFree: 351388 kB SwapTotal: 2097136 kB SwapFree: 2096992 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6816 kB Slab: 15040 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 08:48:25 (client local time) WITH STATUS 143 IN 1243.35 SECONDS stats: 12580 7 1243.35 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-gesa2-o.opb c reading problem c [nbvar=16224] c [nbconstr=1968] c time 82.994 c #vars 16224 c #clauses 1609 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.68 0.93 0.93 2/54 4779 Raw data (stat): 4779 (runsolver) R 4778 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485411633 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0019 s] Raw data (loadavg): 0.73 0.94 0.93 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17973 0 1 0 878 41 0 0 25 0 10 0 485411633 853356544 19067 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208339 19067 13073 16 0 208323 0 vsize: 833356 [startup+20.0051 s] Raw data (loadavg): 0.77 0.94 0.93 2/63 4788 Raw data (stat): 4779 (java) S 4778 5897 5896 0 -1 0 17973 0 1 0 1774 41 0 0 25 0 10 0 485411633 853876736 19659 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208466 19659 13073 16 0 208450 0 vsize: 833864 [startup+30.0059 s] Raw data (loadavg): 0.81 0.94 0.93 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17973 0 1 0 2675 41 0 0 25 0 10 0 485411633 853876736 20095 4294967295 134512640 134569956 3221224400 3221214820 1080204160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208466 20095 13073 16 0 208450 0 vsize: 833864 [startup+40.0072 s] Raw data (loadavg): 0.92 0.96 0.94 2/63 4788 Raw data (stat): 4779 (java) S 4778 5897 5896 0 -1 0 17983 0 1 0 3554 42 0 0 25 0 10 0 485411633 858710016 21424 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 21426 13073 16 0 209630 0 vsize: 838584 [startup+50.0077 s] Raw data (loadavg): 0.93 0.96 0.94 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17983 0 1 0 4443 42 0 0 25 0 10 0 485411633 858710016 21710 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 21710 13073 16 0 209630 0 vsize: 838584 [startup+60.009 s] Raw data (loadavg): 0.94 0.96 0.94 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17983 0 1 0 5327 43 0 0 25 0 10 0 485411633 858710016 22140 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209646 22140 13073 16 0 209630 0 vsize: 838584 [startup+70.0099 s] Raw data (loadavg): 0.95 0.96 0.94 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17983 0 1 0 6241 43 0 0 25 0 10 0 485411633 861310976 22967 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210281 22967 13073 16 0 210265 0 vsize: 841124 [startup+80.0104 s] Raw data (loadavg): 0.96 0.96 0.94 2/63 4788 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 17983 0 1 0 7157 45 0 0 25 0 10 0 485411633 859774976 22757 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209906 22757 13073 16 0 209890 0 vsize: 839624 [startup+90.0116 s] Raw data (loadavg): 0.96 0.96 0.94 3/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18051 0 1 0 8010 46 0 0 25 0 11 0 485411633 861323264 24282 4294967295 134512640 134569956 3221224400 3221214692 1130919636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210284 24282 13073 16 0 210268 0 vsize: 841136 [startup+100.013 s] Raw data (loadavg): 1.04 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 8939 47 0 0 25 0 11 0 485411633 859254784 23966 4294967295 134512640 134569956 3221224400 3221214728 1131238996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209779 23966 13073 16 0 209763 0 vsize: 839116 [startup+110.014 s] Raw data (loadavg): 1.03 0.98 0.94 3/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 9881 48 0 0 24 0 11 0 485411633 861335552 24271 4294967295 134512640 134569956 3221224400 3221214768 1131607891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210287 24271 13073 16 0 210271 0 vsize: 841148 [startup+120.015 s] Raw data (loadavg): 1.03 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 10828 48 0 0 25 0 11 0 485411633 859680768 24234 4294967295 134512640 134569956 3221224400 3221214760 1131607884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 24234 13073 16 0 209867 0 vsize: 839532 [startup+130.015 s] Raw data (loadavg): 1.02 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 11769 48 0 0 25 0 11 0 485411633 859680768 24234 4294967295 134512640 134569956 3221224400 3221214728 1131238898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 24234 13073 16 0 209867 0 vsize: 839532 [startup+140.015 s] Raw data (loadavg): 1.02 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 12701 48 0 0 25 0 11 0 485411633 859680768 24882 4294967295 134512640 134569956 3221224400 3221214760 1131607888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 24882 13073 16 0 209867 0 vsize: 839532 [startup+150.017 s] Raw data (loadavg): 1.02 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 13688 48 0 0 25 0 11 0 485411633 859680768 24964 4294967295 134512640 134569956 3221224400 3221214760 1131608019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 24964 13073 16 0 209867 0 vsize: 839532 [startup+160.018 s] Raw data (loadavg): 1.01 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 14678 48 0 0 25 0 11 0 485411633 859680768 24989 4294967295 134512640 134569956 3221224400 3221214728 1131238963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 24989 13073 16 0 209867 0 vsize: 839532 [startup+170.018 s] Raw data (loadavg): 1.01 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 15666 48 0 0 24 0 11 0 485411633 859680768 25042 4294967295 134512640 134569956 3221224400 3221214776 1131377198 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25042 13073 16 0 209867 0 vsize: 839532 [startup+180.018 s] Raw data (loadavg): 1.01 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 16654 48 0 0 25 0 11 0 485411633 859680768 25088 4294967295 134512640 134569956 3221224400 3221214776 1131376344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25088 13073 16 0 209867 0 vsize: 839532 [startup+190.019 s] Raw data (loadavg): 1.01 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 17643 48 0 0 25 0 11 0 485411633 859680768 25132 4294967295 134512640 134569956 3221224400 3221214680 1131273427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25132 13073 16 0 209867 0 vsize: 839532 [startup+200.02 s] Raw data (loadavg): 1.01 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 18632 48 0 0 25 0 11 0 485411633 859680768 25175 4294967295 134512640 134569956 3221224400 3221214680 1131272565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25175 13073 16 0 209867 0 vsize: 839532 [startup+210.021 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 19620 48 0 0 25 0 11 0 485411633 859680768 25210 4294967295 134512640 134569956 3221224400 3221214760 1131608028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25210 13073 16 0 209867 0 vsize: 839532 [startup+220.022 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 20609 48 0 0 25 0 11 0 485411633 859680768 25274 4294967295 134512640 134569956 3221224400 3221214680 1131272622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25274 13073 16 0 209867 0 vsize: 839532 [startup+230.022 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 21598 48 0 0 25 0 11 0 485411633 859680768 25341 4294967295 134512640 134569956 3221224400 3221214680 1131272734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25341 13073 16 0 209867 0 vsize: 839532 [startup+240.022 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 22587 48 0 0 25 0 11 0 485411633 859680768 25412 4294967295 134512640 134569956 3221224400 3221214680 1131272172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25412 13073 16 0 209867 0 vsize: 839532 [startup+250.023 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 23577 48 0 0 25 0 11 0 485411633 859680768 25459 4294967295 134512640 134569956 3221224400 3221214680 1131272770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25459 13073 16 0 209867 0 vsize: 839532 [startup+260.024 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 24565 48 0 0 25 0 11 0 485411633 859680768 25521 4294967295 134512640 134569956 3221224400 3221214680 1131272522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25521 13073 16 0 209867 0 vsize: 839532 [startup+270.025 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 25556 48 0 0 25 0 11 0 485411633 859680768 25573 4294967295 134512640 134569956 3221224400 3221214776 1131379694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25573 13073 16 0 209867 0 vsize: 839532 [startup+280.025 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 26546 48 0 0 25 0 11 0 485411633 859680768 25623 4294967295 134512640 134569956 3221224400 3221214680 1131273370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25623 13073 16 0 209867 0 vsize: 839532 [startup+290.026 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 27537 49 0 0 25 0 11 0 485411633 859680768 25679 4294967295 134512640 134569956 3221224400 3221214680 1131273053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25679 13073 16 0 209867 0 vsize: 839532 [startup+300.026 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 28527 49 0 0 25 0 11 0 485411633 859680768 25737 4294967295 134512640 134569956 3221224400 3221214680 1131272677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25737 13073 16 0 209867 0 vsize: 839532 [startup+310.028 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 29517 49 0 0 25 0 11 0 485411633 859680768 25772 4294967295 134512640 134569956 3221224400 3221214776 1131377109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25772 13073 16 0 209867 0 vsize: 839532 [startup+320.029 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 30508 49 0 0 25 0 11 0 485411633 859680768 25823 4294967295 134512640 134569956 3221224400 3221214680 1131272806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 25823 13073 16 0 209867 0 vsize: 839532 [startup+330.03 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 31497 49 0 0 25 0 11 0 485411633 859680768 25872 4294967295 134512640 134569956 3221224400 3221214680 1131272520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 25872 13073 16 0 209867 0 vsize: 839532 [startup+340.03 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 32486 49 0 0 25 0 11 0 485411633 859680768 25910 4294967295 134512640 134569956 3221224400 3221214776 1131376066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 25910 13073 16 0 209867 0 vsize: 839532 [startup+350.031 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 33473 50 0 0 25 0 11 0 485411633 859680768 25970 4294967295 134512640 134569956 3221224400 3221214680 1131273427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 25970 13073 16 0 209867 0 vsize: 839532 [startup+360.033 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 34460 50 0 0 25 0 11 0 485411633 859680768 26038 4294967295 134512640 134569956 3221224400 3221214680 1131273429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26038 13073 16 0 209867 0 vsize: 839532 [startup+370.037 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 35449 50 0 0 25 0 11 0 485411633 859680768 26096 4294967295 134512640 134569956 3221224400 3221214680 1131272252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26096 13073 16 0 209867 0 vsize: 839532 [startup+380.059 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 36437 51 0 0 25 0 11 0 485411633 859680768 26153 4294967295 134512640 134569956 3221224400 3221214680 1131272762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26153 13073 16 0 209867 0 vsize: 839532 [startup+390.061 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 37425 51 0 0 25 0 11 0 485411633 859680768 26217 4294967295 134512640 134569956 3221224400 3221214680 1131272695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26217 13073 16 0 209867 0 vsize: 839532 [startup+400.061 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 38413 52 0 0 25 0 11 0 485411633 859680768 26307 4294967295 134512640 134569956 3221224400 3221214680 1131272772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26307 13073 16 0 209867 0 vsize: 839532 [startup+410.062 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 39401 53 0 0 25 0 11 0 485411633 859680768 26346 4294967295 134512640 134569956 3221224400 3221214680 1131272183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26346 13073 16 0 209867 0 vsize: 839532 [startup+420.063 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 40389 53 0 0 25 0 11 0 485411633 859680768 26412 4294967295 134512640 134569956 3221224400 3221214680 1131272165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26412 13073 16 0 209867 0 vsize: 839532 [startup+430.064 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 41376 53 0 0 24 0 11 0 485411633 859680768 26447 4294967295 134512640 134569956 3221224400 3221214680 1131272565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26447 13073 16 0 209867 0 vsize: 839532 [startup+440.065 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) S 4778 5897 5896 0 -1 0 18053 0 1 0 42363 53 0 0 25 0 11 0 485411633 859680768 26553 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26553 13073 16 0 209867 0 vsize: 839532 [startup+450.066 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 43351 54 0 0 25 0 11 0 485411633 859680768 26584 4294967295 134512640 134569956 3221224400 3221214680 1131273674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26584 13073 16 0 209867 0 vsize: 839532 [startup+460.067 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 44339 55 0 0 25 0 11 0 485411633 859680768 26655 4294967295 134512640 134569956 3221224400 3221214776 1131376396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26655 13073 16 0 209867 0 vsize: 839532 [startup+470.069 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 45327 55 0 0 25 0 11 0 485411633 859680768 26722 4294967295 134512640 134569956 3221224400 3221214760 1131607888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26722 13073 16 0 209867 0 vsize: 839532 [startup+480.077 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 46317 55 0 0 25 0 11 0 485411633 859680768 26788 4294967295 134512640 134569956 3221224400 3221214680 1131272446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26788 13073 16 0 209867 0 vsize: 839532 [startup+490.078 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 47305 56 0 0 25 0 11 0 485411633 859680768 26849 4294967295 134512640 134569956 3221224400 3221214680 1131272758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26849 13073 16 0 209867 0 vsize: 839532 [startup+500.184 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 48305 56 0 0 25 0 11 0 485411633 859680768 26904 4294967295 134512640 134569956 3221224400 3221214680 1131272734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26904 13073 16 0 209867 0 vsize: 839532 [startup+510.185 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 49292 57 0 0 25 0 11 0 485411633 859680768 26967 4294967295 134512640 134569956 3221224400 3221214680 1131272642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 26967 13073 16 0 209867 0 vsize: 839532 [startup+520.186 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 50280 58 0 0 25 0 11 0 485411633 859680768 27034 4294967295 134512640 134569956 3221224400 3221214712 1131238853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27034 13073 16 0 209867 0 vsize: 839532 [startup+530.186 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 51268 58 0 0 25 0 11 0 485411633 859680768 27078 4294967295 134512640 134569956 3221224400 3221214664 1131272726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27078 13073 16 0 209867 0 vsize: 839532 [startup+540.187 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 52256 59 0 0 25 0 11 0 485411633 859680768 27134 4294967295 134512640 134569956 3221224400 3221214664 1131272637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27134 13073 16 0 209867 0 vsize: 839532 [startup+550.187 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 53244 59 0 0 25 0 11 0 485411633 859680768 27202 4294967295 134512640 134569956 3221224400 3221214760 1131375275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27202 13073 16 0 209867 0 vsize: 839532 [startup+560.188 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 54233 59 0 0 25 0 11 0 485411633 859680768 27251 4294967295 134512640 134569956 3221224400 3221214760 1131379745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27251 13073 16 0 209867 0 vsize: 839532 [startup+570.19 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 55223 60 0 0 25 0 11 0 485411633 859680768 27323 4294967295 134512640 134569956 3221224400 3221214760 1131376167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27323 13073 16 0 209867 0 vsize: 839532 [startup+580.19 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 56211 60 0 0 25 0 11 0 485411633 859680768 27379 4294967295 134512640 134569956 3221224400 3221214664 1131273365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27379 13073 16 0 209867 0 vsize: 839532 [startup+590.191 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 57200 60 0 0 25 0 11 0 485411633 859680768 27445 4294967295 134512640 134569956 3221224400 3221214664 1131272631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27445 13073 16 0 209867 0 vsize: 839532 [startup+600.192 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 58188 61 0 0 25 0 11 0 485411633 859680768 27472 4294967295 134512640 134569956 3221224400 3221214664 1131272520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27472 13073 16 0 209867 0 vsize: 839532 [startup+610.193 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 59178 61 0 0 25 0 11 0 485411633 859680768 27526 4294967295 134512640 134569956 3221224400 3221214664 1131273330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27526 13073 16 0 209867 0 vsize: 839532 [startup+620.194 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 60166 61 0 0 25 0 11 0 485411633 859680768 27610 4294967295 134512640 134569956 3221224400 3221214760 1131607872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27610 13073 16 0 209867 0 vsize: 839532 [startup+630.194 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 61156 62 0 0 25 0 11 0 485411633 859680768 27641 4294967295 134512640 134569956 3221224400 3221214664 1131272172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27641 13073 16 0 209867 0 vsize: 839532 [startup+640.195 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 62144 62 0 0 25 0 11 0 485411633 859680768 27708 4294967295 134512640 134569956 3221224400 3221214744 1131405067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27708 13073 16 0 209867 0 vsize: 839532 [startup+650.195 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 63133 63 0 0 25 0 11 0 485411633 859680768 27742 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27742 13073 16 0 209867 0 vsize: 839532 [startup+660.196 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 64121 63 0 0 25 0 11 0 485411633 859680768 27794 4294967295 134512640 134569956 3221224400 3221214760 1131375275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27794 13073 16 0 209867 0 vsize: 839532 [startup+670.197 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 65111 64 0 0 25 0 11 0 485411633 859680768 27853 4294967295 134512640 134569956 3221224400 3221214760 1131376474 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27853 13073 16 0 209867 0 vsize: 839532 [startup+680.198 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 66101 64 0 0 25 0 11 0 485411633 859680768 27891 4294967295 134512640 134569956 3221224400 3221214760 1131375275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27891 13073 16 0 209867 0 vsize: 839532 [startup+690.199 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 67091 64 0 0 25 0 11 0 485411633 859680768 27933 4294967295 134512640 134569956 3221224400 3221214664 1131272480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27933 13073 16 0 209867 0 vsize: 839532 [startup+700.199 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 68079 65 0 0 25 0 11 0 485411633 859680768 27993 4294967295 134512640 134569956 3221224400 3221214664 1131272169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 27993 13073 16 0 209867 0 vsize: 839532 [startup+710.201 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 69068 65 0 0 25 0 11 0 485411633 859680768 28038 4294967295 134512640 134569956 3221224400 3221214664 1131272904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28038 13073 16 0 209867 0 vsize: 839532 [startup+720.201 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 70055 66 0 0 25 0 11 0 485411633 859680768 28111 4294967295 134512640 134569956 3221224400 3221214712 1131238869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28111 13073 16 0 209867 0 vsize: 839532 [startup+730.201 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 71046 67 0 0 25 0 11 0 485411633 859680768 28149 4294967295 134512640 134569956 3221224400 3221214760 1131607891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28149 13073 16 0 209867 0 vsize: 839532 [startup+740.202 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 72035 67 0 0 25 0 11 0 485411633 859680768 28184 4294967295 134512640 134569956 3221224400 3221214664 1131272794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28184 13073 16 0 209867 0 vsize: 839532 [startup+750.203 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 73024 68 0 0 25 0 11 0 485411633 859680768 28243 4294967295 134512640 134569956 3221224400 3221214664 1131272254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28243 13073 16 0 209867 0 vsize: 839532 [startup+760.204 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 74014 68 0 0 25 0 11 0 485411633 859680768 28265 4294967295 134512640 134569956 3221224400 3221214664 1131272685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28265 13073 16 0 209867 0 vsize: 839532 [startup+770.205 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 75002 68 0 0 25 0 11 0 485411633 859680768 28318 4294967295 134512640 134569956 3221224400 3221214760 1131375007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28318 13073 16 0 209867 0 vsize: 839532 [startup+780.206 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 75990 69 0 0 25 0 11 0 485411633 859680768 28384 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28384 13073 16 0 209867 0 vsize: 839532 [startup+790.206 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 76979 69 0 0 25 0 11 0 485411633 859680768 28420 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28420 13073 16 0 209867 0 vsize: 839532 [startup+800.206 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 77967 70 0 0 25 0 11 0 485411633 859680768 28484 4294967295 134512640 134569956 3221224400 3221214760 1131376426 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28484 13073 16 0 209867 0 vsize: 839532 [startup+810.207 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 78955 70 0 0 25 0 11 0 485411633 859680768 28539 4294967295 134512640 134569956 3221224400 3221214712 1131238848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28539 13073 16 0 209867 0 vsize: 839532 [startup+820.208 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 79944 71 0 0 25 0 11 0 485411633 859680768 28560 4294967295 134512640 134569956 3221224400 3221214760 1131375210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28560 13073 16 0 209867 0 vsize: 839532 [startup+830.208 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 80930 71 0 0 25 0 11 0 485411633 859680768 28638 4294967295 134512640 134569956 3221224400 3221214664 1131272742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28638 13073 16 0 209867 0 vsize: 839532 [startup+840.208 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 81917 72 0 0 25 0 11 0 485411633 859680768 28722 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28722 13073 16 0 209867 0 vsize: 839532 [startup+850.209 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 82906 72 0 0 25 0 11 0 485411633 859680768 28759 4294967295 134512640 134569956 3221224400 3221214664 1131273340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28759 13073 16 0 209867 0 vsize: 839532 [startup+860.211 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 83893 72 0 0 25 0 11 0 485411633 859680768 28827 4294967295 134512640 134569956 3221224400 3221214760 1131377247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 28827 13073 16 0 209867 0 vsize: 839532 [startup+870.215 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) S 4778 5897 5896 0 -1 0 18053 0 1 0 84880 73 0 0 25 0 11 0 485411633 859680768 28906 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 28906 13073 16 0 209867 0 vsize: 839532 [startup+880.215 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 85868 73 0 0 25 0 11 0 485411633 859680768 28928 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 28928 13073 16 0 209867 0 vsize: 839532 [startup+890.216 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 86857 73 0 0 25 0 11 0 485411633 859680768 29024 4294967295 134512640 134569956 3221224400 3221214664 1131273028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209883 29024 13073 16 0 209867 0 vsize: 839532 [startup+900.216 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 87845 73 0 0 25 0 11 0 485411633 859680768 29081 4294967295 134512640 134569956 3221224400 3221214664 1131272283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29081 13073 16 0 209867 0 vsize: 839532 [startup+910.217 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 88833 73 0 0 25 0 11 0 485411633 859680768 29117 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29117 13073 16 0 209867 0 vsize: 839532 [startup+920.219 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 89822 73 0 0 25 0 11 0 485411633 859680768 29181 4294967295 134512640 134569956 3221224400 3221214664 1131272726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29181 13073 16 0 209867 0 vsize: 839532 [startup+930.219 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 90809 73 0 0 25 0 11 0 485411633 859680768 29242 4294967295 134512640 134569956 3221224400 3221214664 1131272667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29242 13073 16 0 209867 0 vsize: 839532 [startup+940.219 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 91798 73 0 0 25 0 11 0 485411633 859680768 29269 4294967295 134512640 134569956 3221224400 3221214760 1131375210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29269 13073 16 0 209867 0 vsize: 839532 [startup+950.219 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 92783 73 0 0 24 0 11 0 485411633 859680768 29364 4294967295 134512640 134569956 3221224400 3221214664 1131272520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29364 13073 16 0 209867 0 vsize: 839532 [startup+960.221 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 93771 73 0 0 25 0 11 0 485411633 859680768 29414 4294967295 134512640 134569956 3221224400 3221214664 1131272161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29414 13073 16 0 209867 0 vsize: 839532 [startup+970.221 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 94758 73 0 0 25 0 11 0 485411633 859680768 29504 4294967295 134512640 134569956 3221224400 3221214732 1130885135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29504 13073 16 0 209867 0 vsize: 839532 [startup+980.221 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 95747 74 0 0 25 0 11 0 485411633 859680768 29525 4294967295 134512640 134569956 3221224400 3221214664 1131272750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29525 13073 16 0 209867 0 vsize: 839532 [startup+990.222 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 96732 74 0 0 25 0 11 0 485411633 859680768 29591 4294967295 134512640 134569956 3221224400 3221214664 1131273448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29591 13073 16 0 209867 0 vsize: 839532 [startup+1000.22 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 97717 74 0 0 24 0 11 0 485411633 859680768 29679 4294967295 134512640 134569956 3221224400 3221214664 1131272695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29679 13073 16 0 209867 0 vsize: 839532 [startup+1010.22 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 98702 74 0 0 25 0 11 0 485411633 859680768 29706 4294967295 134512640 134569956 3221224400 3221214664 1131272685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29706 13073 16 0 209867 0 vsize: 839532 [startup+1020.22 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 99689 74 0 0 25 0 11 0 485411633 859680768 29824 4294967295 134512640 134569956 3221224400 3221214664 1131273424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29824 13073 16 0 209867 0 vsize: 839532 [startup+1030.22 s] Raw data (loadavg): 1.00 0.98 0.94 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 100675 74 0 0 25 0 11 0 485411633 859680768 29903 4294967295 134512640 134569956 3221224400 3221214760 1131376214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29903 13073 16 0 209867 0 vsize: 839532 [startup+1040.23 s] Raw data (loadavg): 1.08 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 101663 74 0 0 24 0 11 0 485411633 859680768 29964 4294967295 134512640 134569956 3221224400 3221214760 1131376256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 29964 13073 16 0 209867 0 vsize: 839532 [startup+1050.23 s] Raw data (loadavg): 1.07 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 102652 74 0 0 25 0 11 0 485411633 859680768 30026 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30026 13073 16 0 209867 0 vsize: 839532 [startup+1060.23 s] Raw data (loadavg): 1.06 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 103640 74 0 0 25 0 11 0 485411633 859680768 30110 4294967295 134512640 134569956 3221224400 3221214664 1131272782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30110 13073 16 0 209867 0 vsize: 839532 [startup+1070.23 s] Raw data (loadavg): 1.05 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 104628 74 0 0 25 0 11 0 485411633 859680768 30136 4294967295 134512640 134569956 3221224400 3221214664 1131272252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30136 13073 16 0 209867 0 vsize: 839532 [startup+1080.23 s] Raw data (loadavg): 1.04 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 105615 75 0 0 25 0 11 0 485411633 859680768 30157 4294967295 134512640 134569956 3221224400 3221214760 1131376396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30157 13073 16 0 209867 0 vsize: 839532 [startup+1090.23 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 106603 75 0 0 25 0 11 0 485411633 859680768 30241 4294967295 134512640 134569956 3221224400 3221214712 1131238848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30241 13073 16 0 209867 0 vsize: 839532 [startup+1100.23 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 107589 75 0 0 25 0 11 0 485411633 859680768 30349 4294967295 134512640 134569956 3221224400 3221214664 1131272782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30349 13073 16 0 209867 0 vsize: 839532 [startup+1110.23 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 108577 75 0 0 25 0 11 0 485411633 859680768 30380 4294967295 134512640 134569956 3221224400 3221214664 1131272165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30380 13073 16 0 209867 0 vsize: 839532 [startup+1120.23 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 109565 75 0 0 25 0 11 0 485411633 859680768 30434 4294967295 134512640 134569956 3221224400 3221214664 1131272357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30434 13073 16 0 209867 0 vsize: 839532 [startup+1130.23 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 110552 75 0 0 25 0 11 0 485411633 859680768 30536 4294967295 134512640 134569956 3221224400 3221214664 1131272622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30536 13073 16 0 209867 0 vsize: 839532 [startup+1140.23 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 111539 75 0 0 24 0 11 0 485411633 859680768 30563 4294967295 134512640 134569956 3221224400 3221214760 1131375210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30563 13073 16 0 209867 0 vsize: 839532 [startup+1150.23 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 112525 75 0 0 25 0 11 0 485411633 859680768 30583 4294967295 134512640 134569956 3221224400 3221214664 1131272522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30583 13073 16 0 209867 0 vsize: 839532 [startup+1160.23 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 113512 75 0 0 25 0 11 0 485411633 859680768 30689 4294967295 134512640 134569956 3221224400 3221214664 1131273390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30689 13073 16 0 209867 0 vsize: 839532 [startup+1170.23 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 114499 75 0 0 25 0 11 0 485411633 859680768 30766 4294967295 134512640 134569956 3221224400 3221214664 1131272565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30766 13073 16 0 209867 0 vsize: 839532 [startup+1180.23 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 115486 76 0 0 25 0 11 0 485411633 859680768 30839 4294967295 134512640 134569956 3221224400 3221214760 1131379645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30839 13073 16 0 209867 0 vsize: 839532 [startup+1190.23 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 116474 76 0 0 25 0 11 0 485411633 859680768 30866 4294967295 134512640 134569956 3221224400 3221214760 1131607891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30866 13073 16 0 209867 0 vsize: 839532 [startup+1200.24 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 117460 76 0 0 25 0 11 0 485411633 859680768 30961 4294967295 134512640 134569956 3221224400 3221214664 1131272648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 30961 13073 16 0 209867 0 vsize: 839532 [startup+1210.24 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 118446 76 0 0 25 0 11 0 485411633 859680768 31011 4294967295 134512640 134569956 3221224400 3221214760 1131375210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 31011 13073 16 0 209867 0 vsize: 839532 [startup+1220.24 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 119433 76 0 0 25 0 11 0 485411633 859680768 31053 4294967295 134512640 134569956 3221224400 3221214664 1131272827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 31053 13073 16 0 209867 0 vsize: 839532 [startup+1230.24 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 4789 Raw data (stat): 4779 (java) R 4778 5897 5896 0 -1 0 18053 0 1 0 120420 76 0 0 25 0 11 0 485411633 859680768 31140 4294967295 134512640 134569956 3221224400 3221214664 1131272197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209883 31140 13073 16 0 209867 0 vsize: 839532 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.34 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 4791 Raw data (stat): 4779 (java) Z 4778 5897 5896 0 -1 1036 18053 19431 1 0 120423 82 3772 56 25 0 1 0 485411633 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.34 CPU time (s): 1243.35 CPU user time (s): 1241.96 CPU system time (s): 1.39079 CPU usage (%): 101.057 Max. virtual memory (Kb): 841148 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####