Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb |
MD5SUM | 2363c3dae186baf817249083f089ff6e |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824000000 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4832120913850916 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.86571 |
Number of variables | 53335 |
Total number of constraints | 7608 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2495 |
Number of constraints which are nor clauses,nor cardinality constraints | 5113 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50934 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 11:13:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21153 boxname=wulflinc4 idbench=1141 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 2363c3dae186baf817249083f089ff6e /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-swath1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-swath1.opb IDLAUNCH: 21153 /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: 652992 kB Buffers: 34504 kB Cached: 326316 kB SwapCached: 600 kB Active: 79060 kB Inactive: 284172 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 652740 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5780 kB Slab: 12884 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 11:34:57 (client local time) WITH STATUS 143 IN 1279.25 SECONDS stats: 21153 7 1279.25 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/wulflinc4/normalized-mps-v2-20-10-swath1.opb c reading problem ... done. Time 799.441 ms. c #vars 53335 c #constraints 5405 c starts : 1 c conflicts : 0 c decisions : 30 c propagations : 5985 c inspects : 8831 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1269.273 #### 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.97 0.99 2/54 918 Raw data (stat): 918 (runsolver) R 917 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780202621 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.88 0.97 0.99 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 849 40 0 0 24 0 10 0 780202621 854011904 19501 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208499 19501 13086 16 0 208483 0 vsize: 833996 [startup+20.0052 s] Raw data (loadavg): 0.90 0.97 0.99 2/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 1748 41 0 0 25 0 10 0 780202621 854536192 20111 4294967295 134512640 134569956 3221224368 3221213608 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208627 20111 13086 16 0 208611 0 vsize: 834508 [startup+30.0056 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 2627 41 0 0 25 0 10 0 780202621 857157632 21207 4294967295 134512640 134569956 3221224368 3221214644 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 21207 13086 16 0 209251 0 vsize: 837068 [startup+40.0089 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 3532 41 0 0 24 0 10 0 780202621 857157632 21538 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 21538 13086 16 0 209251 0 vsize: 837068 [startup+50.0119 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 4450 41 0 0 25 0 10 0 780202621 857157632 21728 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 21728 13086 16 0 209251 0 vsize: 837068 [startup+60.0123 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 5369 41 0 0 25 0 10 0 780202621 857157632 21870 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 21870 13086 16 0 209251 0 vsize: 837068 [startup+70.0132 s] Raw data (loadavg): 1.07 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 6291 42 0 0 25 0 10 0 780202621 857157632 22089 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22089 13086 16 0 209251 0 vsize: 837068 [startup+80.0135 s] Raw data (loadavg): 1.06 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 7228 43 0 0 25 0 10 0 780202621 857157632 22199 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22199 13086 16 0 209251 0 vsize: 837068 [startup+90.0141 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 8164 43 0 0 25 0 10 0 780202621 857157632 22306 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22306 13086 16 0 209251 0 vsize: 837068 [startup+100.015 s] Raw data (loadavg): 1.04 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 9104 43 0 0 25 0 10 0 780202621 857157632 22398 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22398 13086 16 0 209251 0 vsize: 837068 [startup+110.015 s] Raw data (loadavg): 1.11 1.02 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 10041 44 0 0 25 0 10 0 780202621 857157632 22494 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22494 13086 16 0 209251 0 vsize: 837068 [startup+120.017 s] Raw data (loadavg): 1.09 1.02 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 10979 44 0 0 25 0 10 0 780202621 857157632 22581 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22581 13086 16 0 209251 0 vsize: 837068 [startup+130.021 s] Raw data (loadavg): 1.08 1.01 1.00 2/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 11921 44 0 0 25 0 10 0 780202621 857157632 22659 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22659 13086 16 0 209251 0 vsize: 837068 [startup+140.021 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 12860 44 0 0 25 0 10 0 780202621 857157632 22736 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22736 13086 16 0 209251 0 vsize: 837068 [startup+150.024 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 13800 44 0 0 25 0 10 0 780202621 857157632 22811 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22811 13086 16 0 209251 0 vsize: 837068 [startup+160.025 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 14738 45 0 0 24 0 10 0 780202621 857157632 22883 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22883 13086 16 0 209251 0 vsize: 837068 [startup+170.026 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 15680 45 0 0 25 0 10 0 780202621 857157632 22949 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209267 22949 13086 16 0 209251 0 vsize: 837068 [startup+180.027 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 16598 46 0 0 24 0 10 0 780202621 857157632 23016 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23016 13086 16 0 209251 0 vsize: 837068 [startup+190.028 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 17525 46 0 0 25 0 10 0 780202621 857157632 23236 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23236 13086 16 0 209251 0 vsize: 837068 [startup+200.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 18462 46 0 0 24 0 10 0 780202621 857157632 23299 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23299 13086 16 0 209251 0 vsize: 837068 [startup+210.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 19402 46 0 0 25 0 10 0 780202621 857157632 23356 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23356 13086 16 0 209251 0 vsize: 837068 [startup+220.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 20339 46 0 0 25 0 10 0 780202621 857157632 23416 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23416 13086 16 0 209251 0 vsize: 837068 [startup+230.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 21279 46 0 0 25 0 10 0 780202621 857157632 23471 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23471 13086 16 0 209251 0 vsize: 837068 [startup+240.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 22215 46 0 0 25 0 10 0 780202621 857157632 23527 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23527 13086 16 0 209251 0 vsize: 837068 [startup+250.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 23155 46 0 0 25 0 10 0 780202621 857157632 23579 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23579 13086 16 0 209251 0 vsize: 837068 [startup+260.034 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 24090 47 0 0 25 0 10 0 780202621 857157632 23633 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23633 13086 16 0 209251 0 vsize: 837068 [startup+270.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 25028 47 0 0 25 0 10 0 780202621 857157632 23683 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23683 13086 16 0 209251 0 vsize: 837068 [startup+280.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 25962 47 0 0 25 0 10 0 780202621 857157632 23734 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23734 13086 16 0 209251 0 vsize: 837068 [startup+290.037 s] Raw data (loadavg): 1.00 1.00 1.00 3/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 26899 47 0 0 25 0 10 0 780202621 857157632 23783 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23783 13086 16 0 209251 0 vsize: 837068 [startup+300.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 27834 47 0 0 25 0 10 0 780202621 857157632 23832 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23832 13086 16 0 209251 0 vsize: 837068 [startup+310.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 28770 47 0 0 25 0 10 0 780202621 857157632 23878 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23878 13086 16 0 209251 0 vsize: 837068 [startup+320.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 29704 48 0 0 25 0 10 0 780202621 857157632 23926 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23926 13086 16 0 209251 0 vsize: 837068 [startup+330.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 30646 48 0 0 24 0 10 0 780202621 857157632 23974 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 23974 13086 16 0 209251 0 vsize: 837068 [startup+340.161 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 31581 48 0 0 25 0 10 0 780202621 857157632 24024 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24024 13086 16 0 209251 0 vsize: 837068 [startup+350.161 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 32517 48 0 0 25 0 10 0 780202621 857157632 24066 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24066 13086 16 0 209251 0 vsize: 837068 [startup+360.161 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 33448 48 0 0 25 0 10 0 780202621 857157632 24111 4294967295 134512640 134569956 3221224368 3221214336 1079668423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24111 13086 16 0 209251 0 vsize: 837068 [startup+370.163 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 34383 48 0 0 25 0 10 0 780202621 857157632 24153 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24153 13086 16 0 209251 0 vsize: 837068 [startup+380.171 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 35314 48 0 0 24 0 10 0 780202621 857157632 24197 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24197 13086 16 0 209251 0 vsize: 837068 [startup+390.171 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 36248 48 0 0 25 0 10 0 780202621 857157632 24237 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24237 13086 16 0 209251 0 vsize: 837068 [startup+400.173 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 37182 48 0 0 25 0 10 0 780202621 857157632 24277 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24277 13086 16 0 209251 0 vsize: 837068 [startup+410.173 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 38111 48 0 0 24 0 10 0 780202621 857157632 24319 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24319 13086 16 0 209251 0 vsize: 837068 [startup+420.175 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 39043 48 0 0 25 0 10 0 780202621 857157632 24358 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24358 13086 16 0 209251 0 vsize: 837068 [startup+430.175 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 39976 48 0 0 25 0 10 0 780202621 857157632 24396 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24396 13086 16 0 209251 0 vsize: 837068 [startup+440.179 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 40906 48 0 0 25 0 10 0 780202621 857157632 24438 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24438 13086 16 0 209251 0 vsize: 837068 [startup+450.18 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 41835 48 0 0 25 0 10 0 780202621 857157632 24478 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24478 13086 16 0 209251 0 vsize: 837068 [startup+460.181 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 42766 49 0 0 25 0 10 0 780202621 857157632 24515 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24515 13086 16 0 209251 0 vsize: 837068 [startup+470.182 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 43698 49 0 0 25 0 10 0 780202621 857157632 24552 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24552 13086 16 0 209251 0 vsize: 837068 [startup+480.183 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 44623 49 0 0 24 0 10 0 780202621 857157632 24591 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24591 13086 16 0 209251 0 vsize: 837068 [startup+490.184 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 45553 49 0 0 25 0 10 0 780202621 857157632 24627 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24627 13086 16 0 209251 0 vsize: 837068 [startup+500.184 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 46483 49 0 0 25 0 10 0 780202621 857157632 24662 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24662 13086 16 0 209251 0 vsize: 837068 [startup+510.185 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 47408 49 0 0 24 0 10 0 780202621 857157632 24699 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24699 13086 16 0 209251 0 vsize: 837068 [startup+520.186 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 48337 49 0 0 25 0 10 0 780202621 857157632 24734 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24734 13086 16 0 209251 0 vsize: 837068 [startup+530.187 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 49265 50 0 0 25 0 10 0 780202621 857157632 24768 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24768 13086 16 0 209251 0 vsize: 837068 [startup+540.188 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 50194 50 0 0 25 0 10 0 780202621 857157632 24803 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24803 13086 16 0 209251 0 vsize: 837068 [startup+550.189 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 51117 50 0 0 24 0 10 0 780202621 857157632 24838 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24838 13086 16 0 209251 0 vsize: 837068 [startup+560.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 52044 50 0 0 25 0 10 0 780202621 857157632 24872 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24872 13086 16 0 209251 0 vsize: 837068 [startup+570.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 52970 50 0 0 25 0 10 0 780202621 857157632 24905 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24905 13086 16 0 209251 0 vsize: 837068 [startup+580.191 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 53897 51 0 0 25 0 10 0 780202621 857157632 24938 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24938 13086 16 0 209251 0 vsize: 837068 [startup+590.191 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 54824 51 0 0 25 0 10 0 780202621 857157632 24970 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 24970 13086 16 0 209251 0 vsize: 837068 [startup+600.194 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) S 917 21152 21151 0 -1 0 18038 0 1 0 55745 51 0 0 25 0 10 0 780202621 857157632 25004 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25004 13086 16 0 209251 0 vsize: 837068 [startup+610.195 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 56670 51 0 0 25 0 10 0 780202621 857157632 25038 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25038 13086 16 0 209251 0 vsize: 837068 [startup+620.196 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 57595 51 0 0 25 0 10 0 780202621 857157632 25069 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25069 13086 16 0 209251 0 vsize: 837068 [startup+630.197 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 58521 51 0 0 25 0 10 0 780202621 857157632 25101 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25101 13086 16 0 209251 0 vsize: 837068 [startup+640.198 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 59445 51 0 0 25 0 10 0 780202621 857157632 25132 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25132 13086 16 0 209251 0 vsize: 837068 [startup+650.199 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 60370 51 0 0 25 0 10 0 780202621 857157632 25163 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25163 13086 16 0 209251 0 vsize: 837068 [startup+660.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 61295 51 0 0 25 0 10 0 780202621 857157632 25194 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25194 13086 16 0 209251 0 vsize: 837068 [startup+670.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 62216 52 0 0 25 0 10 0 780202621 857157632 25682 4294967295 134512640 134569956 3221224368 3221214144 1076874544 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25682 13086 16 0 209251 0 vsize: 837068 [startup+680.205 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 63141 52 0 0 25 0 10 0 780202621 857157632 25682 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25682 13086 16 0 209251 0 vsize: 837068 [startup+690.205 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 64059 52 0 0 25 0 10 0 780202621 857157632 25693 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25693 13086 16 0 209251 0 vsize: 837068 [startup+700.206 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 64975 53 0 0 25 0 10 0 780202621 857157632 25714 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25714 13086 16 0 209251 0 vsize: 837068 [startup+710.206 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18038 0 1 0 65890 53 0 0 25 0 10 0 780202621 857157632 25736 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209267 25736 13086 16 0 209251 0 vsize: 837068 [startup+720.207 s] Raw data (loadavg): 1.08 1.02 1.01 4/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18081 0 1 0 66819 54 0 0 25 0 10 0 780202621 867237888 29798 4294967295 134512640 134569956 3221224368 3221213144 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211728 29801 13086 16 0 211712 0 vsize: 846912 [startup+730.207 s] Raw data (loadavg): 1.14 1.03 1.01 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 67682 55 0 0 25 0 10 0 780202621 872292352 35377 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212962 35377 13086 16 0 212946 0 vsize: 851848 [startup+740.208 s] Raw data (loadavg): 1.12 1.03 1.01 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 68598 55 0 0 25 0 10 0 780202621 864047104 33453 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33453 13086 16 0 210933 0 vsize: 843796 [startup+750.21 s] Raw data (loadavg): 1.10 1.03 1.01 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 69505 56 0 0 25 0 10 0 780202621 864047104 33476 4294967295 134512640 134569956 3221224368 3221214772 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33476 13086 16 0 210933 0 vsize: 843796 [startup+760.211 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 70410 56 0 0 25 0 10 0 780202621 864047104 33518 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33518 13086 16 0 210933 0 vsize: 843796 [startup+770.21 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 71315 57 0 0 20 0 10 0 780202621 864047104 33561 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33561 13086 16 0 210933 0 vsize: 843796 [startup+780.211 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 72218 57 0 0 20 0 10 0 780202621 864047104 33596 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33596 13086 16 0 210933 0 vsize: 843796 [startup+790.211 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 73122 58 0 0 19 0 10 0 780202621 864047104 33638 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 33638 13086 16 0 210933 0 vsize: 843796 [startup+800.212 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 927 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18089 0 1 0 74003 61 0 0 25 0 10 0 780202621 864047104 37536 4294967295 134512640 134569956 3221224368 3221214888 1131228005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210949 37536 13086 16 0 210933 0 vsize: 843796 [startup+810.213 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 74909 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214544 1131328137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+820.214 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 75906 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214544 1131328392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+830.214 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 76902 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214648 1131609585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+840.215 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 77899 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214648 1131606738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+850.216 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 78896 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214648 1131606807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+860.216 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 79892 62 0 0 25 0 11 0 780202621 864575488 40323 4294967295 134512640 134569956 3221224368 3221214544 1131328802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40323 13086 16 0 211062 0 vsize: 844312 [startup+870.216 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 80888 62 0 0 25 0 11 0 780202621 864575488 40324 4294967295 134512640 134569956 3221224368 3221214648 1131606807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40324 13086 16 0 211062 0 vsize: 844312 [startup+880.217 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 81882 62 0 0 25 0 11 0 780202621 864575488 40324 4294967295 134512640 134569956 3221224368 3221214544 1131328233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40324 13086 16 0 211062 0 vsize: 844312 [startup+890.218 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 82878 63 0 0 25 0 11 0 780202621 864575488 40324 4294967295 134512640 134569956 3221224368 3221214544 1131327720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40324 13086 16 0 211062 0 vsize: 844312 [startup+900.219 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 83872 63 0 0 25 0 11 0 780202621 864575488 40325 4294967295 134512640 134569956 3221224368 3221214648 1131606876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40325 13086 16 0 211062 0 vsize: 844312 [startup+910.22 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 84867 63 0 0 25 0 11 0 780202621 864575488 40325 4294967295 134512640 134569956 3221224368 3221214648 1131606833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40325 13086 16 0 211062 0 vsize: 844312 [startup+920.22 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 85862 63 0 0 25 0 11 0 780202621 864575488 40326 4294967295 134512640 134569956 3221224368 3221214648 1131609676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40326 13086 16 0 211062 0 vsize: 844312 [startup+930.221 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 86858 63 0 0 25 0 11 0 780202621 864575488 40326 4294967295 134512640 134569956 3221224368 3221214648 1131609696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40326 13086 16 0 211062 0 vsize: 844312 [startup+940.22 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 87852 63 0 0 25 0 11 0 780202621 864575488 40327 4294967295 134512640 134569956 3221224368 3221214544 1131327709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40327 13086 16 0 211062 0 vsize: 844312 [startup+950.221 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 88847 64 0 0 25 0 11 0 780202621 864575488 40327 4294967295 134512640 134569956 3221224368 3221214544 1131328072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40327 13086 16 0 211062 0 vsize: 844312 [startup+960.222 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 89842 64 0 0 25 0 11 0 780202621 864575488 40328 4294967295 134512640 134569956 3221224368 3221214544 1131328135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40328 13086 16 0 211062 0 vsize: 844312 [startup+970.222 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 90836 64 0 0 25 0 11 0 780202621 864575488 40329 4294967295 134512640 134569956 3221224368 3221214544 1131328649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40329 13086 16 0 211062 0 vsize: 844312 [startup+980.223 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 91831 64 0 0 25 0 11 0 780202621 864575488 40329 4294967295 134512640 134569956 3221224368 3221214648 1131607726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40329 13086 16 0 211062 0 vsize: 844312 [startup+990.223 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 92825 64 0 0 25 0 11 0 780202621 864575488 40330 4294967295 134512640 134569956 3221224368 3221214648 1131607726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40330 13086 16 0 211062 0 vsize: 844312 [startup+1000.22 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 93819 64 0 0 25 0 11 0 780202621 864575488 40331 4294967295 134512640 134569956 3221224368 3221214544 1131327720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40331 13086 16 0 211062 0 vsize: 844312 [startup+1010.22 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 94812 65 0 0 25 0 11 0 780202621 864575488 40332 4294967295 134512640 134569956 3221224368 3221214544 1131328139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40332 13086 16 0 211062 0 vsize: 844312 [startup+1020.22 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 95804 65 0 0 25 0 11 0 780202621 864575488 40333 4294967295 134512640 134569956 3221224368 3221214544 1131328414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40333 13086 16 0 211062 0 vsize: 844312 [startup+1030.23 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 96797 65 0 0 25 0 11 0 780202621 864575488 40334 4294967295 134512640 134569956 3221224368 3221214648 1131610484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40334 13086 16 0 211062 0 vsize: 844312 [startup+1040.23 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 97790 66 0 0 25 0 11 0 780202621 864575488 40335 4294967295 134512640 134569956 3221224368 3221214648 1131606840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40335 13086 16 0 211062 0 vsize: 844312 [startup+1050.23 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 98782 66 0 0 25 0 11 0 780202621 864575488 40336 4294967295 134512640 134569956 3221224368 3221214648 1131607643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40336 13086 16 0 211062 0 vsize: 844312 [startup+1060.23 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 99774 67 0 0 25 0 11 0 780202621 864575488 40337 4294967295 134512640 134569956 3221224368 3221214648 1131605694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40337 13086 16 0 211062 0 vsize: 844312 [startup+1070.23 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 100766 67 0 0 25 0 11 0 780202621 864575488 40338 4294967295 134512640 134569956 3221224368 3221214648 1131607726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40338 13086 16 0 211062 0 vsize: 844312 [startup+1080.23 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 101758 67 0 0 25 0 11 0 780202621 864575488 40339 4294967295 134512640 134569956 3221224368 3221214544 1131328372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40339 13086 16 0 211062 0 vsize: 844312 [startup+1090.23 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 102750 68 0 0 25 0 11 0 780202621 864575488 40340 4294967295 134512640 134569956 3221224368 3221214648 1131605740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40340 13086 16 0 211062 0 vsize: 844312 [startup+1100.23 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 103742 68 0 0 25 0 11 0 780202621 864575488 40342 4294967295 134512640 134569956 3221224368 3221214648 1131605645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40342 13086 16 0 211062 0 vsize: 844312 [startup+1110.23 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 104734 68 0 0 25 0 11 0 780202621 864575488 40343 4294967295 134512640 134569956 3221224368 3221214544 1131328810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40343 13086 16 0 211062 0 vsize: 844312 [startup+1120.23 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 105725 69 0 0 25 0 11 0 780202621 864575488 40344 4294967295 134512640 134569956 3221224368 3221214544 1131328688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40344 13086 16 0 211062 0 vsize: 844312 [startup+1130.23 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 106716 69 0 0 25 0 11 0 780202621 864575488 40345 4294967295 134512640 134569956 3221224368 3221214544 1131328610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40345 13086 16 0 211062 0 vsize: 844312 [startup+1140.23 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 107707 70 0 0 25 0 11 0 780202621 864575488 40347 4294967295 134512640 134569956 3221224368 3221214648 1131605694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40347 13086 16 0 211062 0 vsize: 844312 [startup+1150.23 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 108699 70 0 0 25 0 11 0 780202621 864575488 40348 4294967295 134512640 134569956 3221224368 3221214648 1131606900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40348 13086 16 0 211062 0 vsize: 844312 [startup+1160.23 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 109689 71 0 0 25 0 11 0 780202621 864575488 40349 4294967295 134512640 134569956 3221224368 3221214648 1131606833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40349 13086 16 0 211062 0 vsize: 844312 [startup+1170.24 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 110681 71 0 0 25 0 11 0 780202621 864575488 40351 4294967295 134512640 134569956 3221224368 3221214648 1131609674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40351 13086 16 0 211062 0 vsize: 844312 [startup+1180.24 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 111673 71 0 0 25 0 11 0 780202621 864575488 40352 4294967295 134512640 134569956 3221224368 3221214544 1131328179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211078 40352 13086 16 0 211062 0 vsize: 844312 [startup+1190.24 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 112662 71 0 0 25 0 11 0 780202621 864575488 40354 4294967295 134512640 134569956 3221224368 3221214544 1131327720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40354 13086 16 0 211062 0 vsize: 844312 [startup+1200.24 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 113654 71 0 0 25 0 11 0 780202621 864575488 40355 4294967295 134512640 134569956 3221224368 3221214544 1131328252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40355 13086 16 0 211062 0 vsize: 844312 [startup+1210.24 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 114645 71 0 0 25 0 11 0 780202621 864575488 40357 4294967295 134512640 134569956 3221224368 3221214648 1131609585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40357 13086 16 0 211062 0 vsize: 844312 [startup+1220.25 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 115637 71 0 0 25 0 11 0 780202621 864575488 40359 4294967295 134512640 134569956 3221224368 3221214544 1131328179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40359 13086 16 0 211062 0 vsize: 844312 [startup+1230.25 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 116627 71 0 0 25 0 11 0 780202621 864575488 40360 4294967295 134512640 134569956 3221224368 3221214456 1131188701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40360 13086 16 0 211062 0 vsize: 844312 [startup+1240.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 117618 72 0 0 25 0 11 0 780202621 864575488 40362 4294967295 134512640 134569956 3221224368 3221214544 1131328625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40362 13086 16 0 211062 0 vsize: 844312 [startup+1250.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 118609 72 0 0 25 0 11 0 780202621 864575488 40364 4294967295 134512640 134569956 3221224368 3221214544 1131328053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40364 13086 16 0 211062 0 vsize: 844312 [startup+1260.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 119599 72 0 0 25 0 11 0 780202621 864575488 40366 4294967295 134512640 134569956 3221224368 3221214544 1131327723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40366 13086 16 0 211062 0 vsize: 844312 [startup+1270.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 928 Raw data (stat): 918 (java) R 917 21152 21151 0 -1 0 18115 0 1 0 120589 72 0 0 25 0 11 0 780202621 864575488 40368 4294967295 134512640 134569956 3221224368 3221214544 1131328702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211078 40368 13086 16 0 211062 0 vsize: 844312 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.37 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 930 Raw data (stat): 918 (java) Z 917 21152 21151 0 -1 1036 18115 27252 1 0 120593 72 7173 85 25 0 1 0 780202621 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): 1270.37 CPU time (s): 1279.25 CPU user time (s): 1277.66 CPU system time (s): 1.58276 CPU usage (%): 100.699 Max. virtual memory (Kb): 851848 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####