Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb |
MD5SUM | 56b5875081183b5ab8f7e29cbac05646 |
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 | 8814 |
Biggest coefficient in the objective function | 3375324200960 |
Number of bits for the biggest coefficient in the objective function | 42 |
Sum of the numbers in the objective function | 2061624536571104 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 3375324200960 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 2061624536571104 |
Number of bits of the biggest sum of numbers | 51 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.112982 |
Number of variables | 12846 |
Total number of constraints | 1074 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 144 |
Number of constraints which are nor clauses,nor cardinality constraints | 930 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 192 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-21 18:21:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16870 boxname=wulflinc5 idbench=1298 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 56b5875081183b5ab8f7e29cbac05646 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb IDLAUNCH: 16870 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 632836 kB Buffers: 13060 kB Cached: 367232 kB SwapCached: 304 kB Active: 57044 kB Inactive: 325668 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 632584 kB SwapTotal: 2097136 kB SwapFree: 2096444 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 13496 kB Committed_AS: 63584 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:42:06 (client local time) WITH STATUS 143 IN 1227.62 SECONDS stats: 16870 7 1227.62 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb c reading problem c [nbvar=12846] c [nbconstr=1074] c time 51.978 c #vars 12846 c #clauses 1081 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.85 0.95 0.95 2/54 27053 Raw data (stat): 27053 (runsolver) R 27052 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488978992 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.0013 s] Raw data (loadavg): 0.87 0.95 0.95 2/63 27062 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 17976 0 1 0 887 39 0 0 25 0 10 0 488978992 855199744 19521 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208789 19521 13073 16 0 208773 0 vsize: 835156 [startup+20.002 s] Raw data (loadavg): 0.97 0.97 0.96 2/63 27062 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 17976 0 1 0 1774 39 0 0 25 0 10 0 488978992 854511616 19962 4294967295 134512640 134569956 3221224416 3221214840 1131219580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208621 19962 13073 16 0 208605 0 vsize: 834484 [startup+30.0023 s] Raw data (loadavg): 1.21 1.02 0.97 2/63 27062 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18079 0 1 0 2608 39 0 0 25 0 10 0 488978992 869670912 23950 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212322 23950 13073 16 0 212306 0 vsize: 849288 [startup+40.0026 s] Raw data (loadavg): 1.18 1.02 0.97 2/63 27062 Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18079 0 1 0 3487 40 0 0 25 0 10 0 488978992 867311616 23733 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211746 23733 13073 16 0 211730 0 vsize: 846984 [startup+50.0034 s] Raw data (loadavg): 1.15 1.02 0.97 2/63 27062 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18079 0 1 0 4387 40 0 0 25 0 10 0 488978992 867311616 24074 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211746 24074 13073 16 0 211730 0 vsize: 846984 [startup+60.0035 s] Raw data (loadavg): 1.20 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18107 0 1 0 5292 41 0 0 25 0 11 0 488978992 865861632 24410 4294967295 134512640 134569956 3221224416 3221214696 1131270602 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 24410 13073 16 0 211376 0 vsize: 845568 [startup+70.0048 s] Raw data (loadavg): 1.25 1.05 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18146 0 1 0 6123 42 0 0 25 0 11 0 488978992 865861632 24547 4294967295 134512640 134569956 3221224416 3221214616 1131459381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 24547 13073 16 0 211376 0 vsize: 845568 [startup+80.0064 s] Raw data (loadavg): 1.21 1.05 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 7086 42 0 0 25 0 11 0 488978992 865861632 24615 4294967295 134512640 134569956 3221224416 3221214712 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 24615 13073 16 0 211376 0 vsize: 845568 [startup+90.0068 s] Raw data (loadavg): 1.18 1.05 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 8068 42 0 0 25 0 11 0 488978992 865861632 25437 4294967295 134512640 134569956 3221224416 3221214712 1131676557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 25437 13073 16 0 211376 0 vsize: 845568 [startup+100.007 s] Raw data (loadavg): 1.15 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 9061 42 0 0 25 0 11 0 488978992 865861632 25437 4294967295 134512640 134569956 3221224416 3221214712 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25437 13073 16 0 211376 0 vsize: 845568 [startup+110.009 s] Raw data (loadavg): 1.13 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 10055 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214704 1131676571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 25453 13073 16 0 211376 0 vsize: 845568 [startup+120.009 s] Raw data (loadavg): 1.11 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 11045 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214600 1131255612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25453 13073 16 0 211376 0 vsize: 845568 [startup+130.01 s] Raw data (loadavg): 1.09 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 12022 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214696 1131270654 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25453 13073 16 0 211376 0 vsize: 845568 [startup+140.011 s] Raw data (loadavg): 1.08 1.04 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 13005 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214744 1131473696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25453 13073 16 0 211376 0 vsize: 845568 [startup+150.01 s] Raw data (loadavg): 1.06 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 13976 42 0 0 25 0 11 0 488978992 865861632 25561 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25561 13073 16 0 211376 0 vsize: 845568 [startup+160.012 s] Raw data (loadavg): 1.05 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 14954 43 0 0 25 0 11 0 488978992 865861632 25657 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25657 13073 16 0 211376 0 vsize: 845568 [startup+170.012 s] Raw data (loadavg): 1.04 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 15923 43 0 0 25 0 11 0 488978992 865861632 25799 4294967295 134512640 134569956 3221224416 3221214600 1131255415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25799 13073 16 0 211376 0 vsize: 845568 [startup+180.012 s] Raw data (loadavg): 1.04 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 16904 43 0 0 25 0 11 0 488978992 865861632 25879 4294967295 134512640 134569956 3221224416 3221214616 1131739793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 25879 13073 16 0 211376 0 vsize: 845568 [startup+190.014 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 17883 43 0 0 25 0 11 0 488978992 865861632 26078 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26078 13073 16 0 211376 0 vsize: 845568 [startup+200.017 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18148 0 1 0 18859 43 0 0 25 0 11 0 488978992 865861632 26253 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26253 13073 16 0 211376 0 vsize: 845568 [startup+210.017 s] Raw data (loadavg): 1.02 1.03 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 19833 43 0 0 25 0 11 0 488978992 865861632 26383 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26383 13073 16 0 211376 0 vsize: 845568 [startup+220.018 s] Raw data (loadavg): 1.02 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 20812 43 0 0 25 0 11 0 488978992 865861632 26522 4294967295 134512640 134569956 3221224416 3221214560 1079721529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 26522 13073 16 0 211376 0 vsize: 845568 [startup+230.019 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 21781 43 0 0 25 0 11 0 488978992 865861632 26715 4294967295 134512640 134569956 3221224416 3221214408 1080217322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26715 13073 16 0 211376 0 vsize: 845568 [startup+240.019 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 22744 43 0 0 25 0 11 0 488978992 865861632 26874 4294967295 134512640 134569956 3221224416 3221214440 1131679850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26874 13073 16 0 211376 0 vsize: 845568 [startup+250.019 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 23708 43 0 0 25 0 11 0 488978992 865861632 26945 4294967295 134512640 134569956 3221224416 3221214192 1085679321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 26945 13073 16 0 211376 0 vsize: 845568 [startup+260.02 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 24681 43 0 0 25 0 11 0 488978992 865861632 27017 4294967295 134512640 134569956 3221224416 3221214192 1085679533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 27017 13073 16 0 211376 0 vsize: 845568 [startup+270.02 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 25647 43 0 0 25 0 11 0 488978992 865861632 27017 4294967295 134512640 134569956 3221224416 3221214592 1131541468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27017 13073 16 0 211376 0 vsize: 845568 [startup+280.022 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 26628 44 0 0 25 0 11 0 488978992 865861632 27086 4294967295 134512640 134569956 3221224416 3221214704 1131676428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 27086 13073 16 0 211376 0 vsize: 845568 [startup+290.022 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 27600 44 0 0 25 0 11 0 488978992 865861632 27263 4294967295 134512640 134569956 3221224416 3221214664 1131668385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27263 13073 16 0 211376 0 vsize: 845568 [startup+300.022 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 28572 44 0 0 25 0 11 0 488978992 865861632 27381 4294967295 134512640 134569956 3221224416 3221214704 1131676416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27381 13073 16 0 211376 0 vsize: 845568 [startup+310.022 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 29553 44 0 0 25 0 11 0 488978992 865861632 27498 4294967295 134512640 134569956 3221224416 3221214744 1131472192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27498 13073 16 0 211376 0 vsize: 845568 [startup+320.022 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 30525 44 0 0 25 0 11 0 488978992 865861632 27612 4294967295 134512640 134569956 3221224416 3221214696 1131270409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 27612 13073 16 0 211376 0 vsize: 845568 [startup+330.024 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 31498 44 0 0 25 0 11 0 488978992 865861632 27723 4294967295 134512640 134569956 3221224416 3221214592 1131541426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27723 13073 16 0 211376 0 vsize: 845568 [startup+340.024 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 32469 44 0 0 25 0 11 0 488978992 865861632 27850 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 27850 13073 16 0 211376 0 vsize: 845568 [startup+350.024 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 33442 44 0 0 25 0 11 0 488978992 865861632 28028 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28028 13073 16 0 211376 0 vsize: 845568 [startup+360.025 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 34414 44 0 0 25 0 11 0 488978992 865861632 28128 4294967295 134512640 134569956 3221224416 3221214560 1131739793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28128 13073 16 0 211376 0 vsize: 845568 [startup+370.025 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 35395 44 0 0 25 0 11 0 488978992 865861632 28258 4294967295 134512640 134569956 3221224416 3221214696 1131270486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28258 13073 16 0 211376 0 vsize: 845568 [startup+380.026 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 36375 44 0 0 25 0 11 0 488978992 865861632 28324 4294967295 134512640 134569956 3221224416 3221214792 1131416369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28324 13073 16 0 211376 0 vsize: 845568 [startup+390.026 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 37329 44 0 0 25 0 11 0 488978992 865861632 28460 4294967295 134512640 134569956 3221224416 3221214600 1131255507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28460 13073 16 0 211376 0 vsize: 845568 [startup+400.026 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 38294 44 0 0 25 0 11 0 488978992 865861632 28544 4294967295 134512640 134569956 3221224416 3221214792 1131417243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28544 13073 16 0 211376 0 vsize: 845568 [startup+410.027 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 39259 44 0 0 25 0 11 0 488978992 865861632 28637 4294967295 134512640 134569956 3221224416 3221214696 1131270409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28637 13073 16 0 211376 0 vsize: 845568 [startup+420.027 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 40222 44 0 0 25 0 11 0 488978992 865861632 28736 4294967295 134512640 134569956 3221224416 3221214696 1131270648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28736 13073 16 0 211376 0 vsize: 845568 [startup+430.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 41186 44 0 0 24 0 11 0 488978992 865861632 28868 4294967295 134512640 134569956 3221224416 3221214696 1131270664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28868 13073 16 0 211376 0 vsize: 845568 [startup+440.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 42149 44 0 0 25 0 11 0 488978992 865861632 28981 4294967295 134512640 134569956 3221224416 3221214864 1131456565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 28981 13073 16 0 211376 0 vsize: 845568 [startup+450.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 43113 44 0 0 25 0 11 0 488978992 865861632 29118 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29118 13073 16 0 211376 0 vsize: 845568 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 44078 44 0 0 24 0 11 0 488978992 865861632 29278 4294967295 134512640 134569956 3221224416 3221214616 1131739756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29278 13073 16 0 211376 0 vsize: 845568 [startup+470.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 45043 44 0 0 25 0 11 0 488978992 865861632 29345 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29345 13073 16 0 211376 0 vsize: 845568 [startup+480.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 46006 44 0 0 25 0 11 0 488978992 865861632 29443 4294967295 134512640 134569956 3221224416 3221214696 1131270648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29443 13073 16 0 211376 0 vsize: 845568 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 46968 44 0 0 25 0 11 0 488978992 865861632 29600 4294967295 134512640 134569956 3221224416 3221214864 1131456693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29600 13073 16 0 211376 0 vsize: 845568 [startup+500.031 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 47933 44 0 0 25 0 11 0 488978992 865861632 29798 4294967295 134512640 134569956 3221224416 3221214720 1131317140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29798 13073 16 0 211376 0 vsize: 845568 [startup+510.031 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 48891 44 0 0 25 0 11 0 488978992 865861632 29981 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 29981 13073 16 0 211376 0 vsize: 845568 [startup+520.031 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 49858 44 0 0 25 0 11 0 488978992 865861632 30097 4294967295 134512640 134569956 3221224416 3221214744 1131472192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30097 13073 16 0 211376 0 vsize: 845568 [startup+530.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 50818 44 0 0 25 0 11 0 488978992 865861632 30237 4294967295 134512640 134569956 3221224416 3221213976 1085679293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30237 13073 16 0 211376 0 vsize: 845568 [startup+540.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 51776 44 0 0 25 0 11 0 488978992 865861632 30416 4294967295 134512640 134569956 3221224416 3221214704 1131743390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30416 13073 16 0 211376 0 vsize: 845568 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 52760 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214104 1131680074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30481 13073 16 0 211376 0 vsize: 845568 [startup+560.033 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 53745 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214560 1131739804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30481 13073 16 0 211376 0 vsize: 845568 [startup+570.034 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 54729 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214604 1131678089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30481 13073 16 0 211376 0 vsize: 845568 [startup+580.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 55714 44 0 0 25 0 11 0 488978992 865861632 30547 4294967295 134512640 134569956 3221224416 3221214552 1131679850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 30547 13073 16 0 211376 0 vsize: 845568 [startup+590.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 56698 44 0 0 25 0 11 0 488978992 865861632 30627 4294967295 134512640 134569956 3221224416 3221214164 1131739787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30627 13073 16 0 211376 0 vsize: 845568 [startup+600.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 57685 44 0 0 25 0 11 0 488978992 865861632 30724 4294967295 134512640 134569956 3221224416 3221214696 1131270547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30724 13073 16 0 211376 0 vsize: 845568 [startup+610.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 58678 44 0 0 25 0 11 0 488978992 865861632 30755 4294967295 134512640 134569956 3221224416 3221214152 1131681148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30755 13073 16 0 211376 0 vsize: 845568 [startup+620.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 59666 44 0 0 25 0 11 0 488978992 865861632 30818 4294967295 134512640 134569956 3221224416 3221214696 1131270482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30818 13073 16 0 211376 0 vsize: 845568 [startup+630.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 60666 44 0 0 25 0 11 0 488978992 865861632 30818 4294967295 134512640 134569956 3221224416 3221214912 1131749343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30818 13073 16 0 211376 0 vsize: 845568 [startup+640.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 61660 44 0 0 25 0 11 0 488978992 865861632 30844 4294967295 134512640 134569956 3221224416 3221213920 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30844 13073 16 0 211376 0 vsize: 845568 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 62660 44 0 0 25 0 11 0 488978992 865861632 30844 4294967295 134512640 134569956 3221224416 3221214744 1131473744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30844 13073 16 0 211376 0 vsize: 845568 [startup+660.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 63654 44 0 0 25 0 11 0 488978992 865861632 30879 4294967295 134512640 134569956 3221224416 3221214600 1131255373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30879 13073 16 0 211376 0 vsize: 845568 [startup+670.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 64648 44 0 0 25 0 11 0 488978992 865861632 30909 4294967295 134512640 134569956 3221224416 3221214112 1131739716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 30909 13073 16 0 211376 0 vsize: 845568 [startup+680.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 65636 44 0 0 25 0 11 0 488978992 865861632 30961 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 30961 13073 16 0 211376 0 vsize: 845568 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 66617 44 0 0 25 0 11 0 488978992 865861632 31050 4294967295 134512640 134569956 3221224416 3221214156 1131678080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31050 13073 16 0 211376 0 vsize: 845568 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 67605 44 0 0 25 0 11 0 488978992 865861632 31096 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31096 13073 16 0 211376 0 vsize: 845568 [startup+710.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 68593 44 0 0 25 0 11 0 488978992 865861632 31171 4294967295 134512640 134569956 3221224416 3221214872 1131486976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31171 13073 16 0 211376 0 vsize: 845568 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 69577 44 0 0 25 0 11 0 488978992 865861632 31273 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31273 13073 16 0 211376 0 vsize: 845568 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 70562 44 0 0 25 0 11 0 488978992 865861632 31323 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31323 13073 16 0 211376 0 vsize: 845568 [startup+740.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 71552 44 0 0 25 0 11 0 488978992 865861632 31332 4294967295 134512640 134569956 3221224416 3221214864 1131456565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31332 13073 16 0 211376 0 vsize: 845568 [startup+750.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 72536 44 0 0 25 0 11 0 488978992 865861632 31361 4294967295 134512640 134569956 3221224416 3221214792 1131417428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31361 13073 16 0 211376 0 vsize: 845568 [startup+760.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 73520 44 0 0 25 0 11 0 488978992 865861632 31394 4294967295 134512640 134569956 3221224416 3221213992 1131680014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31394 13073 16 0 211376 0 vsize: 845568 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 74502 44 0 0 25 0 11 0 488978992 865861632 31418 4294967295 134512640 134569956 3221224416 3221214224 1131739748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31418 13073 16 0 211376 0 vsize: 845568 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 75484 44 0 0 25 0 11 0 488978992 865861632 31463 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31463 13073 16 0 211376 0 vsize: 845568 [startup+790.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 76466 45 0 0 25 0 11 0 488978992 865861632 31592 4294967295 134512640 134569956 3221224416 3221214696 1131270877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31592 13073 16 0 211376 0 vsize: 845568 [startup+800.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 77456 45 0 0 25 0 11 0 488978992 865861632 31657 4294967295 134512640 134569956 3221224416 3221214500 1131739792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31657 13073 16 0 211376 0 vsize: 845568 [startup+810.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 78441 45 0 0 25 0 11 0 488978992 865861632 31706 4294967295 134512640 134569956 3221224416 3221214328 1131680047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31706 13073 16 0 211376 0 vsize: 845568 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 79426 45 0 0 25 0 11 0 488978992 865861632 31759 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31759 13073 16 0 211376 0 vsize: 845568 [startup+830.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 80411 45 0 0 25 0 11 0 488978992 865861632 31800 4294967295 134512640 134569956 3221224416 3221214592 1131540386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31800 13073 16 0 211376 0 vsize: 845568 [startup+840.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18148 0 1 0 81391 45 0 0 25 0 11 0 488978992 865861632 31878 4294967295 134512640 134569956 3221224416 3221213240 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31878 13073 16 0 211376 0 vsize: 845568 [startup+850.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 82377 45 0 0 25 0 11 0 488978992 865861632 31941 4294967295 134512640 134569956 3221224416 3221214528 1131655296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31941 13073 16 0 211376 0 vsize: 845568 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 83364 45 0 0 25 0 11 0 488978992 865861632 31982 4294967295 134512640 134569956 3221224416 3221214696 1131270656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 31982 13073 16 0 211376 0 vsize: 845568 [startup+870.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 84347 45 0 0 25 0 11 0 488978992 865861632 32043 4294967295 134512640 134569956 3221224416 3221214332 1131739787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32043 13073 16 0 211376 0 vsize: 845568 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 85335 45 0 0 25 0 11 0 488978992 865861632 32101 4294967295 134512640 134569956 3221224416 3221214744 1131473744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32101 13073 16 0 211376 0 vsize: 845568 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 86319 45 0 0 25 0 11 0 488978992 865861632 32162 4294967295 134512640 134569956 3221224416 3221214500 1131739787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32162 13073 16 0 211376 0 vsize: 845568 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 87308 46 0 0 25 0 11 0 488978992 865861632 32220 4294967295 134512640 134569956 3221224416 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32220 13073 16 0 211376 0 vsize: 845568 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 88298 46 0 0 25 0 11 0 488978992 865861632 32283 4294967295 134512640 134569956 3221224416 3221214744 1131472716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32283 13073 16 0 211376 0 vsize: 845568 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 89286 46 0 0 25 0 11 0 488978992 865861632 32346 4294967295 134512640 134569956 3221224416 3221213944 1131739713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32346 13073 16 0 211376 0 vsize: 845568 [startup+930.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 90277 46 0 0 25 0 11 0 488978992 865861632 32385 4294967295 134512640 134569956 3221224416 3221214528 1131657742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32385 13073 16 0 211376 0 vsize: 845568 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 91266 46 0 0 25 0 11 0 488978992 865861632 32437 4294967295 134512640 134569956 3221224416 3221214712 1131557420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32437 13073 16 0 211376 0 vsize: 845568 [startup+950.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 92257 46 0 0 25 0 11 0 488978992 865861632 32466 4294967295 134512640 134569956 3221224416 3221214488 1131657555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32466 13073 16 0 211376 0 vsize: 845568 [startup+960.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 93246 47 0 0 25 0 11 0 488978992 865861632 32493 4294967295 134512640 134569956 3221224416 3221214480 1131743634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32493 13073 16 0 211376 0 vsize: 845568 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 94238 47 0 0 25 0 11 0 488978992 865861632 32526 4294967295 134512640 134569956 3221224416 3221214728 1131270279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32526 13073 16 0 211376 0 vsize: 845568 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 95227 47 0 0 25 0 11 0 488978992 865861632 32566 4294967295 134512640 134569956 3221224416 3221214392 1131739768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32566 13073 16 0 211376 0 vsize: 845568 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 96219 48 0 0 25 0 11 0 488978992 865861632 32586 4294967295 134512640 134569956 3221224416 3221214568 1131596163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32586 13073 16 0 211376 0 vsize: 845568 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 97212 48 0 0 25 0 11 0 488978992 865861632 32619 4294967295 134512640 134569956 3221224416 3221214640 1131270578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32619 13073 16 0 211376 0 vsize: 845568 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 98205 48 0 0 25 0 11 0 488978992 865861632 32649 4294967295 134512640 134569956 3221224416 3221214416 1080217189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32649 13073 16 0 211376 0 vsize: 845568 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 99196 49 0 0 25 0 11 0 488978992 865861632 32681 4294967295 134512640 134569956 3221224416 3221214576 1131492057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32681 13073 16 0 211376 0 vsize: 845568 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 100189 49 0 0 25 0 11 0 488978992 865861632 32716 4294967295 134512640 134569956 3221224416 3221214640 1131270547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32716 13073 16 0 211376 0 vsize: 845568 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 101183 49 0 0 25 0 11 0 488978992 865861632 32741 4294967295 134512640 134569956 3221224416 3221214664 1131676437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32741 13073 16 0 211376 0 vsize: 845568 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 102177 49 0 0 25 0 11 0 488978992 865861632 32758 4294967295 134512640 134569956 3221224416 3221214568 1131595954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32758 13073 16 0 211376 0 vsize: 845568 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 103171 49 0 0 25 0 11 0 488978992 865861632 32786 4294967295 134512640 134569956 3221224416 3221214544 1131665431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32786 13073 16 0 211376 0 vsize: 845568 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 104165 49 0 0 25 0 11 0 488978992 865861632 32817 4294967295 134512640 134569956 3221224416 3221214568 1131596116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32817 13073 16 0 211376 0 vsize: 845568 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 105157 49 0 0 25 0 11 0 488978992 865861632 32849 4294967295 134512640 134569956 3221224416 3221214472 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32849 13073 16 0 211376 0 vsize: 845568 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 106151 50 0 0 25 0 11 0 488978992 865861632 32866 4294967295 134512640 134569956 3221224416 3221214712 1131555455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32866 13073 16 0 211376 0 vsize: 845568 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 107147 50 0 0 25 0 11 0 488978992 865861632 32871 4294967295 134512640 134569956 3221224416 3221214516 1079721495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32871 13073 16 0 211376 0 vsize: 845568 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 108141 50 0 0 25 0 11 0 488978992 865861632 32887 4294967295 134512640 134569956 3221224416 3221214328 1080217319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32887 13073 16 0 211376 0 vsize: 845568 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 109134 51 0 0 25 0 11 0 488978992 865861632 32898 4294967295 134512640 134569956 3221224416 3221214488 1131657817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32898 13073 16 0 211376 0 vsize: 845568 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 110130 51 0 0 25 0 11 0 488978992 865861632 32909 4294967295 134512640 134569956 3221224416 3221214568 1131592902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32909 13073 16 0 211376 0 vsize: 845568 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 111124 52 0 0 25 0 11 0 488978992 865861632 32920 4294967295 134512640 134569956 3221224416 3221214712 1131555455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211392 32920 13073 16 0 211376 0 vsize: 845568 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 112115 52 0 0 25 0 11 0 488978992 865861632 32932 4294967295 134512640 134569956 3221224416 3221214736 1131417502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32932 13073 16 0 211376 0 vsize: 845568 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 113108 52 0 0 25 0 11 0 488978992 865861632 32954 4294967295 134512640 134569956 3221224416 3221214664 1131551462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32954 13073 16 0 211376 0 vsize: 845568 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 114102 53 0 0 25 0 11 0 488978992 865861632 32976 4294967295 134512640 134569956 3221224416 3221214664 1131551238 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 32976 13073 16 0 211376 0 vsize: 845568 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 115095 53 0 0 25 0 11 0 488978992 865861632 33001 4294967295 134512640 134569956 3221224416 3221214368 1080217370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33001 13073 16 0 211376 0 vsize: 845568 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 116089 53 0 0 25 0 11 0 488978992 865861632 33031 4294967295 134512640 134569956 3221224416 3221214568 1131593676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33031 13073 16 0 211376 0 vsize: 845568 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 117082 53 0 0 25 0 11 0 488978992 865861632 33050 4294967295 134512640 134569956 3221224416 3221214552 1131572438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33050 13073 16 0 211376 0 vsize: 845568 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 118076 54 0 0 25 0 11 0 488978992 865861632 33058 4294967295 134512640 134569956 3221224416 3221214488 1131657768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33058 13073 16 0 211376 0 vsize: 845568 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 119069 54 0 0 25 0 11 0 488978992 865861632 33063 4294967295 134512640 134569956 3221224416 3221214528 1131635325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33063 13073 16 0 211376 0 vsize: 845568 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 27063 Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 120063 55 0 0 25 0 11 0 488978992 865861632 33074 4294967295 134512640 134569956 3221224416 3221214488 1131657510 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211392 33074 13073 16 0 211376 0 vsize: 845568 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 27065 Raw data (stat): 27053 (java) Z 27052 24215 24214 0 -1 1036 18149 11709 1 0 120066 55 2611 27 25 0 1 0 488978992 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): 1230.16 CPU time (s): 1227.62 CPU user time (s): 1226.79 CPU system time (s): 0.827874 CPU usage (%): 99.7931 Max. virtual memory (Kb): 849288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####