Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb |
MD5SUM | bd41ba4f2ddbc80664ba643e2dc93b96 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.74658 |
Number of variables | 204880 |
Total number of constraints | 364368 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 210685 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-22 00:10:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13048 boxname=wulflinc4 idbench=1004 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bd41ba4f2ddbc80664ba643e2dc93b96 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stp3d.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stp3d.opb IDLAUNCH: 13048 /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: 861416 kB Buffers: 6120 kB Cached: 145972 kB SwapCached: 364 kB Active: 41128 kB Inactive: 113060 kB HighTotal: 131008 kB HighFree: 17360 kB LowTotal: 903652 kB LowFree: 844056 kB SwapTotal: 2097136 kB SwapFree: 2096008 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 13264 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 00:32:13 (client local time) WITH STATUS 143 IN 1300.81 SECONDS stats: 13048 7 1300.81 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stp3d.opb c reading problem c [nbvar=204880] c [nbconstr=364368] #### 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): 1.01 0.99 0.93 2/54 20262 Raw data (stat): 20262 (runsolver) R 20261 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491068120 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.001 s] Raw data (loadavg): 1.16 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17973 0 8 0 802 47 0 0 25 0 10 0 491068120 853614592 19049 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 19049 13073 16 0 208386 0 vsize: 833608 [startup+20.0023 s] Raw data (loadavg): 1.14 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 1705 48 0 0 25 0 10 0 491068120 853614592 19566 4294967295 134512640 134569956 3221224400 3221214712 1131177313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 19566 13073 16 0 208386 0 vsize: 833608 [startup+30.0042 s] Raw data (loadavg): 1.12 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 2598 48 0 0 25 0 10 0 491068120 853614592 20014 4294967295 134512640 134569956 3221224400 3221214824 1131213192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20014 13073 16 0 208386 0 vsize: 833608 [startup+40.0056 s] Raw data (loadavg): 1.10 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 3526 48 0 0 25 0 10 0 491068120 853614592 20254 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20254 13073 16 0 208386 0 vsize: 833608 [startup+50.011 s] Raw data (loadavg): 1.08 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 4458 48 0 0 24 0 10 0 491068120 853614592 20379 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20379 13073 16 0 208386 0 vsize: 833608 [startup+60.0113 s] Raw data (loadavg): 1.07 1.02 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 5390 49 0 0 25 0 10 0 491068120 853614592 20479 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20479 13073 16 0 208386 0 vsize: 833608 [startup+70.0113 s] Raw data (loadavg): 1.06 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 6331 49 0 0 25 0 10 0 491068120 853614592 20697 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20697 13073 16 0 208386 0 vsize: 833608 [startup+80.0127 s] Raw data (loadavg): 1.05 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 7277 49 0 0 24 0 10 0 491068120 853614592 20782 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20782 13073 16 0 208386 0 vsize: 833608 [startup+90.013 s] Raw data (loadavg): 1.04 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 8226 49 0 0 25 0 10 0 491068120 853614592 20854 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20854 13073 16 0 208386 0 vsize: 833608 [startup+100.013 s] Raw data (loadavg): 1.03 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 9176 50 0 0 25 0 10 0 491068120 853614592 20921 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20921 13073 16 0 208386 0 vsize: 833608 [startup+110.015 s] Raw data (loadavg): 1.03 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 10122 50 0 0 24 0 10 0 491068120 853614592 20988 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 20988 13073 16 0 208386 0 vsize: 833608 [startup+120.119 s] Raw data (loadavg): 1.02 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 11083 50 0 0 25 0 10 0 491068120 853614592 21047 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21047 13073 16 0 208386 0 vsize: 833608 [startup+130.122 s] Raw data (loadavg): 1.02 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 12033 50 0 0 25 0 10 0 491068120 853614592 21104 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21104 13073 16 0 208386 0 vsize: 833608 [startup+140.123 s] Raw data (loadavg): 1.02 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 12981 50 0 0 25 0 10 0 491068120 853614592 21161 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21161 13073 16 0 208386 0 vsize: 833608 [startup+150.125 s] Raw data (loadavg): 1.01 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 13931 50 0 0 25 0 10 0 491068120 853614592 21212 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21212 13073 16 0 208386 0 vsize: 833608 [startup+160.125 s] Raw data (loadavg): 1.01 1.01 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 14878 51 0 0 25 0 10 0 491068120 853614592 21266 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21266 13073 16 0 208386 0 vsize: 833608 [startup+170.125 s] Raw data (loadavg): 1.01 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 15823 51 0 0 25 0 10 0 491068120 853614592 21313 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21313 13073 16 0 208386 0 vsize: 833608 [startup+180.127 s] Raw data (loadavg): 1.01 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 16750 51 0 0 25 0 10 0 491068120 853614592 21359 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21359 13073 16 0 208386 0 vsize: 833608 [startup+190.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 17681 51 0 0 25 0 10 0 491068120 853614592 21661 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21661 13073 16 0 208386 0 vsize: 833608 [startup+200.149 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 18630 51 0 0 25 0 10 0 491068120 853614592 21704 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21704 13073 16 0 208386 0 vsize: 833608 [startup+210.158 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 19574 51 0 0 25 0 10 0 491068120 853614592 21748 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21748 13073 16 0 208386 0 vsize: 833608 [startup+220.164 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 20519 51 0 0 25 0 10 0 491068120 853614592 21791 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21791 13073 16 0 208386 0 vsize: 833608 [startup+230.166 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 21464 51 0 0 25 0 10 0 491068120 853614592 21831 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21831 13073 16 0 208386 0 vsize: 833608 [startup+240.166 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 22408 52 0 0 25 0 10 0 491068120 853614592 21870 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21870 13073 16 0 208386 0 vsize: 833608 [startup+250.166 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 23349 52 0 0 24 0 10 0 491068120 853614592 21911 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21911 13073 16 0 208386 0 vsize: 833608 [startup+260.167 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 24293 52 0 0 25 0 10 0 491068120 853614592 21948 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21948 13073 16 0 208386 0 vsize: 833608 [startup+270.167 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 25236 52 0 0 24 0 10 0 491068120 853614592 21984 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 21984 13073 16 0 208386 0 vsize: 833608 [startup+280.168 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 26179 52 0 0 25 0 10 0 491068120 853614592 22020 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22020 13073 16 0 208386 0 vsize: 833608 [startup+290.185 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 27119 52 0 0 24 0 10 0 491068120 853614592 22058 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22058 13073 16 0 208386 0 vsize: 833608 [startup+300.184 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 28061 52 0 0 25 0 10 0 491068120 853614592 22092 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22092 13073 16 0 208386 0 vsize: 833608 [startup+310.185 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 29003 53 0 0 25 0 10 0 491068120 853614592 22126 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22126 13073 16 0 208386 0 vsize: 833608 [startup+320.2 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 29945 53 0 0 25 0 10 0 491068120 853614592 22159 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208402 22159 13073 16 0 208386 0 vsize: 833608 [startup+330.201 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 30886 53 0 0 25 0 10 0 491068120 853614592 22192 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22192 13073 16 0 208386 0 vsize: 833608 [startup+340.202 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 31822 53 0 0 24 0 10 0 491068120 853614592 22226 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22226 13073 16 0 208386 0 vsize: 833608 [startup+350.206 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 32763 53 0 0 25 0 10 0 491068120 853614592 22259 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22259 13073 16 0 208386 0 vsize: 833608 [startup+360.212 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 33702 53 0 0 25 0 10 0 491068120 853614592 22290 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22290 13073 16 0 208386 0 vsize: 833608 [startup+370.212 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 34641 54 0 0 25 0 10 0 491068120 853614592 22321 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22321 13073 16 0 208386 0 vsize: 833608 [startup+380.213 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 35579 54 0 0 25 0 10 0 491068120 853614592 22351 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22351 13073 16 0 208386 0 vsize: 833608 [startup+390.214 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 36517 54 0 0 25 0 10 0 491068120 853614592 22381 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22381 13073 16 0 208386 0 vsize: 833608 [startup+400.214 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 37454 54 0 0 25 0 10 0 491068120 853614592 22410 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22410 13073 16 0 208386 0 vsize: 833608 [startup+410.219 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 38389 54 0 0 25 0 10 0 491068120 853614592 22440 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22440 13073 16 0 208386 0 vsize: 833608 [startup+420.221 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 39324 55 0 0 24 0 10 0 491068120 853614592 22470 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22470 13073 16 0 208386 0 vsize: 833608 [startup+430.222 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 40261 55 0 0 24 0 10 0 491068120 853614592 22498 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22498 13073 16 0 208386 0 vsize: 833608 [startup+440.222 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 41197 55 0 0 25 0 10 0 491068120 853614592 22526 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22526 13073 16 0 208386 0 vsize: 833608 [startup+450.222 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 42131 55 0 0 24 0 10 0 491068120 853614592 22554 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22554 13073 16 0 208386 0 vsize: 833608 [startup+460.223 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 43067 55 0 0 25 0 10 0 491068120 853614592 22582 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22582 13073 16 0 208386 0 vsize: 833608 [startup+470.223 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 44001 55 0 0 25 0 10 0 491068120 853614592 22609 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22609 13073 16 0 208386 0 vsize: 833608 [startup+480.224 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 44935 55 0 0 25 0 10 0 491068120 853614592 22635 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22635 13073 16 0 208386 0 vsize: 833608 [startup+490.224 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 45868 56 0 0 25 0 10 0 491068120 853614592 22662 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22662 13073 16 0 208386 0 vsize: 833608 [startup+500.224 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 46801 56 0 0 25 0 10 0 491068120 853614592 22688 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22688 13073 16 0 208386 0 vsize: 833608 [startup+510.226 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 47734 56 0 0 25 0 10 0 491068120 853614592 22714 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22714 13073 16 0 208386 0 vsize: 833608 [startup+520.226 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 48667 56 0 0 24 0 10 0 491068120 853614592 22740 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22740 13073 16 0 208386 0 vsize: 833608 [startup+530.227 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 49599 56 0 0 24 0 10 0 491068120 853614592 22765 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22765 13073 16 0 208386 0 vsize: 833608 [startup+540.228 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 50531 56 0 0 24 0 10 0 491068120 853614592 22791 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22791 13073 16 0 208386 0 vsize: 833608 [startup+550.231 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 51464 57 0 0 22 0 10 0 491068120 853614592 22815 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22815 13073 16 0 208386 0 vsize: 833608 [startup+560.231 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 52396 57 0 0 25 0 10 0 491068120 853614592 22840 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22840 13073 16 0 208386 0 vsize: 833608 [startup+570.232 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 53327 57 0 0 25 0 10 0 491068120 853614592 22864 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22864 13073 16 0 208386 0 vsize: 833608 [startup+580.234 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 54258 57 0 0 25 0 10 0 491068120 853614592 22888 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22888 13073 16 0 208386 0 vsize: 833608 [startup+590.234 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 55187 57 0 0 25 0 10 0 491068120 853614592 22912 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22912 13073 16 0 208386 0 vsize: 833608 [startup+600.235 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 56116 57 0 0 25 0 10 0 491068120 853614592 22936 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22936 13073 16 0 208386 0 vsize: 833608 [startup+610.236 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 57045 57 0 0 25 0 10 0 491068120 853614592 22960 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22960 13073 16 0 208386 0 vsize: 833608 [startup+620.235 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 57973 58 0 0 25 0 10 0 491068120 853614592 22983 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 22983 13073 16 0 208386 0 vsize: 833608 [startup+630.237 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 58901 58 0 0 25 0 10 0 491068120 853614592 23006 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 23006 13073 16 0 208386 0 vsize: 833608 [startup+640.237 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 59829 58 0 0 25 0 10 0 491068120 853614592 23029 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 23029 13073 16 0 208386 0 vsize: 833608 [startup+650.238 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 60757 58 0 0 25 0 10 0 491068120 853614592 23053 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 23053 13073 16 0 208386 0 vsize: 833608 [startup+660.238 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 61683 58 0 0 25 0 10 0 491068120 853614592 23081 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 23081 13073 16 0 208386 0 vsize: 833608 [startup+670.243 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 62611 58 0 0 25 0 10 0 491068120 853614592 23105 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 23105 13073 16 0 208386 0 vsize: 833608 [startup+680.244 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 63537 59 0 0 25 0 10 0 491068120 853614592 24136 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24136 13073 16 0 208386 0 vsize: 833608 [startup+690.245 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 64460 59 0 0 25 0 10 0 491068120 853614592 24140 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24140 13073 16 0 208386 0 vsize: 833608 [startup+700.245 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 65377 59 0 0 25 0 10 0 491068120 853614592 24166 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24166 13073 16 0 208386 0 vsize: 833608 [startup+710.25 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 66297 60 0 0 25 0 10 0 491068120 853614592 24190 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24190 13073 16 0 208386 0 vsize: 833608 [startup+720.251 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 67214 60 0 0 25 0 10 0 491068120 853614592 24217 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24217 13073 16 0 208386 0 vsize: 833608 [startup+730.252 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 68129 60 0 0 25 0 10 0 491068120 853614592 24240 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24240 13073 16 0 208386 0 vsize: 833608 [startup+740.256 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 69045 60 0 0 25 0 10 0 491068120 853614592 24261 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24261 13073 16 0 208386 0 vsize: 833608 [startup+750.256 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 69966 60 0 0 25 0 10 0 491068120 853614592 24282 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24282 13073 16 0 208386 0 vsize: 833608 [startup+760.256 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 70881 60 0 0 25 0 10 0 491068120 853614592 24304 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24304 13073 16 0 208386 0 vsize: 833608 [startup+770.261 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 71798 61 0 0 25 0 10 0 491068120 853614592 24342 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24342 13073 16 0 208386 0 vsize: 833608 [startup+780.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 72715 61 0 0 25 0 10 0 491068120 853614592 24363 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24363 13073 16 0 208386 0 vsize: 833608 [startup+790.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 73628 61 0 0 25 0 10 0 491068120 853614592 24391 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24391 13073 16 0 208386 0 vsize: 833608 [startup+800.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 74547 61 0 0 25 0 10 0 491068120 853614592 24415 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24415 13073 16 0 208386 0 vsize: 833608 [startup+810.265 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 75461 62 0 0 25 0 10 0 491068120 853614592 24436 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24436 13073 16 0 208386 0 vsize: 833608 [startup+820.266 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 76374 62 0 0 25 0 10 0 491068120 853614592 24464 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24464 13073 16 0 208386 0 vsize: 833608 [startup+830.267 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 77292 62 0 0 25 0 10 0 491068120 853614592 24487 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24487 13073 16 0 208386 0 vsize: 833608 [startup+840.269 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 78204 62 0 0 25 0 10 0 491068120 853614592 24510 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24510 13073 16 0 208386 0 vsize: 833608 [startup+850.268 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 79120 62 0 0 25 0 10 0 491068120 853614592 24533 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24533 13073 16 0 208386 0 vsize: 833608 [startup+860.269 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 80032 62 0 0 25 0 10 0 491068120 853614592 24553 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24553 13073 16 0 208386 0 vsize: 833608 [startup+870.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 80949 63 0 0 25 0 10 0 491068120 853614592 24571 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24571 13073 16 0 208386 0 vsize: 833608 [startup+880.271 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 81858 63 0 0 25 0 10 0 491068120 853614592 24604 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24604 13073 16 0 208386 0 vsize: 833608 [startup+890.275 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 82772 63 0 0 25 0 10 0 491068120 853614592 24623 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24623 13073 16 0 208386 0 vsize: 833608 [startup+900.275 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 83684 63 0 0 25 0 10 0 491068120 853614592 24643 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24643 13073 16 0 208386 0 vsize: 833608 [startup+910.276 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 84595 64 0 0 24 0 10 0 491068120 853614592 24673 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24673 13073 16 0 208386 0 vsize: 833608 [startup+920.277 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 85510 64 0 0 25 0 10 0 491068120 853614592 24691 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24691 13073 16 0 208386 0 vsize: 833608 [startup+930.278 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 86421 64 0 0 24 0 10 0 491068120 853614592 24717 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24717 13073 16 0 208386 0 vsize: 833608 [startup+940.279 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 87336 64 0 0 25 0 10 0 491068120 853614592 24739 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24739 13073 16 0 208386 0 vsize: 833608 [startup+950.28 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 88244 64 0 0 25 0 10 0 491068120 853614592 24758 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24758 13073 16 0 208386 0 vsize: 833608 [startup+960.281 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 89158 64 0 0 25 0 10 0 491068120 853614592 24781 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24781 13073 16 0 208386 0 vsize: 833608 [startup+970.282 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 90065 64 0 0 24 0 10 0 491068120 853614592 24805 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24805 13073 16 0 208386 0 vsize: 833608 [startup+980.284 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 90977 65 0 0 25 0 10 0 491068120 853614592 24826 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24826 13073 16 0 208386 0 vsize: 833608 [startup+990.285 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 91885 65 0 0 24 0 10 0 491068120 853614592 24845 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24845 13073 16 0 208386 0 vsize: 833608 [startup+1000.29 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 92798 65 0 0 25 0 10 0 491068120 853614592 24869 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24869 13073 16 0 208386 0 vsize: 833608 [startup+1010.3 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 93707 65 0 0 19 0 10 0 491068120 853614592 24891 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24891 13073 16 0 208386 0 vsize: 833608 [startup+1020.3 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 94620 65 0 0 25 0 10 0 491068120 853614592 24909 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24909 13073 16 0 208386 0 vsize: 833608 [startup+1030.31 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 95526 65 0 0 18 0 10 0 491068120 853614592 24929 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24929 13073 16 0 208386 0 vsize: 833608 [startup+1040.31 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 96439 65 0 0 22 0 10 0 491068120 853614592 24955 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24955 13073 16 0 208386 0 vsize: 833608 [startup+1050.31 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 97345 66 0 0 19 0 10 0 491068120 853614592 24976 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24976 13073 16 0 208386 0 vsize: 833608 [startup+1060.32 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 98258 66 0 0 22 0 10 0 491068120 853614592 24993 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 24993 13073 16 0 208386 0 vsize: 833608 [startup+1070.32 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 99164 66 0 0 24 0 10 0 491068120 853614592 25011 4294967295 134512640 134569956 3221224400 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25011 13073 16 0 208386 0 vsize: 833608 [startup+1080.34 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 100077 67 0 0 25 0 10 0 491068120 853614592 25038 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25038 13073 16 0 208386 0 vsize: 833608 [startup+1090.35 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 100988 67 0 0 25 0 10 0 491068120 853614592 25054 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25054 13073 16 0 208386 0 vsize: 833608 [startup+1100.35 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 101895 67 0 0 25 0 10 0 491068120 853614592 25079 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25079 13073 16 0 208386 0 vsize: 833608 [startup+1110.35 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 102806 67 0 0 25 0 10 0 491068120 853614592 25099 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25099 13073 16 0 208386 0 vsize: 833608 [startup+1120.36 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 103711 67 0 0 25 0 10 0 491068120 853614592 25118 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25118 13073 16 0 208386 0 vsize: 833608 [startup+1130.38 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 104622 67 0 0 25 0 10 0 491068120 853614592 25135 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25135 13073 16 0 208386 0 vsize: 833608 [startup+1140.38 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 105525 68 0 0 24 0 10 0 491068120 853614592 25159 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25159 13073 16 0 208386 0 vsize: 833608 [startup+1150.38 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 106435 68 0 0 25 0 10 0 491068120 853614592 25175 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25175 13073 16 0 208386 0 vsize: 833608 [startup+1160.39 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 107342 68 0 0 25 0 10 0 491068120 853614592 25200 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25200 13073 16 0 208386 0 vsize: 833608 [startup+1170.39 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 108247 68 0 0 25 0 10 0 491068120 853614592 25217 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25217 13073 16 0 208386 0 vsize: 833608 [startup+1180.39 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 109155 69 0 0 25 0 10 0 491068120 853614592 25239 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25239 13073 16 0 208386 0 vsize: 833608 [startup+1190.39 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 110057 69 0 0 25 0 10 0 491068120 853614592 25256 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25256 13073 16 0 208386 0 vsize: 833608 [startup+1200.39 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 110964 69 0 0 25 0 10 0 491068120 853614592 25278 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25278 13073 16 0 208386 0 vsize: 833608 [startup+1210.42 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) S 20261 5897 5896 0 -1 0 17974 0 8 0 111872 69 0 0 25 0 10 0 491068120 853614592 25297 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25297 13073 16 0 208386 0 vsize: 833608 [startup+1220.44 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 112778 69 0 0 25 0 10 0 491068120 853614592 25314 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25314 13073 16 0 208386 0 vsize: 833608 [startup+1230.44 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 113687 69 0 0 23 0 10 0 491068120 853614592 25329 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25329 13073 16 0 208386 0 vsize: 833608 [startup+1240.44 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 114589 69 0 0 19 0 10 0 491068120 853614592 25355 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25355 13073 16 0 208386 0 vsize: 833608 [startup+1250.57 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 115508 70 0 0 23 0 10 0 491068120 853614592 25370 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25370 13073 16 0 208386 0 vsize: 833608 [startup+1260.57 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 116409 70 0 0 19 0 10 0 491068120 853614592 25395 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25395 13073 16 0 208386 0 vsize: 833608 [startup+1270.57 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 117315 70 0 0 21 0 10 0 491068120 853614592 25412 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25412 13073 16 0 208386 0 vsize: 833608 [startup+1280.58 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 118221 70 0 0 23 0 10 0 491068120 853614592 25432 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25432 13073 16 0 208386 0 vsize: 833608 [startup+1290.6 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 119121 70 0 0 20 0 10 0 491068120 853614592 25450 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25450 13073 16 0 208386 0 vsize: 833608 [startup+1300.59 s] Raw data (loadavg): 1.00 1.00 0.94 2/63 20271 Raw data (stat): 20262 (java) R 20261 5897 5896 0 -1 0 17974 0 8 0 120027 71 0 0 22 0 10 0 491068120 853614592 25466 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208402 25466 13073 16 0 208386 0 vsize: 833608 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.92 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 20272 Raw data (stat): 20262 (java) Z 20261 5897 5896 0 -1 1036 17974 7416 8 1 120046 71 9920 42 18 0 1 0 491068120 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): 1300.92 CPU time (s): 1300.81 CPU user time (s): 1299.67 CPU system time (s): 1.13783 CPU usage (%): 99.9915 Max. virtual memory (Kb): 833608 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####