Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | ed503628984a48598e5d5a4b8388e97a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 4250 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 17 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-25 05:04:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20540 boxname=wulflinc10 idbench=130 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: ed503628984a48598e5d5a4b8388e97a /oldhome/oroussel/tmp/wulflinc10/normalized-g125.17.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-g125.17.opb IDLAUNCH: 20540 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 870748 kB Buffers: 11876 kB Cached: 129880 kB SwapCached: 92 kB Active: 37216 kB Inactive: 107216 kB HighTotal: 131008 kB HighFree: 3948 kB LowTotal: 903652 kB LowFree: 866800 kB SwapTotal: 2097136 kB SwapFree: 2096752 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6392 kB Slab: 13924 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:26:32 (client local time) WITH STATUS 143 IN 1318.47 SECONDS stats: 20540 7 1318.47 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/wulflinc10/normalized-g125.17.opb c reading problem ... done. Time 15.114 ms. c #vars 4250 c #constraints 68397 c starts : 12 c conflicts : 18755 c decisions : 27223 c propagations : 4748854 c inspects : 24025116 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 18755 c root simplifications : 12 s UNKNOWN c Total CPU time (ms) : 1309.146 #### 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.85 0.97 0.99 2/54 27559 Raw data (stat): 27559 (runsolver) R 27558 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778009370 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0015 s] Raw data (loadavg): 0.87 0.97 0.99 3/63 27568 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18032 0 1 0 802 38 0 0 25 0 10 0 778009370 856051712 19804 4294967295 134512640 134569956 3221224384 3221214728 1131163207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208997 19804 13086 16 0 208981 0 vsize: 835988 [startup+20.0017 s] Raw data (loadavg): 1.05 1.00 1.00 4/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18073 0 1 0 1523 39 0 0 25 0 11 0 778009370 860237824 29657 4294967295 134512640 134569956 3221224384 3221213556 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210019 29657 13086 16 0 210003 0 vsize: 840076 [startup+30.0024 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 2462 39 0 0 25 0 11 0 778009370 857915392 30981 4294967295 134512640 134569956 3221224384 3221214520 1131333360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 30981 13086 16 0 209436 0 vsize: 837808 [startup+40.0032 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 3402 39 0 0 25 0 11 0 778009370 857915392 31201 4294967295 134512640 134569956 3221224384 3221214760 1131446740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 31201 13086 16 0 209436 0 vsize: 837808 [startup+50.0033 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 4350 40 0 0 25 0 11 0 778009370 857915392 31768 4294967295 134512640 134569956 3221224384 3221214872 1131473133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 31768 13086 16 0 209436 0 vsize: 837808 [startup+60.0038 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 5291 40 0 0 25 0 11 0 778009370 857915392 32109 4294967295 134512640 134569956 3221224384 3221214836 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 32109 13086 16 0 209436 0 vsize: 837808 [startup+70.0049 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 6230 40 0 0 25 0 11 0 778009370 857915392 32603 4294967295 134512640 134569956 3221224384 3221214768 1131294858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 32603 13086 16 0 209436 0 vsize: 837808 [startup+80.0049 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 27569 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18074 0 1 0 7171 40 0 0 25 0 11 0 778009370 857915392 32968 4294967295 134512640 134569956 3221224384 3221213072 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 32968 13086 16 0 209436 0 vsize: 837808 [startup+90.0051 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 8110 41 0 0 24 0 11 0 778009370 857915392 33445 4294967295 134512640 134569956 3221224384 3221214576 1131353777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 33445 13086 16 0 209436 0 vsize: 837808 [startup+100.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 9062 41 0 0 25 0 11 0 778009370 857915392 33794 4294967295 134512640 134569956 3221224384 3221214672 1131529981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 33794 13086 16 0 209436 0 vsize: 837808 [startup+110.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 9987 41 0 0 25 0 11 0 778009370 857915392 34340 4294967295 134512640 134569956 3221224384 3221214576 1131353733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 34340 13086 16 0 209436 0 vsize: 837808 [startup+120.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 10931 42 0 0 25 0 11 0 778009370 857915392 34586 4294967295 134512640 134569956 3221224384 3221214788 1131423570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 34586 13086 16 0 209436 0 vsize: 837808 [startup+130.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 11863 42 0 0 25 0 11 0 778009370 857915392 35032 4294967295 134512640 134569956 3221224384 3221214784 1131425175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 35032 13086 16 0 209436 0 vsize: 837808 [startup+140.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 12807 42 0 0 25 0 11 0 778009370 857915392 35290 4294967295 134512640 134569956 3221224384 3221214776 1131438593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 35290 13086 16 0 209436 0 vsize: 837808 [startup+150.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 13734 43 0 0 25 0 11 0 778009370 857915392 35761 4294967295 134512640 134569956 3221224384 3221214792 1131439816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 35761 13086 16 0 209436 0 vsize: 837808 [startup+160.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 14670 43 0 0 25 0 11 0 778009370 857915392 36154 4294967295 134512640 134569956 3221224384 3221214760 1131446768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 36154 13086 16 0 209436 0 vsize: 837808 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 15608 43 0 0 25 0 11 0 778009370 857915392 36498 4294967295 134512640 134569956 3221224384 3221214792 1131440038 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 36498 13086 16 0 209436 0 vsize: 837808 [startup+180.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 16535 43 0 0 25 0 11 0 778009370 857915392 36947 4294967295 134512640 134569956 3221224384 3221214760 1131446849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 36947 13086 16 0 209436 0 vsize: 837808 [startup+190.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 17466 44 0 0 24 0 11 0 778009370 857915392 37308 4294967295 134512640 134569956 3221224384 3221214608 1131514191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 37308 13086 16 0 209436 0 vsize: 837808 [startup+200.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18074 0 1 0 18409 44 0 0 25 0 11 0 778009370 857915392 37577 4294967295 134512640 134569956 3221224384 3221214768 1131486154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 37577 13086 16 0 209436 0 vsize: 837808 [startup+210.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 19328 44 0 0 25 0 11 0 778009370 857915392 37957 4294967295 134512640 134569956 3221224384 3221214760 1131446830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 37957 13086 16 0 209436 0 vsize: 837808 [startup+220.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 20258 45 0 0 25 0 11 0 778009370 857915392 38297 4294967295 134512640 134569956 3221224384 3221214576 1131354251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 38297 13086 16 0 209436 0 vsize: 837808 [startup+230.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 21191 45 0 0 25 0 11 0 778009370 857915392 38544 4294967295 134512640 134569956 3221224384 3221214768 1131294896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 38544 13086 16 0 209436 0 vsize: 837808 [startup+240.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 22123 45 0 0 25 0 11 0 778009370 857915392 39062 4294967295 134512640 134569956 3221224384 3221214600 1131524758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 39062 13086 16 0 209436 0 vsize: 837808 [startup+250.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 23045 45 0 0 25 0 11 0 778009370 857915392 39518 4294967295 134512640 134569956 3221224384 3221214544 1131260015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 39518 13086 16 0 209436 0 vsize: 837808 [startup+260.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 23973 46 0 0 25 0 11 0 778009370 857915392 39815 4294967295 134512640 134569956 3221224384 3221214416 1131262022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 39815 13086 16 0 209436 0 vsize: 837808 [startup+270.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 24890 46 0 0 25 0 11 0 778009370 857915392 40086 4294967295 134512640 134569956 3221224384 3221214504 1131353377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 40086 13086 16 0 209436 0 vsize: 837808 [startup+280.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 25820 46 0 0 25 0 11 0 778009370 857915392 40395 4294967295 134512640 134569956 3221224384 3221214608 1131322069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 40395 13086 16 0 209436 0 vsize: 837808 [startup+290.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 26751 46 0 0 25 0 11 0 778009370 857915392 40599 4294967295 134512640 134569956 3221224384 3221214672 1131321832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 40599 13086 16 0 209436 0 vsize: 837808 [startup+300.01 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 27669 47 0 0 25 0 11 0 778009370 857915392 40925 4294967295 134512640 134569956 3221224384 3221214688 1131312165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 40925 13086 16 0 209436 0 vsize: 837808 [startup+310.01 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 28611 47 0 0 25 0 11 0 778009370 857915392 41202 4294967295 134512640 134569956 3221224384 3221214684 1130885189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 41202 13086 16 0 209436 0 vsize: 837808 [startup+320.011 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 29539 47 0 0 25 0 11 0 778009370 857915392 41982 4294967295 134512640 134569956 3221224384 3221214600 1131525808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 41982 13086 16 0 209436 0 vsize: 837808 [startup+330.011 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 30490 47 0 0 25 0 11 0 778009370 857915392 42545 4294967295 134512640 134569956 3221224384 3221214712 1131294904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 42545 13086 16 0 209436 0 vsize: 837808 [startup+340.011 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 31428 48 0 0 25 0 11 0 778009370 857915392 42875 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 42875 13086 16 0 209436 0 vsize: 837808 [startup+350.011 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 32380 48 0 0 25 0 11 0 778009370 857915392 43286 4294967295 134512640 134569956 3221224384 3221214684 1130885186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 43286 13086 16 0 209436 0 vsize: 837808 [startup+360.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 33317 48 0 0 25 0 11 0 778009370 857915392 43814 4294967295 134512640 134569956 3221224384 3221214504 1131353381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 43814 13086 16 0 209436 0 vsize: 837808 [startup+370.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 34271 48 0 0 25 0 11 0 778009370 857915392 44019 4294967295 134512640 134569956 3221224384 3221214484 1130885144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 44019 13086 16 0 209436 0 vsize: 837808 [startup+380.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 35186 48 0 0 25 0 11 0 778009370 857915392 44669 4294967295 134512640 134569956 3221224384 3221214608 1131321913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 44669 13086 16 0 209436 0 vsize: 837808 [startup+390.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 36108 48 0 0 25 0 11 0 778009370 857915392 45009 4294967295 134512640 134569956 3221224384 3221214504 1131353777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 45009 13086 16 0 209436 0 vsize: 837808 [startup+400.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 37031 48 0 0 25 0 11 0 778009370 857915392 45372 4294967295 134512640 134569956 3221224384 3221214504 1131354228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 45372 13086 16 0 209436 0 vsize: 837808 [startup+410.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 37961 49 0 0 25 0 11 0 778009370 857915392 45656 4294967295 134512640 134569956 3221224384 3221214704 1131446727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 45656 13086 16 0 209436 0 vsize: 837808 [startup+420.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 38880 49 0 0 25 0 11 0 778009370 857915392 45930 4294967295 134512640 134569956 3221224384 3221214712 1131294919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 45930 13086 16 0 209436 0 vsize: 837808 [startup+430.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 39811 50 0 0 25 0 11 0 778009370 857915392 46116 4294967295 134512640 134569956 3221224384 3221214684 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 46116 13086 16 0 209436 0 vsize: 837808 [startup+440.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 40738 50 0 0 25 0 11 0 778009370 857915392 46654 4294967295 134512640 134569956 3221224384 3221214460 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 46654 13086 16 0 209436 0 vsize: 837808 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 41668 50 0 0 25 0 11 0 778009370 857915392 47203 4294967295 134512640 134569956 3221224384 3221214392 1131561176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 47203 13086 16 0 209436 0 vsize: 837808 [startup+460.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 42605 50 0 0 25 0 11 0 778009370 857915392 47443 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 47443 13086 16 0 209436 0 vsize: 837808 [startup+470.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 43552 50 0 0 25 0 11 0 778009370 857915392 47770 4294967295 134512640 134569956 3221224384 3221214600 1131525785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 47770 13086 16 0 209436 0 vsize: 837808 [startup+480.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 44476 51 0 0 24 0 11 0 778009370 857915392 48175 4294967295 134512640 134569956 3221224384 3221214732 1131425161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 48175 13086 16 0 209436 0 vsize: 837808 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 45416 51 0 0 25 0 11 0 778009370 857915392 48527 4294967295 134512640 134569956 3221224384 3221214416 1131262041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 48527 13086 16 0 209436 0 vsize: 837808 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 46344 51 0 0 25 0 11 0 778009370 857915392 48783 4294967295 134512640 134569956 3221224384 3221214736 1131440128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 48783 13086 16 0 209436 0 vsize: 837808 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 47271 52 0 0 25 0 11 0 778009370 857915392 49077 4294967295 134512640 134569956 3221224384 3221214504 1131353410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 49077 13086 16 0 209436 0 vsize: 837808 [startup+520.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 48198 52 0 0 25 0 11 0 778009370 857915392 49404 4294967295 134512640 134569956 3221224384 3221214736 1131440099 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 49404 13086 16 0 209436 0 vsize: 837808 [startup+530.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 49126 52 0 0 25 0 11 0 778009370 857915392 49644 4294967295 134512640 134569956 3221224384 3221214704 1131446846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 49644 13086 16 0 209436 0 vsize: 837808 [startup+540.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 50041 53 0 0 25 0 11 0 778009370 857915392 49894 4294967295 134512640 134569956 3221224384 3221214732 1131438158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 49894 13086 16 0 209436 0 vsize: 837808 [startup+550.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 50968 53 0 0 25 0 11 0 778009370 857915392 50201 4294967295 134512640 134569956 3221224384 3221214704 1131446723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 50201 13086 16 0 209436 0 vsize: 837808 [startup+560.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 51895 53 0 0 25 0 11 0 778009370 857915392 50489 4294967295 134512640 134569956 3221224384 3221214704 1131446814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 50489 13086 16 0 209436 0 vsize: 837808 [startup+570.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 52824 54 0 0 25 0 11 0 778009370 857915392 50732 4294967295 134512640 134569956 3221224384 3221214712 1131294901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 50732 13086 16 0 209436 0 vsize: 837808 [startup+580.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 53738 54 0 0 25 0 11 0 778009370 857915392 51032 4294967295 134512640 134569956 3221224384 3221214532 1131446691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 51032 13086 16 0 209436 0 vsize: 837808 [startup+590.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 54652 55 0 0 25 0 11 0 778009370 857915392 51280 4294967295 134512640 134569956 3221224384 3221214712 1131294861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 51280 13086 16 0 209436 0 vsize: 837808 [startup+600.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 55578 55 0 0 25 0 11 0 778009370 857915392 51585 4294967295 134512640 134569956 3221224384 3221214504 1131353522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 51585 13086 16 0 209436 0 vsize: 837808 [startup+610.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 56497 56 0 0 25 0 11 0 778009370 857915392 51958 4294967295 134512640 134569956 3221224384 3221214600 1131523696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 51958 13086 16 0 209436 0 vsize: 837808 [startup+620.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 57401 56 0 0 25 0 11 0 778009370 857915392 52316 4294967295 134512640 134569956 3221224384 3221214504 1131353655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 52316 13086 16 0 209436 0 vsize: 837808 [startup+630.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 58309 56 0 0 25 0 11 0 778009370 857915392 52619 4294967295 134512640 134569956 3221224384 3221214704 1131446768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 52619 13086 16 0 209436 0 vsize: 837808 [startup+640.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 59226 57 0 0 25 0 11 0 778009370 857915392 52915 4294967295 134512640 134569956 3221224384 3221214504 1131353441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 52915 13086 16 0 209436 0 vsize: 837808 [startup+650.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 60143 57 0 0 25 0 11 0 778009370 857915392 53113 4294967295 134512640 134569956 3221224384 3221214712 1131294803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 53113 13086 16 0 209436 0 vsize: 837808 [startup+660.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 61063 57 0 0 25 0 11 0 778009370 857915392 53453 4294967295 134512640 134569956 3221224384 3221214712 1131294864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 53453 13086 16 0 209436 0 vsize: 837808 [startup+670.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 61992 57 0 0 25 0 11 0 778009370 857915392 53898 4294967295 134512640 134569956 3221224384 3221214504 1131353570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 53898 13086 16 0 209436 0 vsize: 837808 [startup+680.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 62923 57 0 0 25 0 11 0 778009370 857915392 54346 4294967295 134512640 134569956 3221224384 3221214736 1131439636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 54346 13086 16 0 209436 0 vsize: 837808 [startup+690.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 63861 58 0 0 25 0 11 0 778009370 857915392 54642 4294967295 134512640 134569956 3221224384 3221214720 1131438601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 54642 13086 16 0 209436 0 vsize: 837808 [startup+700.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 64785 58 0 0 25 0 11 0 778009370 857915392 55026 4294967295 134512640 134569956 3221224384 3221214600 1131523740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 55026 13086 16 0 209436 0 vsize: 837808 [startup+710.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 65712 58 0 0 25 0 11 0 778009370 857915392 55306 4294967295 134512640 134569956 3221224384 3221214720 1131423553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 55306 13086 16 0 209436 0 vsize: 837808 [startup+720.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 66639 58 0 0 25 0 11 0 778009370 857915392 55597 4294967295 134512640 134569956 3221224384 3221214504 1131354217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 55597 13086 16 0 209436 0 vsize: 837808 [startup+730.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 67579 59 0 0 25 0 11 0 778009370 857915392 55816 4294967295 134512640 134569956 3221224384 3221214704 1131446849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 55816 13086 16 0 209436 0 vsize: 837808 [startup+740.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 68501 59 0 0 25 0 11 0 778009370 857915392 56213 4294967295 134512640 134569956 3221224384 3221214504 1131353388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 56213 13086 16 0 209436 0 vsize: 837808 [startup+750.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 69426 59 0 0 25 0 11 0 778009370 857915392 56518 4294967295 134512640 134569956 3221224384 3221214684 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 56518 13086 16 0 209436 0 vsize: 837808 [startup+760.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 70351 60 0 0 25 0 11 0 778009370 857915392 56968 4294967295 134512640 134569956 3221224384 3221214192 1131265604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 56968 13086 16 0 209436 0 vsize: 837808 [startup+770.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 71277 60 0 0 25 0 11 0 778009370 857915392 57218 4294967295 134512640 134569956 3221224384 3221214776 1131478095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 57218 13086 16 0 209436 0 vsize: 837808 [startup+780.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 72202 60 0 0 25 0 11 0 778009370 857915392 57541 4294967295 134512640 134569956 3221224384 3221214688 1131312153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 57541 13086 16 0 209436 0 vsize: 837808 [startup+790.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 73130 61 0 0 25 0 11 0 778009370 857915392 57773 4294967295 134512640 134569956 3221224384 3221214504 1131353458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 57773 13086 16 0 209436 0 vsize: 837808 [startup+800.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 74057 61 0 0 25 0 11 0 778009370 857915392 57984 4294967295 134512640 134569956 3221224384 3221214704 1131446768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 57984 13086 16 0 209436 0 vsize: 837808 [startup+810.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 74963 62 0 0 25 0 11 0 778009370 857915392 58393 4294967295 134512640 134569956 3221224384 3221214504 1131353655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 58393 13086 16 0 209436 0 vsize: 837808 [startup+820.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 75890 62 0 0 25 0 11 0 778009370 857915392 58591 4294967295 134512640 134569956 3221224384 3221214596 1131354545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 58591 13086 16 0 209436 0 vsize: 837808 [startup+830.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 76812 62 0 0 25 0 11 0 778009370 857915392 58936 4294967295 134512640 134569956 3221224384 3221214416 1131262022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 58936 13086 16 0 209436 0 vsize: 837808 [startup+840.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 77722 62 0 0 25 0 11 0 778009370 857915392 59238 4294967295 134512640 134569956 3221224384 3221214768 1131486785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 59238 13086 16 0 209436 0 vsize: 837808 [startup+850.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 78648 62 0 0 25 0 11 0 778009370 857915392 59506 4294967295 134512640 134569956 3221224384 3221214488 1131451480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 59506 13086 16 0 209436 0 vsize: 837808 [startup+860.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 79573 63 0 0 25 0 11 0 778009370 857915392 59706 4294967295 134512640 134569956 3221224384 3221214504 1131353373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 59706 13086 16 0 209436 0 vsize: 837808 [startup+870.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 80490 63 0 0 25 0 11 0 778009370 857915392 60050 4294967295 134512640 134569956 3221224384 3221214504 1131446768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 60050 13086 16 0 209436 0 vsize: 837808 [startup+880.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 81416 63 0 0 25 0 11 0 778009370 857915392 60252 4294967295 134512640 134569956 3221224384 3221214600 1131523693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 60252 13086 16 0 209436 0 vsize: 837808 [startup+890.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 82327 64 0 0 25 0 11 0 778009370 857915392 60556 4294967295 134512640 134569956 3221224384 3221214600 1131523696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 60556 13086 16 0 209436 0 vsize: 837808 [startup+900.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 83236 64 0 0 25 0 11 0 778009370 857915392 60751 4294967295 134512640 134569956 3221224384 3221214504 1131353576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 60751 13086 16 0 209436 0 vsize: 837808 [startup+910.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 84148 65 0 0 25 0 11 0 778009370 857915392 61003 4294967295 134512640 134569956 3221224384 3221214712 1131294858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 61003 13086 16 0 209436 0 vsize: 837808 [startup+920.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 85061 65 0 0 25 0 11 0 778009370 857915392 61234 4294967295 134512640 134569956 3221224384 3221214504 1131353410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 61234 13086 16 0 209436 0 vsize: 837808 [startup+930.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 85974 66 0 0 25 0 11 0 778009370 857915392 61465 4294967295 134512640 134569956 3221224384 3221214416 1131262022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 61465 13086 16 0 209436 0 vsize: 837808 [startup+940.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 86877 66 0 0 25 0 11 0 778009370 857915392 61637 4294967295 134512640 134569956 3221224384 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 61637 13086 16 0 209436 0 vsize: 837808 [startup+950.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 87786 66 0 0 25 0 11 0 778009370 857915392 61862 4294967295 134512640 134569956 3221224384 3221214736 1131439791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 61862 13086 16 0 209436 0 vsize: 837808 [startup+960.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 88699 67 0 0 25 0 11 0 778009370 857915392 62061 4294967295 134512640 134569956 3221224384 3221214504 1131353458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 62061 13086 16 0 209436 0 vsize: 837808 [startup+970.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 89611 67 0 0 25 0 11 0 778009370 857915392 62270 4294967295 134512640 134569956 3221224384 3221214504 1131353903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 62270 13086 16 0 209436 0 vsize: 837808 [startup+980.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 90523 67 0 0 25 0 11 0 778009370 857915392 62450 4294967295 134512640 134569956 3221224384 3221214504 1131353410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 62450 13086 16 0 209436 0 vsize: 837808 [startup+990.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 91436 67 0 0 25 0 11 0 778009370 857915392 62670 4294967295 134512640 134569956 3221224384 3221214504 1131354338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 62670 13086 16 0 209436 0 vsize: 837808 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 92348 68 0 0 25 0 11 0 778009370 857915392 62865 4294967295 134512640 134569956 3221224384 3221214504 1131353957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 62865 13086 16 0 209436 0 vsize: 837808 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 93247 68 0 0 24 0 11 0 778009370 857915392 63094 4294967295 134512640 134569956 3221224384 3221214536 1131443535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 63094 13086 16 0 209436 0 vsize: 837808 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 94173 68 0 0 25 0 11 0 778009370 857915392 63290 4294967295 134512640 134569956 3221224384 3221214504 1131353410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 63290 13086 16 0 209436 0 vsize: 837808 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 95072 69 0 0 25 0 11 0 778009370 857915392 63506 4294967295 134512640 134569956 3221224384 3221214504 1131353369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 63506 13086 16 0 209436 0 vsize: 837808 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 95984 69 0 0 25 0 11 0 778009370 857915392 63711 4294967295 134512640 134569956 3221224384 3221214712 1131294856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 63711 13086 16 0 209436 0 vsize: 837808 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 96895 70 0 0 25 0 11 0 778009370 857915392 63919 4294967295 134512640 134569956 3221224384 3221214504 1131353588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 63919 13086 16 0 209436 0 vsize: 837808 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 97793 70 0 0 25 0 11 0 778009370 857915392 64099 4294967295 134512640 134569956 3221224384 3221214504 1131353373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64099 13086 16 0 209436 0 vsize: 837808 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 98706 70 0 0 25 0 11 0 778009370 857915392 64215 4294967295 134512640 134569956 3221224384 3221214504 1131353664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64215 13086 16 0 209436 0 vsize: 837808 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 99617 71 0 0 25 0 11 0 778009370 857915392 64410 4294967295 134512640 134569956 3221224384 3221214504 1131353939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64410 13086 16 0 209436 0 vsize: 837808 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 100516 71 0 0 25 0 11 0 778009370 857915392 64596 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64596 13086 16 0 209436 0 vsize: 837808 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 101427 72 0 0 25 0 11 0 778009370 857915392 64727 4294967295 134512640 134569956 3221224384 3221214504 1131353595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64727 13086 16 0 209436 0 vsize: 837808 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 102327 72 0 0 25 0 11 0 778009370 857915392 64858 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 64858 13086 16 0 209436 0 vsize: 837808 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 103235 72 0 0 25 0 11 0 778009370 857915392 65030 4294967295 134512640 134569956 3221224384 3221214504 1131353487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 65030 13086 16 0 209436 0 vsize: 837808 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 104148 72 0 0 25 0 11 0 778009370 857915392 65188 4294967295 134512640 134569956 3221224384 3221214504 1131353617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 65188 13086 16 0 209436 0 vsize: 837808 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 105046 73 0 0 25 0 11 0 778009370 857915392 65354 4294967295 134512640 134569956 3221224384 3221214504 1131353729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 65354 13086 16 0 209436 0 vsize: 837808 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 105950 73 0 0 25 0 11 0 778009370 857915392 65483 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 65483 13086 16 0 209436 0 vsize: 837808 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 106855 74 0 0 25 0 11 0 778009370 857915392 65705 4294967295 134512640 134569956 3221224384 3221214504 1131353777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 65705 13086 16 0 209436 0 vsize: 837808 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 107756 74 0 0 25 0 11 0 778009370 857915392 66073 4294967295 134512640 134569956 3221224384 3221214600 1131524752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209452 66073 13086 16 0 209436 0 vsize: 837808 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 108658 74 0 0 25 0 11 0 778009370 857915392 66322 4294967295 134512640 134569956 3221224384 3221214600 1131525940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 66322 13086 16 0 209436 0 vsize: 837808 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 109564 75 0 0 25 0 11 0 778009370 857915392 66512 4294967295 134512640 134569956 3221224384 3221214712 1131294854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 66512 13086 16 0 209436 0 vsize: 837808 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 110475 75 0 0 25 0 11 0 778009370 857915392 66741 4294967295 134512640 134569956 3221224384 3221214680 1131340308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 66741 13086 16 0 209436 0 vsize: 837808 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 111376 76 0 0 25 0 11 0 778009370 857915392 66976 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 66976 13086 16 0 209436 0 vsize: 837808 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 112285 77 0 0 25 0 11 0 778009370 857915392 67177 4294967295 134512640 134569956 3221224384 3221214504 1131353522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 67177 13086 16 0 209436 0 vsize: 837808 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 113198 77 0 0 25 0 11 0 778009370 857915392 67319 4294967295 134512640 134569956 3221224384 3221214708 1131127964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 67319 13086 16 0 209436 0 vsize: 837808 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 114128 77 0 0 25 0 11 0 778009370 857915392 67682 4294967295 134512640 134569956 3221224384 3221214732 1131425152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 67682 13086 16 0 209436 0 vsize: 837808 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 115039 78 0 0 25 0 11 0 778009370 857915392 68122 4294967295 134512640 134569956 3221224384 3221214684 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 68122 13086 16 0 209436 0 vsize: 837808 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 115960 78 0 0 25 0 11 0 778009370 857915392 68395 4294967295 134512640 134569956 3221224384 3221214704 1131446778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 68395 13086 16 0 209436 0 vsize: 837808 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) S 27558 15547 15546 0 -1 0 18075 0 1 0 116888 78 0 0 25 0 11 0 778009370 857915392 68612 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 68612 13086 16 0 209436 0 vsize: 837808 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 117814 78 0 0 25 0 11 0 778009370 857915392 68949 4294967295 134512640 134569956 3221224384 3221214704 1131446827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 68949 13086 16 0 209436 0 vsize: 837808 [startup+1290.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 118749 78 0 0 25 0 11 0 778009370 857915392 69201 4294967295 134512640 134569956 3221224384 3221214456 1131471591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 69201 13086 16 0 209436 0 vsize: 837808 [startup+1300.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 119669 79 0 0 25 0 11 0 778009370 857915392 69546 4294967295 134512640 134569956 3221224384 3221214512 1131294919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 69546 13086 16 0 209436 0 vsize: 837808 [startup+1310.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27571 Raw data (stat): 27559 (java) R 27558 15547 15546 0 -1 0 18075 0 1 0 120591 79 0 0 25 0 11 0 778009370 857915392 69844 4294967295 134512640 134569956 3221224384 3221214504 1131353719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209452 69844 13086 16 0 209436 0 vsize: 837808 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.25 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 27573 Raw data (stat): 27559 (java) Z 27558 15547 15546 0 -1 1036 18075 55396 1 0 120596 79 11055 115 25 0 1 0 778009370 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): 1310.25 CPU time (s): 1318.47 CPU user time (s): 1316.51 CPU system time (s): 1.9567 CPU usage (%): 100.628 Max. virtual memory (Kb): 840076 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####