Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb |
MD5SUM | e4be8a88d340bbbbfb27e034f74a6524 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 56.8973 |
Number of variables | 40605 |
Total number of constraints | 118930 |
Number of constraints which are clauses | 117190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1740 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 06:27:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20722 boxname=wulflinc24 idbench=312 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: e4be8a88d340bbbbfb27e034f74a6524 /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb IDLAUNCH: 20722 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 3 cpu MHz : 451.080 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: 681380 kB Buffers: 19288 kB Cached: 311416 kB SwapCached: 524 kB Active: 139424 kB Inactive: 193612 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 681128 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5656 kB Slab: 14492 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 06:50:41 (client local time) WITH STATUS 143 IN 1368.96 SECONDS stats: 20722 7 1368.96 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/wulflinc24/normalized-ooo.tag14.ucl.opb c reading problem ... done. Time 523.545 ms. c #vars 40605 c #constraints 118930 c starts : 6 c conflicts : 1473 c decisions : 7741 c propagations : 6848257 c inspects : 20246258 c learned literals : 0 c learned binary clauses : 103 c learned ternary clauses : 139 c learned clauses : 1472 c root simplifications : 6 s UNKNOWN c Total CPU time (ms) : 1369.16 #### 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.99 1.00 0.99 2/54 19212 Raw data (stat): 19212 (runsolver) R 19211 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836714134 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+9.99982 s] Raw data (loadavg): 0.99 1.00 0.99 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 778 40 0 0 25 0 10 0 836714134 854495232 20949 4294967295 134512640 134569956 3221224384 3221214452 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 20949 13086 16 0 208601 0 vsize: 834468 [startup+20.0009 s] Raw data (loadavg): 0.99 1.00 0.99 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 1624 40 0 0 19 0 10 0 836714134 854495232 22054 4294967295 134512640 134569956 3221224384 3221214500 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 22054 13086 16 0 208601 0 vsize: 834468 [startup+30.0012 s] Raw data (loadavg): 0.99 1.00 0.99 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 2476 41 0 0 19 0 10 0 836714134 854495232 22828 4294967295 134512640 134569956 3221224384 3221214500 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 22828 13086 16 0 208601 0 vsize: 834468 [startup+40.0008 s] Raw data (loadavg): 0.99 1.00 0.99 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 3329 41 0 0 19 0 10 0 836714134 854495232 23493 4294967295 134512640 134569956 3221224384 3221214776 1131309761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 23493 13086 16 0 208601 0 vsize: 834468 [startup+50.0029 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 4175 42 0 0 17 0 10 0 836714134 854495232 24036 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 24036 13086 16 0 208601 0 vsize: 834468 [startup+60.0052 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 5025 42 0 0 20 0 10 0 836714134 854495232 24493 4294967295 134512640 134569956 3221224384 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 24493 13086 16 0 208601 0 vsize: 834468 [startup+70.0069 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 5867 43 0 0 16 0 10 0 836714134 854495232 25018 4294967295 134512640 134569956 3221224384 3221214492 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 25018 13086 16 0 208601 0 vsize: 834468 [startup+80.0081 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 6721 43 0 0 17 0 10 0 836714134 854495232 25446 4294967295 134512640 134569956 3221224384 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 25446 13086 16 0 208601 0 vsize: 834468 [startup+90.0074 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 7571 43 0 0 18 0 10 0 836714134 854495232 25823 4294967295 134512640 134569956 3221224384 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 25823 13086 16 0 208601 0 vsize: 834468 [startup+100.012 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 8422 44 0 0 16 0 10 0 836714134 854495232 26162 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 26162 13086 16 0 208601 0 vsize: 834468 [startup+110.012 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 9262 44 0 0 16 0 10 0 836714134 854495232 26536 4294967295 134512640 134569956 3221224384 3221214496 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 26536 13086 16 0 208601 0 vsize: 834468 [startup+120.013 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 10108 44 0 0 16 0 10 0 836714134 854495232 26971 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 26971 13086 16 0 208601 0 vsize: 834468 [startup+130.013 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 10958 45 0 0 16 0 10 0 836714134 854495232 27347 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 27347 13086 16 0 208601 0 vsize: 834468 [startup+140.016 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 11800 46 0 0 16 0 10 0 836714134 854495232 27617 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 27617 13086 16 0 208601 0 vsize: 834468 [startup+150.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 12640 47 0 0 15 0 10 0 836714134 854495232 27951 4294967295 134512640 134569956 3221224384 3221214496 1077558241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 27951 13086 16 0 208601 0 vsize: 834468 [startup+160.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 13491 48 0 0 16 0 10 0 836714134 854495232 28248 4294967295 134512640 134569956 3221224384 3221214496 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 28248 13086 16 0 208601 0 vsize: 834468 [startup+170.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 14344 48 0 0 16 0 10 0 836714134 854495232 28549 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 28549 13086 16 0 208601 0 vsize: 834468 [startup+180.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 15199 49 0 0 16 0 10 0 836714134 854495232 28837 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 28837 13086 16 0 208601 0 vsize: 834468 [startup+190.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 16048 50 0 0 16 0 10 0 836714134 854495232 29140 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 29140 13086 16 0 208601 0 vsize: 834468 [startup+200.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 16911 50 0 0 16 0 10 0 836714134 854495232 29408 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 29408 13086 16 0 208601 0 vsize: 834468 [startup+210.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 17762 50 0 0 15 0 10 0 836714134 854495232 29753 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208617 29753 13086 16 0 208601 0 vsize: 834468 [startup+220.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 18627 51 0 0 16 0 10 0 836714134 854495232 29988 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 29988 13086 16 0 208601 0 vsize: 834468 [startup+230.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 19488 51 0 0 16 0 10 0 836714134 854495232 30340 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 30340 13086 16 0 208601 0 vsize: 834468 [startup+240.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 20354 52 0 0 16 0 10 0 836714134 854495232 30580 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 30580 13086 16 0 208601 0 vsize: 834468 [startup+250.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 21215 52 0 0 16 0 10 0 836714134 854495232 30828 4294967295 134512640 134569956 3221224384 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 30828 13086 16 0 208601 0 vsize: 834468 [startup+260.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 22089 53 0 0 16 0 10 0 836714134 854495232 31055 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 31055 13086 16 0 208601 0 vsize: 834468 [startup+270.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 22955 53 0 0 16 0 10 0 836714134 854495232 31280 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 31280 13086 16 0 208601 0 vsize: 834468 [startup+280.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 23821 54 0 0 16 0 10 0 836714134 854495232 31500 4294967295 134512640 134569956 3221224384 3221214496 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 31500 13086 16 0 208601 0 vsize: 834468 [startup+290.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 24696 54 0 0 16 0 10 0 836714134 854495232 31714 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 31714 13086 16 0 208601 0 vsize: 834468 [startup+300.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 25563 54 0 0 16 0 10 0 836714134 854495232 31940 4294967295 134512640 134569956 3221224384 3221214448 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 31940 13086 16 0 208601 0 vsize: 834468 [startup+310.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 26430 54 0 0 16 0 10 0 836714134 854495232 32161 4294967295 134512640 134569956 3221224384 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 32161 13086 16 0 208601 0 vsize: 834468 [startup+320.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 27300 55 0 0 16 0 10 0 836714134 854495232 32365 4294967295 134512640 134569956 3221224384 3221213736 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 32365 13086 16 0 208601 0 vsize: 834468 [startup+330.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 28175 55 0 0 16 0 10 0 836714134 854495232 32578 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 32578 13086 16 0 208601 0 vsize: 834468 [startup+340.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 29044 55 0 0 16 0 10 0 836714134 854495232 32786 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 32786 13086 16 0 208601 0 vsize: 834468 [startup+350.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 29914 56 0 0 16 0 10 0 836714134 854495232 32991 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 32991 13086 16 0 208601 0 vsize: 834468 [startup+360.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 30792 56 0 0 16 0 10 0 836714134 854495232 33179 4294967295 134512640 134569956 3221224384 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 33179 13086 16 0 208601 0 vsize: 834468 [startup+370.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 31667 56 0 0 16 0 10 0 836714134 854495232 33373 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 33373 13086 16 0 208601 0 vsize: 834468 [startup+380.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 32531 57 0 0 16 0 10 0 836714134 854495232 33624 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 33624 13086 16 0 208601 0 vsize: 834468 [startup+390.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 33394 57 0 0 15 0 10 0 836714134 854495232 33813 4294967295 134512640 134569956 3221224384 3221214740 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 33813 13086 16 0 208601 0 vsize: 834468 [startup+400.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 34279 58 0 0 16 0 10 0 836714134 854495232 34107 4294967295 134512640 134569956 3221224384 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 34107 13086 16 0 208601 0 vsize: 834468 [startup+410.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 35153 59 0 0 16 0 10 0 836714134 854495232 34293 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 34293 13086 16 0 208601 0 vsize: 834468 [startup+420.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 36027 59 0 0 16 0 10 0 836714134 854495232 34477 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 34477 13086 16 0 208601 0 vsize: 834468 [startup+430.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 36901 60 0 0 16 0 10 0 836714134 854495232 34659 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 34659 13086 16 0 208601 0 vsize: 834468 [startup+440.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 37776 60 0 0 15 0 10 0 836714134 854495232 34839 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 34839 13086 16 0 208601 0 vsize: 834468 [startup+450.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 38660 60 0 0 16 0 10 0 836714134 854495232 35002 4294967295 134512640 134569956 3221224384 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35002 13086 16 0 208601 0 vsize: 834468 [startup+460.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 39537 61 0 0 16 0 10 0 836714134 854495232 35176 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35176 13086 16 0 208601 0 vsize: 834468 [startup+470.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 40415 61 0 0 16 0 10 0 836714134 854495232 35344 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35344 13086 16 0 208601 0 vsize: 834468 [startup+480.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 41294 61 0 0 16 0 10 0 836714134 854495232 35510 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35510 13086 16 0 208601 0 vsize: 834468 [startup+490.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 42171 62 0 0 16 0 10 0 836714134 854495232 35671 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35671 13086 16 0 208601 0 vsize: 834468 [startup+500.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 43048 62 0 0 16 0 10 0 836714134 854495232 35837 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35837 13086 16 0 208601 0 vsize: 834468 [startup+510.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 43932 63 0 0 16 0 10 0 836714134 854495232 35992 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 35992 13086 16 0 208601 0 vsize: 834468 [startup+520.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19221 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 44809 63 0 0 16 0 10 0 836714134 854495232 36147 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 36147 13086 16 0 208601 0 vsize: 834468 [startup+530.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18082 0 1 0 45655 64 0 0 16 0 11 0 836714134 856985600 38895 4294967295 134512640 134569956 3221224384 3221214720 1131421026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209225 38895 13086 16 0 209209 0 vsize: 836900 [startup+540.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18083 0 1 0 46538 64 0 0 16 0 11 0 836714134 858624000 40151 4294967295 134512640 134569956 3221224384 3221214752 1131414176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209625 40151 13086 16 0 209609 0 vsize: 838500 [startup+550.073 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18084 0 1 0 47468 65 0 0 16 0 11 0 836714134 859824128 40466 4294967295 134512640 134569956 3221224384 3221214760 1131202738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209918 40466 13086 16 0 209902 0 vsize: 839672 [startup+560.078 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18084 0 1 0 48416 65 0 0 18 0 11 0 836714134 859672576 40401 4294967295 134512640 134569956 3221224384 3221214648 1131241129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209881 40401 13086 16 0 209865 0 vsize: 839524 [startup+570.079 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 49341 65 0 0 18 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40405 13086 16 0 209865 0 vsize: 839524 [startup+580.08 s] Raw data (loadavg): 1.12 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 50271 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40405 13086 16 0 209865 0 vsize: 839524 [startup+590.079 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 51201 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214576 1131283574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40405 13086 16 0 209865 0 vsize: 839524 [startup+600.08 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 52129 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40405 13086 16 0 209865 0 vsize: 839524 [startup+610.08 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 53035 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214576 1131283622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40405 13086 16 0 209865 0 vsize: 839524 [startup+620.081 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 53895 65 0 0 17 0 11 0 836714134 859672576 40980 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 40980 13086 16 0 209865 0 vsize: 839524 [startup+630.082 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 54789 65 0 0 16 0 11 0 836714134 859672576 42196 4294967295 134512640 134569956 3221224384 3221214752 1131413817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 42196 13086 16 0 209865 0 vsize: 839524 [startup+640.082 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 55682 65 0 0 16 0 11 0 836714134 859672576 42200 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 42200 13086 16 0 209865 0 vsize: 839524 [startup+650.082 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 56559 65 0 0 17 0 11 0 836714134 859672576 42927 4294967295 134512640 134569956 3221224384 3221214576 1131283697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 42927 13086 16 0 209865 0 vsize: 839524 [startup+660.082 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 57432 65 0 0 17 0 11 0 836714134 859672576 43296 4294967295 134512640 134569956 3221224384 3221214704 1131283643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 43296 13086 16 0 209865 0 vsize: 839524 [startup+670.083 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 58310 65 0 0 17 0 11 0 836714134 859672576 44093 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 44093 13086 16 0 209865 0 vsize: 839524 [startup+680.082 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 59176 65 0 0 16 0 11 0 836714134 859672576 44195 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 44195 13086 16 0 209865 0 vsize: 839524 [startup+690.082 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 60038 65 0 0 16 0 11 0 836714134 859672576 44438 4294967295 134512640 134569956 3221224384 3221214804 1131417568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 44438 13086 16 0 209865 0 vsize: 839524 [startup+700.083 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 60936 65 0 0 17 0 11 0 836714134 859672576 45239 4294967295 134512640 134569956 3221224384 3221214808 1131398947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 45239 13086 16 0 209865 0 vsize: 839524 [startup+710.082 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 61791 66 0 0 16 0 11 0 836714134 859672576 46088 4294967295 134512640 134569956 3221224384 3221214576 1131284452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 46088 13086 16 0 209865 0 vsize: 839524 [startup+720.088 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18085 0 1 0 62666 66 0 0 17 0 11 0 836714134 859672576 46963 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 46963 13086 16 0 209865 0 vsize: 839524 [startup+730.088 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 63521 66 0 0 17 0 11 0 836714134 859672576 47806 4294967295 134512640 134569956 3221224384 3221214808 1131403102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 47806 13086 16 0 209865 0 vsize: 839524 [startup+740.088 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 64388 66 0 0 16 0 11 0 836714134 859672576 48775 4294967295 134512640 134569956 3221224384 3221214712 1131241849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 48775 13086 16 0 209865 0 vsize: 839524 [startup+750.088 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 65248 66 0 0 16 0 11 0 836714134 859672576 49816 4294967295 134512640 134569956 3221224384 3221214704 1131283999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 49816 13086 16 0 209865 0 vsize: 839524 [startup+760.088 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 66147 66 0 0 17 0 11 0 836714134 859672576 50070 4294967295 134512640 134569956 3221224384 3221214576 1131283761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 50070 13086 16 0 209865 0 vsize: 839524 [startup+770.089 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 66981 66 0 0 16 0 11 0 836714134 859672576 51411 4294967295 134512640 134569956 3221224384 3221214744 1131394718 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 51411 13086 16 0 209865 0 vsize: 839524 [startup+780.093 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18085 0 1 0 67865 66 0 0 18 0 11 0 836714134 859672576 51639 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 51639 13086 16 0 209865 0 vsize: 839524 [startup+790.092 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 68725 66 0 0 17 0 11 0 836714134 859672576 51948 4294967295 134512640 134569956 3221224384 3221214700 1131213856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 51948 13086 16 0 209865 0 vsize: 839524 [startup+800.093 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 69622 66 0 0 18 0 11 0 836714134 859672576 53361 4294967295 134512640 134569956 3221224384 3221214752 1131394599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 53361 13086 16 0 209865 0 vsize: 839524 [startup+810.094 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 70465 66 0 0 17 0 11 0 836714134 859672576 54035 4294967295 134512640 134569956 3221224384 3221214712 1131240997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 54035 13086 16 0 209865 0 vsize: 839524 [startup+820.097 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 71318 66 0 0 18 0 11 0 836714134 859672576 54719 4294967295 134512640 134569956 3221224384 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 54719 13086 16 0 209865 0 vsize: 839524 [startup+830.098 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 72170 66 0 0 16 0 11 0 836714134 859672576 55598 4294967295 134512640 134569956 3221224384 3221214776 1131361264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 55598 13086 16 0 209865 0 vsize: 839524 [startup+840.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 73054 66 0 0 17 0 11 0 836714134 859672576 56034 4294967295 134512640 134569956 3221224384 3221214808 1131399384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 56034 13086 16 0 209865 0 vsize: 839524 [startup+850.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 73917 66 0 0 16 0 11 0 836714134 859672576 56674 4294967295 134512640 134569956 3221224384 3221214712 1131241960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 56674 13086 16 0 209865 0 vsize: 839524 [startup+860.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 74803 66 0 0 16 0 11 0 836714134 859672576 56674 4294967295 134512640 134569956 3221224384 3221214712 1131241118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 56674 13086 16 0 209865 0 vsize: 839524 [startup+870.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 75674 66 0 0 17 0 11 0 836714134 859672576 56892 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 56892 13086 16 0 209865 0 vsize: 839524 [startup+880.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 76557 66 0 0 16 0 11 0 836714134 859672576 57875 4294967295 134512640 134569956 3221224384 3221214704 1131284248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 57875 13086 16 0 209865 0 vsize: 839524 [startup+890.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 77432 66 0 0 16 0 11 0 836714134 859672576 58063 4294967295 134512640 134569956 3221224384 3221214576 1131283999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 58063 13086 16 0 209865 0 vsize: 839524 [startup+900.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 78322 66 0 0 17 0 11 0 836714134 859672576 58911 4294967295 134512640 134569956 3221224384 3221214752 1131413718 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 58911 13086 16 0 209865 0 vsize: 839524 [startup+910.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 79186 66 0 0 16 0 11 0 836714134 859672576 59312 4294967295 134512640 134569956 3221224384 3221214680 1131372887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 59312 13086 16 0 209865 0 vsize: 839524 [startup+920.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 80049 66 0 0 16 0 11 0 836714134 859672576 59498 4294967295 134512640 134569956 3221224384 3221214808 1131402923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 59498 13086 16 0 209865 0 vsize: 839524 [startup+930.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 80909 66 0 0 16 0 11 0 836714134 859672576 59757 4294967295 134512640 134569956 3221224384 3221214792 1131427145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 59757 13086 16 0 209865 0 vsize: 839524 [startup+940.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 81797 66 0 0 16 0 11 0 836714134 859672576 60256 4294967295 134512640 134569956 3221224384 3221214576 1131284248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 60256 13086 16 0 209865 0 vsize: 839524 [startup+950.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 82684 66 0 0 17 0 11 0 836714134 859672576 60755 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 60755 13086 16 0 209865 0 vsize: 839524 [startup+960.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 83569 66 0 0 18 0 11 0 836714134 859672576 61382 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 61382 13086 16 0 209865 0 vsize: 839524 [startup+970.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 84438 66 0 0 16 0 11 0 836714134 859672576 62151 4294967295 134512640 134569956 3221224384 3221214808 1131399316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 62151 13086 16 0 209865 0 vsize: 839524 [startup+980.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 85345 66 0 0 16 0 11 0 836714134 859672576 62522 4294967295 134512640 134569956 3221224384 3221214680 1131372887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 62522 13086 16 0 209865 0 vsize: 839524 [startup+990.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 86224 66 0 0 16 0 11 0 836714134 859672576 63679 4294967295 134512640 134569956 3221224384 3221214808 1131398947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 63679 13086 16 0 209865 0 vsize: 839524 [startup+1000.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 87125 66 0 0 16 0 11 0 836714134 859672576 63679 4294967295 134512640 134569956 3221224384 3221214784 1131279623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 63679 13086 16 0 209865 0 vsize: 839524 [startup+1010.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 88008 66 0 0 17 0 11 0 836714134 859672576 63917 4294967295 134512640 134569956 3221224384 3221214728 1131188633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 63917 13086 16 0 209865 0 vsize: 839524 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 88869 66 0 0 16 0 11 0 836714134 859672576 64162 4294967295 134512640 134569956 3221224384 3221214648 1131241301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 64162 13086 16 0 209865 0 vsize: 839524 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 89766 66 0 0 17 0 11 0 836714134 859672576 65098 4294967295 134512640 134569956 3221224384 3221214752 1131414176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 65098 13086 16 0 209865 0 vsize: 839524 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 90642 66 0 0 16 0 11 0 836714134 859672576 65987 4294967295 134512640 134569956 3221224384 3221214808 1131399360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 65987 13086 16 0 209865 0 vsize: 839524 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 91551 66 0 0 17 0 11 0 836714134 859672576 65987 4294967295 134512640 134569956 3221224384 3221214616 1131213925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 65987 13086 16 0 209865 0 vsize: 839524 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 92436 66 0 0 17 0 11 0 836714134 859672576 66441 4294967295 134512640 134569956 3221224384 3221214804 1131361203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 66441 13086 16 0 209865 0 vsize: 839524 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 93300 67 0 0 17 0 11 0 836714134 859672576 66708 4294967295 134512640 134569956 3221224384 3221214840 1131461740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 66708 13086 16 0 209865 0 vsize: 839524 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 94195 67 0 0 19 0 11 0 836714134 859672576 66865 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 66865 13086 16 0 209865 0 vsize: 839524 [startup+1090.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 95092 67 0 0 17 0 11 0 836714134 859672576 66942 4294967295 134512640 134569956 3221224384 3221214804 1131357220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 66942 13086 16 0 209865 0 vsize: 839524 [startup+1100.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 95958 67 0 0 17 0 11 0 836714134 859672576 67277 4294967295 134512640 134569956 3221224384 3221214640 1131434258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 67277 13086 16 0 209865 0 vsize: 839524 [startup+1110.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 96857 67 0 0 17 0 11 0 836714134 859672576 67547 4294967295 134512640 134569956 3221224384 3221214728 1131188633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 67547 13086 16 0 209865 0 vsize: 839524 [startup+1120.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 97759 67 0 0 17 0 11 0 836714134 859672576 67619 4294967295 134512640 134569956 3221224384 3221214776 1131361304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 67619 13086 16 0 209865 0 vsize: 839524 [startup+1130.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 98649 67 0 0 17 0 11 0 836714134 859672576 68220 4294967295 134512640 134569956 3221224384 3221214704 1131283643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68220 13086 16 0 209865 0 vsize: 839524 [startup+1140.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 99570 67 0 0 17 0 11 0 836714134 859672576 68258 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68258 13086 16 0 209865 0 vsize: 839524 [startup+1150.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 100496 67 0 0 16 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221214776 1131361255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68388 13086 16 0 209865 0 vsize: 839524 [startup+1160.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 101448 67 0 0 19 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221214576 1131284480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68388 13086 16 0 209865 0 vsize: 839524 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 102372 67 0 0 20 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68388 13086 16 0 209865 0 vsize: 839524 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 103274 67 0 0 16 0 11 0 836714134 859672576 68513 4294967295 134512640 134569956 3221224384 3221214804 1131357196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68513 13086 16 0 209865 0 vsize: 839524 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 104218 67 0 0 17 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214576 1131283999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68743 13086 16 0 209865 0 vsize: 839524 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 105169 67 0 0 19 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68743 13086 16 0 209865 0 vsize: 839524 [startup+1210.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 106097 67 0 0 16 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214724 1130885240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68743 13086 16 0 209865 0 vsize: 839524 [startup+1220.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 107046 67 0 0 17 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214752 1131413760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68743 13086 16 0 209865 0 vsize: 839524 [startup+1230.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 107971 67 0 0 18 0 11 0 836714134 859672576 68830 4294967295 134512640 134569956 3221224384 3221214704 1131284505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68830 13086 16 0 209865 0 vsize: 839524 [startup+1240.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 108874 67 0 0 16 0 11 0 836714134 859672576 68830 4294967295 134512640 134569956 3221224384 3221214776 1131361340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 68830 13086 16 0 209865 0 vsize: 839524 [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 109765 67 0 0 17 0 11 0 836714134 859672576 69848 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 69848 13086 16 0 209865 0 vsize: 839524 [startup+1260.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 110624 67 0 0 16 0 11 0 836714134 859672576 70480 4294967295 134512640 134569956 3221224384 3221214808 1131398989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 70480 13086 16 0 209865 0 vsize: 839524 [startup+1270.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 111496 67 0 0 16 0 11 0 836714134 859672576 70766 4294967295 134512640 134569956 3221224384 3221214704 1131283971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 70766 13086 16 0 209865 0 vsize: 839524 [startup+1280.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 112353 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214724 1130885204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 72504 13086 16 0 209865 0 vsize: 839524 [startup+1290.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 113290 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214748 1131188582 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 72504 13086 16 0 209865 0 vsize: 839524 [startup+1300.13 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 114202 67 0 0 17 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214752 1131413817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 72504 13086 16 0 209865 0 vsize: 839524 [startup+1310.13 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 115069 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214704 1131284240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 72504 13086 16 0 209865 0 vsize: 839524 [startup+1320.13 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 115942 67 0 0 16 0 11 0 836714134 859672576 72716 4294967295 134512640 134569956 3221224384 3221214704 1131284546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 72716 13086 16 0 209865 0 vsize: 839524 [startup+1330.14 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 116833 67 0 0 17 0 11 0 836714134 859672576 73793 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 73793 13086 16 0 209865 0 vsize: 839524 [startup+1340.14 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 117731 67 0 0 17 0 11 0 836714134 859672576 73793 4294967295 134512640 134569956 3221224384 3221214728 1131188668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 73793 13086 16 0 209865 0 vsize: 839524 [startup+1350.14 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 118582 67 0 0 16 0 11 0 836714134 859672576 74342 4294967295 134512640 134569956 3221224384 3221214748 1131188576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 74342 13086 16 0 209865 0 vsize: 839524 [startup+1360.14 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 119476 67 0 0 17 0 11 0 836714134 859672576 74453 4294967295 134512640 134569956 3221224384 3221214724 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 74453 13086 16 0 209865 0 vsize: 839524 [startup+1370.14 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 19222 Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 120340 67 0 0 16 0 11 0 836714134 859672576 74743 4294967295 134512640 134569956 3221224384 3221214792 1131407433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209881 74743 13086 16 0 209865 0 vsize: 839524 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1370.32 s] Raw data (loadavg): 1.02 1.01 1.00 1/54 19224 Raw data (stat): 19212 (java) Z 19211 4613 4612 0 -1 1036 18086 55064 1 0 120344 67 16354 129 16 0 1 0 836714134 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): 1370.32 CPU time (s): 1368.96 CPU user time (s): 1366.99 CPU system time (s): 1.9687 CPU usage (%): 99.9008 Max. virtual memory (Kb): 839672 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####