Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb |
MD5SUM | d116f9238cf2e97b47b1161aa0f7f9ea |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 124714 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 862062472006152900 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.31665 |
Number of variables | 244494 |
Total number of constraints | 6084 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6084 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-04-21 19:59:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15713 boxname=wulflinc30 idbench=1209 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: d116f9238cf2e97b47b1161aa0f7f9ea /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-dfl001.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-dfl001.opb IDLAUNCH: 15713 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 780740 kB Buffers: 20628 kB Cached: 205580 kB SwapCached: 28 kB Active: 88876 kB Inactive: 140148 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 780488 kB SwapTotal: 2097892 kB SwapFree: 2097796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6800 kB Slab: 19148 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 20:21:12 (client local time) WITH STATUS 143 IN 1311.87 SECONDS stats: 15713 7 1311.87 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-dfl001.opb c reading problem c [nbvar=244494] c [nbconstr=6084] #### 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.11 1.03 0.94 2/54 25943 Raw data (stat): 25943 (runsolver) R 25942 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547783829 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.0001 s] Raw data (loadavg): 1.09 1.03 0.94 2/63 25952 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 875 41 0 0 25 0 10 0 547783829 853639168 19145 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208408 19145 13073 16 0 208392 0 vsize: 833632 [startup+20.0003 s] Raw data (loadavg): 1.08 1.03 0.94 2/63 25952 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 1764 41 0 0 25 0 10 0 547783829 853725184 19691 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 19691 13073 16 0 208413 0 vsize: 833716 [startup+30.0011 s] Raw data (loadavg): 1.07 1.02 0.94 2/63 25952 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 2661 42 0 0 25 0 10 0 547783829 853725184 20131 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20131 13073 16 0 208413 0 vsize: 833716 [startup+40.0015 s] Raw data (loadavg): 1.06 1.02 0.94 2/63 25952 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 3590 42 0 0 25 0 10 0 547783829 853725184 20361 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20361 13073 16 0 208413 0 vsize: 833716 [startup+50.0098 s] Raw data (loadavg): 1.20 1.06 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 4512 44 0 0 24 0 10 0 547783829 853725184 20484 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20484 13073 16 0 208413 0 vsize: 833716 [startup+60.0105 s] Raw data (loadavg): 1.17 1.05 0.95 3/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 5444 44 0 0 25 0 10 0 547783829 853725184 20582 4294967295 134512640 134569956 3221224400 3221214240 1076460984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20582 13073 16 0 208413 0 vsize: 833716 [startup+70.0103 s] Raw data (loadavg): 1.14 1.05 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 6387 44 0 0 25 0 10 0 547783829 853692416 20789 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 20789 13073 16 0 208405 0 vsize: 833684 [startup+80.0111 s] Raw data (loadavg): 1.12 1.05 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 7330 45 0 0 25 0 10 0 547783829 853692416 20872 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 20872 13073 16 0 208405 0 vsize: 833684 [startup+90.0109 s] Raw data (loadavg): 1.10 1.05 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 8277 46 0 0 25 0 10 0 547783829 853692416 20943 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 20943 13073 16 0 208405 0 vsize: 833684 [startup+100.013 s] Raw data (loadavg): 1.09 1.05 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 9222 46 0 0 25 0 10 0 547783829 853692416 21013 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21013 13073 16 0 208405 0 vsize: 833684 [startup+110.016 s] Raw data (loadavg): 1.07 1.04 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 10170 46 0 0 25 0 10 0 547783829 853692416 21075 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21075 13073 16 0 208405 0 vsize: 833684 [startup+120.016 s] Raw data (loadavg): 1.06 1.04 0.95 2/63 26005 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 11116 47 0 0 25 0 10 0 547783829 853692416 21137 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21137 13073 16 0 208405 0 vsize: 833684 [startup+130.017 s] Raw data (loadavg): 1.05 1.04 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 12064 48 0 0 25 0 10 0 547783829 853692416 21192 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21192 13073 16 0 208405 0 vsize: 833684 [startup+140.017 s] Raw data (loadavg): 1.04 1.04 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 13009 48 0 0 25 0 10 0 547783829 853692416 21249 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21249 13073 16 0 208405 0 vsize: 833684 [startup+150.018 s] Raw data (loadavg): 1.04 1.04 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 13955 49 0 0 24 0 10 0 547783829 853692416 21304 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21304 13073 16 0 208405 0 vsize: 833684 [startup+160.018 s] Raw data (loadavg): 1.03 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 14904 49 0 0 25 0 10 0 547783829 853692416 21353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21353 13073 16 0 208405 0 vsize: 833684 [startup+170.018 s] Raw data (loadavg): 1.02 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 15842 49 0 0 25 0 10 0 547783829 853692416 21400 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21400 13073 16 0 208405 0 vsize: 833684 [startup+180.019 s] Raw data (loadavg): 1.02 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 16763 50 0 0 25 0 10 0 547783829 853692416 21448 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21448 13073 16 0 208405 0 vsize: 833684 [startup+190.02 s] Raw data (loadavg): 1.02 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 17699 51 0 0 25 0 10 0 547783829 853692416 21748 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21748 13073 16 0 208405 0 vsize: 833684 [startup+200.021 s] Raw data (loadavg): 1.01 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 18645 51 0 0 25 0 10 0 547783829 853692416 21791 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21791 13073 16 0 208405 0 vsize: 833684 [startup+210.021 s] Raw data (loadavg): 1.01 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 19585 51 0 0 25 0 10 0 547783829 853692416 21837 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21837 13073 16 0 208405 0 vsize: 833684 [startup+220.022 s] Raw data (loadavg): 1.01 1.03 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 20529 52 0 0 25 0 10 0 547783829 853692416 21877 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21877 13073 16 0 208405 0 vsize: 833684 [startup+230.023 s] Raw data (loadavg): 1.01 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 21470 52 0 0 25 0 10 0 547783829 853692416 21919 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21919 13073 16 0 208405 0 vsize: 833684 [startup+240.023 s] Raw data (loadavg): 1.01 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 22413 53 0 0 25 0 10 0 547783829 853692416 21958 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 21958 13073 16 0 208405 0 vsize: 833684 [startup+250.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 23354 53 0 0 25 0 10 0 547783829 853692416 21997 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 21997 13073 16 0 208405 0 vsize: 833684 [startup+260.03 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 24297 53 0 0 25 0 10 0 547783829 853692416 22035 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22035 13073 16 0 208405 0 vsize: 833684 [startup+270.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 25240 53 0 0 25 0 10 0 547783829 853692416 22072 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22072 13073 16 0 208405 0 vsize: 833684 [startup+280.03 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 26182 53 0 0 25 0 10 0 547783829 853692416 22107 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22107 13073 16 0 208405 0 vsize: 833684 [startup+290.031 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 27120 53 0 0 24 0 10 0 547783829 853692416 22144 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22144 13073 16 0 208405 0 vsize: 833684 [startup+300.032 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 28062 54 0 0 25 0 10 0 547783829 853692416 22178 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22178 13073 16 0 208405 0 vsize: 833684 [startup+310.032 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 29003 54 0 0 25 0 10 0 547783829 853692416 22212 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22212 13073 16 0 208405 0 vsize: 833684 [startup+320.032 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 29943 54 0 0 25 0 10 0 547783829 853692416 22245 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22245 13073 16 0 208405 0 vsize: 833684 [startup+330.033 s] Raw data (loadavg): 1.00 1.02 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 30880 54 0 0 24 0 10 0 547783829 853692416 22280 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22280 13073 16 0 208405 0 vsize: 833684 [startup+340.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 31820 54 0 0 25 0 10 0 547783829 853692416 22313 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22313 13073 16 0 208405 0 vsize: 833684 [startup+350.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 32759 55 0 0 25 0 10 0 547783829 853692416 22344 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22344 13073 16 0 208405 0 vsize: 833684 [startup+360.035 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 33698 55 0 0 25 0 10 0 547783829 853692416 22375 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22375 13073 16 0 208405 0 vsize: 833684 [startup+370.035 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 34633 55 0 0 24 0 10 0 547783829 853692416 22407 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22407 13073 16 0 208405 0 vsize: 833684 [startup+380.035 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26007 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 35571 55 0 0 25 0 10 0 547783829 853692416 22438 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22438 13073 16 0 208405 0 vsize: 833684 [startup+390.036 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 36508 55 0 0 25 0 10 0 547783829 853692416 22467 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22467 13073 16 0 208405 0 vsize: 833684 [startup+400.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 37445 55 0 0 25 0 10 0 547783829 853692416 22497 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22497 13073 16 0 208405 0 vsize: 833684 [startup+410.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 38382 56 0 0 25 0 10 0 547783829 853692416 22526 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22526 13073 16 0 208405 0 vsize: 833684 [startup+420.042 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 39315 56 0 0 25 0 10 0 547783829 853692416 22555 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22555 13073 16 0 208405 0 vsize: 833684 [startup+430.045 s] Raw data (loadavg): 1.00 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 40251 56 0 0 24 0 10 0 547783829 853692416 22584 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22584 13073 16 0 208405 0 vsize: 833684 [startup+440.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 41186 56 0 0 25 0 10 0 547783829 853692416 22612 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22612 13073 16 0 208405 0 vsize: 833684 [startup+450.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 42121 56 0 0 25 0 10 0 547783829 853692416 22640 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22640 13073 16 0 208405 0 vsize: 833684 [startup+460.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 43056 56 0 0 24 0 10 0 547783829 853692416 22667 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22667 13073 16 0 208405 0 vsize: 833684 [startup+470.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 43990 56 0 0 25 0 10 0 547783829 853692416 22694 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22694 13073 16 0 208405 0 vsize: 833684 [startup+480.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 44924 56 0 0 25 0 10 0 547783829 853692416 22720 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22720 13073 16 0 208405 0 vsize: 833684 [startup+490.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 45857 56 0 0 25 0 10 0 547783829 853692416 22747 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22747 13073 16 0 208405 0 vsize: 833684 [startup+500.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 46790 57 0 0 25 0 10 0 547783829 853692416 22773 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22773 13073 16 0 208405 0 vsize: 833684 [startup+510.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 47723 57 0 0 25 0 10 0 547783829 853692416 22799 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22799 13073 16 0 208405 0 vsize: 833684 [startup+520.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 48656 57 0 0 25 0 10 0 547783829 853692416 22825 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22825 13073 16 0 208405 0 vsize: 833684 [startup+530.05 s] Raw data (loadavg): 1.07 1.02 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 49587 57 0 0 25 0 10 0 547783829 853692416 22851 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22851 13073 16 0 208405 0 vsize: 833684 [startup+540.051 s] Raw data (loadavg): 1.06 1.02 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 50518 57 0 0 25 0 10 0 547783829 853692416 22876 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22876 13073 16 0 208405 0 vsize: 833684 [startup+550.052 s] Raw data (loadavg): 1.05 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 51450 57 0 0 25 0 10 0 547783829 853692416 22900 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22900 13073 16 0 208405 0 vsize: 833684 [startup+560.052 s] Raw data (loadavg): 1.04 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 52380 58 0 0 25 0 10 0 547783829 853692416 22925 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22925 13073 16 0 208405 0 vsize: 833684 [startup+570.053 s] Raw data (loadavg): 1.04 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 53310 58 0 0 25 0 10 0 547783829 853692416 22949 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22949 13073 16 0 208405 0 vsize: 833684 [startup+580.054 s] Raw data (loadavg): 1.03 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 54240 58 0 0 25 0 10 0 547783829 853692416 22973 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22973 13073 16 0 208405 0 vsize: 833684 [startup+590.055 s] Raw data (loadavg): 1.02 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 55169 58 0 0 25 0 10 0 547783829 853692416 22997 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 22997 13073 16 0 208405 0 vsize: 833684 [startup+600.056 s] Raw data (loadavg): 1.02 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 56097 58 0 0 25 0 10 0 547783829 853692416 23021 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23021 13073 16 0 208405 0 vsize: 833684 [startup+610.056 s] Raw data (loadavg): 1.02 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 57026 58 0 0 25 0 10 0 547783829 853692416 23045 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23045 13073 16 0 208405 0 vsize: 833684 [startup+620.056 s] Raw data (loadavg): 1.01 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 57954 58 0 0 25 0 10 0 547783829 853692416 23068 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23068 13073 16 0 208405 0 vsize: 833684 [startup+630.057 s] Raw data (loadavg): 1.01 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 58881 59 0 0 25 0 10 0 547783829 853692416 23091 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23091 13073 16 0 208405 0 vsize: 833684 [startup+640.058 s] Raw data (loadavg): 1.01 1.01 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 59809 59 0 0 25 0 10 0 547783829 853692416 23114 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23114 13073 16 0 208405 0 vsize: 833684 [startup+650.06 s] Raw data (loadavg): 1.01 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 60736 59 0 0 24 0 10 0 547783829 853692416 23137 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23137 13073 16 0 208405 0 vsize: 833684 [startup+660.063 s] Raw data (loadavg): 1.01 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 61664 59 0 0 25 0 10 0 547783829 853692416 23158 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 23158 13073 16 0 208405 0 vsize: 833684 [startup+670.063 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 62586 59 0 0 25 0 10 0 547783829 853692416 24178 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24178 13073 16 0 208405 0 vsize: 833684 [startup+680.074 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 63515 59 0 0 22 0 10 0 547783829 853692416 24178 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24178 13073 16 0 208405 0 vsize: 833684 [startup+690.074 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 64433 59 0 0 25 0 10 0 547783829 853692416 24185 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24185 13073 16 0 208405 0 vsize: 833684 [startup+700.087 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 65350 60 0 0 25 0 10 0 547783829 853692416 24212 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24212 13073 16 0 208405 0 vsize: 833684 [startup+710.195 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 66279 60 0 0 25 0 10 0 547783829 853692416 24237 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24237 13073 16 0 208405 0 vsize: 833684 [startup+720.195 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 67197 60 0 0 25 0 10 0 547783829 853692416 24265 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24265 13073 16 0 208405 0 vsize: 833684 [startup+730.203 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 68113 60 0 0 25 0 10 0 547783829 853692416 24290 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24290 13073 16 0 208405 0 vsize: 833684 [startup+740.203 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 69028 60 0 0 24 0 10 0 547783829 853692416 24314 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24314 13073 16 0 208405 0 vsize: 833684 [startup+750.204 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 69950 60 0 0 25 0 10 0 547783829 853692416 24334 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24334 13073 16 0 208405 0 vsize: 833684 [startup+760.205 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 70864 60 0 0 25 0 10 0 547783829 853692416 24366 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24366 13073 16 0 208405 0 vsize: 833684 [startup+770.205 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 71778 61 0 0 25 0 10 0 547783829 853692416 24390 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24390 13073 16 0 208405 0 vsize: 833684 [startup+780.206 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 72692 61 0 0 24 0 10 0 547783829 853692416 24414 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24414 13073 16 0 208405 0 vsize: 833684 [startup+790.207 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 73611 61 0 0 25 0 10 0 547783829 853692416 24434 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24434 13073 16 0 208405 0 vsize: 833684 [startup+800.208 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 74524 61 0 0 25 0 10 0 547783829 853692416 24464 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24464 13073 16 0 208405 0 vsize: 833684 [startup+810.209 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 75436 62 0 0 25 0 10 0 547783829 853692416 24488 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24488 13073 16 0 208405 0 vsize: 833684 [startup+820.208 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 76355 62 0 0 25 0 10 0 547783829 853692416 24509 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24509 13073 16 0 208405 0 vsize: 833684 [startup+830.209 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 77267 62 0 0 25 0 10 0 547783829 853692416 24530 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24530 13073 16 0 208405 0 vsize: 833684 [startup+840.21 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 78178 62 0 0 25 0 10 0 547783829 853692416 24560 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24560 13073 16 0 208405 0 vsize: 833684 [startup+850.212 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 79095 62 0 0 25 0 10 0 547783829 853692416 24579 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24579 13073 16 0 208405 0 vsize: 833684 [startup+860.213 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 80007 62 0 0 25 0 10 0 547783829 853692416 24604 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24604 13073 16 0 208405 0 vsize: 833684 [startup+870.212 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 80918 62 0 0 24 0 10 0 547783829 853692416 24624 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24624 13073 16 0 208405 0 vsize: 833684 [startup+880.213 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 81834 62 0 0 25 0 10 0 547783829 853692416 24651 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24651 13073 16 0 208405 0 vsize: 833684 [startup+890.214 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 82744 62 0 0 24 0 10 0 547783829 853692416 24674 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24674 13073 16 0 208405 0 vsize: 833684 [startup+900.215 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 83660 62 0 0 25 0 10 0 547783829 853692416 24693 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24693 13073 16 0 208405 0 vsize: 833684 [startup+910.216 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 84569 63 0 0 24 0 10 0 547783829 853692416 24712 4294967295 134512640 134569956 3221224400 3221214176 1076874544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24712 13073 16 0 208405 0 vsize: 833684 [startup+920.215 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 85483 63 0 0 25 0 10 0 547783829 853692416 24742 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24742 13073 16 0 208405 0 vsize: 833684 [startup+930.216 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 86392 63 0 0 25 0 10 0 547783829 853692416 24761 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24761 13073 16 0 208405 0 vsize: 833684 [startup+940.217 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 87306 63 0 0 25 0 10 0 547783829 853692416 24783 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24783 13073 16 0 208405 0 vsize: 833684 [startup+950.219 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 88215 63 0 0 25 0 10 0 547783829 853692416 24802 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24802 13073 16 0 208405 0 vsize: 833684 [startup+960.219 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 89129 63 0 0 25 0 10 0 547783829 853692416 24828 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24828 13073 16 0 208405 0 vsize: 833684 [startup+970.219 s] Raw data (loadavg): 1.00 1.00 0.95 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 90034 63 0 0 25 0 10 0 547783829 853692416 24852 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24852 13073 16 0 208405 0 vsize: 833684 [startup+980.22 s] Raw data (loadavg): 1.15 1.03 0.96 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 90947 63 0 0 25 0 10 0 547783829 853692416 24871 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24871 13073 16 0 208405 0 vsize: 833684 [startup+990.22 s] Raw data (loadavg): 1.13 1.03 0.96 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 91854 63 0 0 19 0 10 0 547783829 853692416 24895 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24895 13073 16 0 208405 0 vsize: 833684 [startup+1000.22 s] Raw data (loadavg): 1.11 1.03 0.96 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 92757 63 0 0 21 0 10 0 547783829 853692416 24912 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24912 13073 16 0 208405 0 vsize: 833684 [startup+1010.23 s] Raw data (loadavg): 1.09 1.03 0.96 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 93665 64 0 0 24 0 10 0 547783829 853692416 24937 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24937 13073 16 0 208405 0 vsize: 833684 [startup+1020.25 s] Raw data (loadavg): 1.08 1.03 0.96 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 94580 64 0 0 25 0 10 0 547783829 853692416 24957 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24957 13073 16 0 208405 0 vsize: 833684 [startup+1030.25 s] Raw data (loadavg): 1.14 1.04 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 95487 64 0 0 24 0 10 0 547783829 853692416 24975 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 24975 13073 16 0 208405 0 vsize: 833684 [startup+1040.25 s] Raw data (loadavg): 1.12 1.04 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 96399 64 0 0 25 0 10 0 547783829 853692416 25001 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25001 13073 16 0 208405 0 vsize: 833684 [startup+1050.25 s] Raw data (loadavg): 1.10 1.04 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 97304 64 0 0 19 0 10 0 547783829 853692416 25021 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25021 13073 16 0 208405 0 vsize: 833684 [startup+1060.25 s] Raw data (loadavg): 1.08 1.04 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 98215 64 0 0 21 0 10 0 547783829 853692416 25043 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25043 13073 16 0 208405 0 vsize: 833684 [startup+1070.25 s] Raw data (loadavg): 1.07 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 99126 64 0 0 24 0 10 0 547783829 853692416 25063 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25063 13073 16 0 208405 0 vsize: 833684 [startup+1080.25 s] Raw data (loadavg): 1.06 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 100029 64 0 0 20 0 10 0 547783829 853692416 25085 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25085 13073 16 0 208405 0 vsize: 833684 [startup+1090.25 s] Raw data (loadavg): 1.05 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 100938 64 0 0 24 0 10 0 547783829 853692416 25104 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25104 13073 16 0 208405 0 vsize: 833684 [startup+1100.25 s] Raw data (loadavg): 1.04 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 101843 64 0 0 19 0 10 0 547783829 853692416 25121 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25121 13073 16 0 208405 0 vsize: 833684 [startup+1110.26 s] Raw data (loadavg): 1.03 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 102753 65 0 0 23 0 10 0 547783829 853692416 25144 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 25144 13073 16 0 208405 0 vsize: 833684 [startup+1120.26 s] Raw data (loadavg): 1.03 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 103654 65 0 0 19 0 10 0 547783829 853692416 25165 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25165 13073 16 0 208405 0 vsize: 833684 [startup+1130.26 s] Raw data (loadavg): 1.02 1.03 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 104562 65 0 0 21 0 10 0 547783829 853692416 25185 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25185 13073 16 0 208405 0 vsize: 833684 [startup+1140.26 s] Raw data (loadavg): 1.02 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 105469 66 0 0 23 0 10 0 547783829 853692416 25203 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25203 13073 16 0 208405 0 vsize: 833684 [startup+1150.26 s] Raw data (loadavg): 1.02 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 106369 66 0 0 19 0 10 0 547783829 853692416 25226 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25226 13073 16 0 208405 0 vsize: 833684 [startup+1160.26 s] Raw data (loadavg): 1.01 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 107276 67 0 0 21 0 10 0 547783829 853692416 25242 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25242 13073 16 0 208405 0 vsize: 833684 [startup+1170.26 s] Raw data (loadavg): 1.01 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 108180 67 0 0 24 0 10 0 547783829 853692416 25265 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25265 13073 16 0 208405 0 vsize: 833684 [startup+1180.26 s] Raw data (loadavg): 1.01 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 109084 67 0 0 20 0 10 0 547783829 853692416 25285 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25285 13073 16 0 208405 0 vsize: 833684 [startup+1190.26 s] Raw data (loadavg): 1.01 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 109990 67 0 0 22 0 10 0 547783829 853692416 25301 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25301 13073 16 0 208405 0 vsize: 833684 [startup+1200.26 s] Raw data (loadavg): 1.01 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 110891 67 0 0 24 0 10 0 547783829 853692416 25323 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25323 13073 16 0 208405 0 vsize: 833684 [startup+1210.26 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 111795 68 0 0 20 0 10 0 547783829 853692416 25343 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25343 13073 16 0 208405 0 vsize: 833684 [startup+1220.26 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 112697 69 0 0 22 0 10 0 547783829 853692416 25362 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25362 13073 16 0 208405 0 vsize: 833684 [startup+1230.26 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 113596 69 0 0 24 0 10 0 547783829 853692416 25380 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25380 13073 16 0 208405 0 vsize: 833684 [startup+1240.26 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 114500 69 0 0 20 0 10 0 547783829 853692416 25398 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25398 13073 16 0 208405 0 vsize: 833684 [startup+1250.26 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 115404 70 0 0 22 0 10 0 547783829 853692416 25413 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25413 13073 16 0 208405 0 vsize: 833684 [startup+1260.27 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 116306 70 0 0 24 0 10 0 547783829 853692416 25429 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25429 13073 16 0 208405 0 vsize: 833684 [startup+1270.27 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 117208 71 0 0 20 0 10 0 547783829 853692416 25457 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25457 13073 16 0 208405 0 vsize: 833684 [startup+1280.27 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 118112 71 0 0 22 0 10 0 547783829 853692416 25474 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25474 13073 16 0 208405 0 vsize: 833684 [startup+1290.27 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) S 25942 11931 11930 0 -1 0 17988 0 1 0 119015 71 0 0 23 0 10 0 547783829 853692416 25496 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25496 13073 16 0 208405 0 vsize: 833684 [startup+1300.28 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 119915 72 0 0 19 0 10 0 547783829 853692416 25513 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25513 13073 16 0 208405 0 vsize: 833684 [startup+1310.28 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26009 Raw data (stat): 25943 (java) R 25942 11931 11930 0 -1 0 17988 0 1 0 120821 72 0 0 21 0 10 0 547783829 853692416 25532 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208421 25532 13073 16 0 208405 0 vsize: 833684 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.37 s] Raw data (loadavg): 1.00 1.01 0.97 1/54 26010 Raw data (stat): 25943 (java) Z 25942 11931 11930 0 -1 1036 17988 7985 1 0 120825 77 10239 45 23 0 1 0 547783829 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.37 CPU time (s): 1311.87 CPU user time (s): 1310.64 CPU system time (s): 1.22181 CPU usage (%): 100.114 Max. virtual memory (Kb): 833716 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####