Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb |
MD5SUM | 154c7c542b6df7aab333fa859438b34f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65634210 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4880 |
Biggest coefficient in the objective function | 10485760 |
Number of bits for the biggest coefficient in the objective function | 24 |
Sum of the numbers in the objective function | 1662757407 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 10485760 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 1662757407 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1252.14 |
Number of variables | 9680 |
Total number of constraints | 732 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 240 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 15:02:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18001 boxname=wulflinc4 idbench=1385 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 154c7c542b6df7aab333fa859438b34f /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb IDLAUNCH: 18001 /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: 834592 kB Buffers: 21800 kB Cached: 156880 kB SwapCached: 364 kB Active: 16740 kB Inactive: 164468 kB HighTotal: 131008 kB HighFree: 110012 kB LowTotal: 903652 kB LowFree: 724580 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6400 kB Slab: 13184 kB Committed_AS: 71672 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 15:23:22 (client local time) WITH STATUS 143 IN 1264.9 SECONDS stats: 18001 7 1264.9 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb c reading problem c [nbvar=9680] c [nbconstr=732] c time 33.415 c #vars 9680 c #clauses 732 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=71225856 c Current CPU time (ms) : 37.304 c starts : 1 c conflicts : 0 c decisions : 3672 c propagations : 9680 c inspects : 13230 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=64365798 c Current CPU time (ms) : 172.984 c starts : 2 c conflicts : 72 c decisions : 12239 c propagations : 63975 c inspects : 95952 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 72 c root simplifications : 16 #### 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.98 0.94 2/54 9797 Raw data (stat): 9797 (runsolver) R 9796 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487779645 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 0.88 0.98 0.94 2/63 9806 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 17899 0 76 0 645 51 0 0 25 0 10 0 487779645 853254144 18926 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208314 18926 13073 16 0 208298 0 vsize: 833256 [startup+20.0024 s] Raw data (loadavg): 1.13 1.03 0.96 3/63 9806 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 17938 0 76 0 1418 51 0 0 25 0 10 0 487779645 878153728 25164 4294967295 134512640 134569956 3221224400 3221214836 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 214393 25164 13073 16 0 214377 0 vsize: 857572 [startup+30.0038 s] Raw data (loadavg): 1.11 1.03 0.96 2/63 9806 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 17938 0 76 0 2271 51 0 0 25 0 10 0 487779645 873775104 25213 4294967295 134512640 134569956 3221224400 3221214848 1131326149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213324 25213 13073 16 0 213308 0 vsize: 853296 [startup+40.0034 s] Raw data (loadavg): 1.17 1.04 0.96 2/64 9807 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 17969 0 76 0 3135 52 0 0 25 0 11 0 487779645 874303488 25778 4294967295 134512640 134569956 3221224400 3221214792 1131245007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 25778 13073 16 0 213437 0 vsize: 853812 [startup+50.0045 s] Raw data (loadavg): 1.14 1.04 0.96 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18009 3 76 0 3929 52 0 0 25 0 11 0 487779645 874303488 26222 4294967295 134512640 134569956 3221224400 3221214664 1131619754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 26222 13073 16 0 213437 0 vsize: 853812 [startup+60.0051 s] Raw data (loadavg): 1.20 1.06 0.97 2/64 9808 Raw data (stat): 9797 (java) S 9796 5897 5896 0 -1 0 18009 3 76 0 4850 52 0 0 25 0 11 0 487779645 874303488 26347 4294967295 134512640 134569956 3221224400 3221213128 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 26347 13073 16 0 213437 0 vsize: 853812 [startup+70.005 s] Raw data (loadavg): 1.16 1.05 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 5771 53 0 0 25 0 11 0 487779645 874303488 26445 4294967295 134512640 134569956 3221224400 3221214592 1131617260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 26445 13073 16 0 213437 0 vsize: 853812 [startup+80.0062 s] Raw data (loadavg): 1.14 1.05 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 6702 53 0 0 25 0 11 0 487779645 874303488 26920 4294967295 134512640 134569956 3221224400 3221214228 1078829665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 26920 13073 16 0 213437 0 vsize: 853812 [startup+90.0057 s] Raw data (loadavg): 1.12 1.05 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 7678 53 0 0 25 0 11 0 487779645 874303488 27187 4294967295 134512640 134569956 3221224400 3221214592 1131617271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27187 13073 16 0 213437 0 vsize: 853812 [startup+100.008 s] Raw data (loadavg): 1.10 1.05 0.97 3/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 8669 53 0 0 25 0 11 0 487779645 874303488 27271 4294967295 134512640 134569956 3221224400 3221214568 1131646940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27271 13073 16 0 213437 0 vsize: 853812 [startup+110.009 s] Raw data (loadavg): 1.08 1.05 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 9660 53 0 0 25 0 11 0 487779645 874303488 27271 4294967295 134512640 134569956 3221224400 3221214472 1131271673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27271 13073 16 0 213437 0 vsize: 853812 [startup+120.009 s] Raw data (loadavg): 1.07 1.04 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 10646 54 0 0 25 0 11 0 487779645 874303488 27271 4294967295 134512640 134569956 3221224400 3221214480 1131271633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27271 13073 16 0 213437 0 vsize: 853812 [startup+130.01 s] Raw data (loadavg): 1.06 1.04 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 11632 54 0 0 25 0 11 0 487779645 874303488 27273 4294967295 134512640 134569956 3221224400 3221214568 1131646836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27273 13073 16 0 213437 0 vsize: 853812 [startup+140.011 s] Raw data (loadavg): 1.05 1.04 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 12621 55 0 0 25 0 11 0 487779645 874303488 27274 4294967295 134512640 134569956 3221224400 3221214792 1131245257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27274 13073 16 0 213437 0 vsize: 853812 [startup+150.012 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 13600 55 0 0 24 0 11 0 487779645 874303488 27346 4294967295 134512640 134569956 3221224400 3221214792 1131244377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27346 13073 16 0 213437 0 vsize: 853812 [startup+160.012 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 14584 55 0 0 25 0 11 0 487779645 874303488 27348 4294967295 134512640 134569956 3221224400 3221214680 1131759324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27348 13073 16 0 213437 0 vsize: 853812 [startup+170.012 s] Raw data (loadavg): 1.03 1.03 0.97 2/64 9808 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 15571 55 0 0 25 0 11 0 487779645 874303488 27367 4294967295 134512640 134569956 3221224400 3221214536 1131526159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27367 13073 16 0 213437 0 vsize: 853812 [startup+180.012 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 9809 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 16546 56 0 0 25 0 11 0 487779645 874303488 27368 4294967295 134512640 134569956 3221224400 3221214688 1131759307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27368 13073 16 0 213437 0 vsize: 853812 [startup+190.013 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 9809 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 17535 56 0 0 25 0 11 0 487779645 874303488 27368 4294967295 134512640 134569956 3221224400 3221214688 1131759180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27368 13073 16 0 213437 0 vsize: 853812 [startup+200.015 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 9809 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 18512 56 0 0 25 0 11 0 487779645 874303488 27368 4294967295 134512640 134569956 3221224400 3221214404 1076614592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27368 13073 16 0 213437 0 vsize: 853812 [startup+210.015 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 9809 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18010 3 76 0 19487 56 0 0 25 0 11 0 487779645 874303488 27381 4294967295 134512640 134569956 3221224400 3221214576 1131646975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 27381 13073 16 0 213437 0 vsize: 853812 [startup+220.016 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 9809 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 20458 56 0 0 25 0 11 0 487779645 874303488 27413 4294967295 134512640 134569956 3221224400 3221214304 1131804924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 27413 13073 16 0 213437 0 vsize: 853812 [startup+230.017 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 21428 57 0 0 25 0 11 0 487779645 874303488 27470 4294967295 134512640 134569956 3221224400 3221214576 1131271673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27470 13073 16 0 213437 0 vsize: 853812 [startup+240.018 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 22405 57 0 0 25 0 11 0 487779645 874303488 27569 4294967295 134512640 134569956 3221224400 3221214688 1131759194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27569 13073 16 0 213437 0 vsize: 853812 [startup+250.019 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 23383 57 0 0 25 0 11 0 487779645 874303488 27771 4294967295 134512640 134569956 3221224400 3221214688 1131759191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27771 13073 16 0 213437 0 vsize: 853812 [startup+260.02 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 24360 57 0 0 25 0 11 0 487779645 874303488 27854 4294967295 134512640 134569956 3221224400 3221214728 1131627267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 27854 13073 16 0 213437 0 vsize: 853812 [startup+270.019 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 25340 57 0 0 25 0 11 0 487779645 874303488 28005 4294967295 134512640 134569956 3221224400 3221214300 1131791817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28005 13073 16 0 213437 0 vsize: 853812 [startup+280.02 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 26319 58 0 0 25 0 11 0 487779645 874303488 28067 4294967295 134512640 134569956 3221224400 3221214688 1131759324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28067 13073 16 0 213437 0 vsize: 853812 [startup+290.021 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 27297 58 0 0 25 0 11 0 487779645 874303488 28180 4294967295 134512640 134569956 3221224400 3221214688 1131759168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28180 13073 16 0 213437 0 vsize: 853812 [startup+300.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 28275 58 0 0 25 0 11 0 487779645 874303488 28287 4294967295 134512640 134569956 3221224400 3221214688 1131759315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28287 13073 16 0 213437 0 vsize: 853812 [startup+310.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 29242 59 0 0 25 0 11 0 487779645 874303488 28474 4294967295 134512640 134569956 3221224400 3221214728 1131628134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28474 13073 16 0 213437 0 vsize: 853812 [startup+320.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 30219 59 0 0 25 0 11 0 487779645 874303488 28579 4294967295 134512640 134569956 3221224400 3221214804 1131270252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28579 13073 16 0 213437 0 vsize: 853812 [startup+330.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 31196 59 0 0 25 0 11 0 487779645 874303488 28711 4294967295 134512640 134569956 3221224400 3221214848 1131550202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 28711 13073 16 0 213437 0 vsize: 853812 [startup+340.022 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 32164 60 0 0 25 0 11 0 487779645 874303488 28863 4294967295 134512640 134569956 3221224400 3221214784 1131244723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 28863 13073 16 0 213437 0 vsize: 853812 [startup+350.023 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 33142 60 0 0 25 0 11 0 487779645 874303488 28933 4294967295 134512640 134569956 3221224400 3221214848 1131550048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 28933 13073 16 0 213437 0 vsize: 853812 [startup+360.024 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 34119 60 0 0 25 0 11 0 487779645 874303488 29097 4294967295 134512640 134569956 3221224400 3221214688 1131759168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 29097 13073 16 0 213437 0 vsize: 853812 [startup+370.024 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 35087 60 0 0 25 0 11 0 487779645 874303488 29268 4294967295 134512640 134569956 3221224400 3221214688 1131759184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29268 13073 16 0 213437 0 vsize: 853812 [startup+380.025 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 36067 61 0 0 25 0 11 0 487779645 874303488 29370 4294967295 134512640 134569956 3221224400 3221214840 1131283857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29370 13073 16 0 213437 0 vsize: 853812 [startup+390.025 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 37046 61 0 0 25 0 11 0 487779645 874303488 29429 4294967295 134512640 134569956 3221224400 3221214688 1131759307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 29429 13073 16 0 213437 0 vsize: 853812 [startup+400.026 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 38015 61 0 0 25 0 11 0 487779645 874303488 29555 4294967295 134512640 134569956 3221224400 3221214688 1131759188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29555 13073 16 0 213437 0 vsize: 853812 [startup+410.027 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 38985 61 0 0 25 0 11 0 487779645 874303488 29600 4294967295 134512640 134569956 3221224400 3221214688 1131759188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 29600 13073 16 0 213437 0 vsize: 853812 [startup+420.027 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 39953 61 0 0 25 0 11 0 487779645 874303488 29693 4294967295 134512640 134569956 3221224400 3221214840 1131283857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29693 13073 16 0 213437 0 vsize: 853812 [startup+430.028 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 40912 62 0 0 25 0 11 0 487779645 874303488 29795 4294967295 134512640 134569956 3221224400 3221214688 1131759184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 29795 13073 16 0 213437 0 vsize: 853812 [startup+440.028 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 41892 62 0 0 25 0 11 0 487779645 874303488 29850 4294967295 134512640 134569956 3221224400 3221214688 1131759315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29850 13073 16 0 213437 0 vsize: 853812 [startup+450.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 42860 62 0 0 25 0 11 0 487779645 874303488 29964 4294967295 134512640 134569956 3221224400 3221214688 1131759188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 29964 13073 16 0 213437 0 vsize: 853812 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 43839 62 0 0 25 0 11 0 487779645 874303488 30010 4294967295 134512640 134569956 3221224400 3221214888 1131343284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30010 13073 16 0 213437 0 vsize: 853812 [startup+470.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 44807 63 0 0 25 0 11 0 487779645 874303488 30132 4294967295 134512640 134569956 3221224400 3221214456 1085679449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30132 13073 16 0 213437 0 vsize: 853812 [startup+480.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 45786 63 0 0 25 0 11 0 487779645 874303488 30211 4294967295 134512640 134569956 3221224400 3221214444 1131791120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 30211 13073 16 0 213437 0 vsize: 853812 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 46755 63 0 0 25 0 11 0 487779645 874303488 30331 4294967295 134512640 134569956 3221224400 3221214688 1131759315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30331 13073 16 0 213437 0 vsize: 853812 [startup+500.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 47735 63 0 0 25 0 11 0 487779645 874303488 30400 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30400 13073 16 0 213437 0 vsize: 853812 [startup+510.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 48713 63 0 0 25 0 11 0 487779645 874303488 30448 4294967295 134512640 134569956 3221224400 3221213880 1131790957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30448 13073 16 0 213437 0 vsize: 853812 [startup+520.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 49680 63 0 0 25 0 11 0 487779645 874303488 30587 4294967295 134512640 134569956 3221224400 3221213832 1131789924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 30587 13073 16 0 213437 0 vsize: 853812 [startup+530.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) S 9796 5897 5896 0 -1 0 18011 3 76 0 50659 63 0 0 25 0 11 0 487779645 874303488 30645 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30645 13073 16 0 213437 0 vsize: 853812 [startup+540.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 51618 64 0 0 25 0 11 0 487779645 874303488 30798 4294967295 134512640 134569956 3221224400 3221214688 1131759188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30798 13073 16 0 213437 0 vsize: 853812 [startup+550.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 52579 64 0 0 25 0 11 0 487779645 874303488 30878 4294967295 134512640 134569956 3221224400 3221214784 1131245279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30878 13073 16 0 213437 0 vsize: 853812 [startup+560.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 53539 64 0 0 25 0 11 0 487779645 874303488 30926 4294967295 134512640 134569956 3221224400 3221214688 1131759184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 30926 13073 16 0 213437 0 vsize: 853812 [startup+570.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 54501 64 0 0 25 0 11 0 487779645 874303488 31021 4294967295 134512640 134569956 3221224400 3221214848 1131549788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31021 13073 16 0 213437 0 vsize: 853812 [startup+580.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 55461 65 0 0 25 0 11 0 487779645 874303488 31126 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 31126 13073 16 0 213437 0 vsize: 853812 [startup+590.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 56425 65 0 0 25 0 11 0 487779645 874303488 31280 4294967295 134512640 134569956 3221224400 3221214320 1085632287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31280 13073 16 0 213437 0 vsize: 853812 [startup+600.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 57392 65 0 0 25 0 11 0 487779645 874303488 31436 4294967295 134512640 134569956 3221224400 3221214784 1131244794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31436 13073 16 0 213437 0 vsize: 853812 [startup+610.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 58362 65 0 0 25 0 11 0 487779645 874303488 31579 4294967295 134512640 134569956 3221224400 3221214688 1131759324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 31579 13073 16 0 213437 0 vsize: 853812 [startup+620.092 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 59335 66 0 0 25 0 11 0 487779645 874303488 31678 4294967295 134512640 134569956 3221224400 3221214688 1131759191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31678 13073 16 0 213437 0 vsize: 853812 [startup+630.093 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 60307 66 0 0 25 0 11 0 487779645 874303488 31752 4294967295 134512640 134569956 3221224400 3221213968 1131788180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31752 13073 16 0 213437 0 vsize: 853812 [startup+640.098 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 61273 67 0 0 25 0 11 0 487779645 874303488 31849 4294967295 134512640 134569956 3221224400 3221214688 1131759191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31849 13073 16 0 213437 0 vsize: 853812 [startup+650.108 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 62254 67 0 0 25 0 11 0 487779645 874303488 31913 4294967295 134512640 134569956 3221224400 3221214784 1131244723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 31913 13073 16 0 213437 0 vsize: 853812 [startup+660.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 63227 67 0 0 25 0 11 0 487779645 874303488 32004 4294967295 134512640 134569956 3221224400 3221214784 1131245409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32004 13073 16 0 213437 0 vsize: 853812 [startup+670.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 64200 68 0 0 25 0 11 0 487779645 874303488 32063 4294967295 134512640 134569956 3221224400 3221214784 1131244669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32063 13073 16 0 213437 0 vsize: 853812 [startup+680.124 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 65173 68 0 0 25 0 11 0 487779645 874303488 32122 4294967295 134512640 134569956 3221224400 3221214024 1131789991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32122 13073 16 0 213437 0 vsize: 853812 [startup+690.131 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 66145 68 0 0 25 0 11 0 487779645 874303488 32208 4294967295 134512640 134569956 3221224400 3221214888 1131343819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32208 13073 16 0 213437 0 vsize: 853812 [startup+700.131 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 67124 69 0 0 25 0 11 0 487779645 874303488 32294 4294967295 134512640 134569956 3221224400 3221214688 1131759184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32294 13073 16 0 213437 0 vsize: 853812 [startup+710.151 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 68098 69 0 0 25 0 11 0 487779645 874303488 32373 4294967295 134512640 134569956 3221224400 3221214688 1131759307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32373 13073 16 0 213437 0 vsize: 853812 [startup+720.208 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 69076 69 0 0 25 0 11 0 487779645 874303488 32441 4294967295 134512640 134569956 3221224400 3221214784 1131244571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32441 13073 16 0 213437 0 vsize: 853812 [startup+730.209 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 70054 70 0 0 25 0 11 0 487779645 874303488 32491 4294967295 134512640 134569956 3221224400 3221214256 1131791121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32491 13073 16 0 213437 0 vsize: 853812 [startup+740.209 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 71026 70 0 0 25 0 11 0 487779645 874303488 32569 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32569 13073 16 0 213437 0 vsize: 853812 [startup+750.21 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 71992 70 0 0 24 0 11 0 487779645 874303488 32695 4294967295 134512640 134569956 3221224400 3221214848 1131549806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32695 13073 16 0 213437 0 vsize: 853812 [startup+760.211 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 72965 70 0 0 25 0 11 0 487779645 874303488 32807 4294967295 134512640 134569956 3221224400 3221213968 1131791121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32807 13073 16 0 213437 0 vsize: 853812 [startup+770.21 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 73939 71 0 0 25 0 11 0 487779645 874303488 32877 4294967295 134512640 134569956 3221224400 3221214016 1131804980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32877 13073 16 0 213437 0 vsize: 853812 [startup+780.212 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 74914 71 0 0 25 0 11 0 487779645 874303488 32947 4294967295 134512640 134569956 3221224400 3221214688 1131759315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 32947 13073 16 0 213437 0 vsize: 853812 [startup+790.212 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 75894 71 0 0 25 0 11 0 487779645 874303488 33001 4294967295 134512640 134569956 3221224400 3221214688 1131759168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33001 13073 16 0 213437 0 vsize: 853812 [startup+800.213 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 76869 72 0 0 25 0 11 0 487779645 874303488 33089 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33089 13073 16 0 213437 0 vsize: 853812 [startup+810.213 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 77838 72 0 0 25 0 11 0 487779645 874303488 33186 4294967295 134512640 134569956 3221224400 3221214784 1131245529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33186 13073 16 0 213437 0 vsize: 853812 [startup+820.214 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 78820 72 0 0 25 0 11 0 487779645 874303488 33244 4294967295 134512640 134569956 3221224400 3221214724 1131641900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33244 13073 16 0 213437 0 vsize: 853812 [startup+830.214 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 79795 73 0 0 25 0 11 0 487779645 874303488 33323 4294967295 134512640 134569956 3221224400 3221214400 1131807400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33323 13073 16 0 213437 0 vsize: 853812 [startup+840.215 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 80770 73 0 0 25 0 11 0 487779645 874303488 33378 4294967295 134512640 134569956 3221224400 3221214072 1085679366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33378 13073 16 0 213437 0 vsize: 853812 [startup+850.216 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 81745 73 0 0 25 0 11 0 487779645 874303488 33445 4294967295 134512640 134569956 3221224400 3221214592 1131810187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33445 13073 16 0 213437 0 vsize: 853812 [startup+860.217 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 82719 74 0 0 25 0 11 0 487779645 874303488 33507 4294967295 134512640 134569956 3221224400 3221214840 1131283965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33507 13073 16 0 213437 0 vsize: 853812 [startup+870.217 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) S 9796 5897 5896 0 -1 0 18011 3 76 0 83697 74 0 0 25 0 11 0 487779645 874303488 33561 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33561 13073 16 0 213437 0 vsize: 853812 [startup+880.218 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 84668 74 0 0 25 0 11 0 487779645 874303488 33660 4294967295 134512640 134569956 3221224400 3221214784 1131244814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33660 13073 16 0 213437 0 vsize: 853812 [startup+890.218 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 85648 74 0 0 25 0 11 0 487779645 874303488 33713 4294967295 134512640 134569956 3221224400 3221214784 1131244373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33713 13073 16 0 213437 0 vsize: 853812 [startup+900.22 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 86621 75 0 0 25 0 11 0 487779645 874303488 33807 4294967295 134512640 134569956 3221224400 3221214888 1131343450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33807 13073 16 0 213437 0 vsize: 853812 [startup+910.22 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 87593 75 0 0 25 0 11 0 487779645 874303488 33891 4294967295 134512640 134569956 3221224400 3221214496 1131806139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33891 13073 16 0 213437 0 vsize: 853812 [startup+920.22 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 88567 76 0 0 25 0 11 0 487779645 874303488 33963 4294967295 134512640 134569956 3221224400 3221214016 1131804732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 33963 13073 16 0 213437 0 vsize: 853812 [startup+930.221 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 89540 76 0 0 25 0 11 0 487779645 874303488 34016 4294967295 134512640 134569956 3221224400 3221213976 1131791195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34016 13073 16 0 213437 0 vsize: 853812 [startup+940.222 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 90521 76 0 0 25 0 11 0 487779645 874303488 34095 4294967295 134512640 134569956 3221224400 3221214256 1131791183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34095 13073 16 0 213437 0 vsize: 853812 [startup+950.223 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 91495 76 0 0 25 0 11 0 487779645 874303488 34176 4294967295 134512640 134569956 3221224400 3221214256 1131791100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34176 13073 16 0 213437 0 vsize: 853812 [startup+960.224 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 92470 76 0 0 25 0 11 0 487779645 874303488 34258 4294967295 134512640 134569956 3221224400 3221214544 1131791096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34258 13073 16 0 213437 0 vsize: 853812 [startup+970.224 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 93444 77 0 0 25 0 11 0 487779645 874303488 34348 4294967295 134512640 134569956 3221224400 3221214784 1131244373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34348 13073 16 0 213437 0 vsize: 853812 [startup+980.225 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 94426 77 0 0 25 0 11 0 487779645 874303488 34395 4294967295 134512640 134569956 3221224400 3221214584 1131791829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34395 13073 16 0 213437 0 vsize: 853812 [startup+990.226 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 95400 77 0 0 25 0 11 0 487779645 874303488 34473 4294967295 134512640 134569956 3221224400 3221214724 1131641900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34473 13073 16 0 213437 0 vsize: 853812 [startup+1000.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 96376 78 0 0 25 0 11 0 487779645 874303488 34531 4294967295 134512640 134569956 3221224400 3221214688 1131759324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34531 13073 16 0 213437 0 vsize: 853812 [startup+1010.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 97357 78 0 0 25 0 11 0 487779645 874303488 34577 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 34577 13073 16 0 213437 0 vsize: 853812 [startup+1020.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 98331 78 0 0 25 0 11 0 487779645 874303488 34641 4294967295 134512640 134569956 3221224400 3221214020 1131789988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34641 13073 16 0 213437 0 vsize: 853812 [startup+1030.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 99306 79 0 0 25 0 11 0 487779645 874303488 34706 4294967295 134512640 134569956 3221224400 3221214400 1131805886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34706 13073 16 0 213437 0 vsize: 853812 [startup+1040.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 100286 80 0 0 25 0 11 0 487779645 874303488 34774 4294967295 134512640 134569956 3221224400 3221214808 1131669580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34774 13073 16 0 213437 0 vsize: 853812 [startup+1050.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 101260 80 0 0 25 0 11 0 487779645 874303488 34848 4294967295 134512640 134569956 3221224400 3221214840 1131283840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34848 13073 16 0 213437 0 vsize: 853812 [startup+1060.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 102241 80 0 0 25 0 11 0 487779645 874303488 34920 4294967295 134512640 134569956 3221224400 3221214784 1131244571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34920 13073 16 0 213437 0 vsize: 853812 [startup+1070.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 103216 81 0 0 25 0 11 0 487779645 874303488 34987 4294967295 134512640 134569956 3221224400 3221214848 1131550028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 34987 13073 16 0 213437 0 vsize: 853812 [startup+1080.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 104192 81 0 0 25 0 11 0 487779645 874303488 35060 4294967295 134512640 134569956 3221224400 3221214688 1131759180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35060 13073 16 0 213437 0 vsize: 853812 [startup+1090.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 105174 81 0 0 25 0 11 0 487779645 874303488 35130 4294967295 134512640 134569956 3221224400 3221214064 1131791096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35130 13073 16 0 213437 0 vsize: 853812 [startup+1100.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 106156 81 0 0 25 0 11 0 487779645 874303488 35169 4294967295 134512640 134569956 3221224400 3221214784 1131245118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35169 13073 16 0 213437 0 vsize: 853812 [startup+1110.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 107132 81 0 0 25 0 11 0 487779645 874303488 35288 4294967295 134512640 134569956 3221224400 3221214688 1131759184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35288 13073 16 0 213437 0 vsize: 853812 [startup+1120.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 108107 82 0 0 25 0 11 0 487779645 874303488 35358 4294967295 134512640 134569956 3221224400 3221214264 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35358 13073 16 0 213437 0 vsize: 853812 [startup+1130.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 109089 82 0 0 25 0 11 0 487779645 874303488 35417 4294967295 134512640 134569956 3221224400 3221214840 1131283965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35417 13073 16 0 213437 0 vsize: 853812 [startup+1140.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 110064 83 0 0 25 0 11 0 487779645 874303488 35472 4294967295 134512640 134569956 3221224400 3221214344 1131297857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35472 13073 16 0 213437 0 vsize: 853812 [startup+1150.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 111045 83 0 0 25 0 11 0 487779645 874303488 35510 4294967295 134512640 134569956 3221224400 3221214208 1131804896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 35510 13073 16 0 213437 0 vsize: 853812 [startup+1160.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 112019 84 0 0 25 0 11 0 487779645 874303488 35585 4294967295 134512640 134569956 3221224400 3221214784 1131244133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35585 13073 16 0 213437 0 vsize: 853812 [startup+1170.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) S 9796 5897 5896 0 -1 0 18011 3 76 0 112996 84 0 0 25 0 11 0 487779645 874303488 35638 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35638 13073 16 0 213437 0 vsize: 853812 [startup+1180.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 113974 84 0 0 25 0 11 0 487779645 874303488 35686 4294967295 134512640 134569956 3221224400 3221214784 1131245193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 35686 13073 16 0 213437 0 vsize: 853812 [startup+1190.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 114948 84 0 0 24 0 11 0 487779645 874303488 35794 4294967295 134512640 134569956 3221224400 3221214252 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35794 13073 16 0 213437 0 vsize: 853812 [startup+1200.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 115928 84 0 0 25 0 11 0 487779645 874303488 35835 4294967295 134512640 134569956 3221224400 3221214848 1131550028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35835 13073 16 0 213437 0 vsize: 853812 [startup+1210.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 116909 84 0 0 25 0 11 0 487779645 874303488 35872 4294967295 134512640 134569956 3221224400 3221214544 1131791025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213453 35872 13073 16 0 213437 0 vsize: 853812 [startup+1220.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 117884 85 0 0 25 0 11 0 487779645 874303488 35978 4294967295 134512640 134569956 3221224400 3221213832 1131789991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 35978 13073 16 0 213437 0 vsize: 853812 [startup+1230.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 118865 85 0 0 25 0 11 0 487779645 874303488 36015 4294967295 134512640 134569956 3221224400 3221214784 1131244702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 36015 13073 16 0 213437 0 vsize: 853812 [startup+1240.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 119840 85 0 0 25 0 11 0 487779645 874303488 36117 4294967295 134512640 134569956 3221224400 3221214784 1131244882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 36117 13073 16 0 213437 0 vsize: 853812 [startup+1250.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 9811 Raw data (stat): 9797 (java) R 9796 5897 5896 0 -1 0 18011 3 76 0 120821 86 0 0 25 0 11 0 487779645 874303488 36168 4294967295 134512640 134569956 3221224400 3221214688 1131759168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213453 36168 13073 16 0 213437 0 vsize: 853812 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.34 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 9813 Raw data (stat): 9797 (java) Z 9796 5897 5896 0 -1 1036 18011 25457 76 0 120824 92 5504 68 25 0 1 0 487779645 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): 1250.33 CPU time (s): 1264.9 CPU user time (s): 1263.28 CPU system time (s): 1.61775 CPU usage (%): 101.165 Max. virtual memory (Kb): 857572 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####