Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb |
MD5SUM | 96cffa4027013d4e1e663a2c8e2c78bc |
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 | 42360 |
Biggest coefficient in the objective function | 1930952704000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 425698145420625 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1930952704000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 425698145420625 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.365943 |
Number of variables | 42360 |
Total number of constraints | 352 |
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 | 352 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 1680 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-04-21 19:17:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16402 boxname=wulflinc24 idbench=1262 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 96cffa4027013d4e1e663a2c8e2c78bc /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ship04l.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ship04l.opb IDLAUNCH: 16402 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 731856 kB Buffers: 30948 kB Cached: 246988 kB SwapCached: 524 kB Active: 129524 kB Inactive: 150332 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 731604 kB SwapTotal: 2097892 kB SwapFree: 2096476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 17256 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 19:38:42 (client local time) WITH STATUS 143 IN 1261.42 SECONDS stats: 16402 7 1261.42 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ship04l.opb c reading problem c [nbvar=42360] c [nbconstr=352] c time 510.507 c #vars 42360 c #clauses 606 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.59 0.83 0.86 2/54 14941 Raw data (stat): 14941 (runsolver) R 14940 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547534348 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10 s] Raw data (loadavg): 0.65 0.84 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 872 42 0 0 25 0 10 0 547534348 853671936 19307 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208416 19307 13073 16 0 208400 0 vsize: 833664 [startup+20.0011 s] Raw data (loadavg): 0.71 0.84 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 1759 42 0 0 25 0 10 0 547534348 854556672 19900 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 19900 13073 16 0 208616 0 vsize: 834528 [startup+30.0014 s] Raw data (loadavg): 0.75 0.85 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 2661 42 0 0 25 0 10 0 547534348 854556672 20262 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 20262 13073 16 0 208616 0 vsize: 834528 [startup+40.0012 s] Raw data (loadavg): 0.79 0.85 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 3590 42 0 0 25 0 10 0 547534348 854556672 20496 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 20496 13073 16 0 208616 0 vsize: 834528 [startup+50.0022 s] Raw data (loadavg): 0.82 0.86 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 4522 42 0 0 25 0 10 0 547534348 854556672 20614 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 20614 13073 16 0 208616 0 vsize: 834528 [startup+60.0025 s] Raw data (loadavg): 0.85 0.86 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 5455 42 0 0 25 0 10 0 547534348 854556672 20712 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 20712 13073 16 0 208616 0 vsize: 834528 [startup+70.0034 s] Raw data (loadavg): 0.87 0.86 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 6397 42 0 0 25 0 10 0 547534348 854556672 20952 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 20952 13073 16 0 208616 0 vsize: 834528 [startup+80.0046 s] Raw data (loadavg): 0.89 0.87 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 7341 43 0 0 24 0 10 0 547534348 854556672 21036 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21036 13073 16 0 208616 0 vsize: 834528 [startup+90.0048 s] Raw data (loadavg): 0.91 0.87 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 8290 43 0 0 25 0 10 0 547534348 854556672 21107 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21107 13073 16 0 208616 0 vsize: 834528 [startup+100.004 s] Raw data (loadavg): 0.92 0.88 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 9239 43 0 0 25 0 10 0 547534348 854556672 21174 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21174 13073 16 0 208616 0 vsize: 834528 [startup+110.006 s] Raw data (loadavg): 0.93 0.88 0.87 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 10188 43 0 0 25 0 10 0 547534348 854556672 21236 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21236 13073 16 0 208616 0 vsize: 834528 [startup+120.006 s] Raw data (loadavg): 0.94 0.88 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 11134 43 0 0 25 0 10 0 547534348 854556672 21299 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21299 13073 16 0 208616 0 vsize: 834528 [startup+130.006 s] Raw data (loadavg): 0.95 0.89 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 12084 43 0 0 25 0 10 0 547534348 854556672 21355 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21355 13073 16 0 208616 0 vsize: 834528 [startup+140.007 s] Raw data (loadavg): 0.96 0.89 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 13033 43 0 0 25 0 10 0 547534348 854556672 21409 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21409 13073 16 0 208616 0 vsize: 834528 [startup+150.007 s] Raw data (loadavg): 0.96 0.89 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 13982 43 0 0 25 0 10 0 547534348 854556672 21461 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21461 13073 16 0 208616 0 vsize: 834528 [startup+160.008 s] Raw data (loadavg): 0.97 0.90 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 14928 43 0 0 25 0 10 0 547534348 854556672 21514 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21514 13073 16 0 208616 0 vsize: 834528 [startup+170.008 s] Raw data (loadavg): 0.97 0.90 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 15872 43 0 0 25 0 10 0 547534348 854556672 21561 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21561 13073 16 0 208616 0 vsize: 834528 [startup+180.008 s] Raw data (loadavg): 0.98 0.90 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 16797 44 0 0 25 0 10 0 547534348 854556672 21607 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21607 13073 16 0 208616 0 vsize: 834528 [startup+190.009 s] Raw data (loadavg): 0.98 0.90 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 17727 44 0 0 25 0 10 0 547534348 854556672 21908 4294967295 134512640 134569956 3221224400 3221214224 1076461259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21908 13073 16 0 208616 0 vsize: 834528 [startup+200.009 s] Raw data (loadavg): 0.98 0.91 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 18672 44 0 0 25 0 10 0 547534348 854556672 21951 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21951 13073 16 0 208616 0 vsize: 834528 [startup+210.009 s] Raw data (loadavg): 0.98 0.91 0.88 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 19618 44 0 0 25 0 10 0 547534348 854556672 21994 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 21994 13073 16 0 208616 0 vsize: 834528 [startup+220.01 s] Raw data (loadavg): 0.99 0.91 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 20559 44 0 0 24 0 10 0 547534348 854556672 22038 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22038 13073 16 0 208616 0 vsize: 834528 [startup+230.011 s] Raw data (loadavg): 0.99 0.91 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 21503 44 0 0 25 0 10 0 547534348 854556672 22078 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22078 13073 16 0 208616 0 vsize: 834528 [startup+240.012 s] Raw data (loadavg): 0.99 0.92 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 22447 44 0 0 25 0 10 0 547534348 854556672 22117 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22117 13073 16 0 208616 0 vsize: 834528 [startup+250.012 s] Raw data (loadavg): 0.99 0.92 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 23390 44 0 0 25 0 10 0 547534348 854556672 22155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22155 13073 16 0 208616 0 vsize: 834528 [startup+260.013 s] Raw data (loadavg): 0.99 0.92 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 24333 44 0 0 25 0 10 0 547534348 854556672 22192 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22192 13073 16 0 208616 0 vsize: 834528 [startup+270.014 s] Raw data (loadavg): 0.99 0.92 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 25275 44 0 0 25 0 10 0 547534348 854556672 22229 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22229 13073 16 0 208616 0 vsize: 834528 [startup+280.017 s] Raw data (loadavg): 0.99 0.92 0.89 2/63 14950 Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 26215 44 0 0 25 0 10 0 547534348 854556672 22265 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22265 13073 16 0 208616 0 vsize: 834528 [startup+290.019 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 27155 45 0 0 24 0 10 0 547534348 854556672 22302 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22302 13073 16 0 208616 0 vsize: 834528 [startup+300.019 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 28096 45 0 0 25 0 10 0 547534348 854556672 22337 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22337 13073 16 0 208616 0 vsize: 834528 [startup+310.019 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 29036 45 0 0 25 0 10 0 547534348 854556672 22370 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22370 13073 16 0 208616 0 vsize: 834528 [startup+320.019 s] Raw data (loadavg): 0.99 0.93 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 29976 45 0 0 25 0 10 0 547534348 854556672 22404 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22404 13073 16 0 208616 0 vsize: 834528 [startup+330.021 s] Raw data (loadavg): 0.99 0.93 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 30915 45 0 0 25 0 10 0 547534348 854556672 22436 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22436 13073 16 0 208616 0 vsize: 834528 [startup+340.021 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 31854 46 0 0 25 0 10 0 547534348 854556672 22469 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22469 13073 16 0 208616 0 vsize: 834528 [startup+350.021 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 32793 46 0 0 25 0 10 0 547534348 854556672 22501 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22501 13073 16 0 208616 0 vsize: 834528 [startup+360.023 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 33731 46 0 0 25 0 10 0 547534348 854556672 22533 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22533 13073 16 0 208616 0 vsize: 834528 [startup+370.023 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 34668 46 0 0 25 0 10 0 547534348 854556672 22563 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22563 13073 16 0 208616 0 vsize: 834528 [startup+380.024 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 35606 47 0 0 25 0 10 0 547534348 854556672 22594 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22594 13073 16 0 208616 0 vsize: 834528 [startup+390.025 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 36542 47 0 0 25 0 10 0 547534348 854556672 22624 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22624 13073 16 0 208616 0 vsize: 834528 [startup+400.024 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 37478 47 0 0 25 0 10 0 547534348 854556672 22653 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22653 13073 16 0 208616 0 vsize: 834528 [startup+410.025 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 38415 47 0 0 25 0 10 0 547534348 854556672 22682 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22682 13073 16 0 208616 0 vsize: 834528 [startup+420.026 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 39351 47 0 0 25 0 10 0 547534348 854556672 22711 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22711 13073 16 0 208616 0 vsize: 834528 [startup+430.03 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 40283 48 0 0 25 0 10 0 547534348 854556672 22740 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22740 13073 16 0 208616 0 vsize: 834528 [startup+440.031 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 41217 48 0 0 24 0 10 0 547534348 854556672 22769 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22769 13073 16 0 208616 0 vsize: 834528 [startup+450.031 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 42151 48 0 0 24 0 10 0 547534348 854556672 22797 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22797 13073 16 0 208616 0 vsize: 834528 [startup+460.031 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 43084 48 0 0 16 0 10 0 547534348 854556672 22825 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22825 13073 16 0 208616 0 vsize: 834528 [startup+470.032 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 44018 48 0 0 24 0 10 0 547534348 854556672 22852 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208632 22852 13073 16 0 208616 0 vsize: 834528 [startup+480.033 s] Raw data (loadavg): 1.07 0.97 0.91 2/63 14950 Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 44951 48 0 0 25 0 10 0 547534348 854556672 22877 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208632 22877 13073 16 0 208616 0 vsize: 834528 [startup+490.034 s] Raw data (loadavg): 1.06 0.97 0.91 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 45886 49 0 0 25 0 10 0 547534348 854556672 22903 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208632 22903 13073 16 0 208616 0 vsize: 834528 [startup+500.034 s] Raw data (loadavg): 1.05 0.97 0.91 3/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17994 0 1 0 46809 49 0 0 25 0 10 0 547534348 858828800 23751 4294967295 134512640 134569956 3221224400 3221214312 1130894939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209675 23751 13073 16 0 209659 0 vsize: 838700 [startup+510.034 s] Raw data (loadavg): 1.27 1.02 0.93 3/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18007 0 1 0 47602 51 0 0 25 0 10 0 547534348 873549824 29776 4294967295 134512640 134569956 3221224400 3221214216 1130918311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213269 29776 13073 16 0 213253 0 vsize: 853076 [startup+520.035 s] Raw data (loadavg): 1.30 1.04 0.94 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 48474 52 0 0 25 0 10 0 547534348 876011520 35059 4294967295 134512640 134569956 3221224400 3221214752 1131320229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213870 35059 13073 16 0 213854 0 vsize: 855480 [startup+530.036 s] Raw data (loadavg): 1.26 1.03 0.94 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 49471 52 0 0 25 0 10 0 547534348 876011520 35061 4294967295 134512640 134569956 3221224400 3221214840 1131398072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213870 35061 13073 16 0 213854 0 vsize: 855480 [startup+540.037 s] Raw data (loadavg): 1.22 1.03 0.94 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 50466 53 0 0 25 0 10 0 547534348 869867520 33585 4294967295 134512640 134569956 3221224400 3221214752 1131320896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212370 33585 13073 16 0 212354 0 vsize: 849480 [startup+550.037 s] Raw data (loadavg): 1.18 1.03 0.94 2/63 14950 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 51462 53 0 0 25 0 10 0 547534348 869867520 33586 4294967295 134512640 134569956 3221224400 3221214824 1131400078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212370 33586 13073 16 0 212354 0 vsize: 849480 [startup+560.036 s] Raw data (loadavg): 1.23 1.04 0.94 4/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18103 0 1 0 52445 53 0 0 25 0 11 0 547534348 870395904 33678 4294967295 134512640 134569956 3221224400 3221214656 1130893503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212499 33678 13073 16 0 212483 0 vsize: 849996 [startup+570.036 s] Raw data (loadavg): 1.27 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18105 0 1 0 53327 53 0 0 25 0 11 0 547534348 880816128 36132 4294967295 134512640 134569956 3221224400 3221214608 1131697840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215043 36132 13073 16 0 215027 0 vsize: 860172 [startup+580.037 s] Raw data (loadavg): 1.23 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 54322 54 0 0 25 0 11 0 547534348 870264832 33736 4294967295 134512640 134569956 3221224400 3221214608 1131726721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33736 13073 16 0 212451 0 vsize: 849868 [startup+590.037 s] Raw data (loadavg): 1.27 1.07 0.95 3/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 55292 54 0 0 25 0 11 0 547534348 870264832 33740 4294967295 134512640 134569956 3221224400 3221214744 1131705582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33740 13073 16 0 212451 0 vsize: 849868 [startup+600.037 s] Raw data (loadavg): 1.23 1.07 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 56287 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214592 1131697840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33755 13073 16 0 212451 0 vsize: 849868 [startup+610.038 s] Raw data (loadavg): 1.20 1.07 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 57276 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214792 1131398800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33755 13073 16 0 212451 0 vsize: 849868 [startup+620.038 s] Raw data (loadavg): 1.16 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 58273 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214632 1131614428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33755 13073 16 0 212451 0 vsize: 849868 [startup+630.039 s] Raw data (loadavg): 1.14 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 59267 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214584 1131291794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+640.039 s] Raw data (loadavg): 1.12 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 60262 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214832 1131593330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+650.039 s] Raw data (loadavg): 1.10 1.06 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 61255 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214728 1131704647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+660.04 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 62247 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214680 1131910498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+670.04 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 63244 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+680.041 s] Raw data (loadavg): 1.06 1.05 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 64240 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+690.048 s] Raw data (loadavg): 1.05 1.05 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 65241 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+700.047 s] Raw data (loadavg): 1.04 1.05 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 66238 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214840 1131593296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+710.048 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 67235 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+720.048 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 68231 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+730.048 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 69228 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+740.049 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 70224 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214736 1131704611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33756 13073 16 0 212451 0 vsize: 849868 [startup+750.049 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 71220 56 0 0 25 0 11 0 547534348 870264832 33757 4294967295 134512640 134569956 3221224400 3221214688 1131910498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33757 13073 16 0 212451 0 vsize: 849868 [startup+760.049 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 72216 56 0 0 25 0 11 0 547534348 870264832 33758 4294967295 134512640 134569956 3221224400 3221214688 1131910619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33758 13073 16 0 212451 0 vsize: 849868 [startup+770.05 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 73209 56 0 0 25 0 11 0 547534348 870264832 33762 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33762 13073 16 0 212451 0 vsize: 849868 [startup+780.05 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 74205 56 0 0 25 0 11 0 547534348 870264832 33795 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33795 13073 16 0 212451 0 vsize: 849868 [startup+790.05 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 75201 56 0 0 25 0 11 0 547534348 870264832 33798 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33798 13073 16 0 212451 0 vsize: 849868 [startup+800.05 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 76197 56 0 0 25 0 11 0 547534348 870264832 33798 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33798 13073 16 0 212451 0 vsize: 849868 [startup+810.05 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 77189 56 0 0 25 0 11 0 547534348 870264832 33799 4294967295 134512640 134569956 3221224400 3221214840 1131593568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33799 13073 16 0 212451 0 vsize: 849868 [startup+820.05 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 78185 56 0 0 25 0 11 0 547534348 870264832 33838 4294967295 134512640 134569956 3221224400 3221214840 1131593312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33838 13073 16 0 212451 0 vsize: 849868 [startup+830.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 79177 57 0 0 25 0 11 0 547534348 870264832 33846 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33846 13073 16 0 212451 0 vsize: 849868 [startup+840.051 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 80173 57 0 0 25 0 11 0 547534348 870264832 33853 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33853 13073 16 0 212451 0 vsize: 849868 [startup+850.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 81165 57 0 0 25 0 11 0 547534348 870264832 33864 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33864 13073 16 0 212451 0 vsize: 849868 [startup+860.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 82161 57 0 0 25 0 11 0 547534348 870264832 33866 4294967295 134512640 134569956 3221224400 3221214584 1131291411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33866 13073 16 0 212451 0 vsize: 849868 [startup+870.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 83153 57 0 0 25 0 11 0 547534348 870264832 33874 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33874 13073 16 0 212451 0 vsize: 849868 [startup+880.051 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 84149 57 0 0 25 0 11 0 547534348 870264832 33878 4294967295 134512640 134569956 3221224400 3221214688 1131910487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33878 13073 16 0 212451 0 vsize: 849868 [startup+890.051 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 85141 57 0 0 25 0 11 0 547534348 870264832 33884 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 33884 13073 16 0 212451 0 vsize: 849868 [startup+900.052 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 86136 57 0 0 25 0 11 0 547534348 870264832 33888 4294967295 134512640 134569956 3221224400 3221214160 1131989372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33888 13073 16 0 212451 0 vsize: 849868 [startup+910.052 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 87132 57 0 0 25 0 11 0 547534348 870264832 33892 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33892 13073 16 0 212451 0 vsize: 849868 [startup+920.051 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 88123 57 0 0 25 0 11 0 547534348 870264832 33898 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33898 13073 16 0 212451 0 vsize: 849868 [startup+930.052 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 89119 57 0 0 25 0 11 0 547534348 870264832 33903 4294967295 134512640 134569956 3221224400 3221214688 1131910472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33903 13073 16 0 212451 0 vsize: 849868 [startup+940.052 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 90109 58 0 0 25 0 11 0 547534348 870264832 33936 4294967295 134512640 134569956 3221224400 3221214840 1131593312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33936 13073 16 0 212451 0 vsize: 849868 [startup+950.052 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 91100 58 0 0 25 0 11 0 547534348 870264832 33975 4294967295 134512640 134569956 3221224400 3221214688 1131910498 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33975 13073 16 0 212451 0 vsize: 849868 [startup+960.053 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 92090 58 0 0 25 0 11 0 547534348 870264832 33998 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 33998 13073 16 0 212451 0 vsize: 849868 [startup+970.053 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 93081 58 0 0 25 0 11 0 547534348 870264832 34019 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34019 13073 16 0 212451 0 vsize: 849868 [startup+980.054 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 94068 58 0 0 25 0 11 0 547534348 870264832 34054 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34054 13073 16 0 212451 0 vsize: 849868 [startup+990.055 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 95060 59 0 0 25 0 11 0 547534348 870264832 34082 4294967295 134512640 134569956 3221224400 3221214688 1131910487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34082 13073 16 0 212451 0 vsize: 849868 [startup+1000.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 96051 59 0 0 25 0 11 0 547534348 870264832 34106 4294967295 134512640 134569956 3221224400 3221214688 1131910484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34106 13073 16 0 212451 0 vsize: 849868 [startup+1010.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 97042 59 0 0 25 0 11 0 547534348 870264832 34119 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34119 13073 16 0 212451 0 vsize: 849868 [startup+1020.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 98034 59 0 0 25 0 11 0 547534348 870264832 34142 4294967295 134512640 134569956 3221224400 3221214816 1131740226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34142 13073 16 0 212451 0 vsize: 849868 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 99025 59 0 0 25 0 11 0 547534348 870264832 34159 4294967295 134512640 134569956 3221224400 3221214696 1131320018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34159 13073 16 0 212451 0 vsize: 849868 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 100016 59 0 0 25 0 11 0 547534348 870264832 34175 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34175 13073 16 0 212451 0 vsize: 849868 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 101007 59 0 0 25 0 11 0 547534348 870264832 34195 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34195 13073 16 0 212451 0 vsize: 849868 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 101998 59 0 0 25 0 11 0 547534348 870264832 34250 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34250 13073 16 0 212451 0 vsize: 849868 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 102990 59 0 0 25 0 11 0 547534348 870264832 34273 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34273 13073 16 0 212451 0 vsize: 849868 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 103981 59 0 0 25 0 11 0 547534348 870264832 34290 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34290 13073 16 0 212451 0 vsize: 849868 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 18106 0 1 0 104975 59 0 0 25 0 11 0 547534348 870264832 34391 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34391 13073 16 0 212451 0 vsize: 849868 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 105963 59 0 0 25 0 11 0 547534348 870264832 34435 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34435 13073 16 0 212451 0 vsize: 849868 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 106959 60 0 0 25 0 11 0 547534348 870264832 34477 4294967295 134512640 134569956 3221224400 3221214840 1131593519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34477 13073 16 0 212451 0 vsize: 849868 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 107944 60 0 0 25 0 11 0 547534348 870264832 34514 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34514 13073 16 0 212451 0 vsize: 849868 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 108940 60 0 0 25 0 11 0 547534348 870264832 34523 4294967295 134512640 134569956 3221224400 3221214688 1131910619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34523 13073 16 0 212451 0 vsize: 849868 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 109930 60 0 0 25 0 11 0 547534348 870264832 34549 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34549 13073 16 0 212451 0 vsize: 849868 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 110916 60 0 0 25 0 11 0 547534348 870264832 34603 4294967295 134512640 134569956 3221224400 3221214732 1131353696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34603 13073 16 0 212451 0 vsize: 849868 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 111911 60 0 0 25 0 11 0 547534348 870264832 34618 4294967295 134512640 134569956 3221224400 3221214688 1131910484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34618 13073 16 0 212451 0 vsize: 849868 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 112898 61 0 0 25 0 11 0 547534348 870264832 34672 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34672 13073 16 0 212451 0 vsize: 849868 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 113888 61 0 0 25 0 11 0 547534348 870264832 34682 4294967295 134512640 134569956 3221224400 3221214840 1131593568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34682 13073 16 0 212451 0 vsize: 849868 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 114872 61 0 0 25 0 11 0 547534348 870264832 34721 4294967295 134512640 134569956 3221224400 3221214784 1131398792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 34721 13073 16 0 212451 0 vsize: 849868 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 115856 61 0 0 25 0 11 0 547534348 870264832 34858 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34858 13073 16 0 212451 0 vsize: 849868 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 116840 62 0 0 25 0 11 0 547534348 870264832 34883 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 34883 13073 16 0 212451 0 vsize: 849868 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 117829 62 0 0 25 0 11 0 547534348 870264832 35006 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 35006 13073 16 0 212451 0 vsize: 849868 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 118814 62 0 0 25 0 11 0 547534348 870264832 35020 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 35020 13073 16 0 212451 0 vsize: 849868 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 119798 62 0 0 25 0 11 0 547534348 870264832 35112 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212467 35112 13073 16 0 212451 0 vsize: 849868 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 14951 Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 120788 62 0 0 25 0 11 0 547534348 870264832 35227 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212467 35227 13073 16 0 212451 0 vsize: 849868 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.17 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 14953 Raw data (stat): 14941 (java) Z 14940 28546 28545 0 -1 1036 18106 22678 1 0 120792 62 5218 68 25 0 1 0 547534348 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): 1250.17 CPU time (s): 1261.42 CPU user time (s): 1260.11 CPU system time (s): 1.3118 CPU usage (%): 100.9 Max. virtual memory (Kb): 860172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####