Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
MD5SUM | 2fc65c15b9b26fc3028e8a890f1d86ad |
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 | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1075.62 |
Number of variables | 201731 |
Total number of constraints | 592525 |
Number of constraints which are clauses | 579429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13096 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 06:13:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20692 boxname=wulflinc25 idbench=282 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 2fc65c15b9b26fc3028e8a890f1d86ad /oldhome/oroussel/tmp/wulflinc25/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb IDLAUNCH: 20692 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 436168 kB Buffers: 24636 kB Cached: 549444 kB SwapCached: 588 kB Active: 91056 kB Inactive: 485248 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 435916 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16552 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 06:36:26 (client local time) WITH STATUS 143 IN 1383.43 SECONDS stats: 20692 7 1383.43 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/wulflinc25/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.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) : 1379.156 #### 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.87 0.97 0.99 2/54 11214 Raw data (stat): 11214 (runsolver) R 11213 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836644411 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0004 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 784 41 0 0 25 0 10 0 836644411 854495232 21027 4294967295 134512640 134569956 3221224352 3221214564 1077635754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208617 21027 13086 16 0 208601 0 vsize: 834468 [startup+20.0007 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 1633 41 0 0 25 0 10 0 836644411 854188032 21962 4294967295 134512640 134569956 3221224352 3221214744 1131227265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 21962 13086 16 0 208526 0 vsize: 834168 [startup+30.0006 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 2491 41 0 0 25 0 10 0 836644411 854188032 22614 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 22614 13086 16 0 208526 0 vsize: 834168 [startup+40.0013 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 3348 41 0 0 25 0 10 0 836644411 854188032 23226 4294967295 134512640 134569956 3221224352 3221214468 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 23226 13086 16 0 208526 0 vsize: 834168 [startup+50.0023 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 4197 42 0 0 25 0 10 0 836644411 854188032 23758 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 23758 13086 16 0 208526 0 vsize: 834168 [startup+60.0025 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 5049 42 0 0 25 0 10 0 836644411 854188032 24238 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 24238 13086 16 0 208526 0 vsize: 834168 [startup+70.0021 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 5894 42 0 0 24 0 10 0 836644411 854188032 24783 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 24783 13086 16 0 208526 0 vsize: 834168 [startup+80.003 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 6754 42 0 0 25 0 10 0 836644411 854188032 25160 4294967295 134512640 134569956 3221224352 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 25160 13086 16 0 208526 0 vsize: 834168 [startup+90.0033 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 7596 43 0 0 25 0 10 0 836644411 854188032 25540 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 25540 13086 16 0 208526 0 vsize: 834168 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 8440 43 0 0 25 0 10 0 836644411 854188032 25900 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 25900 13086 16 0 208526 0 vsize: 834168 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 9285 43 0 0 25 0 10 0 836644411 854188032 26253 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 26253 13086 16 0 208526 0 vsize: 834168 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 10128 43 0 0 25 0 10 0 836644411 854188032 26706 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 26706 13086 16 0 208526 0 vsize: 834168 [startup+130.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 10973 43 0 0 25 0 10 0 836644411 854188032 27019 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 27019 13086 16 0 208526 0 vsize: 834168 [startup+140.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 11828 43 0 0 25 0 10 0 836644411 854188032 27371 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 27371 13086 16 0 208526 0 vsize: 834168 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 12675 44 0 0 25 0 10 0 836644411 854188032 27672 4294967295 134512640 134569956 3221224352 3221214744 1131292889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 27672 13086 16 0 208526 0 vsize: 834168 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 13525 44 0 0 25 0 10 0 836644411 854188032 27972 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 27972 13086 16 0 208526 0 vsize: 834168 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 14383 44 0 0 25 0 10 0 836644411 854188032 28282 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 28282 13086 16 0 208526 0 vsize: 834168 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 15237 44 0 0 25 0 10 0 836644411 854188032 28585 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 28585 13086 16 0 208526 0 vsize: 834168 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 16097 44 0 0 25 0 10 0 836644411 854188032 28871 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 28871 13086 16 0 208526 0 vsize: 834168 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 16959 44 0 0 16 0 10 0 836644411 854188032 29133 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 29133 13086 16 0 208526 0 vsize: 834168 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 17822 44 0 0 21 0 10 0 836644411 854188032 29434 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 29434 13086 16 0 208526 0 vsize: 834168 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 18681 44 0 0 20 0 10 0 836644411 854188032 29692 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 29692 13086 16 0 208526 0 vsize: 834168 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 19546 44 0 0 19 0 10 0 836644411 854188032 30047 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 30047 13086 16 0 208526 0 vsize: 834168 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 20410 45 0 0 19 0 10 0 836644411 854188032 30291 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 30291 13086 16 0 208526 0 vsize: 834168 [startup+250.018 s] Raw data (loadavg): 1.07 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 21276 45 0 0 17 0 10 0 836644411 854188032 30536 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 30536 13086 16 0 208526 0 vsize: 834168 [startup+260.021 s] Raw data (loadavg): 1.06 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 22147 45 0 0 19 0 10 0 836644411 854188032 30769 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 30769 13086 16 0 208526 0 vsize: 834168 [startup+270.021 s] Raw data (loadavg): 1.05 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 23023 45 0 0 20 0 10 0 836644411 854188032 30985 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 30985 13086 16 0 208526 0 vsize: 834168 [startup+280.021 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 23897 45 0 0 21 0 10 0 836644411 854188032 31192 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 31192 13086 16 0 208526 0 vsize: 834168 [startup+290.022 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 24769 45 0 0 21 0 10 0 836644411 854188032 31396 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 31396 13086 16 0 208526 0 vsize: 834168 [startup+300.025 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 25639 46 0 0 21 0 10 0 836644411 854188032 31618 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 31618 13086 16 0 208526 0 vsize: 834168 [startup+310.024 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 26511 46 0 0 17 0 10 0 836644411 854188032 31842 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 31842 13086 16 0 208526 0 vsize: 834168 [startup+320.025 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 27387 46 0 0 17 0 10 0 836644411 854188032 32040 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 32040 13086 16 0 208526 0 vsize: 834168 [startup+330.026 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 28263 46 0 0 18 0 10 0 836644411 854188032 32241 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 32241 13086 16 0 208526 0 vsize: 834168 [startup+340.025 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 29138 46 0 0 19 0 10 0 836644411 854188032 32440 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 32440 13086 16 0 208526 0 vsize: 834168 [startup+350.026 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 30014 46 0 0 19 0 10 0 836644411 854188032 32639 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 32639 13086 16 0 208526 0 vsize: 834168 [startup+360.027 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 30890 46 0 0 19 0 10 0 836644411 854188032 32831 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 32831 13086 16 0 208526 0 vsize: 834168 [startup+370.026 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 31767 46 0 0 20 0 10 0 836644411 854188032 33024 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 33024 13086 16 0 208526 0 vsize: 834168 [startup+380.026 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 32645 46 0 0 21 0 10 0 836644411 854188032 33209 4294967295 134512640 134569956 3221224352 3221214696 1131227401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 33209 13086 16 0 208526 0 vsize: 834168 [startup+390.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 33516 47 0 0 22 0 10 0 836644411 854188032 33388 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 33388 13086 16 0 208526 0 vsize: 834168 [startup+400.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 34383 47 0 0 16 0 10 0 836644411 854188032 33650 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 33650 13086 16 0 208526 0 vsize: 834168 [startup+410.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 35250 48 0 0 16 0 10 0 836644411 854188032 34056 4294967295 134512640 134569956 3221224352 3221214708 1080204144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34056 13086 16 0 208526 0 vsize: 834168 [startup+420.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 36134 48 0 0 17 0 10 0 836644411 854188032 34127 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34127 13086 16 0 208526 0 vsize: 834168 [startup+430.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 37011 48 0 0 19 0 10 0 836644411 854188032 34304 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34304 13086 16 0 208526 0 vsize: 834168 [startup+440.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 37889 48 0 0 20 0 10 0 836644411 854188032 34475 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34475 13086 16 0 208526 0 vsize: 834168 [startup+450.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 38770 48 0 0 20 0 10 0 836644411 854188032 34647 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34647 13086 16 0 208526 0 vsize: 834168 [startup+460.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 39647 49 0 0 21 0 10 0 836644411 854188032 34808 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34808 13086 16 0 208526 0 vsize: 834168 [startup+470.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 40530 49 0 0 18 0 10 0 836644411 854188032 34975 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 34975 13086 16 0 208526 0 vsize: 834168 [startup+480.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 41413 49 0 0 18 0 10 0 836644411 854188032 35126 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35126 13086 16 0 208526 0 vsize: 834168 [startup+490.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 42292 50 0 0 21 0 10 0 836644411 854188032 35277 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35277 13086 16 0 208526 0 vsize: 834168 [startup+500.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 43171 50 0 0 22 0 10 0 836644411 854188032 35441 4294967295 134512640 134569956 3221224352 3221213700 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35441 13086 16 0 208526 0 vsize: 834168 [startup+510.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 44042 51 0 0 17 0 10 0 836644411 854188032 35615 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35615 13086 16 0 208526 0 vsize: 834168 [startup+520.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 44922 51 0 0 18 0 10 0 836644411 854188032 35776 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35776 13086 16 0 208526 0 vsize: 834168 [startup+530.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 45802 52 0 0 18 0 10 0 836644411 854188032 35927 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 35927 13086 16 0 208526 0 vsize: 834168 [startup+540.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 46684 52 0 0 20 0 10 0 836644411 854188032 36080 4294967295 134512640 134569956 3221224352 3221214208 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36080 13086 16 0 208526 0 vsize: 834168 [startup+550.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 47566 52 0 0 21 0 10 0 836644411 854188032 36233 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36233 13086 16 0 208526 0 vsize: 834168 [startup+560.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 48446 53 0 0 21 0 10 0 836644411 854188032 36381 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36381 13086 16 0 208526 0 vsize: 834168 [startup+570.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 49319 53 0 0 22 0 10 0 836644411 854188032 36537 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36537 13086 16 0 208526 0 vsize: 834168 [startup+580.055 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 50200 53 0 0 17 0 10 0 836644411 854188032 36690 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36690 13086 16 0 208526 0 vsize: 834168 [startup+590.055 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 51079 54 0 0 18 0 10 0 836644411 854188032 36838 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36838 13086 16 0 208526 0 vsize: 834168 [startup+600.056 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 51959 54 0 0 17 0 10 0 836644411 854188032 36986 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 36986 13086 16 0 208526 0 vsize: 834168 [startup+610.057 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 52840 54 0 0 17 0 10 0 836644411 854188032 37133 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37133 13086 16 0 208526 0 vsize: 834168 [startup+620.057 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 53720 54 0 0 19 0 10 0 836644411 854188032 37275 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37275 13086 16 0 208526 0 vsize: 834168 [startup+630.058 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 54600 54 0 0 20 0 10 0 836644411 854188032 37420 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37420 13086 16 0 208526 0 vsize: 834168 [startup+640.059 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 55481 55 0 0 20 0 10 0 836644411 854188032 37558 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37558 13086 16 0 208526 0 vsize: 834168 [startup+650.062 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 56358 55 0 0 21 0 10 0 836644411 854188032 37698 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37698 13086 16 0 208526 0 vsize: 834168 [startup+660.062 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 57236 55 0 0 17 0 10 0 836644411 854188032 37834 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37834 13086 16 0 208526 0 vsize: 834168 [startup+670.066 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 58116 56 0 0 18 0 10 0 836644411 854188032 37972 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 37972 13086 16 0 208526 0 vsize: 834168 [startup+680.066 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 58996 56 0 0 19 0 10 0 836644411 854188032 38108 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38108 13086 16 0 208526 0 vsize: 834168 [startup+690.065 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 59876 56 0 0 21 0 10 0 836644411 854188032 38241 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38241 13086 16 0 208526 0 vsize: 834168 [startup+700.066 s] Raw data (loadavg): 1.08 1.01 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 60756 56 0 0 21 0 10 0 836644411 854188032 38377 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38377 13086 16 0 208526 0 vsize: 834168 [startup+710.07 s] Raw data (loadavg): 1.07 1.01 1.00 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 61633 56 0 0 22 0 10 0 836644411 854188032 38512 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38512 13086 16 0 208526 0 vsize: 834168 [startup+720.07 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 62507 57 0 0 17 0 10 0 836644411 854188032 38654 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38654 13086 16 0 208526 0 vsize: 834168 [startup+730.074 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 63387 57 0 0 17 0 10 0 836644411 854188032 38782 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 38782 13086 16 0 208526 0 vsize: 834168 [startup+740.074 s] Raw data (loadavg): 1.04 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 64265 58 0 0 21 0 10 0 836644411 854188032 39619 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 39619 13086 16 0 208526 0 vsize: 834168 [startup+750.079 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 65176 58 0 0 23 0 10 0 836644411 854188032 39619 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 39619 13086 16 0 208526 0 vsize: 834168 [startup+760.084 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 66059 58 0 0 17 0 10 0 836644411 854188032 39643 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 39643 13086 16 0 208526 0 vsize: 834168 [startup+770.085 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 66935 59 0 0 17 0 10 0 836644411 854188032 39767 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 39767 13086 16 0 208526 0 vsize: 834168 [startup+780.085 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 67811 60 0 0 18 0 10 0 836644411 854188032 39884 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 39884 13086 16 0 208526 0 vsize: 834168 [startup+790.085 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 68687 61 0 0 18 0 10 0 836644411 854188032 40005 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40005 13086 16 0 208526 0 vsize: 834168 [startup+800.085 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 69561 61 0 0 18 0 10 0 836644411 854188032 40119 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40119 13086 16 0 208526 0 vsize: 834168 [startup+810.086 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 70433 62 0 0 17 0 10 0 836644411 854188032 40259 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40259 13086 16 0 208526 0 vsize: 834168 [startup+820.086 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 71307 62 0 0 18 0 10 0 836644411 854188032 40366 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40366 13086 16 0 208526 0 vsize: 834168 [startup+830.086 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 72179 63 0 0 17 0 10 0 836644411 854188032 40491 4294967295 134512640 134569956 3221224352 3221214208 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40491 13086 16 0 208526 0 vsize: 834168 [startup+840.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 73051 63 0 0 17 0 10 0 836644411 854188032 40613 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40613 13086 16 0 208526 0 vsize: 834168 [startup+850.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 73925 63 0 0 17 0 10 0 836644411 854188032 40762 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40762 13086 16 0 208526 0 vsize: 834168 [startup+860.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 74799 64 0 0 17 0 10 0 836644411 854188032 40883 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40883 13086 16 0 208526 0 vsize: 834168 [startup+870.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 75674 64 0 0 17 0 10 0 836644411 854188032 40978 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 40978 13086 16 0 208526 0 vsize: 834168 [startup+880.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 76549 64 0 0 18 0 10 0 836644411 854188032 41097 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41097 13086 16 0 208526 0 vsize: 834168 [startup+890.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 77424 64 0 0 18 0 10 0 836644411 854188032 41247 4294967295 134512640 134569956 3221224352 3221214176 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41247 13086 16 0 208526 0 vsize: 834168 [startup+900.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 78298 65 0 0 18 0 10 0 836644411 854188032 41335 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41335 13086 16 0 208526 0 vsize: 834168 [startup+910.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 79171 65 0 0 18 0 10 0 836644411 854188032 41479 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41479 13086 16 0 208526 0 vsize: 834168 [startup+920.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 80046 66 0 0 18 0 10 0 836644411 854188032 41610 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41610 13086 16 0 208526 0 vsize: 834168 [startup+930.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 80919 66 0 0 18 0 10 0 836644411 854188032 41701 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41701 13086 16 0 208526 0 vsize: 834168 [startup+940.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 81794 67 0 0 18 0 10 0 836644411 854188032 41834 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41834 13086 16 0 208526 0 vsize: 834168 [startup+950.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 82667 67 0 0 17 0 10 0 836644411 854188032 41919 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 41919 13086 16 0 208526 0 vsize: 834168 [startup+960.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 83540 68 0 0 17 0 10 0 836644411 854188032 42040 4294967295 134512640 134569956 3221224352 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42040 13086 16 0 208526 0 vsize: 834168 [startup+970.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 84416 69 0 0 17 0 10 0 836644411 854188032 42157 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42157 13086 16 0 208526 0 vsize: 834168 [startup+980.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 85295 69 0 0 18 0 10 0 836644411 854188032 42316 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42316 13086 16 0 208526 0 vsize: 834168 [startup+990.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 86175 69 0 0 19 0 10 0 836644411 854188032 42437 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42437 13086 16 0 208526 0 vsize: 834168 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 87050 70 0 0 18 0 10 0 836644411 854188032 42497 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42497 13086 16 0 208526 0 vsize: 834168 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 87928 70 0 0 20 0 10 0 836644411 854188032 42666 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42666 13086 16 0 208526 0 vsize: 834168 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 88810 71 0 0 20 0 10 0 836644411 854188032 42733 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42733 13086 16 0 208526 0 vsize: 834168 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 89689 71 0 0 21 0 10 0 836644411 854188032 42873 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42873 13086 16 0 208526 0 vsize: 834168 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 90570 71 0 0 22 0 10 0 836644411 854188032 42971 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 42971 13086 16 0 208526 0 vsize: 834168 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 91445 72 0 0 21 0 10 0 836644411 854188032 43044 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43044 13086 16 0 208526 0 vsize: 834168 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 92320 73 0 0 21 0 10 0 836644411 854188032 43178 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43178 13086 16 0 208526 0 vsize: 834168 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 93200 73 0 0 22 0 10 0 836644411 854188032 43297 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43297 13086 16 0 208526 0 vsize: 834168 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 94082 73 0 0 22 0 10 0 836644411 854188032 43427 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43427 13086 16 0 208526 0 vsize: 834168 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 94962 73 0 0 17 0 10 0 836644411 854188032 43544 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 43544 13086 16 0 208526 0 vsize: 834168 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 95847 73 0 0 18 0 10 0 836644411 854188032 43615 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43615 13086 16 0 208526 0 vsize: 834168 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 96723 74 0 0 17 0 10 0 836644411 854188032 43704 4294967295 134512640 134569956 3221224352 3221214656 1130920354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43704 13086 16 0 208526 0 vsize: 834168 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 97603 74 0 0 18 0 10 0 836644411 854188032 43859 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43859 13086 16 0 208526 0 vsize: 834168 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 98491 75 0 0 19 0 10 0 836644411 854188032 43949 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 43949 13086 16 0 208526 0 vsize: 834168 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 99376 75 0 0 20 0 10 0 836644411 854188032 44046 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44046 13086 16 0 208526 0 vsize: 834168 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 100263 76 0 0 20 0 10 0 836644411 854188032 44157 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44157 13086 16 0 208526 0 vsize: 834168 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 101147 76 0 0 22 0 10 0 836644411 854188032 44293 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44293 13086 16 0 208526 0 vsize: 834168 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 102030 76 0 0 17 0 10 0 836644411 854188032 44411 4294967295 134512640 134569956 3221224352 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44411 13086 16 0 208526 0 vsize: 834168 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 102918 76 0 0 17 0 10 0 836644411 854188032 44513 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44513 13086 16 0 208526 0 vsize: 834168 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 103809 76 0 0 19 0 10 0 836644411 854188032 44603 4294967295 134512640 134569956 3221224352 3221214176 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44603 13086 16 0 208526 0 vsize: 834168 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 104699 77 0 0 21 0 10 0 836644411 854188032 44689 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44689 13086 16 0 208526 0 vsize: 834168 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 105590 77 0 0 22 0 10 0 836644411 854188032 44805 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44805 13086 16 0 208526 0 vsize: 834168 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 106480 77 0 0 18 0 10 0 836644411 854188032 44909 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 44909 13086 16 0 208526 0 vsize: 834168 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 107374 78 0 0 20 0 10 0 836644411 854188032 45006 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45006 13086 16 0 208526 0 vsize: 834168 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 108267 78 0 0 22 0 10 0 836644411 854188032 45106 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45106 13086 16 0 208526 0 vsize: 834168 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 109157 79 0 0 23 0 10 0 836644411 854188032 45196 4294967295 134512640 134569956 3221224352 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45196 13086 16 0 208526 0 vsize: 834168 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 110052 79 0 0 18 0 10 0 836644411 854188032 45271 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45271 13086 16 0 208526 0 vsize: 834168 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 110946 80 0 0 20 0 10 0 836644411 854188032 45362 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45362 13086 16 0 208526 0 vsize: 834168 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 111839 80 0 0 22 0 10 0 836644411 854188032 45485 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45485 13086 16 0 208526 0 vsize: 834168 [startup+1290.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 112729 80 0 0 18 0 10 0 836644411 854188032 45591 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 45591 13086 16 0 208526 0 vsize: 834168 [startup+1300.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 113629 80 0 0 22 0 10 0 836644411 854188032 45692 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 45692 13086 16 0 208526 0 vsize: 834168 [startup+1310.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 114524 81 0 0 18 0 10 0 836644411 854188032 45786 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 45786 13086 16 0 208526 0 vsize: 834168 [startup+1320.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 115421 81 0 0 19 0 10 0 836644411 854188032 45862 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 45862 13086 16 0 208526 0 vsize: 834168 [startup+1330.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 116320 81 0 0 22 0 10 0 836644411 854188032 45965 4294967295 134512640 134569956 3221224352 3221214080 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208542 45965 13086 16 0 208526 0 vsize: 834168 [startup+1340.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 117212 81 0 0 19 0 10 0 836644411 854188032 46091 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 46091 13086 16 0 208526 0 vsize: 834168 [startup+1350.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 118115 81 0 0 21 0 10 0 836644411 854188032 46142 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 46142 13086 16 0 208526 0 vsize: 834168 [startup+1360.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 119010 81 0 0 19 0 10 0 836644411 854188032 46253 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 46253 13086 16 0 208526 0 vsize: 834168 [startup+1370.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 119915 81 0 0 23 0 10 0 836644411 854188032 46352 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 46352 13086 16 0 208526 0 vsize: 834168 [startup+1380.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 11223 Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 120814 81 0 0 20 0 10 0 836644411 854188032 46466 4294967295 134512640 134569956 3221224352 3221214208 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208542 46466 13086 16 0 208526 0 vsize: 834168 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1380.25 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11225 Raw data (stat): 11214 (java) Z 11213 1586 1585 0 -1 1036 18028 29006 1 0 120819 81 17354 87 22 0 1 0 836644411 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1380.25 CPU time (s): 1383.43 CPU user time (s): 1381.74 CPU system time (s): 1.69674 CPU usage (%): 100.23 Max. virtual memory (Kb): 834468 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####