Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb |
MD5SUM | 63dde7c8c3b02bd89e3e065c5bd58b69 |
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 | 82500 |
Biggest coefficient in the objective function | 221357547985043456 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 595796164546237562880 |
Number of bits of the sum of numbers in the objective function | 70 |
Biggest number in a constraint | 221357547985043456 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 595796164546237562880 |
Number of bits of the biggest sum of numbers | 70 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.744886 |
Number of variables | 82500 |
Total number of constraints | 397 |
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 | 397 |
Minimum length of a constraint | 300 |
Maximum length of a constraint | 720 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-25 08:06:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20882 boxname=wulflinc3 idbench=870 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 63dde7c8c3b02bd89e3e065c5bd58b69 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-scsd8.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-scsd8.opb IDLAUNCH: 20882 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 820524 kB Buffers: 28560 kB Cached: 165240 kB SwapCached: 0 kB Active: 69900 kB Inactive: 126520 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 820272 kB SwapTotal: 2097136 kB SwapFree: 2096800 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6576 kB Slab: 12028 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:28:02 (client local time) WITH STATUS 143 IN 1310.02 SECONDS stats: 20882 7 1310.02 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/wulflinc3/normalized-mps-v2-20-10-scsd8.opb c reading problem ... c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 s UNKNOWN c Total CPU time (ms) : 1309.146 #### 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.93 0.99 0.99 2/54 31585 Raw data (stat): 31585 (runsolver) R 31584 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779077892 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): 1.02 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 873 38 0 0 25 0 10 0 779077892 853536768 19363 4294967295 134512640 134569956 3221224368 3221214700 1130918439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 19363 13086 16 0 208367 0 vsize: 833532 [startup+20.0014 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 1770 39 0 0 25 0 10 0 779077892 853536768 19862 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 19862 13086 16 0 208367 0 vsize: 833532 [startup+30.0018 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 2656 39 0 0 25 0 10 0 779077892 853536768 20395 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 20395 13086 16 0 208367 0 vsize: 833532 [startup+40.0027 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 3570 40 0 0 25 0 10 0 779077892 853995520 20811 4294967295 134512640 134569956 3221224368 3221214768 1131236128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208495 20811 13086 16 0 208479 0 vsize: 833980 [startup+50.004 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 4490 40 0 0 25 0 10 0 779077892 853995520 20984 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208495 20984 13086 16 0 208479 0 vsize: 833980 [startup+60.0043 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 5404 41 0 0 25 0 10 0 779077892 853995520 21124 4294967295 134512640 134569956 3221224368 3221214768 1131236359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208495 21124 13086 16 0 208479 0 vsize: 833980 [startup+70.0072 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 6334 41 0 0 25 0 10 0 779077892 853536768 21263 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21263 13086 16 0 208367 0 vsize: 833532 [startup+80.0079 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 7271 42 0 0 25 0 10 0 779077892 853536768 21369 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21369 13086 16 0 208367 0 vsize: 833532 [startup+90.0073 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 8209 42 0 0 25 0 10 0 779077892 853536768 21467 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21467 13086 16 0 208367 0 vsize: 833532 [startup+100.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 9152 43 0 0 25 0 10 0 779077892 853536768 21554 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21554 13086 16 0 208367 0 vsize: 833532 [startup+110.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 10092 43 0 0 25 0 10 0 779077892 853536768 21640 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21640 13086 16 0 208367 0 vsize: 833532 [startup+120.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 11032 44 0 0 25 0 10 0 779077892 853536768 21721 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21721 13086 16 0 208367 0 vsize: 833532 [startup+130.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 11977 44 0 0 25 0 10 0 779077892 853536768 21793 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21793 13086 16 0 208367 0 vsize: 833532 [startup+140.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 12918 45 0 0 25 0 10 0 779077892 853536768 21865 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21865 13086 16 0 208367 0 vsize: 833532 [startup+150.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 13859 45 0 0 25 0 10 0 779077892 853536768 21935 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 21935 13086 16 0 208367 0 vsize: 833532 [startup+160.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 14799 45 0 0 24 0 10 0 779077892 853536768 22002 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22002 13086 16 0 208367 0 vsize: 833532 [startup+170.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 15738 46 0 0 25 0 10 0 779077892 853536768 22063 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22063 13086 16 0 208367 0 vsize: 833532 [startup+180.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 16654 47 0 0 25 0 10 0 779077892 853536768 22122 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22122 13086 16 0 208367 0 vsize: 833532 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 17572 47 0 0 24 0 10 0 779077892 853536768 22439 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22439 13086 16 0 208367 0 vsize: 833532 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 18512 48 0 0 25 0 10 0 779077892 853536768 22494 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22494 13086 16 0 208367 0 vsize: 833532 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 19448 48 0 0 25 0 10 0 779077892 853536768 22551 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22551 13086 16 0 208367 0 vsize: 833532 [startup+220.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 20386 49 0 0 25 0 10 0 779077892 853536768 22605 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22605 13086 16 0 208367 0 vsize: 833532 [startup+230.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 21326 49 0 0 25 0 10 0 779077892 853536768 22658 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22658 13086 16 0 208367 0 vsize: 833532 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 22262 50 0 0 25 0 10 0 779077892 853536768 22710 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22710 13086 16 0 208367 0 vsize: 833532 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 23202 50 0 0 25 0 10 0 779077892 853536768 22759 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22759 13086 16 0 208367 0 vsize: 833532 [startup+260.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 24138 50 0 0 25 0 10 0 779077892 853536768 22809 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22809 13086 16 0 208367 0 vsize: 833532 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 25076 51 0 0 25 0 10 0 779077892 853536768 22855 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22855 13086 16 0 208367 0 vsize: 833532 [startup+280.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 26011 51 0 0 25 0 10 0 779077892 853536768 22904 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22904 13086 16 0 208367 0 vsize: 833532 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 26948 52 0 0 25 0 10 0 779077892 853536768 22948 4294967295 134512640 134569956 3221224368 3221214112 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22948 13086 16 0 208367 0 vsize: 833532 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 27882 53 0 0 25 0 10 0 779077892 853536768 22995 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 22995 13086 16 0 208367 0 vsize: 833532 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 28815 53 0 0 25 0 10 0 779077892 853536768 23039 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23039 13086 16 0 208367 0 vsize: 833532 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 29751 54 0 0 25 0 10 0 779077892 853536768 23082 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23082 13086 16 0 208367 0 vsize: 833532 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 30684 54 0 0 25 0 10 0 779077892 853536768 23126 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23126 13086 16 0 208367 0 vsize: 833532 [startup+340.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 31619 54 0 0 25 0 10 0 779077892 853536768 23168 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23168 13086 16 0 208367 0 vsize: 833532 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 32554 55 0 0 25 0 10 0 779077892 853536768 23208 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23208 13086 16 0 208367 0 vsize: 833532 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 33485 55 0 0 25 0 10 0 779077892 853536768 23250 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23250 13086 16 0 208367 0 vsize: 833532 [startup+370.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 34422 55 0 0 25 0 10 0 779077892 853536768 23289 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23289 13086 16 0 208367 0 vsize: 833532 [startup+380.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 35353 55 0 0 25 0 10 0 779077892 853536768 23329 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23329 13086 16 0 208367 0 vsize: 833532 [startup+390.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 36287 55 0 0 25 0 10 0 779077892 853536768 23368 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23368 13086 16 0 208367 0 vsize: 833532 [startup+400.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 37222 55 0 0 24 0 10 0 779077892 853536768 23405 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23405 13086 16 0 208367 0 vsize: 833532 [startup+410.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 38154 56 0 0 25 0 10 0 779077892 853536768 23443 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23443 13086 16 0 208367 0 vsize: 833532 [startup+420.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 39086 56 0 0 25 0 10 0 779077892 853536768 23481 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23481 13086 16 0 208367 0 vsize: 833532 [startup+430.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 40019 56 0 0 25 0 10 0 779077892 853536768 23517 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23517 13086 16 0 208367 0 vsize: 833532 [startup+440.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 40951 56 0 0 25 0 10 0 779077892 853536768 23552 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23552 13086 16 0 208367 0 vsize: 833532 [startup+450.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 41879 56 0 0 25 0 10 0 779077892 853536768 23590 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23590 13086 16 0 208367 0 vsize: 833532 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 42811 56 0 0 25 0 10 0 779077892 853536768 23625 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23625 13086 16 0 208367 0 vsize: 833532 [startup+470.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 43743 56 0 0 25 0 10 0 779077892 853536768 23660 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 23660 13086 16 0 208367 0 vsize: 833532 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 44670 56 0 0 24 0 10 0 779077892 853536768 23696 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23696 13086 16 0 208367 0 vsize: 833532 [startup+490.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 45600 56 0 0 25 0 10 0 779077892 853536768 23729 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23729 13086 16 0 208367 0 vsize: 833532 [startup+500.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 46531 56 0 0 25 0 10 0 779077892 853536768 23763 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23763 13086 16 0 208367 0 vsize: 833532 [startup+510.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 47460 57 0 0 25 0 10 0 779077892 853536768 23795 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23795 13086 16 0 208367 0 vsize: 833532 [startup+520.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 48385 57 0 0 25 0 10 0 779077892 853536768 23830 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23830 13086 16 0 208367 0 vsize: 833532 [startup+530.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 49315 57 0 0 25 0 10 0 779077892 853536768 23862 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23862 13086 16 0 208367 0 vsize: 833532 [startup+540.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 50244 57 0 0 25 0 10 0 779077892 853536768 23894 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23894 13086 16 0 208367 0 vsize: 833532 [startup+550.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 51171 57 0 0 25 0 10 0 779077892 853536768 23926 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23926 13086 16 0 208367 0 vsize: 833532 [startup+560.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 52094 58 0 0 25 0 10 0 779077892 853536768 23959 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23959 13086 16 0 208367 0 vsize: 833532 [startup+570.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 53022 58 0 0 25 0 10 0 779077892 853536768 23990 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 23990 13086 16 0 208367 0 vsize: 833532 [startup+580.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 53950 58 0 0 25 0 10 0 779077892 853536768 24021 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24021 13086 16 0 208367 0 vsize: 833532 [startup+590.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 54877 58 0 0 25 0 10 0 779077892 853536768 24051 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24051 13086 16 0 208367 0 vsize: 833532 [startup+600.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 55803 58 0 0 25 0 10 0 779077892 853536768 24081 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24081 13086 16 0 208367 0 vsize: 833532 [startup+610.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 56725 58 0 0 24 0 10 0 779077892 853536768 24113 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24113 13086 16 0 208367 0 vsize: 833532 [startup+620.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 57651 59 0 0 25 0 10 0 779077892 853536768 24143 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24143 13086 16 0 208367 0 vsize: 833532 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 58576 59 0 0 25 0 10 0 779077892 853536768 24173 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24173 13086 16 0 208367 0 vsize: 833532 [startup+640.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 59501 59 0 0 25 0 10 0 779077892 853536768 24202 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24202 13086 16 0 208367 0 vsize: 833532 [startup+650.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 60426 59 0 0 25 0 10 0 779077892 853536768 24231 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24231 13086 16 0 208367 0 vsize: 833532 [startup+660.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 61351 59 0 0 25 0 10 0 779077892 853536768 24260 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24260 13086 16 0 208367 0 vsize: 833532 [startup+670.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 62261 59 0 0 25 0 10 0 779077892 853536768 24781 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24781 13086 16 0 208367 0 vsize: 833532 [startup+680.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 63166 59 0 0 24 0 10 0 779077892 853536768 24781 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24781 13086 16 0 208367 0 vsize: 833532 [startup+690.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 64073 59 0 0 24 0 10 0 779077892 853536768 24994 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 24994 13086 16 0 208367 0 vsize: 833532 [startup+700.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 64993 60 0 0 25 0 10 0 779077892 853536768 25020 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25020 13086 16 0 208367 0 vsize: 833532 [startup+710.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 65906 60 0 0 25 0 10 0 779077892 853536768 25047 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25047 13086 16 0 208367 0 vsize: 833532 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 66818 61 0 0 25 0 10 0 779077892 853536768 25075 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25075 13086 16 0 208367 0 vsize: 833532 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 67731 61 0 0 25 0 10 0 779077892 853536768 25102 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25102 13086 16 0 208367 0 vsize: 833532 [startup+740.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 68644 61 0 0 25 0 10 0 779077892 853536768 25129 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25129 13086 16 0 208367 0 vsize: 833532 [startup+750.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 69557 61 0 0 25 0 10 0 779077892 853536768 25156 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25156 13086 16 0 208367 0 vsize: 833532 [startup+760.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 70470 61 0 0 25 0 10 0 779077892 853536768 25183 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25183 13086 16 0 208367 0 vsize: 833532 [startup+770.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 71382 61 0 0 24 0 10 0 779077892 853536768 25210 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25210 13086 16 0 208367 0 vsize: 833532 [startup+780.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 72299 61 0 0 25 0 10 0 779077892 853536768 25234 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25234 13086 16 0 208367 0 vsize: 833532 [startup+790.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 73211 61 0 0 25 0 10 0 779077892 853536768 25260 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25260 13086 16 0 208367 0 vsize: 833532 [startup+800.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 74122 62 0 0 25 0 10 0 779077892 853536768 25287 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25287 13086 16 0 208367 0 vsize: 833532 [startup+810.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 75032 62 0 0 25 0 10 0 779077892 853536768 25313 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25313 13086 16 0 208367 0 vsize: 833532 [startup+820.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 75941 62 0 0 24 0 10 0 779077892 853536768 25339 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25339 13086 16 0 208367 0 vsize: 833532 [startup+830.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 76857 62 0 0 25 0 10 0 779077892 853536768 25363 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25363 13086 16 0 208367 0 vsize: 833532 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 77766 62 0 0 25 0 10 0 779077892 853536768 25389 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25389 13086 16 0 208367 0 vsize: 833532 [startup+850.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 78676 62 0 0 25 0 10 0 779077892 853536768 25414 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25414 13086 16 0 208367 0 vsize: 833532 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 79586 62 0 0 25 0 10 0 779077892 853536768 25439 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25439 13086 16 0 208367 0 vsize: 833532 [startup+870.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 80494 62 0 0 25 0 10 0 779077892 853536768 25464 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25464 13086 16 0 208367 0 vsize: 833532 [startup+880.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 81406 62 0 0 25 0 10 0 779077892 853536768 25488 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25488 13086 16 0 208367 0 vsize: 833532 [startup+890.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 82317 63 0 0 25 0 10 0 779077892 853536768 25512 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25512 13086 16 0 208367 0 vsize: 833532 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 83226 63 0 0 25 0 10 0 779077892 853536768 25537 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25537 13086 16 0 208367 0 vsize: 833532 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 84133 63 0 0 25 0 10 0 779077892 853536768 25561 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25561 13086 16 0 208367 0 vsize: 833532 [startup+920.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 85040 63 0 0 25 0 10 0 779077892 853536768 25585 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25585 13086 16 0 208367 0 vsize: 833532 [startup+930.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 85950 63 0 0 25 0 10 0 779077892 853536768 25608 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25608 13086 16 0 208367 0 vsize: 833532 [startup+940.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 86860 63 0 0 25 0 10 0 779077892 853536768 25632 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25632 13086 16 0 208367 0 vsize: 833532 [startup+950.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 87767 63 0 0 25 0 10 0 779077892 853536768 25656 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25656 13086 16 0 208367 0 vsize: 833532 [startup+960.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 88672 63 0 0 25 0 10 0 779077892 853536768 25680 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25680 13086 16 0 208367 0 vsize: 833532 [startup+970.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 89577 63 0 0 24 0 10 0 779077892 853536768 25703 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25703 13086 16 0 208367 0 vsize: 833532 [startup+980.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 90488 63 0 0 25 0 10 0 779077892 853536768 25725 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208383 25725 13086 16 0 208367 0 vsize: 833532 [startup+990.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 91393 63 0 0 25 0 10 0 779077892 853536768 25749 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25749 13086 16 0 208367 0 vsize: 833532 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 92298 64 0 0 25 0 10 0 779077892 853536768 25772 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25772 13086 16 0 208367 0 vsize: 833532 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 93207 64 0 0 25 0 10 0 779077892 853536768 25794 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25794 13086 16 0 208367 0 vsize: 833532 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 94114 64 0 0 25 0 10 0 779077892 853536768 25818 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25818 13086 16 0 208367 0 vsize: 833532 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 95018 64 0 0 25 0 10 0 779077892 853536768 25841 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25841 13086 16 0 208367 0 vsize: 833532 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 95924 64 0 0 25 0 10 0 779077892 853536768 25863 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25863 13086 16 0 208367 0 vsize: 833532 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 96833 64 0 0 25 0 10 0 779077892 853536768 25885 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25885 13086 16 0 208367 0 vsize: 833532 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 97736 64 0 0 25 0 10 0 779077892 853536768 25907 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25907 13086 16 0 208367 0 vsize: 833532 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) S 31584 20224 20223 0 -1 0 18026 0 1 0 98642 65 0 0 25 0 10 0 779077892 853536768 25932 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25932 13086 16 0 208367 0 vsize: 833532 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 99545 65 0 0 25 0 10 0 779077892 853536768 25958 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25958 13086 16 0 208367 0 vsize: 833532 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 100447 65 0 0 24 0 10 0 779077892 853536768 25980 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 25980 13086 16 0 208367 0 vsize: 833532 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 101354 65 0 0 25 0 10 0 779077892 853536768 26006 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26006 13086 16 0 208367 0 vsize: 833532 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 102256 65 0 0 25 0 10 0 779077892 853536768 26032 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26032 13086 16 0 208367 0 vsize: 833532 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 103158 65 0 0 24 0 10 0 779077892 853536768 26058 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26058 13086 16 0 208367 0 vsize: 833532 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 104065 65 0 0 22 0 10 0 779077892 853536768 26081 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26081 13086 16 0 208367 0 vsize: 833532 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 104965 66 0 0 20 0 10 0 779077892 853536768 26107 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26107 13086 16 0 208367 0 vsize: 833532 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 105872 66 0 0 23 0 10 0 779077892 853536768 26128 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26128 13086 16 0 208367 0 vsize: 833532 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 106773 67 0 0 21 0 10 0 779077892 853536768 26156 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26156 13086 16 0 208367 0 vsize: 833532 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 107673 67 0 0 19 0 10 0 779077892 853536768 26181 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26181 13086 16 0 208367 0 vsize: 833532 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 108580 67 0 0 22 0 10 0 779077892 853536768 26203 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26203 13086 16 0 208367 0 vsize: 833532 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 109480 67 0 0 19 0 10 0 779077892 853536768 26229 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26229 13086 16 0 208367 0 vsize: 833532 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 110385 67 0 0 23 0 10 0 779077892 853536768 26252 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26252 13086 16 0 208367 0 vsize: 833532 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 111281 68 0 0 21 0 10 0 779077892 853536768 26278 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26278 13086 16 0 208367 0 vsize: 833532 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 112180 68 0 0 19 0 10 0 779077892 853536768 26300 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26300 13086 16 0 208367 0 vsize: 833532 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 113085 68 0 0 22 0 10 0 779077892 853536768 26322 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26322 13086 16 0 208367 0 vsize: 833532 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 113983 68 0 0 20 0 10 0 779077892 853536768 26343 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26343 13086 16 0 208367 0 vsize: 833532 [startup+1250.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 114888 68 0 0 23 0 10 0 779077892 853536768 26363 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26363 13086 16 0 208367 0 vsize: 833532 [startup+1260.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 115787 68 0 0 21 0 10 0 779077892 853536768 26397 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26397 13086 16 0 208367 0 vsize: 833532 [startup+1270.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 116686 68 0 0 19 0 10 0 779077892 853536768 26415 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26415 13086 16 0 208367 0 vsize: 833532 [startup+1280.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 117590 68 0 0 22 0 10 0 779077892 853536768 26452 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26452 13086 16 0 208367 0 vsize: 833532 [startup+1290.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 118492 68 0 0 19 0 10 0 779077892 853536768 26470 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26470 13086 16 0 208367 0 vsize: 833532 [startup+1300.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 119399 68 0 0 23 0 10 0 779077892 853536768 26499 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26499 13086 16 0 208367 0 vsize: 833532 [startup+1310.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 31594 Raw data (stat): 31585 (java) R 31584 20224 20223 0 -1 0 18026 0 1 0 120302 69 0 0 22 0 10 0 779077892 853536768 26525 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208383 26525 13086 16 0 208367 0 vsize: 833532 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 31596 Raw data (stat): 31585 (java) Z 31584 20224 20223 0 -1 1036 18026 8222 1 0 120307 69 10582 42 23 0 1 0 779077892 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): 1310.22 CPU time (s): 1310.02 CPU user time (s): 1308.9 CPU system time (s): 1.11883 CPU usage (%): 99.9847 Max. virtual memory (Kb): 833980 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####