Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb |
MD5SUM | 9fbb3a49a26e96e8ca349ca5e732b02f |
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 | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 130 |
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 | 9.8365 |
Number of variables | 4622 |
Total number of constraints | 12569 |
Number of constraints which are clauses | 11753 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 816 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-05-25 06:17:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20707 boxname=wulflinc13 idbench=297 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 9fbb3a49a26e96e8ca349ca5e732b02f /oldhome/oroussel/tmp/wulflinc13/normalized-ooo.burch_dill.3.accl.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ooo.burch_dill.3.accl.ucl.opb IDLAUNCH: 20707 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 670584 kB Buffers: 32500 kB Cached: 311448 kB SwapCached: 608 kB Active: 58096 kB Inactive: 288368 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 670332 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6156 kB Slab: 12032 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:38:22 (client local time) WITH STATUS 143 IN 1275 SECONDS stats: 20707 7 1275 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/wulflinc13/normalized-ooo.burch_dill.3.accl.ucl.opb c reading problem ... done. Time 12.13 ms. c #vars 4622 c #constraints 12569 c starts : 11 c conflicts : 16705 c decisions : 47927 c propagations : 3920853 c inspects : 19517778 c learned literals : 4 c learned binary clauses : 89 c learned ternary clauses : 80 c learned clauses : 16701 c root simplifications : 17 s UNKNOWN c Total CPU time (ms) : 1269.125 #### 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.91 0.95 0.95 2/54 10467 Raw data (stat): 10467 (runsolver) R 10466 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778437648 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.01 0.97 0.96 2/63 10476 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18029 0 1 0 770 42 0 0 25 0 10 0 778437648 858603520 21975 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209620 21975 13086 16 0 209604 0 vsize: 838480 [startup+20.001 s] Raw data (loadavg): 1.09 0.98 0.96 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18068 0 1 0 1587 43 0 0 25 0 11 0 778437648 859131904 22865 4294967295 134512640 134569956 3221224368 3221214784 1131404070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 22865 13086 16 0 209733 0 vsize: 838996 [startup+30.0013 s] Raw data (loadavg): 1.15 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 2517 43 0 0 25 0 11 0 778437648 859131904 23078 4294967295 134512640 134569956 3221224368 3221214744 1131242162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 23078 13086 16 0 209733 0 vsize: 838996 [startup+40.0024 s] Raw data (loadavg): 1.12 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 3451 43 0 0 25 0 11 0 778437648 859131904 23262 4294967295 134512640 134569956 3221224368 3221214624 1131352464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 23262 13086 16 0 209733 0 vsize: 838996 [startup+50.003 s] Raw data (loadavg): 1.10 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 4387 43 0 0 25 0 11 0 778437648 859131904 23593 4294967295 134512640 134569956 3221224368 3221214680 1131270368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 23593 13086 16 0 209733 0 vsize: 838996 [startup+60.0021 s] Raw data (loadavg): 1.09 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18069 0 1 0 5324 43 0 0 25 0 11 0 778437648 859131904 23851 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 23851 13086 16 0 209733 0 vsize: 838996 [startup+70.0033 s] Raw data (loadavg): 1.07 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 6270 44 0 0 24 0 11 0 778437648 859131904 24079 4294967295 134512640 134569956 3221224368 3221214776 1131404083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 24079 13086 16 0 209733 0 vsize: 838996 [startup+80.004 s] Raw data (loadavg): 1.06 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 7218 44 0 0 24 0 11 0 778437648 859131904 24312 4294967295 134512640 134569956 3221224368 3221214616 1131216071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 24312 13086 16 0 209733 0 vsize: 838996 [startup+90.0041 s] Raw data (loadavg): 1.05 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 8165 44 0 0 25 0 11 0 778437648 859131904 24562 4294967295 134512640 134569956 3221224368 3221214720 1131379133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 24562 13086 16 0 209733 0 vsize: 838996 [startup+100.004 s] Raw data (loadavg): 1.04 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 9101 44 0 0 25 0 11 0 778437648 859131904 24843 4294967295 134512640 134569956 3221224368 3221214616 1131352239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 24843 13086 16 0 209733 0 vsize: 838996 [startup+110.005 s] Raw data (loadavg): 1.04 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 10037 44 0 0 25 0 11 0 778437648 859131904 25076 4294967295 134512640 134569956 3221224368 3221214824 1131364346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 25076 13086 16 0 209733 0 vsize: 838996 [startup+120.005 s] Raw data (loadavg): 1.03 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 10984 45 0 0 25 0 11 0 778437648 859131904 25322 4294967295 134512640 134569956 3221224368 3221214724 1131216032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 25322 13086 16 0 209733 0 vsize: 838996 [startup+130.005 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 11916 45 0 0 25 0 11 0 778437648 859131904 25698 4294967295 134512640 134569956 3221224368 3221214752 1131443377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 25698 13086 16 0 209733 0 vsize: 838996 [startup+140.006 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 12860 45 0 0 25 0 11 0 778437648 859131904 26061 4294967295 134512640 134569956 3221224368 3221214752 1131445098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 26061 13086 16 0 209733 0 vsize: 838996 [startup+150.006 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 13786 45 0 0 24 0 11 0 778437648 859131904 26681 4294967295 134512640 134569956 3221224368 3221214752 1131443361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 26681 13086 16 0 209733 0 vsize: 838996 [startup+160.006 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 14746 45 0 0 25 0 11 0 778437648 859131904 27026 4294967295 134512640 134569956 3221224368 3221214728 1131472590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 27026 13086 16 0 209733 0 vsize: 838996 [startup+170.009 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 15679 45 0 0 25 0 11 0 778437648 859131904 27507 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 27507 13086 16 0 209733 0 vsize: 838996 [startup+180.009 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 16615 45 0 0 25 0 11 0 778437648 859131904 27941 4294967295 134512640 134569956 3221224368 3221214624 1131352482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 27941 13086 16 0 209733 0 vsize: 838996 [startup+190.01 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 17546 45 0 0 24 0 11 0 778437648 859131904 28371 4294967295 134512640 134569956 3221224368 3221214624 1131352197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 28371 13086 16 0 209733 0 vsize: 838996 [startup+200.009 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 18504 45 0 0 25 0 11 0 778437648 859131904 28613 4294967295 134512640 134569956 3221224368 3221214744 1131397478 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 28613 13086 16 0 209733 0 vsize: 838996 [startup+210.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 19432 45 0 0 24 0 11 0 778437648 859131904 29135 4294967295 134512640 134569956 3221224368 3221214724 1131216039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 29135 13086 16 0 209733 0 vsize: 838996 [startup+220.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 20366 45 0 0 24 0 11 0 778437648 859131904 29476 4294967295 134512640 134569956 3221224368 3221214552 1131270149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 29476 13086 16 0 209733 0 vsize: 838996 [startup+230.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 21316 45 0 0 25 0 11 0 778437648 859131904 29639 4294967295 134512640 134569956 3221224368 3221214752 1131199271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 29639 13086 16 0 209733 0 vsize: 838996 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 22251 46 0 0 25 0 11 0 778437648 859131904 29822 4294967295 134512640 134569956 3221224368 3221214752 1131443389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 29822 13086 16 0 209733 0 vsize: 838996 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 23182 46 0 0 25 0 11 0 778437648 859131904 30104 4294967295 134512640 134569956 3221224368 3221214756 1130917560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 30104 13086 16 0 209733 0 vsize: 838996 [startup+260.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 24123 46 0 0 25 0 11 0 778437648 859131904 30577 4294967295 134512640 134569956 3221224368 3221214776 1131404080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 30577 13086 16 0 209733 0 vsize: 838996 [startup+270.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 25068 46 0 0 25 0 11 0 778437648 859131904 30994 4294967295 134512640 134569956 3221224368 3221214624 1131351781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 30994 13086 16 0 209733 0 vsize: 838996 [startup+280.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 26014 46 0 0 25 0 11 0 778437648 859131904 31230 4294967295 134512640 134569956 3221224368 3221214624 1131352400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 31230 13086 16 0 209733 0 vsize: 838996 [startup+290.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 26947 46 0 0 25 0 11 0 778437648 859131904 31563 4294967295 134512640 134569956 3221224368 3221214624 1131352045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 31563 13086 16 0 209733 0 vsize: 838996 [startup+300.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 27878 46 0 0 25 0 11 0 778437648 859131904 31952 4294967295 134512640 134569956 3221224368 3221214688 1131498525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 31952 13086 16 0 209733 0 vsize: 838996 [startup+310.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 28822 46 0 0 25 0 11 0 778437648 859131904 32282 4294967295 134512640 134569956 3221224368 3221214728 1131473133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 32282 13086 16 0 209733 0 vsize: 838996 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 29768 46 0 0 25 0 11 0 778437648 859131904 32516 4294967295 134512640 134569956 3221224368 3221214728 1131472549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 32516 13086 16 0 209733 0 vsize: 838996 [startup+330.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 30698 46 0 0 25 0 11 0 778437648 859131904 32908 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 32908 13086 16 0 209733 0 vsize: 838996 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 31656 46 0 0 25 0 11 0 778437648 859131904 33086 4294967295 134512640 134569956 3221224368 3221214352 1131224301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 33086 13086 16 0 209733 0 vsize: 838996 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 32595 47 0 0 24 0 11 0 778437648 859131904 33626 4294967295 134512640 134569956 3221224368 3221214720 1131379139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 33626 13086 16 0 209733 0 vsize: 838996 [startup+360.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 33554 47 0 0 25 0 11 0 778437648 859131904 33893 4294967295 134512640 134569956 3221224368 3221214776 1131403747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 33893 13086 16 0 209733 0 vsize: 838996 [startup+370.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 34498 47 0 0 25 0 11 0 778437648 859131904 34376 4294967295 134512640 134569956 3221224368 3221214616 1131352293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 34376 13086 16 0 209733 0 vsize: 838996 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 35457 48 0 0 25 0 11 0 778437648 859131904 34693 4294967295 134512640 134569956 3221224368 3221214520 1131216213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 34693 13086 16 0 209733 0 vsize: 838996 [startup+390.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 36394 48 0 0 25 0 11 0 778437648 859131904 35028 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 35028 13086 16 0 209733 0 vsize: 838996 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 37335 48 0 0 25 0 11 0 778437648 859131904 35368 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 35368 13086 16 0 209733 0 vsize: 838996 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 38284 48 0 0 25 0 11 0 778437648 859131904 35587 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 35587 13086 16 0 209733 0 vsize: 838996 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 39215 48 0 0 25 0 11 0 778437648 859131904 36004 4294967295 134512640 134569956 3221224368 3221214624 1131352472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 36004 13086 16 0 209733 0 vsize: 838996 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 40147 48 0 0 25 0 11 0 778437648 859131904 36237 4294967295 134512640 134569956 3221224368 3221214536 1131219380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 36237 13086 16 0 209733 0 vsize: 838996 [startup+440.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 41092 49 0 0 23 0 11 0 778437648 859131904 36523 4294967295 134512640 134569956 3221224368 3221214752 1131199366 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 36523 13086 16 0 209733 0 vsize: 838996 [startup+450.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 42038 49 0 0 25 0 11 0 778437648 859131904 36593 4294967295 134512640 134569956 3221224368 3221214720 1131379048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 36593 13086 16 0 209733 0 vsize: 838996 [startup+460.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 42970 49 0 0 25 0 11 0 778437648 859131904 36796 4294967295 134512640 134569956 3221224368 3221214776 1131404070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 36796 13086 16 0 209733 0 vsize: 838996 [startup+470.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 43914 50 0 0 25 0 11 0 778437648 859131904 37001 4294967295 134512640 134569956 3221224368 3221214632 1131512553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 37001 13086 16 0 209733 0 vsize: 838996 [startup+480.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 44854 50 0 0 25 0 11 0 778437648 859131904 37268 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 37268 13086 16 0 209733 0 vsize: 838996 [startup+490.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 45786 50 0 0 25 0 11 0 778437648 859131904 37584 4294967295 134512640 134569956 3221224368 3221214752 1131381632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 37584 13086 16 0 209733 0 vsize: 838996 [startup+500.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 46716 51 0 0 25 0 11 0 778437648 859131904 37909 4294967295 134512640 134569956 3221224368 3221214628 1131216032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 37909 13086 16 0 209733 0 vsize: 838996 [startup+510.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 47646 51 0 0 25 0 11 0 778437648 859131904 38183 4294967295 134512640 134569956 3221224368 3221214776 1131404119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 38183 13086 16 0 209733 0 vsize: 838996 [startup+520.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 48575 51 0 0 25 0 11 0 778437648 859131904 38425 4294967295 134512640 134569956 3221224368 3221214624 1131351909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 38425 13086 16 0 209733 0 vsize: 838996 [startup+530.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 49505 51 0 0 25 0 11 0 778437648 859131904 38638 4294967295 134512640 134569956 3221224368 3221214616 1131379097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 38638 13086 16 0 209733 0 vsize: 838996 [startup+540.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 50433 51 0 0 25 0 11 0 778437648 859131904 38957 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 38957 13086 16 0 209733 0 vsize: 838996 [startup+550.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 51363 52 0 0 25 0 11 0 778437648 859131904 39168 4294967295 134512640 134569956 3221224368 3221214604 1130885207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 39168 13086 16 0 209733 0 vsize: 838996 [startup+560.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 52291 52 0 0 25 0 11 0 778437648 859131904 39418 4294967295 134512640 134569956 3221224368 3221214624 1131352440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 39418 13086 16 0 209733 0 vsize: 838996 [startup+570.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 53217 52 0 0 25 0 11 0 778437648 859131904 39660 4294967295 134512640 134569956 3221224368 3221214752 1131199302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 39660 13086 16 0 209733 0 vsize: 838996 [startup+580.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 54144 52 0 0 25 0 11 0 778437648 859131904 39948 4294967295 134512640 134569956 3221224368 3221214616 1131379088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 39948 13086 16 0 209733 0 vsize: 838996 [startup+590.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 55100 52 0 0 25 0 11 0 778437648 859131904 40203 4294967295 134512640 134569956 3221224368 3221214632 1131512581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 40203 13086 16 0 209733 0 vsize: 838996 [startup+600.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 56040 52 0 0 25 0 11 0 778437648 859131904 40606 4294967295 134512640 134569956 3221224368 3221214736 1131242242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 40606 13086 16 0 209733 0 vsize: 838996 [startup+610.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 56983 52 0 0 25 0 11 0 778437648 859131904 40925 4294967295 134512640 134569956 3221224368 3221214720 1131379090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 40925 13086 16 0 209733 0 vsize: 838996 [startup+620.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 57910 52 0 0 25 0 11 0 778437648 859131904 41238 4294967295 134512640 134569956 3221224368 3221214624 1131351795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 41238 13086 16 0 209733 0 vsize: 838996 [startup+630.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 58852 53 0 0 25 0 11 0 778437648 859131904 41530 4294967295 134512640 134569956 3221224368 3221214616 1131216086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 41530 13086 16 0 209733 0 vsize: 838996 [startup+640.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 59793 53 0 0 25 0 11 0 778437648 859131904 41630 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 41630 13086 16 0 209733 0 vsize: 838996 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 60724 53 0 0 25 0 11 0 778437648 859131904 41988 4294967295 134512640 134569956 3221224368 3221214728 1131472764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 41988 13086 16 0 209733 0 vsize: 838996 [startup+660.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 61653 53 0 0 25 0 11 0 778437648 859131904 42201 4294967295 134512640 134569956 3221224368 3221214772 1131199387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 42201 13086 16 0 209733 0 vsize: 838996 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 62580 53 0 0 25 0 11 0 778437648 859131904 42657 4294967295 134512640 134569956 3221224368 3221214708 1130885204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 42657 13086 16 0 209733 0 vsize: 838996 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 63523 53 0 0 25 0 11 0 778437648 859131904 42883 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 42889 13086 16 0 209733 0 vsize: 838996 [startup+690.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 64474 53 0 0 25 0 11 0 778437648 859131904 43142 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 43142 13086 16 0 209733 0 vsize: 838996 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 65421 53 0 0 25 0 11 0 778437648 859131904 43455 4294967295 134512640 134569956 3221224368 3221214712 1131232473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 43455 13086 16 0 209733 0 vsize: 838996 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 66362 53 0 0 25 0 11 0 778437648 859131904 43813 4294967295 134512640 134569956 3221224368 3221214708 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 43813 13086 16 0 209733 0 vsize: 838996 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 67291 54 0 0 24 0 11 0 778437648 859131904 44125 4294967295 134512640 134569956 3221224368 3221214728 1131473305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 44125 13086 16 0 209733 0 vsize: 838996 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 68233 54 0 0 25 0 11 0 778437648 859131904 44277 4294967295 134512640 134569956 3221224368 3221214720 1131555975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 44277 13086 16 0 209733 0 vsize: 838996 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 69173 54 0 0 25 0 11 0 778437648 859131904 44588 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 44588 13086 16 0 209733 0 vsize: 838996 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 70113 54 0 0 25 0 11 0 778437648 859131904 44807 4294967295 134512640 134569956 3221224368 3221214624 1131351983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 44807 13086 16 0 209733 0 vsize: 838996 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 71037 54 0 0 24 0 11 0 778437648 859131904 45126 4294967295 134512640 134569956 3221224368 3221214752 1131199366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 45126 13086 16 0 209733 0 vsize: 838996 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 71980 54 0 0 25 0 11 0 778437648 859131904 45295 4294967295 134512640 134569956 3221224368 3221214772 1131381600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 45295 13086 16 0 209733 0 vsize: 838996 [startup+780.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 72919 54 0 0 25 0 11 0 778437648 859131904 45627 4294967295 134512640 134569956 3221224368 3221214680 1131270101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 45627 13086 16 0 209733 0 vsize: 838996 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 73859 54 0 0 25 0 11 0 778437648 859131904 45943 4294967295 134512640 134569956 3221224368 3221214752 1131199311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 45943 13086 16 0 209733 0 vsize: 838996 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 74798 54 0 0 25 0 11 0 778437648 859131904 46431 4294967295 134512640 134569956 3221224368 3221214692 1131505779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 46431 13086 16 0 209733 0 vsize: 838996 [startup+810.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 75738 54 0 0 25 0 11 0 778437648 859131904 46936 4294967295 134512640 134569956 3221224368 3221214624 1131352239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 46936 13086 16 0 209733 0 vsize: 838996 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 76667 55 0 0 25 0 11 0 778437648 859131904 47526 4294967295 134512640 134569956 3221224368 3221214720 1131379133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 47526 13086 16 0 209733 0 vsize: 838996 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 77614 55 0 0 25 0 11 0 778437648 859131904 47627 4294967295 134512640 134569956 3221224368 3221214728 1131473367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 47627 13086 16 0 209733 0 vsize: 838996 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 78542 55 0 0 24 0 11 0 778437648 859131904 48062 4294967295 134512640 134569956 3221224368 3221214624 1131351781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 48062 13086 16 0 209733 0 vsize: 838996 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 79486 55 0 0 25 0 11 0 778437648 859131904 48304 4294967295 134512640 134569956 3221224368 3221214624 1131351993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 48304 13086 16 0 209733 0 vsize: 838996 [startup+860.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 80429 56 0 0 25 0 11 0 778437648 859131904 48595 4294967295 134512640 134569956 3221224368 3221214624 1131351834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 48595 13086 16 0 209733 0 vsize: 838996 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 81357 56 0 0 25 0 11 0 778437648 859131904 49070 4294967295 134512640 134569956 3221224368 3221214536 1131219388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 49070 13086 16 0 209733 0 vsize: 838996 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 82300 56 0 0 25 0 11 0 778437648 859131904 49422 4294967295 134512640 134569956 3221224368 3221214744 1131396812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 49422 13086 16 0 209733 0 vsize: 838996 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 83227 57 0 0 25 0 11 0 778437648 859131904 49783 4294967295 134512640 134569956 3221224368 3221214624 1131352400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 49783 13086 16 0 209733 0 vsize: 838996 [startup+900.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 84140 57 0 0 25 0 11 0 778437648 859131904 50148 4294967295 134512640 134569956 3221224368 3221214720 1131379103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 50148 13086 16 0 209733 0 vsize: 838996 [startup+910.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 85065 57 0 0 25 0 11 0 778437648 859131904 50318 4294967295 134512640 134569956 3221224368 3221214624 1131351952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 50318 13086 16 0 209733 0 vsize: 838996 [startup+920.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 86003 57 0 0 25 0 11 0 778437648 859131904 50693 4294967295 134512640 134569956 3221224368 3221214776 1131403783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 50693 13086 16 0 209733 0 vsize: 838996 [startup+930.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 86912 57 0 0 25 0 11 0 778437648 859131904 50917 4294967295 134512640 134569956 3221224368 3221214640 1131379931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 50917 13086 16 0 209733 0 vsize: 838996 [startup+940.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 87840 58 0 0 25 0 11 0 778437648 859131904 51141 4294967295 134512640 134569956 3221224368 3221214644 1131379904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51141 13086 16 0 209733 0 vsize: 838996 [startup+950.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 88784 58 0 0 25 0 11 0 778437648 859131904 51206 4294967295 134512640 134569956 3221224368 3221214752 1131199292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51206 13086 16 0 209733 0 vsize: 838996 [startup+960.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 89711 58 0 0 25 0 11 0 778437648 859131904 51387 4294967295 134512640 134569956 3221224368 3221214552 1131270018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51387 13086 16 0 209733 0 vsize: 838996 [startup+970.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 90638 58 0 0 25 0 11 0 778437648 859131904 51560 4294967295 134512640 134569956 3221224368 3221214680 1131270101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51560 13086 16 0 209733 0 vsize: 838996 [startup+980.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 91564 59 0 0 25 0 11 0 778437648 859131904 51695 4294967295 134512640 134569956 3221224368 3221214584 1131218933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51695 13086 16 0 209733 0 vsize: 838996 [startup+990.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 92546 59 0 0 25 0 11 0 778437648 859131904 51732 4294967295 134512640 134569956 3221224368 3221213680 1131296008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51732 13086 16 0 209733 0 vsize: 838996 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 93546 59 0 0 25 0 11 0 778437648 859131904 51732 4294967295 134512640 134569956 3221224368 3221213436 1131610144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 51732 13086 16 0 209733 0 vsize: 838996 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 94531 59 0 0 25 0 11 0 778437648 859131904 51783 4294967295 134512640 134569956 3221224368 3221213416 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51783 13086 16 0 209733 0 vsize: 838996 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 95531 59 0 0 25 0 11 0 778437648 859131904 51783 4294967295 134512640 134569956 3221224368 3221214080 1131295964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51783 13086 16 0 209733 0 vsize: 838996 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 96501 59 0 0 25 0 11 0 778437648 859131904 51886 4294967295 134512640 134569956 3221224368 3221214280 1085679494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51886 13086 16 0 209733 0 vsize: 838996 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 97501 59 0 0 25 0 11 0 778437648 859131904 51886 4294967295 134512640 134569956 3221224368 3221214424 1131610321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51886 13086 16 0 209733 0 vsize: 838996 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 98485 60 0 0 25 0 11 0 778437648 859131904 51918 4294967295 134512640 134569956 3221224368 3221213408 1131295996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 51918 13086 16 0 209733 0 vsize: 838996 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 99470 60 0 0 25 0 11 0 778437648 859131904 51959 4294967295 134512640 134569956 3221224368 3221214736 1131242240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 51959 13086 16 0 209733 0 vsize: 838996 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 100454 60 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214724 1131216768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52065 13086 16 0 209733 0 vsize: 838996 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 101454 60 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214624 1131352239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52065 13086 16 0 209733 0 vsize: 838996 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 102454 61 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214312 1131610296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52065 13086 16 0 209733 0 vsize: 838996 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 103437 61 0 0 25 0 11 0 778437648 859131904 52148 4294967295 134512640 134569956 3221224368 3221213784 1131610381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52148 13086 16 0 209733 0 vsize: 838996 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 104421 61 0 0 25 0 11 0 778437648 859131904 52271 4294967295 134512640 134569956 3221224368 3221213892 1131296050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52271 13086 16 0 209733 0 vsize: 838996 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 105406 61 0 0 25 0 11 0 778437648 859131904 52325 4294967295 134512640 134569956 3221224368 3221214256 1131610327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52325 13086 16 0 209733 0 vsize: 838996 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 106390 61 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214720 1131622525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52392 13086 16 0 209733 0 vsize: 838996 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 107376 61 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214224 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52392 13086 16 0 209733 0 vsize: 838996 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 108375 62 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214080 1131295996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52392 13086 16 0 209733 0 vsize: 838996 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 109376 62 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221213860 1131610320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52392 13086 16 0 209733 0 vsize: 838996 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 110360 62 0 0 25 0 11 0 778437648 859131904 52430 4294967295 134512640 134569956 3221224368 3221214760 1131378297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52430 13086 16 0 209733 0 vsize: 838996 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 111345 62 0 0 25 0 11 0 778437648 859131904 52500 4294967295 134512640 134569956 3221224368 3221214760 1131471216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52500 13086 16 0 209733 0 vsize: 838996 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 112330 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221213972 1131610315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52546 13086 16 0 209733 0 vsize: 838996 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 113315 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221214368 1131610381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52546 13086 16 0 209733 0 vsize: 838996 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 114315 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221213608 1131619102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52546 13086 16 0 209733 0 vsize: 838996 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 115300 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221213944 1131619122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52593 13086 16 0 209733 0 vsize: 838996 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 116299 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221213392 1131610321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52593 13086 16 0 209733 0 vsize: 838996 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 117299 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221214200 1131610321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52593 13086 16 0 209733 0 vsize: 838996 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 118283 62 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221214024 1131295964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52672 13086 16 0 209733 0 vsize: 838996 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 119284 62 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221213524 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209749 52672 13086 16 0 209733 0 vsize: 838996 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 10477 Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 120269 63 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221213888 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209749 52672 13086 16 0 209733 0 vsize: 838996 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.18 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 10479 Raw data (stat): 10467 (java) Z 10466 1269 1268 0 -1 1036 18070 35237 1 0 120271 63 7087 78 25 0 1 0 778437648 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1270.17 CPU time (s): 1275 CPU user time (s): 1273.58 CPU system time (s): 1.41678 CPU usage (%): 100.38 Max. virtual memory (Kb): 838996 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####