Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
MD5SUM | bafd5f2a91d0ace4ec9dc114753d5b3e |
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 | 66480 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 35987090508169210757120 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 35987192908169210757120 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.632903 |
Number of variables | 66480 |
Total number of constraints | 11523 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9721 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 66480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-21 20:48:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15115 boxname=wulflinc12 idbench=1163 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bafd5f2a91d0ace4ec9dc114753d5b3e /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb IDLAUNCH: 15115 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 500728 kB Buffers: 32936 kB Cached: 479004 kB SwapCached: 508 kB Active: 105240 kB Inactive: 408832 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 500476 kB SwapTotal: 2097136 kB SwapFree: 2095888 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5276 kB Slab: 14104 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:10:24 (client local time) WITH STATUS 143 IN 1321.4 SECONDS stats: 15115 7 1321.4 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb c reading problem c [nbvar=66480] c [nbconstr=11523] c time 1270.863 c #vars 66480 c #clauses 3496 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.83 0.94 0.90 1/54 5125 Raw data (stat): 5125 (runsolver) D 5124 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 489857033 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.85 0.94 0.90 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 877 37 0 0 25 0 10 0 489857033 853389312 19117 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208347 19117 13073 16 0 208331 0 vsize: 833388 [startup+20.0034 s] Raw data (loadavg): 0.87 0.94 0.90 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 1765 37 0 0 19 0 10 0 489857033 853626880 19670 4294967295 134512640 134569956 3221224400 3221214820 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 19670 13073 16 0 208389 0 vsize: 833620 [startup+30.0135 s] Raw data (loadavg): 0.89 0.94 0.90 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 2663 38 0 0 25 0 10 0 489857033 853626880 20108 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20108 13073 16 0 208389 0 vsize: 833620 [startup+40.0314 s] Raw data (loadavg): 0.91 0.94 0.90 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 3594 38 0 0 25 0 10 0 489857033 853626880 20338 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20338 13073 16 0 208389 0 vsize: 833620 [startup+50.0403 s] Raw data (loadavg): 1.00 0.96 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 4524 38 0 0 25 0 10 0 489857033 853626880 20460 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20460 13073 16 0 208389 0 vsize: 833620 [startup+60.0408 s] Raw data (loadavg): 1.00 0.96 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 5453 38 0 0 25 0 10 0 489857033 853659648 20569 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208413 20569 13073 16 0 208397 0 vsize: 833652 [startup+70.0412 s] Raw data (loadavg): 1.00 0.96 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 6395 39 0 0 24 0 10 0 489857033 853626880 20777 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20777 13073 16 0 208389 0 vsize: 833620 [startup+80.0426 s] Raw data (loadavg): 1.00 0.96 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 7344 39 0 0 25 0 10 0 489857033 853626880 20851 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20851 13073 16 0 208389 0 vsize: 833620 [startup+90.0444 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 8290 39 0 0 25 0 10 0 489857033 853626880 20924 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20924 13073 16 0 208389 0 vsize: 833620 [startup+100.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 9237 39 0 0 24 0 10 0 489857033 853626880 20991 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 20991 13073 16 0 208389 0 vsize: 833620 [startup+110.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 10184 40 0 0 24 0 10 0 489857033 853626880 21055 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21055 13073 16 0 208389 0 vsize: 833620 [startup+120.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 11134 40 0 0 25 0 10 0 489857033 853626880 21111 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21111 13073 16 0 208389 0 vsize: 833620 [startup+130.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 12081 40 0 0 25 0 10 0 489857033 853626880 21168 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21168 13073 16 0 208389 0 vsize: 833620 [startup+140.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 13028 40 0 0 25 0 10 0 489857033 853626880 21222 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21222 13073 16 0 208389 0 vsize: 833620 [startup+150.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 13974 40 0 0 24 0 10 0 489857033 853626880 21275 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21275 13073 16 0 208389 0 vsize: 833620 [startup+160.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 14924 40 0 0 21 0 10 0 489857033 853626880 21322 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21322 13073 16 0 208389 0 vsize: 833620 [startup+170.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 15853 41 0 0 25 0 10 0 489857033 853626880 21370 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21370 13073 16 0 208389 0 vsize: 833620 [startup+180.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 16780 41 0 0 25 0 10 0 489857033 853626880 21414 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21414 13073 16 0 208389 0 vsize: 833620 [startup+190.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 17717 41 0 0 25 0 10 0 489857033 853626880 21715 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21715 13073 16 0 208389 0 vsize: 833620 [startup+200.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 18659 41 0 0 25 0 10 0 489857033 853626880 21759 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21759 13073 16 0 208389 0 vsize: 833620 [startup+210.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 19605 41 0 0 25 0 10 0 489857033 853626880 21800 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21800 13073 16 0 208389 0 vsize: 833620 [startup+220.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 20546 42 0 0 25 0 10 0 489857033 853626880 21842 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21842 13073 16 0 208389 0 vsize: 833620 [startup+230.061 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 21487 42 0 0 24 0 10 0 489857033 853626880 21882 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 21882 13073 16 0 208389 0 vsize: 833620 [startup+240.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 22431 42 0 0 25 0 10 0 489857033 853626880 21919 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 21919 13073 16 0 208389 0 vsize: 833620 [startup+250.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 23372 42 0 0 25 0 10 0 489857033 853626880 21958 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 21958 13073 16 0 208389 0 vsize: 833620 [startup+260.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 24315 43 0 0 25 0 10 0 489857033 853626880 21994 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 21994 13073 16 0 208389 0 vsize: 833620 [startup+270.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 25254 43 0 0 25 0 10 0 489857033 853626880 22031 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22031 13073 16 0 208389 0 vsize: 833620 [startup+280.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 26193 44 0 0 25 0 10 0 489857033 853626880 22066 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22066 13073 16 0 208389 0 vsize: 833620 [startup+290.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 27134 44 0 0 25 0 10 0 489857033 853626880 22101 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22101 13073 16 0 208389 0 vsize: 833620 [startup+300.078 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 28071 45 0 0 24 0 10 0 489857033 853626880 22137 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22137 13073 16 0 208389 0 vsize: 833620 [startup+310.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 29011 45 0 0 25 0 10 0 489857033 853626880 22170 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22170 13073 16 0 208389 0 vsize: 833620 [startup+320.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 29950 45 0 0 25 0 10 0 489857033 853626880 22203 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22203 13073 16 0 208389 0 vsize: 833620 [startup+330.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 30887 46 0 0 25 0 10 0 489857033 853626880 22236 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22236 13073 16 0 208389 0 vsize: 833620 [startup+340.082 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 31826 46 0 0 25 0 10 0 489857033 853626880 22268 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 22268 13073 16 0 208389 0 vsize: 833620 [startup+350.082 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 32762 46 0 0 25 0 10 0 489857033 853626880 22302 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22302 13073 16 0 208389 0 vsize: 833620 [startup+360.083 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 33700 47 0 0 25 0 10 0 489857033 853626880 22332 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22332 13073 16 0 208389 0 vsize: 833620 [startup+370.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 34634 47 0 0 25 0 10 0 489857033 853626880 22364 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22364 13073 16 0 208389 0 vsize: 833620 [startup+380.086 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 35572 47 0 0 25 0 10 0 489857033 853626880 22394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22394 13073 16 0 208389 0 vsize: 833620 [startup+390.087 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 36509 48 0 0 25 0 10 0 489857033 853626880 22423 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22423 13073 16 0 208389 0 vsize: 833620 [startup+400.088 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 37440 49 0 0 25 0 10 0 489857033 853626880 22454 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22454 13073 16 0 208389 0 vsize: 833620 [startup+410.089 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 38375 49 0 0 19 0 10 0 489857033 853626880 22482 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22482 13073 16 0 208389 0 vsize: 833620 [startup+420.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 39311 49 0 0 25 0 10 0 489857033 853626880 22510 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22510 13073 16 0 208389 0 vsize: 833620 [startup+430.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 40242 49 0 0 25 0 10 0 489857033 853626880 22539 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22539 13073 16 0 208389 0 vsize: 833620 [startup+440.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 41177 49 0 0 25 0 10 0 489857033 853626880 22567 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22567 13073 16 0 208389 0 vsize: 833620 [startup+450.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 42112 50 0 0 25 0 10 0 489857033 853626880 22594 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22594 13073 16 0 208389 0 vsize: 833620 [startup+460.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 43042 50 0 0 25 0 10 0 489857033 853626880 22622 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22622 13073 16 0 208389 0 vsize: 833620 [startup+470.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 43975 51 0 0 25 0 10 0 489857033 853626880 22649 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22649 13073 16 0 208389 0 vsize: 833620 [startup+480.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 44908 51 0 0 25 0 10 0 489857033 853626880 22675 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22675 13073 16 0 208389 0 vsize: 833620 [startup+490.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 45837 51 0 0 24 0 10 0 489857033 853626880 22703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22703 13073 16 0 208389 0 vsize: 833620 [startup+500.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 46769 52 0 0 25 0 10 0 489857033 853626880 22728 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22728 13073 16 0 208389 0 vsize: 833620 [startup+510.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 47701 52 0 0 25 0 10 0 489857033 853626880 22754 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22754 13073 16 0 208389 0 vsize: 833620 [startup+520.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 48628 52 0 0 24 0 10 0 489857033 853626880 22780 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22780 13073 16 0 208389 0 vsize: 833620 [startup+530.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 49558 52 0 0 25 0 10 0 489857033 853626880 22805 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22805 13073 16 0 208389 0 vsize: 833620 [startup+540.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 50488 53 0 0 25 0 10 0 489857033 853626880 22831 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22831 13073 16 0 208389 0 vsize: 833620 [startup+550.107 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 51419 53 0 0 25 0 10 0 489857033 853626880 22855 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22855 13073 16 0 208389 0 vsize: 833620 [startup+560.108 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 52344 54 0 0 25 0 10 0 489857033 853626880 22881 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22881 13073 16 0 208389 0 vsize: 833620 [startup+570.109 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 53275 54 0 0 25 0 10 0 489857033 853626880 22905 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22905 13073 16 0 208389 0 vsize: 833620 [startup+580.109 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 54203 55 0 0 25 0 10 0 489857033 853626880 22928 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22928 13073 16 0 208389 0 vsize: 833620 [startup+590.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 55131 56 0 0 25 0 10 0 489857033 853626880 22952 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22952 13073 16 0 208389 0 vsize: 833620 [startup+600.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 56054 56 0 0 25 0 10 0 489857033 853626880 22977 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 22977 13073 16 0 208389 0 vsize: 833620 [startup+610.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 56982 57 0 0 25 0 10 0 489857033 853626880 23000 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 23000 13073 16 0 208389 0 vsize: 833620 [startup+620.113 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 57909 57 0 0 25 0 10 0 489857033 853626880 23023 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 23023 13073 16 0 208389 0 vsize: 833620 [startup+630.114 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 58837 58 0 0 25 0 10 0 489857033 853626880 23045 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 23045 13073 16 0 208389 0 vsize: 833620 [startup+640.113 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 59760 58 0 0 24 0 10 0 489857033 853626880 23069 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 23069 13073 16 0 208389 0 vsize: 833620 [startup+650.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 60686 59 0 0 25 0 10 0 489857033 853626880 23092 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 23092 13073 16 0 208389 0 vsize: 833620 [startup+660.118 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 61605 59 0 0 25 0 10 0 489857033 853626880 24112 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24112 13073 16 0 208389 0 vsize: 833620 [startup+670.119 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 62533 60 0 0 25 0 10 0 489857033 853626880 24112 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24112 13073 16 0 208389 0 vsize: 833620 [startup+680.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 63451 60 0 0 25 0 10 0 489857033 853626880 24119 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24119 13073 16 0 208389 0 vsize: 833620 [startup+690.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 5134 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 64367 61 0 0 25 0 10 0 489857033 853626880 24147 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24147 13073 16 0 208389 0 vsize: 833620 [startup+700.136 s] Raw data (loadavg): 1.07 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 65280 62 0 0 25 0 10 0 489857033 853626880 24174 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24174 13073 16 0 208389 0 vsize: 833620 [startup+710.136 s] Raw data (loadavg): 1.06 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 66194 62 0 0 25 0 10 0 489857033 853626880 24200 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24200 13073 16 0 208389 0 vsize: 833620 [startup+720.137 s] Raw data (loadavg): 1.05 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 67110 62 0 0 25 0 10 0 489857033 853626880 24226 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24226 13073 16 0 208389 0 vsize: 833620 [startup+730.145 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 68025 63 0 0 25 0 10 0 489857033 853626880 24250 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24250 13073 16 0 208389 0 vsize: 833620 [startup+740.145 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 68939 63 0 0 25 0 10 0 489857033 853626880 24271 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24271 13073 16 0 208389 0 vsize: 833620 [startup+750.146 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 69853 63 0 0 25 0 10 0 489857033 853626880 24302 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24302 13073 16 0 208389 0 vsize: 833620 [startup+760.146 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5187 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 70767 64 0 0 25 0 10 0 489857033 853626880 24327 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24327 13073 16 0 208389 0 vsize: 833620 [startup+770.147 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 71680 64 0 0 25 0 10 0 489857033 853626880 24351 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24351 13073 16 0 208389 0 vsize: 833620 [startup+780.147 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 72598 64 0 0 25 0 10 0 489857033 853626880 24370 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24370 13073 16 0 208389 0 vsize: 833620 [startup+790.147 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 73513 65 0 0 25 0 10 0 489857033 853626880 24400 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24400 13073 16 0 208389 0 vsize: 833620 [startup+800.148 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 74426 65 0 0 25 0 10 0 489857033 853626880 24423 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24423 13073 16 0 208389 0 vsize: 833620 [startup+810.148 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 75338 65 0 0 25 0 10 0 489857033 853626880 24448 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24448 13073 16 0 208389 0 vsize: 833620 [startup+820.149 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 76250 66 0 0 25 0 10 0 489857033 853626880 24468 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208405 24468 13073 16 0 208389 0 vsize: 833620 [startup+830.149 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 77161 66 0 0 25 0 10 0 489857033 853626880 24495 4294967295 134512640 134569956 3221224400 3221214832 1131165240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24495 13073 16 0 208389 0 vsize: 833620 [startup+840.149 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 78072 66 0 0 25 0 10 0 489857033 853626880 24517 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24517 13073 16 0 208389 0 vsize: 833620 [startup+850.15 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 78983 66 0 0 24 0 10 0 489857033 853626880 24541 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24541 13073 16 0 208389 0 vsize: 833620 [startup+860.151 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 79893 67 0 0 24 0 10 0 489857033 853626880 24561 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24561 13073 16 0 208389 0 vsize: 833620 [startup+870.153 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 80809 67 0 0 25 0 10 0 489857033 853626880 24587 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24587 13073 16 0 208389 0 vsize: 833620 [startup+880.154 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 81718 67 0 0 25 0 10 0 489857033 853626880 24610 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24610 13073 16 0 208389 0 vsize: 833620 [startup+890.153 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 82627 67 0 0 25 0 10 0 489857033 853626880 24629 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24629 13073 16 0 208389 0 vsize: 833620 [startup+900.154 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 83536 67 0 0 25 0 10 0 489857033 853626880 24657 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24657 13073 16 0 208389 0 vsize: 833620 [startup+910.155 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 84444 68 0 0 25 0 10 0 489857033 853626880 24681 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24681 13073 16 0 208389 0 vsize: 833620 [startup+920.156 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 85352 68 0 0 17 0 10 0 489857033 853626880 24704 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24704 13073 16 0 208389 0 vsize: 833620 [startup+930.157 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 86265 68 0 0 23 0 10 0 489857033 853626880 24721 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24721 13073 16 0 208389 0 vsize: 833620 [startup+940.158 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 87173 68 0 0 22 0 10 0 489857033 853626880 24740 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24740 13073 16 0 208389 0 vsize: 833620 [startup+950.158 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 88080 68 0 0 21 0 10 0 489857033 853626880 24769 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24769 13073 16 0 208389 0 vsize: 833620 [startup+960.158 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 88985 68 0 0 20 0 10 0 489857033 853626880 24791 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24791 13073 16 0 208389 0 vsize: 833620 [startup+970.263 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 89902 68 0 0 19 0 10 0 489857033 853626880 24814 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24814 13073 16 0 208389 0 vsize: 833620 [startup+980.264 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 90809 69 0 0 20 0 10 0 489857033 853626880 24833 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24833 13073 16 0 208389 0 vsize: 833620 [startup+990.264 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 91721 69 0 0 23 0 10 0 489857033 853626880 24855 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24855 13073 16 0 208389 0 vsize: 833620 [startup+1000.26 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 92626 69 0 0 21 0 10 0 489857033 853626880 24876 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24876 13073 16 0 208389 0 vsize: 833620 [startup+1010.26 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 93533 69 0 0 21 0 10 0 489857033 853626880 24894 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24894 13073 16 0 208389 0 vsize: 833620 [startup+1020.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5189 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 94439 70 0 0 19 0 10 0 489857033 853626880 24921 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24921 13073 16 0 208389 0 vsize: 833620 [startup+1030.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 95350 70 0 0 23 0 10 0 489857033 853626880 24940 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24940 13073 16 0 208389 0 vsize: 833620 [startup+1040.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 96254 70 0 0 21 0 10 0 489857033 853626880 24959 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24959 13073 16 0 208389 0 vsize: 833620 [startup+1050.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 97158 70 0 0 19 0 10 0 489857033 853626880 24986 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 24986 13073 16 0 208389 0 vsize: 833620 [startup+1060.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 98067 70 0 0 23 0 10 0 489857033 853626880 25006 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25006 13073 16 0 208389 0 vsize: 833620 [startup+1070.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 98968 71 0 0 22 0 10 0 489857033 853626880 25026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25026 13073 16 0 208389 0 vsize: 833620 [startup+1080.27 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 99871 71 0 0 20 0 10 0 489857033 853626880 25045 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25045 13073 16 0 208389 0 vsize: 833620 [startup+1090.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 100780 71 0 0 24 0 10 0 489857033 853626880 25067 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25067 13073 16 0 208389 0 vsize: 833620 [startup+1100.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 101683 71 0 0 21 0 10 0 489857033 853626880 25088 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25088 13073 16 0 208389 0 vsize: 833620 [startup+1110.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 102585 71 0 0 20 0 10 0 489857033 853626880 25110 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25110 13073 16 0 208389 0 vsize: 833620 [startup+1120.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 103494 71 0 0 23 0 10 0 489857033 853626880 25128 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25128 13073 16 0 208389 0 vsize: 833620 [startup+1130.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 104395 72 0 0 21 0 10 0 489857033 853626880 25149 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25149 13073 16 0 208389 0 vsize: 833620 [startup+1140.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 105298 72 0 0 19 0 10 0 489857033 853626880 25167 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25167 13073 16 0 208389 0 vsize: 833620 [startup+1150.28 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 106206 72 0 0 23 0 10 0 489857033 853626880 25189 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25189 13073 16 0 208389 0 vsize: 833620 [startup+1160.28 s] Raw data (loadavg): 1.08 1.00 0.92 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 107107 72 0 0 21 0 10 0 489857033 853626880 25207 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25207 13073 16 0 208389 0 vsize: 833620 [startup+1170.29 s] Raw data (loadavg): 1.14 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 108008 72 0 0 19 0 10 0 489857033 853626880 25228 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25228 13073 16 0 208389 0 vsize: 833620 [startup+1180.29 s] Raw data (loadavg): 1.12 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 108914 73 0 0 22 0 10 0 489857033 853626880 25243 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25243 13073 16 0 208389 0 vsize: 833620 [startup+1190.29 s] Raw data (loadavg): 1.10 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 109813 73 0 0 20 0 10 0 489857033 853626880 25269 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25269 13073 16 0 208389 0 vsize: 833620 [startup+1200.29 s] Raw data (loadavg): 1.08 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 110716 73 0 0 23 0 10 0 489857033 853626880 25289 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25289 13073 16 0 208389 0 vsize: 833620 [startup+1210.29 s] Raw data (loadavg): 1.07 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 111616 73 0 0 21 0 10 0 489857033 853626880 25307 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25307 13073 16 0 208389 0 vsize: 833620 [startup+1220.29 s] Raw data (loadavg): 1.06 1.01 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 112516 73 0 0 19 0 10 0 489857033 853626880 25326 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208405 25326 13073 16 0 208389 0 vsize: 833620 [startup+1230.29 s] Raw data (loadavg): 1.13 1.03 0.93 3/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17993 0 1 0 113331 73 0 0 25 0 10 0 489857033 870567936 29278 4294967295 134512640 134569956 3221224400 3221214360 1131302002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212541 29278 13073 16 0 212525 0 vsize: 850164 [startup+1240.29 s] Raw data (loadavg): 1.11 1.03 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17994 0 1 0 114327 74 0 0 25 0 10 0 489857033 865755136 28334 4294967295 134512640 134569956 3221224400 3221214360 1131302002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211366 28334 13073 16 0 211350 0 vsize: 845464 [startup+1250.29 s] Raw data (loadavg): 1.09 1.03 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17994 0 1 0 115324 74 0 0 25 0 10 0 489857033 865755136 28308 4294967295 134512640 134569956 3221224400 3221214248 1131301999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211366 28308 13073 16 0 211350 0 vsize: 845464 [startup+1260.29 s] Raw data (loadavg): 1.08 1.03 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17995 0 1 0 116270 76 0 0 25 0 10 0 489857033 865755136 30924 4294967295 134512640 134569956 3221224400 3221213880 1131412253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211366 30924 13073 16 0 211350 0 vsize: 845464 [startup+1270.29 s] Raw data (loadavg): 1.07 1.03 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17995 0 1 0 117204 80 0 0 25 0 10 0 489857033 865755136 34811 4294967295 134512640 134569956 3221224400 3221214808 1131151948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211366 34811 13073 16 0 211350 0 vsize: 845464 [startup+1280.29 s] Raw data (loadavg): 1.06 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 118036 81 0 0 25 0 10 0 489857033 865755136 39050 4294967295 134512640 134569956 3221224400 3221214744 1131348041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211366 39050 13073 16 0 211350 0 vsize: 845464 [startup+1290.29 s] Raw data (loadavg): 1.05 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 118919 81 0 0 24 0 10 0 489857033 865755136 39050 4294967295 134512640 134569956 3221224400 3221214744 1131348816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211366 39050 13073 16 0 211350 0 vsize: 845464 [startup+1300.29 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 119816 81 0 0 25 0 10 0 489857033 865755136 39051 4294967295 134512640 134569956 3221224400 3221214744 1131347837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211366 39051 13073 16 0 211350 0 vsize: 845464 [startup+1310.29 s] Raw data (loadavg): 1.03 1.02 0.93 2/63 5191 Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 120700 81 0 0 25 0 10 0 489857033 865755136 39051 4294967295 134512640 134569956 3221224400 3221214832 1131534163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211366 39051 13073 16 0 211350 0 vsize: 845464 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.41 s] Raw data (loadavg): 1.03 1.02 0.93 1/54 5192 Raw data (stat): 5125 (java) Z 5124 25285 25284 0 -1 1036 18016 26062 1 0 120704 81 11263 90 25 0 1 0 489857033 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): 1310.41 CPU time (s): 1321.4 CPU user time (s): 1319.68 CPU system time (s): 1.72074 CPU usage (%): 100.839 Max. virtual memory (Kb): 850164 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####