Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm3.opb |
MD5SUM | 4a3de02f6262a734aceb5f1aba22728b |
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 | 1380 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 412089975 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 52428800000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 319170501375 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.897863 |
Number of variables | 27420 |
Total number of constraints | 990 |
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 | 990 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 1140 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-05-25 12:17:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21261 boxname=wulflinc18 idbench=1249 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4a3de02f6262a734aceb5f1aba22728b /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-scfxm3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-scfxm3.opb IDLAUNCH: 21261 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 757248 kB Buffers: 36688 kB Cached: 212148 kB SwapCached: 588 kB Active: 62564 kB Inactive: 191632 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 756996 kB SwapTotal: 2097892 kB SwapFree: 2096632 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5664 kB Slab: 17500 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:37:51 (client local time) WITH STATUS 143 IN 1238.33 SECONDS stats: 21261 7 1238.33 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/wulflinc18/normalized-mps-v2-13-7-scfxm3.opb c reading problem ... done. Time 231.99 ms. c #vars 27420 c #constraints 1536 c starts : 5 c conflicts : 865 c decisions : 6469 c propagations : 43352 c inspects : 3797555 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 865 c root simplifications : 530 s UNKNOWN c Total CPU time (ms) : 1239.206 #### 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.86 0.95 0.98 2/54 1158 Raw data (stat): 1158 (runsolver) R 1157 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838798563 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.26 1.04 1.01 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18044 0 1 0 781 40 0 0 25 0 10 0 838798563 857235456 20767 4294967295 134512640 134569956 3221224368 3221214424 1076461342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209286 20767 13086 16 0 209270 0 vsize: 837144 [startup+20.0034 s] Raw data (loadavg): 1.22 1.04 1.01 2/63 1167 Raw data (stat): 1158 (java) S 1157 24172 24171 0 -1 0 18044 0 1 0 1642 40 0 0 20 0 10 0 838798563 857145344 21600 4294967295 134512640 134569956 3221224368 3221213796 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209264 21600 13086 16 0 209248 0 vsize: 837056 [startup+30.0124 s] Raw data (loadavg): 1.19 1.03 1.01 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 2513 41 0 0 16 0 10 0 838798563 857145344 21929 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209264 21929 13086 16 0 209248 0 vsize: 837056 [startup+40.0147 s] Raw data (loadavg): 1.16 1.03 1.01 2/63 1167 Raw data (stat): 1158 (java) S 1157 24172 24171 0 -1 0 18045 0 1 0 3381 41 0 0 21 0 10 0 838798563 857145344 22481 4294967295 134512640 134569956 3221224368 3221213728 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209264 22481 13086 16 0 209248 0 vsize: 837056 [startup+50.0162 s] Raw data (loadavg): 1.13 1.03 1.01 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 4252 41 0 0 17 0 10 0 838798563 857145344 22750 4294967295 134512640 134569956 3221224368 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209264 22750 13086 16 0 209248 0 vsize: 837056 [startup+60.0162 s] Raw data (loadavg): 1.11 1.03 1.01 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 5122 41 0 0 17 0 10 0 838798563 857145344 23111 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 23111 13086 16 0 209248 0 vsize: 837056 [startup+70.0167 s] Raw data (loadavg): 1.09 1.03 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 5993 42 0 0 17 0 10 0 838798563 857145344 23493 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 23493 13086 16 0 209248 0 vsize: 837056 [startup+80.0181 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 6877 42 0 0 20 0 10 0 838798563 857145344 23831 4294967295 134512640 134569956 3221224368 3221214488 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 23831 13086 16 0 209248 0 vsize: 837056 [startup+90.0208 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 1167 Raw data (stat): 1158 (java) S 1157 24172 24171 0 -1 0 18045 0 1 0 7768 43 0 0 23 0 10 0 838798563 857145344 24126 4294967295 134512640 134569956 3221224368 3221213728 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 24126 13086 16 0 209248 0 vsize: 837056 [startup+100.023 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 8673 43 0 0 22 0 10 0 838798563 857145344 24392 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 24392 13086 16 0 209248 0 vsize: 837056 [startup+110.023 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 9591 44 0 0 25 0 10 0 838798563 857145344 24543 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 24543 13086 16 0 209248 0 vsize: 837056 [startup+120.023 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 10491 45 0 0 21 0 10 0 838798563 857145344 24687 4294967295 134512640 134569956 3221224368 3221214440 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 24687 13086 16 0 209248 0 vsize: 837056 [startup+130.023 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 11379 45 0 0 21 0 10 0 838798563 857145344 24851 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 24851 13086 16 0 209248 0 vsize: 837056 [startup+140.023 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 12268 46 0 0 19 0 10 0 838798563 857145344 25224 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 25224 13086 16 0 209248 0 vsize: 837056 [startup+150.024 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 13175 46 0 0 19 0 10 0 838798563 857145344 25374 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 25374 13086 16 0 209248 0 vsize: 837056 [startup+160.025 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 14080 47 0 0 23 0 10 0 838798563 857145344 25576 4294967295 134512640 134569956 3221224368 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 25576 13086 16 0 209248 0 vsize: 837056 [startup+170.025 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 14985 47 0 0 21 0 10 0 838798563 857145344 25762 4294967295 134512640 134569956 3221224368 3221214488 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 25762 13086 16 0 209248 0 vsize: 837056 [startup+180.027 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 15900 47 0 0 23 0 10 0 838798563 857145344 25895 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 25895 13086 16 0 209248 0 vsize: 837056 [startup+190.027 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 16809 48 0 0 22 0 10 0 838798563 857145344 26048 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26048 13086 16 0 209248 0 vsize: 837056 [startup+200.027 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 17716 48 0 0 23 0 10 0 838798563 857145344 26200 4294967295 134512640 134569956 3221224368 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26200 13086 16 0 209248 0 vsize: 837056 [startup+210.028 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 18621 49 0 0 21 0 10 0 838798563 857145344 26308 4294967295 134512640 134569956 3221224368 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26308 13086 16 0 209248 0 vsize: 837056 [startup+220.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 1167 Raw data (stat): 1158 (java) S 1157 24172 24171 0 -1 0 18045 0 1 0 19544 49 0 0 25 0 10 0 838798563 857145344 26616 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26616 13086 16 0 209248 0 vsize: 837056 [startup+230.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18045 0 1 0 20462 50 0 0 25 0 10 0 838798563 857145344 26683 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26683 13086 16 0 209248 0 vsize: 837056 [startup+240.033 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 1167 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18081 0 1 0 21380 51 0 0 25 0 10 0 838798563 857145344 26870 4294967295 134512640 134569956 3221224368 3221214712 1131368060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209264 26870 13086 16 0 209248 0 vsize: 837056 [startup+250.034 s] Raw data (loadavg): 1.06 1.03 1.00 3/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18099 0 1 0 22273 51 0 0 25 0 11 0 838798563 857673728 26915 4294967295 134512640 134569956 3221224368 3221214576 1131415092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209393 26915 13086 16 0 209377 0 vsize: 837572 [startup+260.034 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18101 0 1 0 23182 51 0 0 25 0 11 0 838798563 857673728 27023 4294967295 134512640 134569956 3221224368 3221214496 1131248579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 27023 13086 16 0 209377 0 vsize: 837572 [startup+270.035 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18101 0 1 0 24091 52 0 0 25 0 11 0 838798563 857673728 27118 4294967295 134512640 134569956 3221224368 3221214808 1131433688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209393 27118 13086 16 0 209377 0 vsize: 837572 [startup+280.036 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 25034 52 0 0 25 0 11 0 838798563 857673728 27721 4294967295 134512640 134569956 3221224368 3221214656 1131238129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 27721 13086 16 0 209377 0 vsize: 837572 [startup+290.036 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 26005 52 0 0 25 0 11 0 838798563 857673728 27812 4294967295 134512640 134569956 3221224368 3221214824 1131206873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 27812 13086 16 0 209377 0 vsize: 837572 [startup+300.038 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 26990 52 0 0 25 0 11 0 838798563 857673728 27972 4294967295 134512640 134569956 3221224368 3221214664 1131366586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 27972 13086 16 0 209377 0 vsize: 837572 [startup+310.039 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 27978 52 0 0 25 0 11 0 838798563 857673728 28006 4294967295 134512640 134569956 3221224368 3221214576 1131347867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28006 13086 16 0 209377 0 vsize: 837572 [startup+320.038 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 28967 52 0 0 25 0 11 0 838798563 857673728 28026 4294967295 134512640 134569956 3221224368 3221214576 1131349088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28026 13086 16 0 209377 0 vsize: 837572 [startup+330.038 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 29957 52 0 0 25 0 11 0 838798563 857673728 28067 4294967295 134512640 134569956 3221224368 3221214568 1131215221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28067 13086 16 0 209377 0 vsize: 837572 [startup+340.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 30949 52 0 0 25 0 11 0 838798563 857673728 28094 4294967295 134512640 134569956 3221224368 3221214664 1131368868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28094 13086 16 0 209377 0 vsize: 837572 [startup+350.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 31940 52 0 0 25 0 11 0 838798563 857673728 28116 4294967295 134512640 134569956 3221224368 3221214568 1131215285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28116 13086 16 0 209377 0 vsize: 837572 [startup+360.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 32931 52 0 0 25 0 11 0 838798563 857673728 28132 4294967295 134512640 134569956 3221224368 3221214616 1131248234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28132 13086 16 0 209377 0 vsize: 837572 [startup+370.041 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 33923 53 0 0 25 0 11 0 838798563 857673728 28148 4294967295 134512640 134569956 3221224368 3221214560 1131338369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28148 13086 16 0 209377 0 vsize: 837572 [startup+380.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 34914 53 0 0 25 0 11 0 838798563 857673728 28169 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28169 13086 16 0 209377 0 vsize: 837572 [startup+390.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 35905 53 0 0 25 0 11 0 838798563 857673728 28189 4294967295 134512640 134569956 3221224368 3221214664 1131368060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28189 13086 16 0 209377 0 vsize: 837572 [startup+400.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 36898 53 0 0 25 0 11 0 838798563 857673728 28207 4294967295 134512640 134569956 3221224368 3221214576 1131348630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28207 13086 16 0 209377 0 vsize: 837572 [startup+410.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 37889 53 0 0 25 0 11 0 838798563 857673728 28220 4294967295 134512640 134569956 3221224368 3221214568 1131215277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28220 13086 16 0 209377 0 vsize: 837572 [startup+420.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 38881 53 0 0 25 0 11 0 838798563 857673728 28233 4294967295 134512640 134569956 3221224368 3221214664 1131368868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28233 13086 16 0 209377 0 vsize: 837572 [startup+430.045 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 39874 53 0 0 25 0 11 0 838798563 857673728 28247 4294967295 134512640 134569956 3221224368 3221214664 1131372232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28247 13086 16 0 209377 0 vsize: 837572 [startup+440.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 40866 53 0 0 25 0 11 0 838798563 857673728 28259 4294967295 134512640 134569956 3221224368 3221214560 1131338443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28259 13086 16 0 209377 0 vsize: 837572 [startup+450.045 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 41858 54 0 0 25 0 11 0 838798563 857673728 28271 4294967295 134512640 134569956 3221224368 3221214576 1131348005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28271 13086 16 0 209377 0 vsize: 837572 [startup+460.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 42851 54 0 0 25 0 11 0 838798563 857673728 28285 4294967295 134512640 134569956 3221224368 3221214576 1131348630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28285 13086 16 0 209377 0 vsize: 837572 [startup+470.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 43842 54 0 0 25 0 11 0 838798563 857673728 28295 4294967295 134512640 134569956 3221224368 3221214664 1131366586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28295 13086 16 0 209377 0 vsize: 837572 [startup+480.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18102 0 1 0 44833 54 0 0 25 0 11 0 838798563 857673728 28307 4294967295 134512640 134569956 3221224368 3221214660 1131238150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28307 13086 16 0 209377 0 vsize: 837572 [startup+490.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 45825 54 0 0 25 0 11 0 838798563 857673728 28318 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28318 13086 16 0 209377 0 vsize: 837572 [startup+500.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 46815 54 0 0 25 0 11 0 838798563 857673728 28341 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28341 13086 16 0 209377 0 vsize: 837572 [startup+510.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 47805 54 0 0 25 0 11 0 838798563 857673728 28359 4294967295 134512640 134569956 3221224368 3221214656 1131238108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28359 13086 16 0 209377 0 vsize: 837572 [startup+520.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 48798 54 0 0 25 0 11 0 838798563 857673728 28372 4294967295 134512640 134569956 3221224368 3221214576 1131347758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28372 13086 16 0 209377 0 vsize: 837572 [startup+530.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 49790 54 0 0 25 0 11 0 838798563 857673728 28386 4294967295 134512640 134569956 3221224368 3221214776 1131405468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28386 13086 16 0 209377 0 vsize: 837572 [startup+540.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 50781 54 0 0 25 0 11 0 838798563 857673728 28397 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28397 13086 16 0 209377 0 vsize: 837572 [startup+550.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 51774 54 0 0 25 0 11 0 838798563 857673728 28405 4294967295 134512640 134569956 3221224368 3221214664 1131368060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28405 13086 16 0 209377 0 vsize: 837572 [startup+560.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 52765 55 0 0 25 0 11 0 838798563 857673728 28414 4294967295 134512640 134569956 3221224368 3221214568 1131215285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28414 13086 16 0 209377 0 vsize: 837572 [startup+570.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 53756 55 0 0 25 0 11 0 838798563 857673728 28424 4294967295 134512640 134569956 3221224368 3221214664 1131372904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28424 13086 16 0 209377 0 vsize: 837572 [startup+580.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 54748 55 0 0 25 0 11 0 838798563 857673728 28434 4294967295 134512640 134569956 3221224368 3221214664 1131368818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28434 13086 16 0 209377 0 vsize: 837572 [startup+590.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 55741 55 0 0 25 0 11 0 838798563 857673728 28443 4294967295 134512640 134569956 3221224368 3221214576 1131349088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28443 13086 16 0 209377 0 vsize: 837572 [startup+600.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 56732 55 0 0 25 0 11 0 838798563 857673728 28451 4294967295 134512640 134569956 3221224368 3221214660 1131338272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28451 13086 16 0 209377 0 vsize: 837572 [startup+610.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 57724 55 0 0 25 0 11 0 838798563 857673728 28458 4294967295 134512640 134569956 3221224368 3221214576 1131347773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28458 13086 16 0 209377 0 vsize: 837572 [startup+620.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 58716 55 0 0 25 0 11 0 838798563 857673728 28466 4294967295 134512640 134569956 3221224368 3221214576 1131347771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28466 13086 16 0 209377 0 vsize: 837572 [startup+630.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 59708 55 0 0 25 0 11 0 838798563 857673728 28475 4294967295 134512640 134569956 3221224368 3221214576 1131347880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28475 13086 16 0 209377 0 vsize: 837572 [startup+640.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 60699 55 0 0 25 0 11 0 838798563 857673728 28484 4294967295 134512640 134569956 3221224368 3221214664 1131368868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28484 13086 16 0 209377 0 vsize: 837572 [startup+650.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 61692 55 0 0 25 0 11 0 838798563 857673728 28490 4294967295 134512640 134569956 3221224368 3221214720 1131391790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28490 13086 16 0 209377 0 vsize: 837572 [startup+660.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 62683 55 0 0 25 0 11 0 838798563 857673728 28499 4294967295 134512640 134569956 3221224368 3221214568 1131215273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28499 13086 16 0 209377 0 vsize: 837572 [startup+670.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 63674 56 0 0 25 0 11 0 838798563 857673728 28506 4294967295 134512640 134569956 3221224368 3221214576 1131348005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28506 13086 16 0 209377 0 vsize: 837572 [startup+680.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 64666 56 0 0 25 0 11 0 838798563 857673728 28515 4294967295 134512640 134569956 3221224368 3221214616 1131248485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28515 13086 16 0 209377 0 vsize: 837572 [startup+690.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 65657 56 0 0 25 0 11 0 838798563 857673728 28521 4294967295 134512640 134569956 3221224368 3221214664 1131371638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28521 13086 16 0 209377 0 vsize: 837572 [startup+700.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 66648 56 0 0 25 0 11 0 838798563 857673728 28529 4294967295 134512640 134569956 3221224368 3221214664 1131366647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28529 13086 16 0 209377 0 vsize: 837572 [startup+710.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 67640 56 0 0 25 0 11 0 838798563 857673728 28540 4294967295 134512640 134569956 3221224368 3221214576 1131347739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28540 13086 16 0 209377 0 vsize: 837572 [startup+720.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 68631 56 0 0 25 0 11 0 838798563 857673728 28547 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28547 13086 16 0 209377 0 vsize: 837572 [startup+730.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 69622 56 0 0 25 0 11 0 838798563 857673728 28555 4294967295 134512640 134569956 3221224368 3221214576 1131347797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28555 13086 16 0 209377 0 vsize: 837572 [startup+740.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 70613 56 0 0 25 0 11 0 838798563 857673728 28565 4294967295 134512640 134569956 3221224368 3221214664 1131368868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28565 13086 16 0 209377 0 vsize: 837572 [startup+750.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 71604 56 0 0 25 0 11 0 838798563 857673728 28573 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28573 13086 16 0 209377 0 vsize: 837572 [startup+760.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 72598 56 0 0 25 0 11 0 838798563 857673728 28580 4294967295 134512640 134569956 3221224368 3221214664 1131372876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28580 13086 16 0 209377 0 vsize: 837572 [startup+770.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 73588 57 0 0 25 0 11 0 838798563 857673728 28588 4294967295 134512640 134569956 3221224368 3221214664 1131372680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28588 13086 16 0 209377 0 vsize: 837572 [startup+780.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 74579 57 0 0 25 0 11 0 838798563 857673728 28597 4294967295 134512640 134569956 3221224368 3221214576 1131347771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28597 13086 16 0 209377 0 vsize: 837572 [startup+790.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 75571 57 0 0 25 0 11 0 838798563 857673728 28603 4294967295 134512640 134569956 3221224368 3221214664 1131372666 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28603 13086 16 0 209377 0 vsize: 837572 [startup+800.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 76561 57 0 0 25 0 11 0 838798563 857673728 28613 4294967295 134512640 134569956 3221224368 3221214528 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28613 13086 16 0 209377 0 vsize: 837572 [startup+810.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 77552 57 0 0 25 0 11 0 838798563 857673728 28620 4294967295 134512640 134569956 3221224368 3221214576 1131347773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28620 13086 16 0 209377 0 vsize: 837572 [startup+820.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 78544 57 0 0 25 0 11 0 838798563 857673728 28626 4294967295 134512640 134569956 3221224368 3221214576 1131348005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28626 13086 16 0 209377 0 vsize: 837572 [startup+830.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 79534 57 0 0 25 0 11 0 838798563 857673728 28634 4294967295 134512640 134569956 3221224368 3221214656 1131238129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28634 13086 16 0 209377 0 vsize: 837572 [startup+840.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 80523 58 0 0 25 0 11 0 838798563 857673728 28642 4294967295 134512640 134569956 3221224368 3221214656 1131238113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28642 13086 16 0 209377 0 vsize: 837572 [startup+850.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 81512 58 0 0 25 0 11 0 838798563 857673728 28650 4294967295 134512640 134569956 3221224368 3221214600 1131427693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28650 13086 16 0 209377 0 vsize: 837572 [startup+860.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 82501 58 0 0 25 0 11 0 838798563 857673728 28657 4294967295 134512640 134569956 3221224368 3221214664 1131369283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28657 13086 16 0 209377 0 vsize: 837572 [startup+870.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 83490 58 0 0 25 0 11 0 838798563 857673728 28686 4294967295 134512640 134569956 3221224368 3221214576 1131348972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28686 13086 16 0 209377 0 vsize: 837572 [startup+880.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 84478 59 0 0 25 0 11 0 838798563 857673728 28702 4294967295 134512640 134569956 3221224368 3221214664 1131372192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28702 13086 16 0 209377 0 vsize: 837572 [startup+890.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 85468 59 0 0 25 0 11 0 838798563 857673728 28715 4294967295 134512640 134569956 3221224368 3221214616 1131329072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28715 13086 16 0 209377 0 vsize: 837572 [startup+900.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 86458 59 0 0 25 0 11 0 838798563 857673728 28729 4294967295 134512640 134569956 3221224368 3221214664 1131368433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28729 13086 16 0 209377 0 vsize: 837572 [startup+910.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 87448 59 0 0 25 0 11 0 838798563 857673728 28743 4294967295 134512640 134569956 3221224368 3221214576 1131347831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28743 13086 16 0 209377 0 vsize: 837572 [startup+920.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 88438 59 0 0 25 0 11 0 838798563 857673728 28750 4294967295 134512640 134569956 3221224368 3221214664 1131372680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28750 13086 16 0 209377 0 vsize: 837572 [startup+930.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 89429 59 0 0 25 0 11 0 838798563 857673728 28756 4294967295 134512640 134569956 3221224368 3221214656 1131238115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28756 13086 16 0 209377 0 vsize: 837572 [startup+940.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 90419 59 0 0 25 0 11 0 838798563 857673728 28762 4294967295 134512640 134569956 3221224368 3221214560 1131338431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28762 13086 16 0 209377 0 vsize: 837572 [startup+950.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 91409 59 0 0 25 0 11 0 838798563 857673728 28768 4294967295 134512640 134569956 3221224368 3221214576 1131349099 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28768 13086 16 0 209377 0 vsize: 837572 [startup+960.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 92400 59 0 0 25 0 11 0 838798563 857673728 28774 4294967295 134512640 134569956 3221224368 3221214576 1131347993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28774 13086 16 0 209377 0 vsize: 837572 [startup+970.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 93391 59 0 0 25 0 11 0 838798563 857673728 28781 4294967295 134512640 134569956 3221224368 3221214664 1131366651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28781 13086 16 0 209377 0 vsize: 837572 [startup+980.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 94381 60 0 0 25 0 11 0 838798563 857673728 28787 4294967295 134512640 134569956 3221224368 3221214664 1131368868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28787 13086 16 0 209377 0 vsize: 837572 [startup+990.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) S 1157 24172 24171 0 -1 0 18103 0 1 0 95371 60 0 0 25 0 11 0 838798563 857673728 28793 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28793 13086 16 0 209377 0 vsize: 837572 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 96362 60 0 0 25 0 11 0 838798563 857673728 28799 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28799 13086 16 0 209377 0 vsize: 837572 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 97352 60 0 0 25 0 11 0 838798563 857673728 28805 4294967295 134512640 134569956 3221224368 3221214664 1131370122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28805 13086 16 0 209377 0 vsize: 837572 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 98342 60 0 0 25 0 11 0 838798563 857673728 28810 4294967295 134512640 134569956 3221224368 3221214512 1131215293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28810 13086 16 0 209377 0 vsize: 837572 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 99333 60 0 0 25 0 11 0 838798563 857673728 28816 4294967295 134512640 134569956 3221224368 3221214664 1131368048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28816 13086 16 0 209377 0 vsize: 837572 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 100323 60 0 0 25 0 11 0 838798563 857673728 28822 4294967295 134512640 134569956 3221224368 3221214664 1131366369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28822 13086 16 0 209377 0 vsize: 837572 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 101313 60 0 0 25 0 11 0 838798563 857673728 28828 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28828 13086 16 0 209377 0 vsize: 837572 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 102304 60 0 0 25 0 11 0 838798563 857673728 28832 4294967295 134512640 134569956 3221224368 3221214664 1131366586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28832 13086 16 0 209377 0 vsize: 837572 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 103293 60 0 0 25 0 11 0 838798563 857673728 28838 4294967295 134512640 134569956 3221224368 3221214664 1131372232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28838 13086 16 0 209377 0 vsize: 837572 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 104283 60 0 0 25 0 11 0 838798563 857673728 28844 4294967295 134512640 134569956 3221224368 3221214576 1131347817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28844 13086 16 0 209377 0 vsize: 837572 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 105273 61 0 0 25 0 11 0 838798563 857673728 28849 4294967295 134512640 134569956 3221224368 3221214664 1131366586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28849 13086 16 0 209377 0 vsize: 837572 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 106264 61 0 0 25 0 11 0 838798563 857673728 28855 4294967295 134512640 134569956 3221224368 3221214568 1131215221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28855 13086 16 0 209377 0 vsize: 837572 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 107254 61 0 0 25 0 11 0 838798563 857673728 28861 4294967295 134512640 134569956 3221224368 3221214568 1131215236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28861 13086 16 0 209377 0 vsize: 837572 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 108243 61 0 0 25 0 11 0 838798563 857673728 28864 4294967295 134512640 134569956 3221224368 3221214664 1131366586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28864 13086 16 0 209377 0 vsize: 837572 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 109234 61 0 0 25 0 11 0 838798563 857673728 28870 4294967295 134512640 134569956 3221224368 3221214560 1131338326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28870 13086 16 0 209377 0 vsize: 837572 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 110224 61 0 0 25 0 11 0 838798563 857673728 28875 4294967295 134512640 134569956 3221224368 3221214664 1131372823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28875 13086 16 0 209377 0 vsize: 837572 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 111213 61 0 0 25 0 11 0 838798563 857673728 28881 4294967295 134512640 134569956 3221224368 3221214576 1131349110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28881 13086 16 0 209377 0 vsize: 837572 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 112202 61 0 0 25 0 11 0 838798563 857673728 28887 4294967295 134512640 134569956 3221224368 3221214664 1131372232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28887 13086 16 0 209377 0 vsize: 837572 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 113189 61 0 0 25 0 11 0 838798563 857673728 28893 4294967295 134512640 134569956 3221224368 3221214576 1131348005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28893 13086 16 0 209377 0 vsize: 837572 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 114176 61 0 0 25 0 11 0 838798563 857673728 28904 4294967295 134512640 134569956 3221224368 3221214512 1131248696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28904 13086 16 0 209377 0 vsize: 837572 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 115165 61 0 0 25 0 11 0 838798563 857673728 28920 4294967295 134512640 134569956 3221224368 3221214664 1131372227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28920 13086 16 0 209377 0 vsize: 837572 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 116153 61 0 0 25 0 11 0 838798563 857673728 28933 4294967295 134512640 134569956 3221224368 3221214560 1131338415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28933 13086 16 0 209377 0 vsize: 837572 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 117141 61 0 0 25 0 11 0 838798563 857673728 28941 4294967295 134512640 134569956 3221224368 3221214616 1131329180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28941 13086 16 0 209377 0 vsize: 837572 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 118130 62 0 0 25 0 11 0 838798563 857673728 28950 4294967295 134512640 134569956 3221224368 3221214576 1131347993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28950 13086 16 0 209377 0 vsize: 837572 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 119118 62 0 0 25 0 11 0 838798563 857673728 28959 4294967295 134512640 134569956 3221224368 3221214576 1131347773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28959 13086 16 0 209377 0 vsize: 837572 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1168 Raw data (stat): 1158 (java) R 1157 24172 24171 0 -1 0 18103 0 1 0 120104 62 0 0 25 0 11 0 838798563 857673728 28966 4294967295 134512640 134569956 3221224368 3221214568 1131215287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209393 28966 13086 16 0 209377 0 vsize: 837572 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.21 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 1170 Raw data (stat): 1158 (java) Z 1157 24172 24171 0 -1 1036 18103 9573 1 0 120109 62 3626 34 25 0 1 0 838798563 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): 1240.21 CPU time (s): 1238.33 CPU user time (s): 1237.36 CPU system time (s): 0.973851 CPU usage (%): 99.8481 Max. virtual memory (Kb): 837572 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####