Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb |
MD5SUM | fa67033d6a242cf79309b3804f79a4fe |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 15.8556 |
Number of variables | 4608 |
Total number of constraints | 34956 |
Number of constraints which are clauses | 29328 |
Number of constraints which are cardinality constraints (but not clauses) | 5550 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-05-25 07:00:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20770 boxname=wulflinc13 idbench=360 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: fa67033d6a242cf79309b3804f79a4fe /oldhome/oroussel/tmp/wulflinc13/normalized-ppp:1,3-13,19.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ppp:1,3-13,19.opb IDLAUNCH: 20770 /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: 666032 kB Buffers: 33580 kB Cached: 314584 kB SwapCached: 608 kB Active: 60260 kB Inactive: 290472 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 665780 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6156 kB Slab: 12232 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 07:22:46 (client local time) WITH STATUS 143 IN 1307.77 SECONDS stats: 20770 7 1307.77 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-ppp:1,3-13,19.opb c reading problem ... done. Time 13.319 ms. c #vars 4608 c #constraints 30522 c starts : 10 c conflicts : 9039 c decisions : 27862 c propagations : 303303 c inspects : 6480252 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9039 c root simplifications : 10 s UNKNOWN c Total CPU time (ms) : 1309.148 #### 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.96 1.00 0.98 2/54 10736 Raw data (stat): 10736 (runsolver) R 10735 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778700050 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99988 s] Raw data (loadavg): 0.96 1.00 0.98 2/63 10745 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18028 0 1 0 823 38 0 0 25 0 10 0 778700050 854458368 20236 4294967295 134512640 134569956 3221224384 3221213384 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208608 20236 13086 16 0 208592 0 vsize: 834432 [startup+20.0015 s] Raw data (loadavg): 1.12 1.03 1.00 3/64 10746 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 1556 39 0 0 25 0 11 0 778700050 859611136 25728 4294967295 134512640 134569956 3221224384 3221214648 1131220370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209866 25728 13086 16 0 209850 0 vsize: 839464 [startup+30.0021 s] Raw data (loadavg): 1.10 1.03 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 2480 40 0 0 25 0 11 0 778700050 858693632 27405 4294967295 134512640 134569956 3221224384 3221214616 1131366657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 27405 13086 16 0 209626 0 vsize: 838568 [startup+40.0017 s] Raw data (loadavg): 1.09 1.03 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 3398 40 0 0 25 0 11 0 778700050 858693632 27928 4294967295 134512640 134569956 3221224384 3221214480 1131220368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 27928 13086 16 0 209626 0 vsize: 838568 [startup+50.003 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 4326 40 0 0 25 0 11 0 778700050 858693632 28455 4294967295 134512640 134569956 3221224384 3221214672 1131407003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 28455 13086 16 0 209626 0 vsize: 838568 [startup+60.0035 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 5264 40 0 0 25 0 11 0 778700050 858693632 28650 4294967295 134512640 134569956 3221224384 3221214584 1131366365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 28650 13086 16 0 209626 0 vsize: 838568 [startup+70.0079 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18070 0 1 0 6172 40 0 0 25 0 11 0 778700050 858693632 29220 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 29220 13086 16 0 209626 0 vsize: 838568 [startup+80.0092 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 7103 40 0 0 25 0 11 0 778700050 858693632 29473 4294967295 134512640 134569956 3221224384 3221214504 1131220297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209642 29473 13086 16 0 209626 0 vsize: 838568 [startup+90.0096 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 8025 40 0 0 25 0 11 0 778700050 858693632 29793 4294967295 134512640 134569956 3221224384 3221214840 1131211417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 29793 13086 16 0 209626 0 vsize: 838568 [startup+100.01 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 8953 40 0 0 25 0 11 0 778700050 858693632 30120 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 30120 13086 16 0 209626 0 vsize: 838568 [startup+110.011 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 9890 40 0 0 25 0 11 0 778700050 858693632 30490 4294967295 134512640 134569956 3221224384 3221214672 1131408118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 30490 13086 16 0 209626 0 vsize: 838568 [startup+120.013 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 10814 41 0 0 25 0 11 0 778700050 858693632 30873 4294967295 134512640 134569956 3221224384 3221214584 1131366923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 30873 13086 16 0 209626 0 vsize: 838568 [startup+130.013 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 11728 41 0 0 25 0 11 0 778700050 858693632 31386 4294967295 134512640 134569956 3221224384 3221214480 1131220529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 31386 13086 16 0 209626 0 vsize: 838568 [startup+140.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 12637 41 0 0 25 0 11 0 778700050 858693632 31722 4294967295 134512640 134569956 3221224384 3221214480 1131220642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 31722 13086 16 0 209626 0 vsize: 838568 [startup+150.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 13562 41 0 0 25 0 11 0 778700050 858693632 32038 4294967295 134512640 134569956 3221224384 3221214504 1131220370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 32038 13086 16 0 209626 0 vsize: 838568 [startup+160.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 14487 41 0 0 25 0 11 0 778700050 858693632 32168 4294967295 134512640 134569956 3221224384 3221214336 1078020010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 32168 13086 16 0 209626 0 vsize: 838568 [startup+170.015 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 15419 41 0 0 25 0 11 0 778700050 858693632 32366 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 32366 13086 16 0 209626 0 vsize: 838568 [startup+180.015 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 16338 41 0 0 25 0 11 0 778700050 858693632 32641 4294967295 134512640 134569956 3221224384 3221214480 1131220370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 32641 13086 16 0 209626 0 vsize: 838568 [startup+190.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 17269 41 0 0 25 0 11 0 778700050 858693632 32850 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 32850 13086 16 0 209626 0 vsize: 838568 [startup+200.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 18201 41 0 0 25 0 11 0 778700050 858693632 33047 4294967295 134512640 134569956 3221224384 3221214568 1131265559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 33047 13086 16 0 209626 0 vsize: 838568 [startup+210.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 19119 42 0 0 25 0 11 0 778700050 858693632 33309 4294967295 134512640 134569956 3221224384 3221214504 1131220443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 33309 13086 16 0 209626 0 vsize: 838568 [startup+220.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 20043 42 0 0 25 0 11 0 778700050 858693632 33575 4294967295 134512640 134569956 3221224384 3221214496 1131379580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 33575 13086 16 0 209626 0 vsize: 838568 [startup+230.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 20959 42 0 0 25 0 11 0 778700050 858693632 33994 4294967295 134512640 134569956 3221224384 3221214504 1131220275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 33994 13086 16 0 209626 0 vsize: 838568 [startup+240.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 21877 42 0 0 25 0 11 0 778700050 858693632 34316 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 34316 13086 16 0 209626 0 vsize: 838568 [startup+250.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 22802 42 0 0 25 0 11 0 778700050 858693632 34582 4294967295 134512640 134569956 3221224384 3221214584 1131366910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 34582 13086 16 0 209626 0 vsize: 838568 [startup+260.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 23734 42 0 0 25 0 11 0 778700050 858693632 34780 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 34780 13086 16 0 209626 0 vsize: 838568 [startup+270.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 24653 42 0 0 25 0 11 0 778700050 858693632 35082 4294967295 134512640 134569956 3221224384 3221214640 1131436038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 35082 13086 16 0 209626 0 vsize: 838568 [startup+280.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 25573 42 0 0 25 0 11 0 778700050 858693632 35301 4294967295 134512640 134569956 3221224384 3221214672 1131404835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 35301 13086 16 0 209626 0 vsize: 838568 [startup+290.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10748 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 26504 42 0 0 25 0 11 0 778700050 858693632 35514 4294967295 134512640 134569956 3221224384 3221214560 1131211433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 35514 13086 16 0 209626 0 vsize: 838568 [startup+300.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 27422 42 0 0 25 0 11 0 778700050 858693632 35805 4294967295 134512640 134569956 3221224384 3221214584 1131366935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 35805 13086 16 0 209626 0 vsize: 838568 [startup+310.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 28353 42 0 0 25 0 11 0 778700050 858693632 35969 4294967295 134512640 134569956 3221224384 3221214480 1131221016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 35969 13086 16 0 209626 0 vsize: 838568 [startup+320.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 29284 42 0 0 25 0 11 0 778700050 858693632 36168 4294967295 134512640 134569956 3221224384 3221214480 1131220215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 36168 13086 16 0 209626 0 vsize: 838568 [startup+330.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 30215 42 0 0 25 0 11 0 778700050 858693632 36437 4294967295 134512640 134569956 3221224384 3221214568 1131266359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 36437 13086 16 0 209626 0 vsize: 838568 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 31148 43 0 0 25 0 11 0 778700050 858693632 36587 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 36587 13086 16 0 209626 0 vsize: 838568 [startup+350.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 32080 43 0 0 25 0 11 0 778700050 858693632 36785 4294967295 134512640 134569956 3221224384 3221214560 1131211429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 36785 13086 16 0 209626 0 vsize: 838568 [startup+360.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18070 0 1 0 33008 43 0 0 25 0 11 0 778700050 858693632 36981 4294967295 134512640 134569956 3221224384 3221213608 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 36981 13086 16 0 209626 0 vsize: 838568 [startup+370.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 33935 43 0 0 17 0 11 0 778700050 858693632 37188 4294967295 134512640 134569956 3221224384 3221214480 1131220287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 37188 13086 16 0 209626 0 vsize: 838568 [startup+380.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 34863 43 0 0 25 0 11 0 778700050 858693632 37440 4294967295 134512640 134569956 3221224384 3221214672 1131403958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 37440 13086 16 0 209626 0 vsize: 838568 [startup+390.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 35782 43 0 0 25 0 11 0 778700050 858693632 37753 4294967295 134512640 134569956 3221224384 3221214368 1078032448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 37753 13086 16 0 209626 0 vsize: 838568 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 36698 43 0 0 25 0 11 0 778700050 858693632 38048 4294967295 134512640 134569956 3221224384 3221214480 1131220721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 38048 13086 16 0 209626 0 vsize: 838568 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 37609 43 0 0 25 0 11 0 778700050 858693632 38665 4294967295 134512640 134569956 3221224384 3221214672 1131404966 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 38665 13086 16 0 209626 0 vsize: 838568 [startup+420.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 38536 43 0 0 25 0 11 0 778700050 858693632 39220 4294967295 134512640 134569956 3221224384 3221214728 1131347827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 39220 13086 16 0 209626 0 vsize: 838568 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 39455 44 0 0 25 0 11 0 778700050 858693632 39862 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 39862 13086 16 0 209626 0 vsize: 838568 [startup+440.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 40381 44 0 0 25 0 11 0 778700050 858693632 40220 4294967295 134512640 134569956 3221224384 3221214584 1131366830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 40220 13086 16 0 209626 0 vsize: 838568 [startup+450.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 41306 44 0 0 25 0 11 0 778700050 858693632 40650 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 40650 13086 16 0 209626 0 vsize: 838568 [startup+460.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 42230 44 0 0 25 0 11 0 778700050 858693632 41125 4294967295 134512640 134569956 3221224384 3221214496 1131378040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 41125 13086 16 0 209626 0 vsize: 838568 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 43156 44 0 0 25 0 11 0 778700050 858693632 41514 4294967295 134512640 134569956 3221224384 3221214496 1131378788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 41514 13086 16 0 209626 0 vsize: 838568 [startup+480.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 44093 44 0 0 25 0 11 0 778700050 858693632 41891 4294967295 134512640 134569956 3221224384 3221214736 1131285962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 41891 13086 16 0 209626 0 vsize: 838568 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 45029 44 0 0 25 0 11 0 778700050 858693632 42277 4294967295 134512640 134569956 3221224384 3221214584 1131366445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 42277 13086 16 0 209626 0 vsize: 838568 [startup+500.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 45955 44 0 0 24 0 11 0 778700050 858693632 42763 4294967295 134512640 134569956 3221224384 3221214496 1131377857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 42763 13086 16 0 209626 0 vsize: 838568 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 46895 44 0 0 25 0 11 0 778700050 858693632 43068 4294967295 134512640 134569956 3221224384 3221214584 1131366935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209642 43068 13086 16 0 209626 0 vsize: 838568 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 47824 44 0 0 25 0 11 0 778700050 858693632 43406 4294967295 134512640 134569956 3221224384 3221214672 1131405940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 43406 13086 16 0 209626 0 vsize: 838568 [startup+530.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 48753 44 0 0 25 0 11 0 778700050 858693632 43690 4294967295 134512640 134569956 3221224384 3221214672 1131405114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209642 43690 13086 16 0 209626 0 vsize: 838568 [startup+540.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 49692 44 0 0 25 0 11 0 778700050 860790784 44394 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 44394 13086 16 0 210138 0 vsize: 840616 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 50634 44 0 0 25 0 11 0 778700050 860790784 44613 4294967295 134512640 134569956 3221224384 3221214568 1131265859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 44613 13086 16 0 210138 0 vsize: 840616 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 51562 44 0 0 25 0 11 0 778700050 860790784 44920 4294967295 134512640 134569956 3221224384 3221214568 1131266437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 44920 13086 16 0 210138 0 vsize: 840616 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 52480 44 0 0 25 0 11 0 778700050 860790784 45222 4294967295 134512640 134569956 3221224384 3221214568 1131245449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 45222 13086 16 0 210138 0 vsize: 840616 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 53404 44 0 0 25 0 11 0 778700050 860790784 45791 4294967295 134512640 134569956 3221224384 3221214504 1131220529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 45791 13086 16 0 210138 0 vsize: 840616 [startup+590.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 54320 44 0 0 25 0 11 0 778700050 860790784 46038 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 46038 13086 16 0 210138 0 vsize: 840616 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 55237 44 0 0 25 0 11 0 778700050 860790784 46369 4294967295 134512640 134569956 3221224384 3221214584 1131366489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 46369 13086 16 0 210138 0 vsize: 840616 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 56164 44 0 0 25 0 11 0 778700050 860790784 46548 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 46548 13086 16 0 210138 0 vsize: 840616 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 57076 44 0 0 25 0 11 0 778700050 860790784 46725 4294967295 134512640 134569956 3221224384 3221214672 1131404066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 46725 13086 16 0 210138 0 vsize: 840616 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 57981 44 0 0 25 0 11 0 778700050 860790784 47039 4294967295 134512640 134569956 3221224384 3221214504 1131220693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 47039 13086 16 0 210138 0 vsize: 840616 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 58886 44 0 0 25 0 11 0 778700050 860790784 47281 4294967295 134512640 134569956 3221224384 3221214672 1131404980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 47281 13086 16 0 210138 0 vsize: 840616 [startup+650.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 59794 44 0 0 24 0 11 0 778700050 860790784 47577 4294967295 134512640 134569956 3221224384 3221214564 1131264960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 47577 13086 16 0 210138 0 vsize: 840616 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 60709 45 0 0 25 0 11 0 778700050 860790784 47768 4294967295 134512640 134569956 3221224384 3221214496 1131378936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 47768 13086 16 0 210138 0 vsize: 840616 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 61637 45 0 0 25 0 11 0 778700050 860790784 48002 4294967295 134512640 134569956 3221224384 3221214504 1131220267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 48002 13086 16 0 210138 0 vsize: 840616 [startup+680.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 62563 45 0 0 25 0 11 0 778700050 860790784 48207 4294967295 134512640 134569956 3221224384 3221214568 1131266383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 48207 13086 16 0 210138 0 vsize: 840616 [startup+690.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 63477 45 0 0 25 0 11 0 778700050 860790784 48459 4294967295 134512640 134569956 3221224384 3221214344 1076614593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 48459 13086 16 0 210138 0 vsize: 840616 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 64393 45 0 0 25 0 11 0 778700050 860790784 48638 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 48638 13086 16 0 210138 0 vsize: 840616 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 65314 45 0 0 25 0 11 0 778700050 860790784 48880 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 48880 13086 16 0 210138 0 vsize: 840616 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 66222 45 0 0 25 0 11 0 778700050 860790784 49018 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 49018 13086 16 0 210138 0 vsize: 840616 [startup+730.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 67129 45 0 0 25 0 11 0 778700050 860790784 49273 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 49273 13086 16 0 210138 0 vsize: 840616 [startup+740.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 68040 46 0 0 25 0 11 0 778700050 860790784 49513 4294967295 134512640 134569956 3221224384 3221214568 1131266060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 49513 13086 16 0 210138 0 vsize: 840616 [startup+750.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 68970 46 0 0 25 0 11 0 778700050 860790784 49748 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 49748 13086 16 0 210138 0 vsize: 840616 [startup+760.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 69891 46 0 0 25 0 11 0 778700050 860790784 49877 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 49877 13086 16 0 210138 0 vsize: 840616 [startup+770.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 70813 46 0 0 25 0 11 0 778700050 860790784 50041 4294967295 134512640 134569956 3221224384 3221214568 1131265655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50041 13086 16 0 210138 0 vsize: 840616 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 71733 46 0 0 25 0 11 0 778700050 860790784 50195 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50195 13086 16 0 210138 0 vsize: 840616 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 72655 46 0 0 25 0 11 0 778700050 860790784 50403 4294967295 134512640 134569956 3221224384 3221214672 1131405753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50403 13086 16 0 210138 0 vsize: 840616 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 73582 46 0 0 25 0 11 0 778700050 860790784 50523 4294967295 134512640 134569956 3221224384 3221214672 1131404924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50523 13086 16 0 210138 0 vsize: 840616 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 74517 46 0 0 25 0 11 0 778700050 860790784 50672 4294967295 134512640 134569956 3221224384 3221214568 1131265974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50672 13086 16 0 210138 0 vsize: 840616 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 75440 47 0 0 25 0 11 0 778700050 860790784 50799 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50799 13086 16 0 210138 0 vsize: 840616 [startup+830.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 76359 47 0 0 25 0 11 0 778700050 860790784 50959 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 50959 13086 16 0 210138 0 vsize: 840616 [startup+840.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 77279 47 0 0 24 0 11 0 778700050 860790784 51134 4294967295 134512640 134569956 3221224384 3221214568 1131265647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51134 13086 16 0 210138 0 vsize: 840616 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 78211 47 0 0 25 0 11 0 778700050 860790784 51272 4294967295 134512640 134569956 3221224384 3221214568 1131265601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51272 13086 16 0 210138 0 vsize: 840616 [startup+860.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 79131 47 0 0 25 0 11 0 778700050 860790784 51422 4294967295 134512640 134569956 3221224384 3221214584 1131366770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51422 13086 16 0 210138 0 vsize: 840616 [startup+870.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 80049 47 0 0 25 0 11 0 778700050 860790784 51604 4294967295 134512640 134569956 3221224384 3221214568 1131265452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51604 13086 16 0 210138 0 vsize: 840616 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 80969 47 0 0 25 0 11 0 778700050 860790784 51751 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51751 13086 16 0 210138 0 vsize: 840616 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 81891 47 0 0 25 0 11 0 778700050 860790784 51922 4294967295 134512640 134569956 3221224384 3221214840 1131211417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 51922 13086 16 0 210138 0 vsize: 840616 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 82814 47 0 0 25 0 11 0 778700050 860790784 52070 4294967295 134512640 134569956 3221224384 3221214568 1131266359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 52070 13086 16 0 210138 0 vsize: 840616 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 83735 48 0 0 25 0 11 0 778700050 860790784 52240 4294967295 134512640 134569956 3221224384 3221214568 1131265902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210154 52240 13086 16 0 210138 0 vsize: 840616 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 84668 48 0 0 25 0 11 0 778700050 860790784 52383 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210154 52383 13086 16 0 210138 0 vsize: 840616 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 85602 48 0 0 25 0 11 0 778700050 860790784 52538 4294967295 134512640 134569956 3221224384 3221214568 1131266383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 52538 13086 16 0 210138 0 vsize: 840616 [startup+940.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 86528 48 0 0 25 0 11 0 778700050 860790784 52640 4294967295 134512640 134569956 3221224384 3221214584 1131366764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 52640 13086 16 0 210138 0 vsize: 840616 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 87448 48 0 0 25 0 11 0 778700050 860790784 52804 4294967295 134512640 134569956 3221224384 3221214496 1131378858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 52804 13086 16 0 210138 0 vsize: 840616 [startup+960.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 88374 48 0 0 25 0 11 0 778700050 860790784 52951 4294967295 134512640 134569956 3221224384 3221214568 1131265951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 52951 13086 16 0 210138 0 vsize: 840616 [startup+970.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 89287 48 0 0 25 0 11 0 778700050 860790784 53116 4294967295 134512640 134569956 3221224384 3221214672 1131405849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 53116 13086 16 0 210138 0 vsize: 840616 [startup+980.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 90211 48 0 0 25 0 11 0 778700050 860790784 53286 4294967295 134512640 134569956 3221224384 3221213200 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 53286 13086 16 0 210138 0 vsize: 840616 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 91127 48 0 0 25 0 11 0 778700050 860790784 53444 4294967295 134512640 134569956 3221224384 3221214672 1131404955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 53444 13086 16 0 210138 0 vsize: 840616 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 92052 49 0 0 25 0 11 0 778700050 860790784 53676 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 53676 13086 16 0 210138 0 vsize: 840616 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 92975 49 0 0 25 0 11 0 778700050 860790784 53845 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 53845 13086 16 0 210138 0 vsize: 840616 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 93896 49 0 0 25 0 11 0 778700050 860790784 54005 4294967295 134512640 134569956 3221224384 3221214568 1131266140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54005 13086 16 0 210138 0 vsize: 840616 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 94820 49 0 0 25 0 11 0 778700050 860790784 54160 4294967295 134512640 134569956 3221224384 3221214480 1131220554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54160 13086 16 0 210138 0 vsize: 840616 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 95746 49 0 0 25 0 11 0 778700050 860790784 54309 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54309 13086 16 0 210138 0 vsize: 840616 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 96661 49 0 0 25 0 11 0 778700050 860790784 54487 4294967295 134512640 134569956 3221224384 3221214672 1131403697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54487 13086 16 0 210138 0 vsize: 840616 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 97587 49 0 0 25 0 11 0 778700050 860790784 54692 4294967295 134512640 134569956 3221224384 3221214584 1131366428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54692 13086 16 0 210138 0 vsize: 840616 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 98504 49 0 0 25 0 11 0 778700050 860790784 54880 4294967295 134512640 134569956 3221224384 3221214568 1131265589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 54880 13086 16 0 210138 0 vsize: 840616 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 99435 49 0 0 25 0 11 0 778700050 860790784 55050 4294967295 134512640 134569956 3221224384 3221214580 1131211381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55050 13086 16 0 210138 0 vsize: 840616 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 100354 49 0 0 25 0 11 0 778700050 860790784 55179 4294967295 134512640 134569956 3221224384 3221214668 1131265420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55179 13086 16 0 210138 0 vsize: 840616 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 101286 49 0 0 25 0 11 0 778700050 860790784 55316 4294967295 134512640 134569956 3221224384 3221214568 1131266027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55316 13086 16 0 210138 0 vsize: 840616 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 102210 49 0 0 25 0 11 0 778700050 860790784 55539 4294967295 134512640 134569956 3221224384 3221214672 1131403938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55539 13086 16 0 210138 0 vsize: 840616 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 103149 49 0 0 25 0 11 0 778700050 860790784 55652 4294967295 134512640 134569956 3221224384 3221214672 1131405929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55652 13086 16 0 210138 0 vsize: 840616 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 104078 50 0 0 25 0 11 0 778700050 860790784 55849 4294967295 134512640 134569956 3221224384 3221214672 1131403938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55849 13086 16 0 210138 0 vsize: 840616 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 105009 50 0 0 25 0 11 0 778700050 860790784 55966 4294967295 134512640 134569956 3221224384 3221214672 1131404051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 55966 13086 16 0 210138 0 vsize: 840616 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 105919 50 0 0 25 0 11 0 778700050 860790784 56182 4294967295 134512640 134569956 3221224384 3221214744 1131357305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 56182 13086 16 0 210138 0 vsize: 840616 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 106833 50 0 0 25 0 11 0 778700050 860790784 56723 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 56723 13086 16 0 210138 0 vsize: 840616 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 107746 50 0 0 25 0 11 0 778700050 860790784 57159 4294967295 134512640 134569956 3221224384 3221214568 1131265657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 57159 13086 16 0 210138 0 vsize: 840616 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 108672 50 0 0 25 0 11 0 778700050 860790784 57472 4294967295 134512640 134569956 3221224384 3221214584 1131366644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 57472 13086 16 0 210138 0 vsize: 840616 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 109600 50 0 0 25 0 11 0 778700050 860790784 57769 4294967295 134512640 134569956 3221224384 3221214672 1131404980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 57769 13086 16 0 210138 0 vsize: 840616 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 110514 50 0 0 25 0 11 0 778700050 860790784 58111 4294967295 134512640 134569956 3221224384 3221214568 1131265559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 58111 13086 16 0 210138 0 vsize: 840616 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 111442 50 0 0 25 0 11 0 778700050 860790784 58342 4294967295 134512640 134569956 3221224384 3221214672 1131403857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 58342 13086 16 0 210138 0 vsize: 840616 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 112357 51 0 0 25 0 11 0 778700050 860790784 58623 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 58623 13086 16 0 210138 0 vsize: 840616 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 113274 51 0 0 25 0 11 0 778700050 860790784 58980 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 58980 13086 16 0 210138 0 vsize: 840616 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 114190 51 0 0 25 0 11 0 778700050 860790784 59191 4294967295 134512640 134569956 3221224384 3221214672 1131403839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 59191 13086 16 0 210138 0 vsize: 840616 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 115107 51 0 0 25 0 11 0 778700050 860790784 59466 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 59468 13086 16 0 210138 0 vsize: 840616 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 116035 51 0 0 25 0 11 0 778700050 860790784 59710 4294967295 134512640 134569956 3221224384 3221214672 1131404119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 59710 13086 16 0 210138 0 vsize: 840616 [startup+1270.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 116951 51 0 0 25 0 11 0 778700050 860790784 59919 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 59919 13086 16 0 210138 0 vsize: 840616 [startup+1280.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 117866 51 0 0 25 0 11 0 778700050 860790784 60147 4294967295 134512640 134569956 3221224384 3221214672 1131403891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 60147 13086 16 0 210138 0 vsize: 840616 [startup+1290.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 118779 51 0 0 25 0 11 0 778700050 860790784 60432 4294967295 134512640 134569956 3221224384 3221214568 1131265535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 60432 13086 16 0 210138 0 vsize: 840616 [startup+1300.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 119695 51 0 0 25 0 11 0 778700050 860790784 60660 4294967295 134512640 134569956 3221224384 3221214568 1131265984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 60660 13086 16 0 210138 0 vsize: 840616 [startup+1310.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10750 Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 120607 52 0 0 25 0 11 0 778700050 860790784 60870 4294967295 134512640 134569956 3221224384 3221214568 1131266112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210154 60870 13086 16 0 210138 0 vsize: 840616 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.23 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 10752 Raw data (stat): 10736 (java) Z 10735 1269 1268 0 -1 1036 18071 40901 1 0 120610 52 10029 83 25 0 1 0 778700050 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.23 CPU time (s): 1307.77 CPU user time (s): 1306.41 CPU system time (s): 1.35579 CPU usage (%): 99.8122 Max. virtual memory (Kb): 840616 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####