Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb |
MD5SUM | 4927ae8cbb5bb871eb7a61843614b4ec |
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 | 25152 |
Biggest coefficient in the objective function | 30395596800 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 14310357806800 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 30395596800 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 14310357806800 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.630904 |
Number of variables | 69312 |
Total number of constraints | 3504 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 192 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 485 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-20 22:34:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19873 boxname=wulflinc4 idbench=1529 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4927ae8cbb5bb871eb7a61843614b4ec /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-A1C1S1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-A1C1S1.opb IDLAUNCH: 19873 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 619812 kB Buffers: 36984 kB Cached: 353880 kB SwapCached: 0 kB Active: 186104 kB Inactive: 207664 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 619560 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 15412 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:56:24 (client local time) WITH STATUS 143 IN 1336.26 SECONDS stats: 19873 7 1336.26 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-A1C1S1.opb c reading problem c [nbvar=69312] c [nbconstr=3504] #### 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.92 0.96 0.95 2/54 27333 Raw data (stat): 27333 (runsolver) R 27332 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481849177 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99964 s] Raw data (loadavg): 0.93 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 891 37 0 0 25 0 10 0 481849177 853336064 19203 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208334 19203 13073 16 0 208318 0 vsize: 833336 [startup+20.0005 s] Raw data (loadavg): 0.94 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 1779 38 0 0 24 0 10 0 481849177 853684224 19677 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208419 19677 13073 16 0 208403 0 vsize: 833676 [startup+30.0004 s] Raw data (loadavg): 0.95 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 2686 38 0 0 25 0 10 0 481849177 853684224 20097 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208419 20097 13073 16 0 208403 0 vsize: 833676 [startup+40.0012 s] Raw data (loadavg): 0.96 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 3617 38 0 0 25 0 10 0 481849177 853684224 20327 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208419 20327 13073 16 0 208403 0 vsize: 833676 [startup+50.0021 s] Raw data (loadavg): 0.96 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 4546 38 0 0 25 0 10 0 481849177 853684224 20450 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208419 20450 13073 16 0 208403 0 vsize: 833676 [startup+60.0024 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 5476 39 0 0 25 0 10 0 481849177 853684224 20581 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208419 20581 13073 16 0 208403 0 vsize: 833676 [startup+70.0058 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17980 0 1 0 6419 39 0 0 25 0 10 0 481849177 853651456 20788 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 20788 13073 16 0 208395 0 vsize: 833644 [startup+80.0067 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 7367 39 0 0 25 0 10 0 481849177 853651456 20868 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 20868 13073 16 0 208395 0 vsize: 833644 [startup+90.0075 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 8313 40 0 0 25 0 10 0 481849177 853651456 20943 4294967295 134512640 134569956 3221224400 3221214192 1076461501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 20943 13073 16 0 208395 0 vsize: 833644 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 9260 40 0 0 24 0 10 0 481849177 853651456 21012 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21012 13073 16 0 208395 0 vsize: 833644 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 10211 40 0 0 25 0 10 0 481849177 853651456 21074 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21074 13073 16 0 208395 0 vsize: 833644 [startup+120.01 s] Raw data (loadavg): 1.15 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 11159 40 0 0 25 0 10 0 481849177 853651456 21136 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21136 13073 16 0 208395 0 vsize: 833644 [startup+130.01 s] Raw data (loadavg): 1.12 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 12106 40 0 0 25 0 10 0 481849177 853651456 21194 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21194 13073 16 0 208395 0 vsize: 833644 [startup+140.011 s] Raw data (loadavg): 1.10 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 13053 40 0 0 25 0 10 0 481849177 853651456 21250 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21250 13073 16 0 208395 0 vsize: 833644 [startup+150.012 s] Raw data (loadavg): 1.09 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 14001 40 0 0 24 0 10 0 481849177 853651456 21305 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21305 13073 16 0 208395 0 vsize: 833644 [startup+160.012 s] Raw data (loadavg): 1.07 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 14950 40 0 0 25 0 10 0 481849177 853651456 21353 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21353 13073 16 0 208395 0 vsize: 833644 [startup+170.013 s] Raw data (loadavg): 1.06 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17980 0 1 0 15881 40 0 0 25 0 10 0 481849177 853651456 21403 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208411 21403 13073 16 0 208395 0 vsize: 833644 [startup+180.014 s] Raw data (loadavg): 1.05 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 16672 41 0 0 25 0 10 0 481849177 857489408 23739 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209348 23739 13073 16 0 209332 0 vsize: 837392 [startup+190.014 s] Raw data (loadavg): 1.04 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 17575 41 0 0 24 0 10 0 481849177 857190400 23733 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 23733 13073 16 0 209259 0 vsize: 837100 [startup+200.015 s] Raw data (loadavg): 1.04 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 18491 41 0 0 25 0 10 0 481849177 857190400 24091 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24091 13073 16 0 209259 0 vsize: 837100 [startup+210.015 s] Raw data (loadavg): 1.03 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 19422 41 0 0 25 0 10 0 481849177 857190400 24149 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24149 13073 16 0 209259 0 vsize: 837100 [startup+220.016 s] Raw data (loadavg): 1.02 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 20349 41 0 0 24 0 10 0 481849177 857190400 24200 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24200 13073 16 0 209259 0 vsize: 837100 [startup+230.016 s] Raw data (loadavg): 1.02 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 21279 41 0 0 25 0 10 0 481849177 857190400 24259 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24259 13073 16 0 209259 0 vsize: 837100 [startup+240.017 s] Raw data (loadavg): 1.02 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 22209 41 0 0 25 0 10 0 481849177 857190400 24306 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24306 13073 16 0 209259 0 vsize: 837100 [startup+250.018 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 23134 41 0 0 25 0 10 0 481849177 857190400 24354 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24354 13073 16 0 209259 0 vsize: 837100 [startup+260.017 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 24063 41 0 0 25 0 10 0 481849177 857190400 24407 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24407 13073 16 0 209259 0 vsize: 837100 [startup+270.021 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17991 0 1 0 24990 41 0 0 25 0 10 0 481849177 857190400 24452 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24452 13073 16 0 209259 0 vsize: 837100 [startup+280.021 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 25914 41 0 0 25 0 10 0 481849177 857190400 24498 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24498 13073 16 0 209259 0 vsize: 837100 [startup+290.023 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 26841 41 0 0 25 0 10 0 481849177 857190400 24542 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24542 13073 16 0 209259 0 vsize: 837100 [startup+300.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 27766 41 0 0 25 0 10 0 481849177 857190400 24618 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 24618 13073 16 0 209259 0 vsize: 837100 [startup+310.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 28685 41 0 0 25 0 10 0 481849177 857190400 24662 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 24662 13073 16 0 209259 0 vsize: 837100 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 29608 42 0 0 25 0 10 0 481849177 857190400 24703 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 24703 13073 16 0 209259 0 vsize: 837100 [startup+330.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 30531 42 0 0 25 0 10 0 481849177 857190400 24744 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 24744 13073 16 0 209259 0 vsize: 837100 [startup+340.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 31449 42 0 0 24 0 10 0 481849177 857190400 24786 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 24786 13073 16 0 209259 0 vsize: 837100 [startup+350.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 32372 43 0 0 25 0 10 0 481849177 857190400 24811 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24811 13073 16 0 209259 0 vsize: 837100 [startup+360.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 33294 43 0 0 25 0 10 0 481849177 857190400 24850 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24850 13073 16 0 209259 0 vsize: 837100 [startup+370.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 34216 43 0 0 25 0 10 0 481849177 857190400 24897 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24897 13073 16 0 209259 0 vsize: 837100 [startup+380.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 35132 43 0 0 25 0 10 0 481849177 857190400 24937 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24937 13073 16 0 209259 0 vsize: 837100 [startup+390.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 36052 43 0 0 25 0 10 0 481849177 857190400 24975 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 24975 13073 16 0 209259 0 vsize: 837100 [startup+400.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 36971 43 0 0 25 0 10 0 481849177 857190400 25012 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25012 13073 16 0 209259 0 vsize: 837100 [startup+410.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 37889 44 0 0 25 0 10 0 481849177 857190400 25049 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25049 13073 16 0 209259 0 vsize: 837100 [startup+420.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 38801 44 0 0 25 0 10 0 481849177 857190400 25088 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25088 13073 16 0 209259 0 vsize: 837100 [startup+430.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 39716 44 0 0 25 0 10 0 481849177 857190400 25125 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25125 13073 16 0 209259 0 vsize: 837100 [startup+440.03 s] Raw data (loadavg): 1.08 1.02 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 40632 45 0 0 25 0 10 0 481849177 857190400 25161 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25161 13073 16 0 209259 0 vsize: 837100 [startup+450.03 s] Raw data (loadavg): 1.07 1.02 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 41547 45 0 0 25 0 10 0 481849177 857190400 25196 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25196 13073 16 0 209259 0 vsize: 837100 [startup+460.031 s] Raw data (loadavg): 1.06 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 42463 45 0 0 25 0 10 0 481849177 857190400 25223 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25223 13073 16 0 209259 0 vsize: 837100 [startup+470.037 s] Raw data (loadavg): 1.05 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17991 0 1 0 43376 46 0 0 25 0 10 0 481849177 857190400 25259 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25259 13073 16 0 209259 0 vsize: 837100 [startup+480.037 s] Raw data (loadavg): 1.04 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 44289 46 0 0 24 0 10 0 481849177 857190400 25299 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25299 13073 16 0 209259 0 vsize: 837100 [startup+490.038 s] Raw data (loadavg): 1.03 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 45204 46 0 0 25 0 10 0 481849177 857190400 25333 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25333 13073 16 0 209259 0 vsize: 837100 [startup+500.039 s] Raw data (loadavg): 1.03 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 46118 46 0 0 25 0 10 0 481849177 857190400 25367 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 25367 13073 16 0 209259 0 vsize: 837100 [startup+510.039 s] Raw data (loadavg): 1.02 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 47030 46 0 0 25 0 10 0 481849177 857190400 25401 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25401 13073 16 0 209259 0 vsize: 837100 [startup+520.039 s] Raw data (loadavg): 1.02 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 47942 47 0 0 25 0 10 0 481849177 857190400 25431 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25431 13073 16 0 209259 0 vsize: 837100 [startup+530.042 s] Raw data (loadavg): 1.02 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 48853 47 0 0 25 0 10 0 481849177 857190400 25465 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25465 13073 16 0 209259 0 vsize: 837100 [startup+540.045 s] Raw data (loadavg): 1.01 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 49764 47 0 0 25 0 10 0 481849177 857190400 25498 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25498 13073 16 0 209259 0 vsize: 837100 [startup+550.045 s] Raw data (loadavg): 1.01 1.01 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 50673 48 0 0 25 0 10 0 481849177 857190400 25531 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25531 13073 16 0 209259 0 vsize: 837100 [startup+560.046 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 51582 48 0 0 25 0 10 0 481849177 857190400 25559 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25559 13073 16 0 209259 0 vsize: 837100 [startup+570.046 s] Raw data (loadavg): 1.01 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 52491 49 0 0 25 0 10 0 481849177 857190400 25593 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25593 13073 16 0 209259 0 vsize: 837100 [startup+580.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 53399 50 0 0 25 0 10 0 481849177 857190400 25626 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25626 13073 16 0 209259 0 vsize: 837100 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 54308 50 0 0 25 0 10 0 481849177 857190400 25656 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25656 13073 16 0 209259 0 vsize: 837100 [startup+600.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 55215 50 0 0 25 0 10 0 481849177 857190400 25686 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25686 13073 16 0 209259 0 vsize: 837100 [startup+610.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 56121 51 0 0 25 0 10 0 481849177 857190400 25718 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25718 13073 16 0 209259 0 vsize: 837100 [startup+620.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 57028 51 0 0 25 0 10 0 481849177 857190400 25747 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25747 13073 16 0 209259 0 vsize: 837100 [startup+630.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 57934 52 0 0 25 0 10 0 481849177 857190400 25777 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25777 13073 16 0 209259 0 vsize: 837100 [startup+640.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 58840 52 0 0 25 0 10 0 481849177 857190400 25806 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25806 13073 16 0 209259 0 vsize: 837100 [startup+650.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 59750 52 0 0 25 0 10 0 481849177 857190400 25838 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25838 13073 16 0 209259 0 vsize: 837100 [startup+660.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 60655 53 0 0 25 0 10 0 481849177 857190400 25867 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25867 13073 16 0 209259 0 vsize: 837100 [startup+670.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 61552 53 0 0 25 0 10 0 481849177 857190400 26649 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 26649 13073 16 0 209259 0 vsize: 837100 [startup+680.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17991 0 1 0 62459 53 0 0 25 0 10 0 481849177 857190400 26649 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 26649 13073 16 0 209259 0 vsize: 837100 [startup+690.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17991 0 1 0 63361 53 0 0 25 0 10 0 481849177 857190400 26654 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 26654 13073 16 0 209259 0 vsize: 837100 [startup+700.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 64268 55 0 0 25 0 10 0 481849177 857190400 27880 4294967295 134512640 134569956 3221224400 3221214864 1131173271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 27880 13073 16 0 209259 0 vsize: 837100 [startup+710.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 65158 56 0 0 24 0 10 0 481849177 857190400 31101 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31101 13073 16 0 209259 0 vsize: 837100 [startup+720.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 66064 56 0 0 20 0 10 0 481849177 857190400 31101 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31101 13073 16 0 209259 0 vsize: 837100 [startup+730.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 66958 56 0 0 19 0 10 0 481849177 857190400 31119 4294967295 134512640 134569956 3221224400 3221214056 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31119 13073 16 0 209259 0 vsize: 837100 [startup+740.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 67858 56 0 0 22 0 10 0 481849177 857190400 31146 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31146 13073 16 0 209259 0 vsize: 837100 [startup+750.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 68750 57 0 0 19 0 10 0 481849177 857190400 31174 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31174 13073 16 0 209259 0 vsize: 837100 [startup+760.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 69648 57 0 0 23 0 10 0 481849177 857190400 31201 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31201 13073 16 0 209259 0 vsize: 837100 [startup+770.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 70540 57 0 0 19 0 10 0 481849177 857190400 31228 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31228 13073 16 0 209259 0 vsize: 837100 [startup+780.065 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 71438 57 0 0 21 0 10 0 481849177 857190400 31254 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31254 13073 16 0 209259 0 vsize: 837100 [startup+790.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 72328 57 0 0 19 0 10 0 481849177 857190400 31282 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31282 13073 16 0 209259 0 vsize: 837100 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 73224 58 0 0 21 0 10 0 481849177 857190400 31307 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31307 13073 16 0 209259 0 vsize: 837100 [startup+810.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 74114 58 0 0 17 0 10 0 481849177 857190400 31335 4294967295 134512640 134569956 3221224400 3221214192 1076874558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31335 13073 16 0 209259 0 vsize: 837100 [startup+820.069 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 75009 58 0 0 20 0 10 0 481849177 857190400 31360 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31360 13073 16 0 209259 0 vsize: 837100 [startup+830.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 75905 58 0 0 22 0 10 0 481849177 857190400 31385 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31385 13073 16 0 209259 0 vsize: 837100 [startup+840.071 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 76793 58 0 0 19 0 10 0 481849177 857190400 31411 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31411 13073 16 0 209259 0 vsize: 837100 [startup+850.072 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 77686 59 0 0 21 0 10 0 481849177 857190400 31437 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31437 13073 16 0 209259 0 vsize: 837100 [startup+860.077 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 78574 59 0 0 23 0 10 0 481849177 857190400 31462 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31462 13073 16 0 209259 0 vsize: 837100 [startup+870.077 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 79467 59 0 0 20 0 10 0 481849177 857190400 31487 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31487 13073 16 0 209259 0 vsize: 837100 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 80360 59 0 0 21 0 10 0 481849177 857190400 31512 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31512 13073 16 0 209259 0 vsize: 837100 [startup+890.078 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 81246 60 0 0 17 0 10 0 481849177 857190400 31538 4294967295 134512640 134569956 3221224400 3221213960 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31538 13073 16 0 209259 0 vsize: 837100 [startup+900.079 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 82138 60 0 0 20 0 10 0 481849177 857190400 31562 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31562 13073 16 0 209259 0 vsize: 837100 [startup+910.082 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 83028 60 0 0 22 0 10 0 481849177 857190400 31586 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31586 13073 16 0 209259 0 vsize: 837100 [startup+920.084 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 83915 60 0 0 19 0 10 0 481849177 857190400 31613 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31613 13073 16 0 209259 0 vsize: 837100 [startup+930.084 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 84806 60 0 0 20 0 10 0 481849177 857190400 31636 4294967295 134512640 134569956 3221224400 3221214304 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31636 13073 16 0 209259 0 vsize: 837100 [startup+940.085 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 85697 60 0 0 23 0 10 0 481849177 857190400 31660 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31660 13073 16 0 209259 0 vsize: 837100 [startup+950.085 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 86581 60 0 0 17 0 10 0 481849177 857190400 31685 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31685 13073 16 0 209259 0 vsize: 837100 [startup+960.086 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 87471 60 0 0 19 0 10 0 481849177 857190400 31716 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31716 13073 16 0 209259 0 vsize: 837100 [startup+970.086 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 88363 61 0 0 21 0 10 0 481849177 857190400 31744 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31744 13073 16 0 209259 0 vsize: 837100 [startup+980.091 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 89249 61 0 0 22 0 10 0 481849177 857190400 31760 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31760 13073 16 0 209259 0 vsize: 837100 [startup+990.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 90141 61 0 0 20 0 10 0 481849177 857190400 31798 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31798 13073 16 0 209259 0 vsize: 837100 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 91036 61 0 0 21 0 10 0 481849177 857190400 31831 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31831 13073 16 0 209259 0 vsize: 837100 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 91924 61 0 0 18 0 10 0 481849177 857190400 31843 4294967295 134512640 134569956 3221224400 3221214400 1079668914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31843 13073 16 0 209259 0 vsize: 837100 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 92818 61 0 0 19 0 10 0 481849177 857190400 31872 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31872 13073 16 0 209259 0 vsize: 837100 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 93715 61 0 0 20 0 10 0 481849177 857190400 31916 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31916 13073 16 0 209259 0 vsize: 837100 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 94608 61 0 0 18 0 10 0 481849177 857190400 31937 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31937 13073 16 0 209259 0 vsize: 837100 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 95509 62 0 0 19 0 10 0 481849177 857190400 31951 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31951 13073 16 0 209259 0 vsize: 837100 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 96411 62 0 0 23 0 10 0 481849177 857190400 31984 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 31984 13073 16 0 209259 0 vsize: 837100 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 97307 62 0 0 18 0 10 0 481849177 857190400 32008 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32008 13073 16 0 209259 0 vsize: 837100 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 98208 62 0 0 22 0 10 0 481849177 857190400 32148 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32148 13073 16 0 209259 0 vsize: 837100 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 99100 62 0 0 22 0 10 0 481849177 857190400 32148 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32148 13073 16 0 209259 0 vsize: 837100 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 99994 62 0 0 19 0 10 0 481849177 857190400 32200 4294967295 134512640 134569956 3221224400 3221214800 1131045363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32200 13073 16 0 209259 0 vsize: 837100 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 100893 62 0 0 20 0 10 0 481849177 857190400 32210 4294967295 134512640 134569956 3221224400 3221213960 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32210 13073 16 0 209259 0 vsize: 837100 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 101793 62 0 0 22 0 10 0 481849177 857190400 32244 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32244 13073 16 0 209259 0 vsize: 837100 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 102687 62 0 0 18 0 10 0 481849177 857190400 32266 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32266 13073 16 0 209259 0 vsize: 837100 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 103587 62 0 0 21 0 10 0 481849177 857190400 32281 4294967295 134512640 134569956 3221224400 3221214304 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32281 13073 16 0 209259 0 vsize: 837100 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 104480 62 0 0 18 0 10 0 481849177 857190400 32427 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32427 13073 16 0 209259 0 vsize: 837100 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 105377 63 0 0 19 0 10 0 481849177 857190400 32581 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32581 13073 16 0 209259 0 vsize: 837100 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 106276 63 0 0 21 0 10 0 481849177 857190400 32718 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32718 13073 16 0 209259 0 vsize: 837100 [startup+1180.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 107166 63 0 0 23 0 10 0 481849177 857190400 32747 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32747 13073 16 0 209259 0 vsize: 837100 [startup+1190.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 108063 63 0 0 20 0 10 0 481849177 857190400 32894 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32894 13073 16 0 209259 0 vsize: 837100 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 108962 63 0 0 21 0 10 0 481849177 857190400 32918 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 32918 13073 16 0 209259 0 vsize: 837100 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 109855 63 0 0 18 0 10 0 481849177 857190400 33196 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 33196 13073 16 0 209259 0 vsize: 837100 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 110754 63 0 0 19 0 10 0 481849177 857190400 33472 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 33472 13073 16 0 209259 0 vsize: 837100 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 111653 63 0 0 21 0 10 0 481849177 857190400 33878 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 33878 13073 16 0 209259 0 vsize: 837100 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 112544 63 0 0 18 0 10 0 481849177 857190400 34158 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 34158 13073 16 0 209259 0 vsize: 837100 [startup+1250.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 113442 63 0 0 19 0 10 0 481849177 857190400 34436 4294967295 134512640 134569956 3221224400 3221214304 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 34436 13073 16 0 209259 0 vsize: 837100 [startup+1260.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 114339 64 0 0 22 0 10 0 481849177 857190400 34845 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 34845 13073 16 0 209259 0 vsize: 837100 [startup+1270.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) S 27332 5897 5896 0 -1 0 17992 0 1 0 115235 64 0 0 22 0 10 0 481849177 857190400 35127 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 35127 13073 16 0 209259 0 vsize: 837100 [startup+1280.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 116125 64 0 0 18 0 10 0 481849177 857190400 35540 4294967295 134512640 134569956 3221224400 3221214304 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 35540 13073 16 0 209259 0 vsize: 837100 [startup+1290.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 117020 64 0 0 20 0 10 0 481849177 857190400 35955 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 35955 13073 16 0 209259 0 vsize: 837100 [startup+1300.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 117915 65 0 0 21 0 10 0 481849177 857190400 36239 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 36239 13073 16 0 209259 0 vsize: 837100 [startup+1310.12 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 118809 65 0 0 22 0 10 0 481849177 857190400 36655 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 36655 13073 16 0 209259 0 vsize: 837100 [startup+1320.13 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 119697 65 0 0 17 0 10 0 481849177 857190400 37073 4294967295 134512640 134569956 3221224400 3221214836 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 37073 13073 16 0 209259 0 vsize: 837100 [startup+1330.13 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 27342 Raw data (stat): 27333 (java) R 27332 5897 5896 0 -1 0 17992 0 1 0 120591 65 0 0 19 0 10 0 481849177 857190400 37494 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209275 37494 13073 16 0 209259 0 vsize: 837100 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.21 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 27343 Raw data (stat): 27333 (java) Z 27332 5897 5896 0 -1 1036 17992 22875 1 0 120592 72 12888 72 20 0 1 0 481849177 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): 1330.21 CPU time (s): 1336.26 CPU user time (s): 1334.81 CPU system time (s): 1.45178 CPU usage (%): 100.455 Max. virtual memory (Kb): 837392 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####