Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb |
MD5SUM | 40e47c460002545cc2670ca84fd53082 |
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 | 2606 |
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 | 2606 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2606 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2606 |
Total number of constraints | 6509 |
Number of constraints which are clauses | 6509 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 05:47:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20615 boxname=wulflinc4 idbench=205 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 40e47c460002545cc2670ca84fd53082 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2-c.opb IDLAUNCH: 20615 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 451.169 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: 722280 kB Buffers: 34232 kB Cached: 257976 kB SwapCached: 600 kB Active: 55096 kB Inactive: 239488 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 722028 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5784 kB Slab: 12144 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:08:07 (client local time) WITH STATUS 143 IN 1242.8 SECONDS stats: 20615 7 1242.8 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/wulflinc4/normalized-par32-2-c.opb c reading problem ... done. Time 5.49 ms. c #vars 2606 c #constraints 6509 c starts : 10 c conflicts : 9098 c decisions : 9885 c propagations : 8409805 c inspects : 26631676 c learned literals : 0 c learned binary clauses : 29 c learned ternary clauses : 9 c learned clauses : 9098 c root simplifications : 10 s UNKNOWN c Total CPU time (ms) : 1239.186 #### 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.92 0.98 0.95 2/54 31332 Raw data (stat): 31332 (runsolver) R 31331 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778244385 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.93 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18085 0 1 0 751 39 0 0 25 0 11 0 778244385 855961600 19426 4294967295 134512640 134569956 3221224384 3221214768 1131431126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208975 19426 13086 16 0 208959 0 vsize: 835900 [startup+20.0009 s] Raw data (loadavg): 0.94 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 1669 39 0 0 25 0 11 0 778244385 855896064 21126 4294967295 134512640 134569956 3221224384 3221214768 1131358457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 21126 13086 16 0 208943 0 vsize: 835836 [startup+30.0014 s] Raw data (loadavg): 0.95 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 2633 40 0 0 25 0 11 0 778244385 855896064 21889 4294967295 134512640 134569956 3221224384 3221214664 1131275935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21889 13086 16 0 208943 0 vsize: 835836 [startup+40.0026 s] Raw data (loadavg): 0.96 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 3607 40 0 0 25 0 11 0 778244385 855896064 21889 4294967295 134512640 134569956 3221224384 3221214744 1131318831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21889 13086 16 0 208943 0 vsize: 835836 [startup+50.0036 s] Raw data (loadavg): 0.96 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 4585 40 0 0 25 0 11 0 778244385 855896064 21889 4294967295 134512640 134569956 3221224384 3221214664 1131276453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21889 13086 16 0 208943 0 vsize: 835836 [startup+60.0035 s] Raw data (loadavg): 0.97 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 5556 40 0 0 25 0 11 0 778244385 855896064 21889 4294967295 134512640 134569956 3221224384 3221214608 1131492492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21889 13086 16 0 208943 0 vsize: 835836 [startup+70.0048 s] Raw data (loadavg): 0.97 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 6525 41 0 0 25 0 11 0 778244385 855896064 21889 4294967295 134512640 134569956 3221224384 3221214768 1131430304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21889 13086 16 0 208943 0 vsize: 835836 [startup+80.0052 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 7498 41 0 0 25 0 11 0 778244385 855896064 21918 4294967295 134512640 134569956 3221224384 3221214696 1131275907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 21918 13086 16 0 208943 0 vsize: 835836 [startup+90.0061 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 8467 41 0 0 25 0 11 0 778244385 855896064 22028 4294967295 134512640 134569956 3221224384 3221214424 1078128074 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22028 13086 16 0 208943 0 vsize: 835836 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 9440 42 0 0 25 0 11 0 778244385 855896064 22163 4294967295 134512640 134569956 3221224384 3221214624 1131208780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22163 13086 16 0 208943 0 vsize: 835836 [startup+110.007 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 10421 42 0 0 25 0 11 0 778244385 855896064 22196 4294967295 134512640 134569956 3221224384 3221214768 1131428341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22196 13086 16 0 208943 0 vsize: 835836 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 11395 43 0 0 25 0 11 0 778244385 855896064 22229 4294967295 134512640 134569956 3221224384 3221214796 1131311744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22229 13086 16 0 208943 0 vsize: 835836 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 12369 44 0 0 25 0 11 0 778244385 855896064 22263 4294967295 134512640 134569956 3221224384 3221214784 1131320073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22263 13086 16 0 208943 0 vsize: 835836 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 13343 44 0 0 25 0 11 0 778244385 855896064 22300 4294967295 134512640 134569956 3221224384 3221214776 1131279728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22300 13086 16 0 208943 0 vsize: 835836 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 14321 44 0 0 25 0 11 0 778244385 855896064 22327 4294967295 134512640 134569956 3221224384 3221214768 1131430530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22327 13086 16 0 208943 0 vsize: 835836 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 15293 45 0 0 25 0 11 0 778244385 855896064 22363 4294967295 134512640 134569956 3221224384 3221214772 1131221941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22363 13086 16 0 208943 0 vsize: 835836 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 16263 45 0 0 25 0 11 0 778244385 855896064 22400 4294967295 134512640 134569956 3221224384 3221214672 1131393274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22400 13086 16 0 208943 0 vsize: 835836 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 17239 45 0 0 25 0 11 0 778244385 855896064 22443 4294967295 134512640 134569956 3221224384 3221214784 1131334593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 22443 13086 16 0 208943 0 vsize: 835836 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 18209 46 0 0 25 0 11 0 778244385 855896064 22498 4294967295 134512640 134569956 3221224384 3221214776 1131207193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22498 13086 16 0 208943 0 vsize: 835836 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 19179 46 0 0 25 0 11 0 778244385 855896064 22551 4294967295 134512640 134569956 3221224384 3221214712 1131333140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22551 13086 16 0 208943 0 vsize: 835836 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 20150 46 0 0 25 0 11 0 778244385 855896064 22598 4294967295 134512640 134569956 3221224384 3221214624 1131420220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22598 13086 16 0 208943 0 vsize: 835836 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) S 31331 21152 21151 0 -1 0 18086 0 1 0 21128 47 0 0 25 0 11 0 778244385 855896064 22637 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22637 13086 16 0 208943 0 vsize: 835836 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 22102 47 0 0 25 0 11 0 778244385 855896064 22684 4294967295 134512640 134569956 3221224384 3221214704 1131246829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22684 13086 16 0 208943 0 vsize: 835836 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 23076 48 0 0 25 0 11 0 778244385 855896064 22741 4294967295 134512640 134569956 3221224384 3221214776 1131279780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22741 13086 16 0 208943 0 vsize: 835836 [startup+250.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 24052 48 0 0 25 0 11 0 778244385 855896064 22803 4294967295 134512640 134569956 3221224384 3221214776 1131207217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22803 13086 16 0 208943 0 vsize: 835836 [startup+260.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 25029 49 0 0 25 0 11 0 778244385 855896064 22844 4294967295 134512640 134569956 3221224384 3221214744 1131318788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22844 13086 16 0 208943 0 vsize: 835836 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 26007 49 0 0 25 0 11 0 778244385 855896064 22872 4294967295 134512640 134569956 3221224384 3221214664 1131275562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22872 13086 16 0 208943 0 vsize: 835836 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 26985 49 0 0 25 0 11 0 778244385 855896064 22905 4294967295 134512640 134569956 3221224384 3221214616 1131246822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22905 13086 16 0 208943 0 vsize: 835836 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 27967 49 0 0 25 0 11 0 778244385 855896064 22928 4294967295 134512640 134569956 3221224384 3221214748 1130885186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22928 13086 16 0 208943 0 vsize: 835836 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 28944 50 0 0 25 0 11 0 778244385 855896064 22957 4294967295 134512640 134569956 3221224384 3221214784 1131320073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 22957 13086 16 0 208943 0 vsize: 835836 [startup+310.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 29922 50 0 0 25 0 11 0 778244385 855896064 22991 4294967295 134512640 134569956 3221224384 3221214704 1131246668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 22991 13086 16 0 208943 0 vsize: 835836 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 30900 50 0 0 25 0 11 0 778244385 855896064 23019 4294967295 134512640 134569956 3221224384 3221214800 1131329203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23019 13086 16 0 208943 0 vsize: 835836 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 31877 51 0 0 25 0 11 0 778244385 855896064 23054 4294967295 134512640 134569956 3221224384 3221214800 1131328918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23054 13086 16 0 208943 0 vsize: 835836 [startup+340.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 32855 51 0 0 25 0 11 0 778244385 855896064 23085 4294967295 134512640 134569956 3221224384 3221214776 1131327494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23085 13086 16 0 208943 0 vsize: 835836 [startup+350.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 33832 52 0 0 25 0 11 0 778244385 855896064 23113 4294967295 134512640 134569956 3221224384 3221214732 1131333088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23113 13086 16 0 208943 0 vsize: 835836 [startup+360.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 34815 52 0 0 25 0 11 0 778244385 855896064 23138 4294967295 134512640 134569956 3221224384 3221214664 1131275515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 23138 13086 16 0 208943 0 vsize: 835836 [startup+370.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 35792 52 0 0 25 0 11 0 778244385 855896064 23166 4294967295 134512640 134569956 3221224384 3221214616 1131247460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23166 13086 16 0 208943 0 vsize: 835836 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 36768 53 0 0 25 0 11 0 778244385 855896064 23194 4294967295 134512640 134569956 3221224384 3221214784 1131320073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23194 13086 16 0 208943 0 vsize: 835836 [startup+390.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 37743 53 0 0 25 0 11 0 778244385 855896064 23222 4294967295 134512640 134569956 3221224384 3221214776 1131366173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23222 13086 16 0 208943 0 vsize: 835836 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 38717 54 0 0 25 0 11 0 778244385 855896064 23250 4294967295 134512640 134569956 3221224384 3221214696 1131275935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23250 13086 16 0 208943 0 vsize: 835836 [startup+410.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 39689 54 0 0 25 0 11 0 778244385 855896064 23281 4294967295 134512640 134569956 3221224384 3221214776 1131207109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23281 13086 16 0 208943 0 vsize: 835836 [startup+420.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 40665 55 0 0 25 0 11 0 778244385 855896064 23308 4294967295 134512640 134569956 3221224384 3221214732 1131394892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23308 13086 16 0 208943 0 vsize: 835836 [startup+430.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 41634 55 0 0 25 0 11 0 778244385 855896064 23343 4294967295 134512640 134569956 3221224384 3221214664 1131276022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23343 13086 16 0 208943 0 vsize: 835836 [startup+440.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 42600 55 0 0 25 0 11 0 778244385 855896064 23377 4294967295 134512640 134569956 3221224384 3221214544 1131460611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23377 13086 16 0 208943 0 vsize: 835836 [startup+450.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 43571 55 0 0 25 0 11 0 778244385 855896064 23410 4294967295 134512640 134569956 3221224384 3221214800 1131329367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 23410 13086 16 0 208943 0 vsize: 835836 [startup+460.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 44533 56 0 0 25 0 11 0 778244385 855896064 23478 4294967295 134512640 134569956 3221224384 3221214768 1131430245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23478 13086 16 0 208943 0 vsize: 835836 [startup+470.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 45493 56 0 0 25 0 11 0 778244385 855896064 23526 4294967295 134512640 134569956 3221224384 3221214776 1131207253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23526 13086 16 0 208943 0 vsize: 835836 [startup+480.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 46459 56 0 0 25 0 11 0 778244385 855896064 23584 4294967295 134512640 134569956 3221224384 3221214656 1131208807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 23584 13086 16 0 208943 0 vsize: 835836 [startup+490.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 47416 57 0 0 25 0 11 0 778244385 855896064 23641 4294967295 134512640 134569956 3221224384 3221214696 1131275935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23641 13086 16 0 208943 0 vsize: 835836 [startup+500.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 48377 57 0 0 25 0 11 0 778244385 855896064 23704 4294967295 134512640 134569956 3221224384 3221214708 1130885163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23704 13086 16 0 208943 0 vsize: 835836 [startup+510.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 49326 57 0 0 25 0 11 0 778244385 855896064 23798 4294967295 134512640 134569956 3221224384 3221214648 1131318719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23798 13086 16 0 208943 0 vsize: 835836 [startup+520.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 50283 57 0 0 25 0 11 0 778244385 855896064 23857 4294967295 134512640 134569956 3221224384 3221214648 1131318757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23857 13086 16 0 208943 0 vsize: 835836 [startup+530.069 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 51232 58 0 0 25 0 11 0 778244385 855896064 23959 4294967295 134512640 134569956 3221224384 3221214664 1131275510 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 23959 13086 16 0 208943 0 vsize: 835836 [startup+540.07 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18086 0 1 0 52186 58 0 0 25 0 11 0 778244385 855896064 24030 4294967295 134512640 134569956 3221224384 3221214800 1131328873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24030 13086 16 0 208943 0 vsize: 835836 [startup+550.07 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 53140 58 0 0 25 0 11 0 778244385 855896064 24095 4294967295 134512640 134569956 3221224384 3221214776 1131207176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24095 13086 16 0 208943 0 vsize: 835836 [startup+560.071 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 54081 58 0 0 25 0 11 0 778244385 855896064 24268 4294967295 134512640 134569956 3221224384 3221214648 1131318845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24268 13086 16 0 208943 0 vsize: 835836 [startup+570.071 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 55033 59 0 0 25 0 11 0 778244385 855896064 24345 4294967295 134512640 134569956 3221224384 3221214748 1130885175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 24345 13086 16 0 208943 0 vsize: 835836 [startup+580.072 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 55987 60 0 0 25 0 11 0 778244385 855896064 24460 4294967295 134512640 134569956 3221224384 3221214776 1131207219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24460 13086 16 0 208943 0 vsize: 835836 [startup+590.073 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 56931 60 0 0 25 0 11 0 778244385 855896064 24594 4294967295 134512640 134569956 3221224384 3221214624 1131208813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24594 13086 16 0 208943 0 vsize: 835836 [startup+600.074 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 57886 61 0 0 25 0 11 0 778244385 855896064 24688 4294967295 134512640 134569956 3221224384 3221214684 1131127964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24688 13086 16 0 208943 0 vsize: 835836 [startup+610.074 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 58832 61 0 0 25 0 11 0 778244385 855896064 24802 4294967295 134512640 134569956 3221224384 3221214680 1131416367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24802 13086 16 0 208943 0 vsize: 835836 [startup+620.075 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 59790 61 0 0 25 0 11 0 778244385 855896064 24900 4294967295 134512640 134569956 3221224384 3221214712 1131422073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 24900 13086 16 0 208943 0 vsize: 835836 [startup+630.075 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 60749 61 0 0 25 0 11 0 778244385 855896064 25026 4294967295 134512640 134569956 3221224384 3221214672 1131246633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25026 13086 16 0 208943 0 vsize: 835836 [startup+640.077 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 61697 62 0 0 25 0 11 0 778244385 855896064 25147 4294967295 134512640 134569956 3221224384 3221214672 1131246665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25147 13086 16 0 208943 0 vsize: 835836 [startup+650.077 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 62654 62 0 0 25 0 11 0 778244385 855896064 25241 4294967295 134512640 134569956 3221224384 3221214776 1131207103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25241 13086 16 0 208943 0 vsize: 835836 [startup+660.078 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 63603 63 0 0 25 0 11 0 778244385 855896064 25325 4294967295 134512640 134569956 3221224384 3221214796 1131311744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25325 13086 16 0 208943 0 vsize: 835836 [startup+670.079 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 64560 63 0 0 25 0 11 0 778244385 855896064 25401 4294967295 134512640 134569956 3221224384 3221214696 1131275512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25401 13086 16 0 208943 0 vsize: 835836 [startup+680.082 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 65507 63 0 0 17 0 11 0 778244385 855896064 25493 4294967295 134512640 134569956 3221224384 3221214436 1131387461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25493 13086 16 0 208943 0 vsize: 835836 [startup+690.081 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 66462 64 0 0 25 0 11 0 778244385 855896064 25575 4294967295 134512640 134569956 3221224384 3221214672 1131246504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25575 13086 16 0 208943 0 vsize: 835836 [startup+700.082 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 67418 64 0 0 25 0 11 0 778244385 855896064 25658 4294967295 134512640 134569956 3221224384 3221214776 1131207217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25658 13086 16 0 208943 0 vsize: 835836 [startup+710.083 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 68364 64 0 0 25 0 11 0 778244385 855896064 25802 4294967295 134512640 134569956 3221224384 3221214748 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25802 13086 16 0 208943 0 vsize: 835836 [startup+720.083 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 69322 65 0 0 25 0 11 0 778244385 855896064 25873 4294967295 134512640 134569956 3221224384 3221214796 1131207072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25873 13086 16 0 208943 0 vsize: 835836 [startup+730.084 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 70280 66 0 0 25 0 11 0 778244385 855896064 25952 4294967295 134512640 134569956 3221224384 3221214664 1131275558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 25952 13086 16 0 208943 0 vsize: 835836 [startup+740.084 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 71226 66 0 0 25 0 11 0 778244385 855896064 26064 4294967295 134512640 134569956 3221224384 3221214632 1131299085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26064 13086 16 0 208943 0 vsize: 835836 [startup+750.085 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 31342 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 72171 67 0 0 25 0 11 0 778244385 855896064 26181 4294967295 134512640 134569956 3221224384 3221214744 1131318716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26181 13086 16 0 208943 0 vsize: 835836 [startup+760.085 s] Raw data (loadavg): 0.99 0.98 0.95 2/66 31350 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 73125 68 0 0 25 0 11 0 778244385 855896064 26264 4294967295 134512640 134569956 3221224384 3221214872 1131313423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26264 13086 16 0 208943 0 vsize: 835836 [startup+770.088 s] Raw data (loadavg): 1.07 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 74070 68 0 0 25 0 11 0 778244385 855896064 26366 4294967295 134512640 134569956 3221224384 3221214772 1131318884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26366 13086 16 0 208943 0 vsize: 835836 [startup+780.088 s] Raw data (loadavg): 1.06 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 75026 68 0 0 25 0 11 0 778244385 855896064 26449 4294967295 134512640 134569956 3221224384 3221214768 1131430577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26449 13086 16 0 208943 0 vsize: 835836 [startup+790.088 s] Raw data (loadavg): 1.05 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 75981 69 0 0 25 0 11 0 778244385 855896064 26526 4294967295 134512640 134569956 3221224384 3221214616 1131246564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 26526 13086 16 0 208943 0 vsize: 835836 [startup+800.089 s] Raw data (loadavg): 1.04 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 76926 69 0 0 25 0 11 0 778244385 855896064 26637 4294967295 134512640 134569956 3221224384 3221214680 1131416338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26637 13086 16 0 208943 0 vsize: 835836 [startup+810.089 s] Raw data (loadavg): 1.03 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 77877 70 0 0 25 0 11 0 778244385 855896064 26746 4294967295 134512640 134569956 3221224384 3221214112 1131245226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26746 13086 16 0 208943 0 vsize: 835836 [startup+820.089 s] Raw data (loadavg): 1.03 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 78856 70 0 0 25 0 11 0 778244385 855896064 26796 4294967295 134512640 134569956 3221224384 3221214448 1131245343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 26796 13086 16 0 208943 0 vsize: 835836 [startup+830.089 s] Raw data (loadavg): 1.02 1.00 0.96 2/64 31395 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 79834 70 0 0 25 0 11 0 778244385 855896064 26845 4294967295 134512640 134569956 3221224384 3221214328 1131245442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26845 13086 16 0 208943 0 vsize: 835836 [startup+840.089 s] Raw data (loadavg): 1.02 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 80812 70 0 0 25 0 11 0 778244385 855896064 26882 4294967295 134512640 134569956 3221224384 3221214800 1131329059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26882 13086 16 0 208943 0 vsize: 835836 [startup+850.089 s] Raw data (loadavg): 1.02 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 81790 70 0 0 25 0 11 0 778244385 855896064 26922 4294967295 134512640 134569956 3221224384 3221213144 1131519831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 26922 13086 16 0 208943 0 vsize: 835836 [startup+860.089 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 82768 71 0 0 25 0 11 0 778244385 855896064 26958 4294967295 134512640 134569956 3221224384 3221214672 1131311771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26958 13086 16 0 208943 0 vsize: 835836 [startup+870.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 83745 71 0 0 25 0 11 0 778244385 855896064 26993 4294967295 134512640 134569956 3221224384 3221214872 1131313524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 26993 13086 16 0 208943 0 vsize: 835836 [startup+880.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 84723 71 0 0 25 0 11 0 778244385 855896064 27047 4294967295 134512640 134569956 3221224384 3221214420 1078128093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27047 13086 16 0 208943 0 vsize: 835836 [startup+890.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 85701 71 0 0 25 0 11 0 778244385 855896064 27086 4294967295 134512640 134569956 3221224384 3221214160 1131513493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27086 13086 16 0 208943 0 vsize: 835836 [startup+900.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 86679 71 0 0 25 0 11 0 778244385 855896064 27119 4294967295 134512640 134569956 3221224384 3221213928 1131519825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27119 13086 16 0 208943 0 vsize: 835836 [startup+910.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 87655 72 0 0 25 0 11 0 778244385 855896064 27158 4294967295 134512640 134569956 3221224384 3221214600 1131275907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27158 13086 16 0 208943 0 vsize: 835836 [startup+920.092 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 88598 72 0 0 25 0 11 0 778244385 855896064 27265 4294967295 134512640 134569956 3221224384 3221214700 1130885243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27265 13086 16 0 208943 0 vsize: 835836 [startup+930.092 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 89564 73 0 0 25 0 11 0 778244385 855896064 27322 4294967295 134512640 134569956 3221224384 3221214720 1131358366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27322 13086 16 0 208943 0 vsize: 835836 [startup+940.092 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 90541 73 0 0 25 0 11 0 778244385 855896064 27358 4294967295 134512640 134569956 3221224384 3221213660 1131245449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27358 13086 16 0 208943 0 vsize: 835836 [startup+950.093 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 91518 73 0 0 25 0 11 0 778244385 855896064 27402 4294967295 134512640 134569956 3221224384 3221214616 1131187943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27402 13086 16 0 208943 0 vsize: 835836 [startup+960.092 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 92505 73 0 0 25 0 11 0 778244385 855896064 27420 4294967295 134512640 134569956 3221224384 3221213756 1131519819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 27420 13086 16 0 208943 0 vsize: 835836 [startup+970.092 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 93481 73 0 0 25 0 11 0 778244385 855896064 27461 4294967295 134512640 134569956 3221224384 3221213416 1131574724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27461 13086 16 0 208943 0 vsize: 835836 [startup+980.094 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 94457 74 0 0 25 0 11 0 778244385 855896064 27502 4294967295 134512640 134569956 3221224384 3221213920 1085679753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27502 13086 16 0 208943 0 vsize: 835836 [startup+990.093 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 95433 74 0 0 25 0 11 0 778244385 855896064 27539 4294967295 134512640 134569956 3221224384 3221213940 1131513472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27539 13086 16 0 208943 0 vsize: 835836 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 96409 74 0 0 25 0 11 0 778244385 855896064 27590 4294967295 134512640 134569956 3221224384 3221214696 1131318851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27590 13086 16 0 208943 0 vsize: 835836 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 97385 74 0 0 25 0 11 0 778244385 855896064 27628 4294967295 134512640 134569956 3221224384 3221214512 1131190164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27628 13086 16 0 208943 0 vsize: 835836 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 98361 74 0 0 25 0 11 0 778244385 855896064 27666 4294967295 134512640 134569956 3221224384 3221214008 1131519899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27666 13086 16 0 208943 0 vsize: 835836 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 99337 75 0 0 25 0 11 0 778244385 855896064 27703 4294967295 134512640 134569956 3221224384 3221214648 1131276045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27703 13086 16 0 208943 0 vsize: 835836 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 100324 75 0 0 25 0 11 0 778244385 855896064 27723 4294967295 134512640 134569956 3221224384 3221214440 1131513493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27723 13086 16 0 208943 0 vsize: 835836 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 101300 75 0 0 25 0 11 0 778244385 855896064 27775 4294967295 134512640 134569956 3221224384 3221214344 1131519825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 27775 13086 16 0 208943 0 vsize: 835836 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 102276 75 0 0 25 0 11 0 778244385 855896064 27865 4294967295 134512640 134569956 3221224384 3221213912 1131574992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 27865 13086 16 0 208943 0 vsize: 835836 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 103254 76 0 0 25 0 11 0 778244385 855896064 27921 4294967295 134512640 134569956 3221224384 3221213780 1131519824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 27921 13086 16 0 208943 0 vsize: 835836 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31397 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 104232 76 0 0 25 0 11 0 778244385 855896064 27960 4294967295 134512640 134569956 3221224384 3221214648 1131276409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 27960 13086 16 0 208943 0 vsize: 835836 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 105222 76 0 0 25 0 11 0 778244385 855896064 27976 4294967295 134512640 134569956 3221224384 3221214228 1131519824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 27976 13086 16 0 208943 0 vsize: 835836 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 106201 76 0 0 25 0 11 0 778244385 855896064 28005 4294967295 134512640 134569956 3221224384 3221214232 1131519825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28005 13086 16 0 208943 0 vsize: 835836 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 107178 77 0 0 25 0 11 0 778244385 855896064 28058 4294967295 134512640 134569956 3221224384 3221213808 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28058 13086 16 0 208943 0 vsize: 835836 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 108157 77 0 0 25 0 11 0 778244385 855896064 28104 4294967295 134512640 134569956 3221224384 3221214256 1085632305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28104 13086 16 0 208943 0 vsize: 835836 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 109137 77 0 0 25 0 11 0 778244385 855896064 28150 4294967295 134512640 134569956 3221224384 3221214056 1131245280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208959 28150 13086 16 0 208943 0 vsize: 835836 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 110116 77 0 0 25 0 11 0 778244385 855896064 28189 4294967295 134512640 134569956 3221224384 3221214704 1131428989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28189 13086 16 0 208943 0 vsize: 835836 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 111105 78 0 0 25 0 11 0 778244385 855896064 28210 4294967295 134512640 134569956 3221224384 3221214704 1131428989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28210 13086 16 0 208943 0 vsize: 835836 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 112084 78 0 0 25 0 11 0 778244385 855896064 28252 4294967295 134512640 134569956 3221224384 3221214700 1130885169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28252 13086 16 0 208943 0 vsize: 835836 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 113064 78 0 0 25 0 11 0 778244385 855896064 28293 4294967295 134512640 134569956 3221224384 3221213560 1131519692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28293 13086 16 0 208943 0 vsize: 835836 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 114044 79 0 0 24 0 11 0 778244385 855896064 28329 4294967295 134512640 134569956 3221224384 3221214656 1131246786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28329 13086 16 0 208943 0 vsize: 835836 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 115034 79 0 0 25 0 11 0 778244385 855896064 28347 4294967295 134512640 134569956 3221224384 3221213928 1131519825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28347 13086 16 0 208943 0 vsize: 835836 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 116014 79 0 0 25 0 11 0 778244385 855896064 28388 4294967295 134512640 134569956 3221224384 3221214768 1131308420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28388 13086 16 0 208943 0 vsize: 835836 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 116994 80 0 0 25 0 11 0 778244385 855896064 28424 4294967295 134512640 134569956 3221224384 3221214200 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28424 13086 16 0 208943 0 vsize: 835836 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 117974 80 0 0 25 0 11 0 778244385 855896064 28461 4294967295 134512640 134569956 3221224384 3221214600 1131275926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28461 13086 16 0 208943 0 vsize: 835836 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 118953 81 0 0 25 0 11 0 778244385 855896064 28498 4294967295 134512640 134569956 3221224384 3221213616 1131519764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28498 13086 16 0 208943 0 vsize: 835836 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 31399 Raw data (stat): 31332 (java) R 31331 21152 21151 0 -1 0 18087 0 1 0 119934 81 0 0 25 0 11 0 778244385 855896064 28533 4294967295 134512640 134569956 3221224384 3221213976 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208959 28533 13086 16 0 208943 0 vsize: 835836 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.19 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 31401 Raw data (stat): 31332 (java) Z 31331 21152 21151 0 -1 1036 18087 10798 1 0 119936 81 4232 29 25 0 1 0 778244385 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): 1240.18 CPU time (s): 1242.8 CPU user time (s): 1241.69 CPU system time (s): 1.10983 CPU usage (%): 100.211 Max. virtual memory (Kb): 835900 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####