Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb |
MD5SUM | 69367ad5ee917e4a74e95e8f089c09d8 |
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 | 160 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 8388600 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 5242880000000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 39992649862466400 |
Number of bits of the biggest sum of numbers | 56 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.85087 |
Number of variables | 6160 |
Total number of constraints | 153 |
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 | 153 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 2660 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-25 12:01:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21240 boxname=wulflinc5 idbench=1228 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 69367ad5ee917e4a74e95e8f089c09d8 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb IDLAUNCH: 21240 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 732612 kB Buffers: 30124 kB Cached: 250856 kB SwapCached: 472 kB Active: 67108 kB Inactive: 215988 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 732360 kB SwapTotal: 2097136 kB SwapFree: 2095792 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5228 kB Slab: 13332 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:22:03 (client local time) WITH STATUS 143 IN 1237.46 SECONDS stats: 21240 7 1237.46 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb c reading problem ... done. Time 15.19 ms. c #vars 6160 c #constraints 240 c starts : 3 c conflicts : 457 c decisions : 16078 c propagations : 51433 c inspects : 2323507 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 457 c root simplifications : 457 s UNKNOWN c Total CPU time (ms) : 1219.117 #### 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.97 1.00 1.00 2/54 22939 Raw data (stat): 22939 (runsolver) R 22938 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780498524 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 1.13 1.03 1.01 2/63 22948 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18030 0 1 0 777 41 0 0 20 0 10 0 780498524 857817088 20343 4294967295 134512640 134569956 3221224368 3221214604 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209428 20343 13086 16 0 209412 0 vsize: 837712 [startup+20.001 s] Raw data (loadavg): 1.19 1.05 1.01 4/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18087 0 1 0 1683 42 0 0 25 0 11 0 780498524 862322688 22601 4294967295 134512640 134569956 3221224368 3221213464 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210528 22602 13086 16 0 210512 0 vsize: 842112 [startup+30.0016 s] Raw data (loadavg): 1.23 1.06 1.02 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18098 0 1 0 2593 42 0 0 25 0 11 0 780498524 862617600 22900 4294967295 134512640 134569956 3221224368 3221214720 1131286759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210600 22900 13086 16 0 210584 0 vsize: 842400 [startup+40.0014 s] Raw data (loadavg): 1.20 1.06 1.02 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18099 0 1 0 3532 42 0 0 25 0 11 0 780498524 861106176 22690 4294967295 134512640 134569956 3221224368 3221214576 1131299092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210231 22690 13086 16 0 210215 0 vsize: 840924 [startup+50.0021 s] Raw data (loadavg): 1.17 1.06 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18100 0 1 0 4446 43 0 0 25 0 11 0 780498524 861106176 22803 4294967295 134512640 134569956 3221224368 3221214664 1131482612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210231 22803 13086 16 0 210215 0 vsize: 840924 [startup+60.0021 s] Raw data (loadavg): 1.14 1.05 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18100 0 1 0 5387 43 0 0 25 0 11 0 780498524 858443776 22810 4294967295 134512640 134569956 3221224368 3221214656 1131242930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 22810 13086 16 0 209565 0 vsize: 838324 [startup+70.0026 s] Raw data (loadavg): 1.12 1.05 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18100 0 1 0 6367 44 0 0 25 0 11 0 780498524 858443776 22869 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209581 22869 13086 16 0 209565 0 vsize: 838324 [startup+80.0034 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18100 0 1 0 7353 44 0 0 25 0 11 0 780498524 858443776 22916 4294967295 134512640 134569956 3221224368 3221214576 1131299163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209581 22916 13086 16 0 209565 0 vsize: 838324 [startup+90.003 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18100 0 1 0 8347 45 0 0 25 0 11 0 780498524 858443776 22919 4294967295 134512640 134569956 3221224368 3221214656 1131242930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 22919 13086 16 0 209565 0 vsize: 838324 [startup+100.003 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18102 0 1 0 9320 45 0 0 25 0 11 0 780498524 858443776 22940 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209581 22940 13086 16 0 209565 0 vsize: 838324 [startup+110.004 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18102 0 1 0 10310 46 0 0 25 0 11 0 780498524 858443776 22949 4294967295 134512640 134569956 3221224368 3221214576 1131299767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 22949 13086 16 0 209565 0 vsize: 838324 [startup+120.005 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18102 0 1 0 11294 46 0 0 24 0 11 0 780498524 858443776 22953 4294967295 134512640 134569956 3221224368 3221214664 1131483765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 22953 13086 16 0 209565 0 vsize: 838324 [startup+130.005 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18102 0 1 0 12282 46 0 0 25 0 11 0 780498524 858443776 22979 4294967295 134512640 134569956 3221224368 3221214664 1131475125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209581 22979 13086 16 0 209565 0 vsize: 838324 [startup+140.005 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 13270 46 0 0 25 0 11 0 780498524 858443776 23014 4294967295 134512640 134569956 3221224368 3221214664 1131476920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 23014 13086 16 0 209565 0 vsize: 838324 [startup+150.006 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 14259 46 0 0 25 0 11 0 780498524 858443776 23044 4294967295 134512640 134569956 3221224368 3221214576 1131299263 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 23044 13086 16 0 209565 0 vsize: 838324 [startup+160.005 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 15248 46 0 0 25 0 11 0 780498524 858443776 23086 4294967295 134512640 134569956 3221224368 3221214576 1131299283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 23086 13086 16 0 209565 0 vsize: 838324 [startup+170.006 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 16239 46 0 0 25 0 11 0 780498524 858443776 23109 4294967295 134512640 134569956 3221224368 3221214664 1131482233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209581 23109 13086 16 0 209565 0 vsize: 838324 [startup+180.006 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 17228 46 0 0 25 0 11 0 780498524 863686656 24318 4294967295 134512640 134569956 3221224368 3221214656 1131242911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210861 24318 13086 16 0 210845 0 vsize: 843444 [startup+190.007 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 18217 47 0 0 25 0 11 0 780498524 862638080 24129 4294967295 134512640 134569956 3221224368 3221214660 1131163168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24129 13086 16 0 210589 0 vsize: 842420 [startup+200.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 19205 47 0 0 25 0 11 0 780498524 862638080 24154 4294967295 134512640 134569956 3221224368 3221214576 1131202680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24154 13086 16 0 210589 0 vsize: 842420 [startup+210.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 20195 48 0 0 25 0 11 0 780498524 862638080 24189 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24189 13086 16 0 210589 0 vsize: 842420 [startup+220.007 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 21182 48 0 0 25 0 11 0 780498524 862638080 24222 4294967295 134512640 134569956 3221224368 3221214576 1131299159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24222 13086 16 0 210589 0 vsize: 842420 [startup+230.007 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 22173 48 0 0 25 0 11 0 780498524 862638080 24235 4294967295 134512640 134569956 3221224368 3221214576 1131299343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24235 13086 16 0 210589 0 vsize: 842420 [startup+240.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 23164 49 0 0 25 0 11 0 780498524 862638080 24250 4294967295 134512640 134569956 3221224368 3221214576 1131299107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210605 24250 13086 16 0 210589 0 vsize: 842420 [startup+250.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22949 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 24156 49 0 0 25 0 11 0 780498524 862638080 24263 4294967295 134512640 134569956 3221224368 3221214664 1131476070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24263 13086 16 0 210589 0 vsize: 842420 [startup+260.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 25147 50 0 0 25 0 11 0 780498524 862638080 24276 4294967295 134512640 134569956 3221224368 3221214664 1131476417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24276 13086 16 0 210589 0 vsize: 842420 [startup+270.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 26139 50 0 0 25 0 11 0 780498524 862638080 24294 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24294 13086 16 0 210589 0 vsize: 842420 [startup+280.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 27131 51 0 0 25 0 11 0 780498524 862638080 24304 4294967295 134512640 134569956 3221224368 3221214656 1131242894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24304 13086 16 0 210589 0 vsize: 842420 [startup+290.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 28123 51 0 0 25 0 11 0 780498524 862638080 24317 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24317 13086 16 0 210589 0 vsize: 842420 [startup+300.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 29115 51 0 0 25 0 11 0 780498524 862638080 24328 4294967295 134512640 134569956 3221224368 3221214576 1131299067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24328 13086 16 0 210589 0 vsize: 842420 [startup+310.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 30108 51 0 0 25 0 11 0 780498524 862638080 24339 4294967295 134512640 134569956 3221224368 3221214664 1131482542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24339 13086 16 0 210589 0 vsize: 842420 [startup+320.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 31100 52 0 0 25 0 11 0 780498524 862638080 24350 4294967295 134512640 134569956 3221224368 3221214552 1131163191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210605 24350 13086 16 0 210589 0 vsize: 842420 [startup+330.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 32092 53 0 0 25 0 11 0 780498524 862638080 24363 4294967295 134512640 134569956 3221224368 3221214576 1131299067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24363 13086 16 0 210589 0 vsize: 842420 [startup+340.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 33084 53 0 0 25 0 11 0 780498524 862638080 24371 4294967295 134512640 134569956 3221224368 3221214664 1131478007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24371 13086 16 0 210589 0 vsize: 842420 [startup+350.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 34075 53 0 0 25 0 11 0 780498524 862638080 24382 4294967295 134512640 134569956 3221224368 3221214576 1131299159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24382 13086 16 0 210589 0 vsize: 842420 [startup+360.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 35063 54 0 0 25 0 11 0 780498524 862638080 24394 4294967295 134512640 134569956 3221224368 3221214664 1131482262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24394 13086 16 0 210589 0 vsize: 842420 [startup+370.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 36051 54 0 0 25 0 11 0 780498524 862638080 24411 4294967295 134512640 134569956 3221224368 3221214664 1131476408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24411 13086 16 0 210589 0 vsize: 842420 [startup+380.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 37040 55 0 0 25 0 11 0 780498524 862638080 24441 4294967295 134512640 134569956 3221224368 3221214576 1131299058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24441 13086 16 0 210589 0 vsize: 842420 [startup+390.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 38031 55 0 0 25 0 11 0 780498524 862638080 24476 4294967295 134512640 134569956 3221224368 3221214664 1131477988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24476 13086 16 0 210589 0 vsize: 842420 [startup+400.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 39023 55 0 0 25 0 11 0 780498524 862638080 24491 4294967295 134512640 134569956 3221224368 3221214512 1131536208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24491 13086 16 0 210589 0 vsize: 842420 [startup+410.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 40015 55 0 0 25 0 11 0 780498524 862638080 24499 4294967295 134512640 134569956 3221224368 3221214576 1131298957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24499 13086 16 0 210589 0 vsize: 842420 [startup+420.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 41007 56 0 0 25 0 11 0 780498524 862638080 24508 4294967295 134512640 134569956 3221224368 3221214576 1131298968 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24508 13086 16 0 210589 0 vsize: 842420 [startup+430.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 41999 56 0 0 25 0 11 0 780498524 862638080 24516 4294967295 134512640 134569956 3221224368 3221214576 1131299187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24516 13086 16 0 210589 0 vsize: 842420 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 42991 57 0 0 25 0 11 0 780498524 862638080 24525 4294967295 134512640 134569956 3221224368 3221214664 1131482612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24525 13086 16 0 210589 0 vsize: 842420 [startup+450.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 43983 57 0 0 25 0 11 0 780498524 862638080 24534 4294967295 134512640 134569956 3221224368 3221214712 1131469616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24534 13086 16 0 210589 0 vsize: 842420 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 44974 58 0 0 25 0 11 0 780498524 862638080 24544 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24544 13086 16 0 210589 0 vsize: 842420 [startup+470.016 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 45966 58 0 0 25 0 11 0 780498524 862638080 24556 4294967295 134512640 134569956 3221224368 3221214664 1131476845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210605 24556 13086 16 0 210589 0 vsize: 842420 [startup+480.016 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 46958 59 0 0 25 0 11 0 780498524 861589504 24190 4294967295 134512640 134569956 3221224368 3221214576 1131299094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24190 13086 16 0 210333 0 vsize: 841396 [startup+490.016 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 47951 59 0 0 25 0 11 0 780498524 861589504 24198 4294967295 134512640 134569956 3221224368 3221214576 1131202721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24198 13086 16 0 210333 0 vsize: 841396 [startup+500.016 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 48943 59 0 0 25 0 11 0 780498524 861589504 24207 4294967295 134512640 134569956 3221224368 3221214664 1131476904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24207 13086 16 0 210333 0 vsize: 841396 [startup+510.016 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 49935 60 0 0 25 0 11 0 780498524 861589504 24216 4294967295 134512640 134569956 3221224368 3221214664 1131475002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24216 13086 16 0 210333 0 vsize: 841396 [startup+520.017 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 50926 60 0 0 25 0 11 0 780498524 861589504 24224 4294967295 134512640 134569956 3221224368 3221214576 1131299263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24224 13086 16 0 210333 0 vsize: 841396 [startup+530.017 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 51918 60 0 0 25 0 11 0 780498524 861589504 24231 4294967295 134512640 134569956 3221224368 3221214664 1131476014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24231 13086 16 0 210333 0 vsize: 841396 [startup+540.017 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 52910 61 0 0 25 0 11 0 780498524 861589504 24237 4294967295 134512640 134569956 3221224368 3221214664 1131476424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24237 13086 16 0 210333 0 vsize: 841396 [startup+550.018 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 53902 61 0 0 25 0 11 0 780498524 861589504 24246 4294967295 134512640 134569956 3221224368 3221214576 1131299898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24246 13086 16 0 210333 0 vsize: 841396 [startup+560.018 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 54894 62 0 0 25 0 11 0 780498524 861589504 24256 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24256 13086 16 0 210333 0 vsize: 841396 [startup+570.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 55885 62 0 0 25 0 11 0 780498524 861589504 24262 4294967295 134512640 134569956 3221224368 3221214576 1131299942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24262 13086 16 0 210333 0 vsize: 841396 [startup+580.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 56876 62 0 0 25 0 11 0 780498524 861589504 24269 4294967295 134512640 134569956 3221224368 3221214576 1131299222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24269 13086 16 0 210333 0 vsize: 841396 [startup+590.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 57868 62 0 0 25 0 11 0 780498524 861589504 24277 4294967295 134512640 134569956 3221224368 3221214576 1131299313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24277 13086 16 0 210333 0 vsize: 841396 [startup+600.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 58860 63 0 0 25 0 11 0 780498524 861589504 24283 4294967295 134512640 134569956 3221224368 3221214552 1131163311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24283 13086 16 0 210333 0 vsize: 841396 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 59852 63 0 0 25 0 11 0 780498524 861589504 24290 4294967295 134512640 134569956 3221224368 3221214656 1131242930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24290 13086 16 0 210333 0 vsize: 841396 [startup+620.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 60843 64 0 0 25 0 11 0 780498524 861589504 24300 4294967295 134512640 134569956 3221224368 3221214664 1131482484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24300 13086 16 0 210333 0 vsize: 841396 [startup+630.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 61835 64 0 0 25 0 11 0 780498524 861589504 24306 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24306 13086 16 0 210333 0 vsize: 841396 [startup+640.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 62827 65 0 0 25 0 11 0 780498524 861589504 24313 4294967295 134512640 134569956 3221224368 3221214664 1131482884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24313 13086 16 0 210333 0 vsize: 841396 [startup+650.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 63819 65 0 0 25 0 11 0 780498524 861589504 24322 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24322 13086 16 0 210333 0 vsize: 841396 [startup+660.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 64811 66 0 0 25 0 11 0 780498524 861589504 24326 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24326 13086 16 0 210333 0 vsize: 841396 [startup+670.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 65802 66 0 0 25 0 11 0 780498524 861589504 24335 4294967295 134512640 134569956 3221224368 3221214664 1131482753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24335 13086 16 0 210333 0 vsize: 841396 [startup+680.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 66794 67 0 0 25 0 11 0 780498524 861589504 24341 4294967295 134512640 134569956 3221224368 3221214576 1131299131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24341 13086 16 0 210333 0 vsize: 841396 [startup+690.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 67786 67 0 0 25 0 11 0 780498524 861589504 24348 4294967295 134512640 134569956 3221224368 3221214664 1131477988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24348 13086 16 0 210333 0 vsize: 841396 [startup+700.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 68777 68 0 0 25 0 11 0 780498524 861589504 24354 4294967295 134512640 134569956 3221224368 3221214576 1131299187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24354 13086 16 0 210333 0 vsize: 841396 [startup+710.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 69769 68 0 0 25 0 11 0 780498524 861589504 24360 4294967295 134512640 134569956 3221224368 3221214664 1131477988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24360 13086 16 0 210333 0 vsize: 841396 [startup+720.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 70760 68 0 0 25 0 11 0 780498524 861589504 24367 4294967295 134512640 134569956 3221224368 3221214168 1131618833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24367 13086 16 0 210333 0 vsize: 841396 [startup+730.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 71751 69 0 0 25 0 11 0 780498524 861589504 24373 4294967295 134512640 134569956 3221224368 3221214664 1131482076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24373 13086 16 0 210333 0 vsize: 841396 [startup+740.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 72743 70 0 0 25 0 11 0 780498524 861589504 24380 4294967295 134512640 134569956 3221224368 3221214664 1131474993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24380 13086 16 0 210333 0 vsize: 841396 [startup+750.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 73734 70 0 0 25 0 11 0 780498524 861589504 24386 4294967295 134512640 134569956 3221224368 3221214552 1131163211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24386 13086 16 0 210333 0 vsize: 841396 [startup+760.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 74726 71 0 0 25 0 11 0 780498524 861589504 24391 4294967295 134512640 134569956 3221224368 3221214664 1131477140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24391 13086 16 0 210333 0 vsize: 841396 [startup+770.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 75717 71 0 0 25 0 11 0 780498524 861589504 24399 4294967295 134512640 134569956 3221224368 3221214664 1131474934 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24399 13086 16 0 210333 0 vsize: 841396 [startup+780.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 76709 71 0 0 25 0 11 0 780498524 861589504 24404 4294967295 134512640 134569956 3221224368 3221214664 1131482262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24404 13086 16 0 210333 0 vsize: 841396 [startup+790.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 77700 72 0 0 25 0 11 0 780498524 861589504 24412 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24412 13086 16 0 210333 0 vsize: 841396 [startup+800.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 78691 73 0 0 25 0 11 0 780498524 861589504 24417 4294967295 134512640 134569956 3221224368 3221214664 1131474993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24417 13086 16 0 210333 0 vsize: 841396 [startup+810.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 79683 73 0 0 25 0 11 0 780498524 861589504 24423 4294967295 134512640 134569956 3221224368 3221214664 1131478042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24423 13086 16 0 210333 0 vsize: 841396 [startup+820.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 80674 73 0 0 25 0 11 0 780498524 861589504 24430 4294967295 134512640 134569956 3221224368 3221214576 1131202688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24430 13086 16 0 210333 0 vsize: 841396 [startup+830.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 81665 74 0 0 25 0 11 0 780498524 861589504 24434 4294967295 134512640 134569956 3221224368 3221214576 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24434 13086 16 0 210333 0 vsize: 841396 [startup+840.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 82656 74 0 0 25 0 11 0 780498524 861589504 24440 4294967295 134512640 134569956 3221224368 3221214576 1131299343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24440 13086 16 0 210333 0 vsize: 841396 [startup+850.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 83649 74 0 0 25 0 11 0 780498524 861589504 24447 4294967295 134512640 134569956 3221224368 3221214664 1131475059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24447 13086 16 0 210333 0 vsize: 841396 [startup+860.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 84640 75 0 0 25 0 11 0 780498524 861589504 24451 4294967295 134512640 134569956 3221224368 3221214664 1131482210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24451 13086 16 0 210333 0 vsize: 841396 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 85632 75 0 0 25 0 11 0 780498524 861589504 24458 4294967295 134512640 134569956 3221224368 3221214664 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24458 13086 16 0 210333 0 vsize: 841396 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 86623 75 0 0 25 0 11 0 780498524 861589504 24464 4294967295 134512640 134569956 3221224368 3221214576 1131298968 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24464 13086 16 0 210333 0 vsize: 841396 [startup+890.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 87615 75 0 0 25 0 11 0 780498524 861589504 24469 4294967295 134512640 134569956 3221224368 3221214656 1131242930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24469 13086 16 0 210333 0 vsize: 841396 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 88606 75 0 0 25 0 11 0 780498524 861589504 24476 4294967295 134512640 134569956 3221224368 3221214576 1131203740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24476 13086 16 0 210333 0 vsize: 841396 [startup+910.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 89598 76 0 0 25 0 11 0 780498524 861589504 24483 4294967295 134512640 134569956 3221224368 3221214576 1131299028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 24483 13086 16 0 210333 0 vsize: 841396 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 90588 76 0 0 25 0 11 0 780498524 861589504 24487 4294967295 134512640 134569956 3221224368 3221214656 1131242930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24487 13086 16 0 210333 0 vsize: 841396 [startup+930.038 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 91578 77 0 0 25 0 11 0 780498524 861589504 24493 4294967295 134512640 134569956 3221224368 3221214664 1131476424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24493 13086 16 0 210333 0 vsize: 841396 [startup+940.038 s] Raw data (loadavg): 1.13 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 92567 77 0 0 25 0 11 0 780498524 861589504 24502 4294967295 134512640 134569956 3221224368 3221214664 1131482076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24502 13086 16 0 210333 0 vsize: 841396 [startup+950.039 s] Raw data (loadavg): 1.11 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 93555 77 0 0 25 0 11 0 780498524 861589504 24516 4294967295 134512640 134569956 3221224368 3221214664 1131482076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24516 13086 16 0 210333 0 vsize: 841396 [startup+960.04 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 94539 78 0 0 25 0 11 0 780498524 861589504 24529 4294967295 134512640 134569956 3221224368 3221214664 1131476022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24529 13086 16 0 210333 0 vsize: 841396 [startup+970.04 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 95524 78 0 0 25 0 11 0 780498524 861589504 24538 4294967295 134512640 134569956 3221224368 3221214664 1131474993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24538 13086 16 0 210333 0 vsize: 841396 [startup+980.04 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 96510 79 0 0 25 0 11 0 780498524 861589504 24608 4294967295 134512640 134569956 3221224368 3221214664 1131476920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24608 13086 16 0 210333 0 vsize: 841396 [startup+990.041 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 97498 79 0 0 25 0 11 0 780498524 861589504 24631 4294967295 134512640 134569956 3221224368 3221214552 1131163211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24631 13086 16 0 210333 0 vsize: 841396 [startup+1000.04 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 98489 79 0 0 25 0 11 0 780498524 861589504 24647 4294967295 134512640 134569956 3221224368 3221214664 1131476896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24647 13086 16 0 210333 0 vsize: 841396 [startup+1010.04 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 99480 80 0 0 25 0 11 0 780498524 861589504 24652 4294967295 134512640 134569956 3221224368 3221214664 1131476004 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24652 13086 16 0 210333 0 vsize: 841396 [startup+1020.04 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 100471 80 0 0 25 0 11 0 780498524 861589504 24659 4294967295 134512640 134569956 3221224368 3221214704 1131339694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24659 13086 16 0 210333 0 vsize: 841396 [startup+1030.04 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 101462 80 0 0 25 0 11 0 780498524 861589504 24663 4294967295 134512640 134569956 3221224368 3221214664 1131474993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24663 13086 16 0 210333 0 vsize: 841396 [startup+1040.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 102452 81 0 0 25 0 11 0 780498524 861589504 24669 4294967295 134512640 134569956 3221224368 3221214664 1131477058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24669 13086 16 0 210333 0 vsize: 841396 [startup+1050.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 103443 81 0 0 25 0 11 0 780498524 861589504 24673 4294967295 134512640 134569956 3221224368 3221214664 1131478085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24673 13086 16 0 210333 0 vsize: 841396 [startup+1060.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 104434 81 0 0 25 0 11 0 780498524 861589504 24680 4294967295 134512640 134569956 3221224368 3221214608 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24680 13086 16 0 210333 0 vsize: 841396 [startup+1070.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 105425 82 0 0 25 0 11 0 780498524 861589504 24684 4294967295 134512640 134569956 3221224368 3221214520 1131299851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24684 13086 16 0 210333 0 vsize: 841396 [startup+1080.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 106416 82 0 0 25 0 11 0 780498524 861589504 24689 4294967295 134512640 134569956 3221224368 3221214608 1131481757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24689 13086 16 0 210333 0 vsize: 841396 [startup+1090.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 107407 83 0 0 25 0 11 0 780498524 861589504 24695 4294967295 134512640 134569956 3221224368 3221214520 1131299116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24695 13086 16 0 210333 0 vsize: 841396 [startup+1100.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 108398 83 0 0 25 0 11 0 780498524 861589504 24699 4294967295 134512640 134569956 3221224368 3221214608 1131482076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24699 13086 16 0 210333 0 vsize: 841396 [startup+1110.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 109389 83 0 0 25 0 11 0 780498524 861589504 24706 4294967295 134512640 134569956 3221224368 3221214520 1131299283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24706 13086 16 0 210333 0 vsize: 841396 [startup+1120.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 110380 83 0 0 25 0 11 0 780498524 861589504 24710 4294967295 134512640 134569956 3221224368 3221214608 1131481992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24710 13086 16 0 210333 0 vsize: 841396 [startup+1130.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 111371 83 0 0 25 0 11 0 780498524 861589504 24719 4294967295 134512640 134569956 3221224368 3221214608 1131478030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24719 13086 16 0 210333 0 vsize: 841396 [startup+1140.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 112361 84 0 0 25 0 11 0 780498524 861589504 24723 4294967295 134512640 134569956 3221224368 3221214600 1131242930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24723 13086 16 0 210333 0 vsize: 841396 [startup+1150.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 113351 85 0 0 25 0 11 0 780498524 861589504 24729 4294967295 134512640 134569956 3221224368 3221214608 1131478042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24729 13086 16 0 210333 0 vsize: 841396 [startup+1160.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 114341 86 0 0 25 0 11 0 780498524 861589504 24734 4294967295 134512640 134569956 3221224368 3221214608 1131475021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24734 13086 16 0 210333 0 vsize: 841396 [startup+1170.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 115332 86 0 0 25 0 11 0 780498524 861589504 24738 4294967295 134512640 134569956 3221224368 3221214604 1131298944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24738 13086 16 0 210333 0 vsize: 841396 [startup+1180.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 116323 87 0 0 25 0 11 0 780498524 861589504 24745 4294967295 134512640 134569956 3221224368 3221214608 1131476044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24745 13086 16 0 210333 0 vsize: 841396 [startup+1190.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 117314 87 0 0 25 0 11 0 780498524 861589504 24749 4294967295 134512640 134569956 3221224368 3221214608 1131474970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24749 13086 16 0 210333 0 vsize: 841396 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 118304 87 0 0 25 0 11 0 780498524 861589504 24753 4294967295 134512640 134569956 3221224368 3221214448 1131625028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24753 13086 16 0 210333 0 vsize: 841396 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 119294 88 0 0 25 0 11 0 780498524 861589504 24758 4294967295 134512640 134569956 3221224368 3221214608 1131476424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24758 13086 16 0 210333 0 vsize: 841396 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22951 Raw data (stat): 22939 (java) R 22938 7266 7265 0 -1 0 18103 0 1 0 120285 88 0 0 25 0 11 0 780498524 861589504 24762 4294967295 134512640 134569956 3221224368 3221214520 1131299942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 24762 13086 16 0 210333 0 vsize: 841396 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 22953 Raw data (stat): 22939 (java) Z 22938 7266 7265 0 -1 1036 18103 17909 1 0 120286 92 3311 54 25 0 1 0 780498524 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): 1220.12 CPU time (s): 1237.46 CPU user time (s): 1235.98 CPU system time (s): 1.47778 CPU usage (%): 101.421 Max. virtual memory (Kb): 843444 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####