Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb |
MD5SUM | c845e5aae635eb663462a0603eb54605 |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29652813254765 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29652813254765 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.43078 |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-25 10:33:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21103 boxname=wulflinc15 idbench=1091 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: c845e5aae635eb663462a0603eb54605 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370d.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370d.opb IDLAUNCH: 21103 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 715124 kB Buffers: 31280 kB Cached: 265888 kB SwapCached: 672 kB Active: 70252 kB Inactive: 229056 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 714844 kB SwapTotal: 2097136 kB SwapFree: 2095624 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5076 kB Slab: 14604 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 10:54:58 (client local time) WITH STATUS 143 IN 1312.79 SECONDS stats: 21103 7 1312.79 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/wulflinc15/normalized-mps-v2-20-10-n370d.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.235 #### 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.98 0.99 2/54 7388 Raw data (stat): 7388 (runsolver) R 7387 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779960820 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.0012 s] Raw data (loadavg): 1.08 1.02 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18005 0 1 0 876 37 0 0 25 0 10 0 779960820 853868544 19338 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208464 19338 13086 16 0 208448 0 vsize: 833856 [startup+20.0021 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 1774 37 0 0 25 0 10 0 779960820 855146496 20117 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208776 20117 13086 16 0 208760 0 vsize: 835104 [startup+30.0012 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 2666 37 0 0 25 0 10 0 779960820 854609920 20510 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20510 13086 16 0 208629 0 vsize: 834580 [startup+40.0027 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 3582 38 0 0 25 0 10 0 779960820 854609920 20805 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20805 13086 16 0 208629 0 vsize: 834580 [startup+50.0036 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 4505 38 0 0 25 0 10 0 779960820 854609920 20967 4294967295 134512640 134569956 3221224368 3221214768 1131249853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20967 13086 16 0 208629 0 vsize: 834580 [startup+60.0039 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 5426 38 0 0 25 0 10 0 779960820 854609920 21091 4294967295 134512640 134569956 3221224368 3221214916 1130903610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21091 13086 16 0 208629 0 vsize: 834580 [startup+70.0043 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 6355 38 0 0 25 0 10 0 779960820 854609920 21343 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21343 13086 16 0 208629 0 vsize: 834580 [startup+80.0052 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 7298 38 0 0 25 0 10 0 779960820 854609920 21439 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21439 13086 16 0 208629 0 vsize: 834580 [startup+90.0054 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 8238 38 0 0 25 0 10 0 779960820 854609920 21532 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21532 13086 16 0 208629 0 vsize: 834580 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 9183 38 0 0 25 0 10 0 779960820 854609920 21613 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21613 13086 16 0 208629 0 vsize: 834580 [startup+110.008 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 10126 38 0 0 25 0 10 0 779960820 854609920 21693 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21693 13086 16 0 208629 0 vsize: 834580 [startup+120.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 11070 38 0 0 25 0 10 0 779960820 854609920 21767 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21767 13086 16 0 208629 0 vsize: 834580 [startup+130.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 12014 38 0 0 25 0 10 0 779960820 854609920 21838 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21838 13086 16 0 208629 0 vsize: 834580 [startup+140.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 12957 39 0 0 25 0 10 0 779960820 854609920 21906 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21906 13086 16 0 208629 0 vsize: 834580 [startup+150.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 13903 39 0 0 25 0 10 0 779960820 854609920 21968 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21968 13086 16 0 208629 0 vsize: 834580 [startup+160.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 14846 39 0 0 25 0 10 0 779960820 854609920 22031 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22031 13086 16 0 208629 0 vsize: 834580 [startup+170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 15789 39 0 0 25 0 10 0 779960820 854609920 22089 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22089 13086 16 0 208629 0 vsize: 834580 [startup+180.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 16704 39 0 0 25 0 10 0 779960820 854609920 22147 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22147 13086 16 0 208629 0 vsize: 834580 [startup+190.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 17626 39 0 0 25 0 10 0 779960820 854609920 22457 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22457 13086 16 0 208629 0 vsize: 834580 [startup+200.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 18568 39 0 0 25 0 10 0 779960820 854609920 22509 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22509 13086 16 0 208629 0 vsize: 834580 [startup+210.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 19507 39 0 0 25 0 10 0 779960820 854609920 22562 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22562 13086 16 0 208629 0 vsize: 834580 [startup+220.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 20449 40 0 0 21 0 10 0 779960820 854609920 22612 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22612 13086 16 0 208629 0 vsize: 834580 [startup+230.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 21387 40 0 0 25 0 10 0 779960820 854609920 22662 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22662 13086 16 0 208629 0 vsize: 834580 [startup+240.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 22326 40 0 0 25 0 10 0 779960820 854609920 22710 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22710 13086 16 0 208629 0 vsize: 834580 [startup+250.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 23266 40 0 0 25 0 10 0 779960820 854609920 22758 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22758 13086 16 0 208629 0 vsize: 834580 [startup+260.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 24205 41 0 0 25 0 10 0 779960820 854609920 22804 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22804 13086 16 0 208629 0 vsize: 834580 [startup+270.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 25144 41 0 0 25 0 10 0 779960820 854609920 22849 4294967295 134512640 134569956 3221224368 3221213980 1077378854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22849 13086 16 0 208629 0 vsize: 834580 [startup+280.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 26080 41 0 0 24 0 10 0 779960820 854609920 22895 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22895 13086 16 0 208629 0 vsize: 834580 [startup+290.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 27020 41 0 0 25 0 10 0 779960820 854609920 22938 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22938 13086 16 0 208629 0 vsize: 834580 [startup+300.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 27959 41 0 0 25 0 10 0 779960820 854609920 22980 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22980 13086 16 0 208629 0 vsize: 834580 [startup+310.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 28893 41 0 0 25 0 10 0 779960820 854609920 23023 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23023 13086 16 0 208629 0 vsize: 834580 [startup+320.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 29832 41 0 0 25 0 10 0 779960820 854609920 23064 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23064 13086 16 0 208629 0 vsize: 834580 [startup+330.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 30766 41 0 0 25 0 10 0 779960820 854609920 23106 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23106 13086 16 0 208629 0 vsize: 834580 [startup+340.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 31703 42 0 0 25 0 10 0 779960820 854609920 23145 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23145 13086 16 0 208629 0 vsize: 834580 [startup+350.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 32635 42 0 0 24 0 10 0 779960820 854609920 23186 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23186 13086 16 0 208629 0 vsize: 834580 [startup+360.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 33572 42 0 0 25 0 10 0 779960820 854609920 23223 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23223 13086 16 0 208629 0 vsize: 834580 [startup+370.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 34508 42 0 0 25 0 10 0 779960820 854609920 23262 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23262 13086 16 0 208629 0 vsize: 834580 [startup+380.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 35440 42 0 0 25 0 10 0 779960820 854609920 23301 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23301 13086 16 0 208629 0 vsize: 834580 [startup+390.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 36376 42 0 0 25 0 10 0 779960820 854609920 23337 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23337 13086 16 0 208629 0 vsize: 834580 [startup+400.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 37311 42 0 0 25 0 10 0 779960820 854609920 23373 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23373 13086 16 0 208629 0 vsize: 834580 [startup+410.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 38241 42 0 0 25 0 10 0 779960820 854609920 23410 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23410 13086 16 0 208629 0 vsize: 834580 [startup+420.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 39174 42 0 0 25 0 10 0 779960820 854609920 23445 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23445 13086 16 0 208629 0 vsize: 834580 [startup+430.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 40108 43 0 0 25 0 10 0 779960820 854609920 23479 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23479 13086 16 0 208629 0 vsize: 834580 [startup+440.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 41038 43 0 0 24 0 10 0 779960820 854609920 23515 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23515 13086 16 0 208629 0 vsize: 834580 [startup+450.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 41971 43 0 0 25 0 10 0 779960820 854609920 23549 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23549 13086 16 0 208629 0 vsize: 834580 [startup+460.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 42904 43 0 0 25 0 10 0 779960820 854609920 23582 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23582 13086 16 0 208629 0 vsize: 834580 [startup+470.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 43836 43 0 0 25 0 10 0 779960820 854609920 23615 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23615 13086 16 0 208629 0 vsize: 834580 [startup+480.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 44763 43 0 0 24 0 10 0 779960820 854609920 23649 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23649 13086 16 0 208629 0 vsize: 834580 [startup+490.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 45695 43 0 0 25 0 10 0 779960820 854609920 23681 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23681 13086 16 0 208629 0 vsize: 834580 [startup+500.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 46626 43 0 0 25 0 10 0 779960820 854609920 23713 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23713 13086 16 0 208629 0 vsize: 834580 [startup+510.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 47556 43 0 0 25 0 10 0 779960820 854609920 23744 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23744 13086 16 0 208629 0 vsize: 834580 [startup+520.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 48481 44 0 0 25 0 10 0 779960820 854609920 23777 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23777 13086 16 0 208629 0 vsize: 834580 [startup+530.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 49408 45 0 0 25 0 10 0 779960820 854609920 23809 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23809 13086 16 0 208629 0 vsize: 834580 [startup+540.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 50337 45 0 0 25 0 10 0 779960820 854609920 23840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23840 13086 16 0 208629 0 vsize: 834580 [startup+550.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 51265 45 0 0 25 0 10 0 779960820 854609920 23870 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23870 13086 16 0 208629 0 vsize: 834580 [startup+560.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 52192 46 0 0 25 0 10 0 779960820 854609920 23900 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23900 13086 16 0 208629 0 vsize: 834580 [startup+570.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 53115 46 0 0 24 0 10 0 779960820 854609920 23931 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23931 13086 16 0 208629 0 vsize: 834580 [startup+580.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 54042 46 0 0 25 0 10 0 779960820 854609920 23960 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23960 13086 16 0 208629 0 vsize: 834580 [startup+590.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 54968 47 0 0 25 0 10 0 779960820 854609920 23990 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 23990 13086 16 0 208629 0 vsize: 834580 [startup+600.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 55893 47 0 0 25 0 10 0 779960820 854609920 24018 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24018 13086 16 0 208629 0 vsize: 834580 [startup+610.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 56819 47 0 0 25 0 10 0 779960820 854609920 24047 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24047 13086 16 0 208629 0 vsize: 834580 [startup+620.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 57739 48 0 0 24 0 10 0 779960820 854609920 24077 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24077 13086 16 0 208629 0 vsize: 834580 [startup+630.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 58664 48 0 0 25 0 10 0 779960820 854609920 24105 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24105 13086 16 0 208629 0 vsize: 834580 [startup+640.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 59589 48 0 0 25 0 10 0 779960820 854609920 24133 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24133 13086 16 0 208629 0 vsize: 834580 [startup+650.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 60513 49 0 0 25 0 10 0 779960820 854609920 24161 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24161 13086 16 0 208629 0 vsize: 834580 [startup+660.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 61436 50 0 0 25 0 10 0 779960820 854609920 24188 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 24188 13086 16 0 208629 0 vsize: 834580 [startup+670.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 62355 50 0 0 25 0 10 0 779960820 854609920 25123 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25123 13086 16 0 208629 0 vsize: 834580 [startup+680.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 63280 50 0 0 25 0 10 0 779960820 854609920 25123 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25123 13086 16 0 208629 0 vsize: 834580 [startup+690.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 64196 50 0 0 25 0 10 0 779960820 854609920 25138 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25138 13086 16 0 208629 0 vsize: 834580 [startup+700.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 65111 50 0 0 25 0 10 0 779960820 854609920 25166 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25166 13086 16 0 208629 0 vsize: 834580 [startup+710.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 66026 50 0 0 25 0 10 0 779960820 854609920 25192 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25192 13086 16 0 208629 0 vsize: 834580 [startup+720.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 66938 50 0 0 25 0 10 0 779960820 854609920 25218 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25218 13086 16 0 208629 0 vsize: 834580 [startup+730.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 67851 50 0 0 25 0 10 0 779960820 854609920 25244 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25244 13086 16 0 208629 0 vsize: 834580 [startup+740.084 s] Raw data (loadavg): 1.08 1.02 1.01 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 68765 50 0 0 24 0 10 0 779960820 854609920 25270 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25270 13086 16 0 208629 0 vsize: 834580 [startup+750.085 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 69678 50 0 0 24 0 10 0 779960820 854609920 25296 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25296 13086 16 0 208629 0 vsize: 834580 [startup+760.087 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 70595 50 0 0 25 0 10 0 779960820 854609920 25320 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25320 13086 16 0 208629 0 vsize: 834580 [startup+770.088 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 71509 50 0 0 25 0 10 0 779960820 854609920 25345 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25345 13086 16 0 208629 0 vsize: 834580 [startup+780.089 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 72421 51 0 0 25 0 10 0 779960820 854609920 25371 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25371 13086 16 0 208629 0 vsize: 834580 [startup+790.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 73333 51 0 0 25 0 10 0 779960820 854609920 25396 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25396 13086 16 0 208629 0 vsize: 834580 [startup+800.091 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 74245 51 0 0 25 0 10 0 779960820 854609920 25420 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25420 13086 16 0 208629 0 vsize: 834580 [startup+810.092 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 75157 51 0 0 24 0 10 0 779960820 854609920 25445 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25445 13086 16 0 208629 0 vsize: 834580 [startup+820.093 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 76074 51 0 0 25 0 10 0 779960820 854609920 25468 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25468 13086 16 0 208629 0 vsize: 834580 [startup+830.094 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 76985 51 0 0 25 0 10 0 779960820 854609920 25493 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25493 13086 16 0 208629 0 vsize: 834580 [startup+840.095 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 77894 51 0 0 25 0 10 0 779960820 854609920 25517 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25517 13086 16 0 208629 0 vsize: 834580 [startup+850.095 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 78804 52 0 0 25 0 10 0 779960820 854609920 25541 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25541 13086 16 0 208629 0 vsize: 834580 [startup+860.097 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 79714 52 0 0 24 0 10 0 779960820 854609920 25565 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25565 13086 16 0 208629 0 vsize: 834580 [startup+870.097 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 80629 52 0 0 25 0 10 0 779960820 854609920 25587 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25587 13086 16 0 208629 0 vsize: 834580 [startup+880.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 81538 52 0 0 25 0 10 0 779960820 854609920 25611 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25611 13086 16 0 208629 0 vsize: 834580 [startup+890.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 82446 52 0 0 25 0 10 0 779960820 854609920 25635 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25635 13086 16 0 208629 0 vsize: 834580 [startup+900.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 83354 52 0 0 24 0 10 0 779960820 854609920 25658 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25658 13086 16 0 208629 0 vsize: 834580 [startup+910.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 84268 52 0 0 25 0 10 0 779960820 854609920 25682 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25682 13086 16 0 208629 0 vsize: 834580 [startup+920.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 85177 52 0 0 25 0 10 0 779960820 854609920 25707 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25707 13086 16 0 208629 0 vsize: 834580 [startup+930.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 86084 52 0 0 25 0 10 0 779960820 854609920 25735 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25735 13086 16 0 208629 0 vsize: 834580 [startup+940.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 86991 52 0 0 25 0 10 0 779960820 854609920 25758 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25758 13086 16 0 208629 0 vsize: 834580 [startup+950.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 87904 52 0 0 24 0 10 0 779960820 854609920 25779 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25779 13086 16 0 208629 0 vsize: 834580 [startup+960.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 88810 52 0 0 22 0 10 0 779960820 854609920 25813 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25813 13086 16 0 208629 0 vsize: 834580 [startup+970.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 89715 52 0 0 20 0 10 0 779960820 854609920 25840 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25840 13086 16 0 208629 0 vsize: 834580 [startup+980.105 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 90621 52 0 0 19 0 10 0 779960820 854609920 25866 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25866 13086 16 0 208629 0 vsize: 834580 [startup+990.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 91534 52 0 0 23 0 10 0 779960820 854609920 25888 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25888 13086 16 0 208629 0 vsize: 834580 [startup+1000.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 92439 52 0 0 22 0 10 0 779960820 854609920 25916 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25916 13086 16 0 208629 0 vsize: 834580 [startup+1010.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 93344 53 0 0 20 0 10 0 779960820 854609920 25940 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25940 13086 16 0 208629 0 vsize: 834580 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 94249 53 0 0 19 0 10 0 779960820 854609920 25962 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25962 13086 16 0 208629 0 vsize: 834580 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 95160 53 0 0 23 0 10 0 779960820 854609920 25992 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25992 13086 16 0 208629 0 vsize: 834580 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 96064 53 0 0 21 0 10 0 779960820 854609920 26016 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26016 13086 16 0 208629 0 vsize: 834580 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 96970 53 0 0 19 0 10 0 779960820 854609920 26037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26037 13086 16 0 208629 0 vsize: 834580 [startup+1060.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 97880 53 0 0 24 0 10 0 779960820 854609920 26067 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26067 13086 16 0 208629 0 vsize: 834580 [startup+1070.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 98781 53 0 0 21 0 10 0 779960820 854609920 26092 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26092 13086 16 0 208629 0 vsize: 834580 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 99682 53 0 0 19 0 10 0 779960820 854609920 26117 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26117 13086 16 0 208629 0 vsize: 834580 [startup+1090.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 100590 53 0 0 23 0 10 0 779960820 854609920 26137 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26137 13086 16 0 208629 0 vsize: 834580 [startup+1100.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 101492 53 0 0 21 0 10 0 779960820 854609920 26164 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26164 13086 16 0 208629 0 vsize: 834580 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 102395 53 0 0 19 0 10 0 779960820 854609920 26189 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26189 13086 16 0 208629 0 vsize: 834580 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 103303 53 0 0 22 0 10 0 779960820 854609920 26212 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26212 13086 16 0 208629 0 vsize: 834580 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 104205 53 0 0 21 0 10 0 779960820 854609920 26235 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26235 13086 16 0 208629 0 vsize: 834580 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 105106 54 0 0 18 0 10 0 779960820 854609920 26262 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26262 13086 16 0 208629 0 vsize: 834580 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 106013 54 0 0 22 0 10 0 779960820 854609920 26282 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26282 13086 16 0 208629 0 vsize: 834580 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 106914 54 0 0 19 0 10 0 779960820 854609920 26308 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26308 13086 16 0 208629 0 vsize: 834580 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 107818 54 0 0 24 0 10 0 779960820 854609920 26330 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26330 13086 16 0 208629 0 vsize: 834580 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 108722 54 0 0 22 0 10 0 779960820 854609920 26353 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26353 13086 16 0 208629 0 vsize: 834580 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 109622 54 0 0 19 0 10 0 779960820 854609920 26379 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26379 13086 16 0 208629 0 vsize: 834580 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 110527 54 0 0 23 0 10 0 779960820 854609920 26401 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26401 13086 16 0 208629 0 vsize: 834580 [startup+1210.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 111425 54 0 0 20 0 10 0 779960820 854609920 26425 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26425 13086 16 0 208629 0 vsize: 834580 [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 112322 54 0 0 19 0 10 0 779960820 854609920 26448 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26448 13086 16 0 208629 0 vsize: 834580 [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 113227 54 0 0 22 0 10 0 779960820 854609920 26468 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26468 13086 16 0 208629 0 vsize: 834580 [startup+1240.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 114126 55 0 0 18 0 10 0 779960820 854609920 26488 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26488 13086 16 0 208629 0 vsize: 834580 [startup+1250.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 115031 55 0 0 21 0 10 0 779960820 854609920 26507 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26507 13086 16 0 208629 0 vsize: 834580 [startup+1260.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 115929 55 0 0 20 0 10 0 779960820 854609920 26541 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26541 13086 16 0 208629 0 vsize: 834580 [startup+1270.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 116834 55 0 0 22 0 10 0 779960820 854609920 26557 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26557 13086 16 0 208629 0 vsize: 834580 [startup+1280.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 117733 55 0 0 20 0 10 0 779960820 854609920 26589 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26589 13086 16 0 208629 0 vsize: 834580 [startup+1290.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 118633 55 0 0 19 0 10 0 779960820 854609920 26610 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26610 13086 16 0 208629 0 vsize: 834580 [startup+1300.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 119540 55 0 0 22 0 10 0 779960820 854609920 26640 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26640 13086 16 0 208629 0 vsize: 834580 [startup+1310.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 7397 Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 120443 55 0 0 20 0 10 0 779960820 854609920 26659 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26659 13086 16 0 208629 0 vsize: 834580 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.28 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 7399 Raw data (stat): 7388 (java) Z 7387 23514 23513 0 -1 1036 18006 9499 1 0 120445 60 10725 46 19 0 1 0 779960820 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.28 CPU time (s): 1312.79 CPU user time (s): 1311.71 CPU system time (s): 1.07584 CPU usage (%): 100.191 Max. virtual memory (Kb): 835104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####