Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb |
MD5SUM | 9b244c88702eddacf15d45f12fda5eb0 |
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 | 6352 |
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 | 6352 |
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 | 6352 |
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 | 6352 |
Total number of constraints | 13501 |
Number of constraints which are clauses | 13501 |
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 | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-05-25 05:48:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20622 boxname=wulflinc18 idbench=212 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 9b244c88702eddacf15d45f12fda5eb0 /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb IDLAUNCH: 20622 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 851352 kB Buffers: 27480 kB Cached: 127992 kB SwapCached: 588 kB Active: 39032 kB Inactive: 121816 kB HighTotal: 131008 kB HighFree: 14924 kB LowTotal: 903652 kB LowFree: 836428 kB SwapTotal: 2097892 kB SwapFree: 2096632 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5668 kB Slab: 17048 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 06:09:45 (client local time) WITH STATUS 143 IN 1272.72 SECONDS stats: 20622 7 1272.72 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/wulflinc18/normalized-par32-5.opb c reading problem ... done. Time 16.888 ms. c #vars 6352 c #constraints 13501 c starts : 10 c conflicts : 8217 c decisions : 9148 c propagations : 9775280 c inspects : 25901259 c learned literals : 0 c learned binary clauses : 24 c learned ternary clauses : 1 c learned clauses : 8217 c root simplifications : 11 s UNKNOWN c Total CPU time (ms) : 1259.204 #### 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.86 0.97 0.99 2/54 30428 Raw data (stat): 30428 (runsolver) R 30427 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836467730 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.0005 s] Raw data (loadavg): 0.88 0.97 0.99 2/63 30437 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18001 0 1 0 881 40 0 0 24 0 10 0 836467730 853852160 19339 4294967295 134512640 134569956 3221224384 3221214432 1076461342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208460 19339 13086 16 0 208444 0 vsize: 833840 [startup+20.0389 s] Raw data (loadavg): 1.06 1.00 1.00 4/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18054 0 1 0 1731 40 0 0 25 0 11 0 836467730 859066368 20758 4294967295 134512640 134569956 3221224384 3221213908 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209733 20758 13086 16 0 209717 0 vsize: 838932 [startup+30.0503 s] Raw data (loadavg): 1.20 1.03 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 2591 41 0 0 25 0 11 0 836467730 859475968 24255 4294967295 134512640 134569956 3221224384 3221214568 1131310386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 24255 13086 16 0 209817 0 vsize: 839332 [startup+40.0511 s] Raw data (loadavg): 1.25 1.05 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 3565 41 0 0 25 0 11 0 836467730 859103232 24164 4294967295 134512640 134569956 3221224384 3221214776 1131205156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24164 13086 16 0 209726 0 vsize: 838968 [startup+50.0516 s] Raw data (loadavg): 1.21 1.05 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 4548 41 0 0 25 0 11 0 836467730 859103232 24176 4294967295 134512640 134569956 3221224384 3221214568 1131310504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24176 13086 16 0 209726 0 vsize: 838968 [startup+60.0519 s] Raw data (loadavg): 1.18 1.04 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 5520 42 0 0 21 0 11 0 836467730 859103232 24181 4294967295 134512640 134569956 3221224384 3221214648 1131580897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24181 13086 16 0 209726 0 vsize: 838968 [startup+70.0529 s] Raw data (loadavg): 1.15 1.04 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 6489 42 0 0 25 0 11 0 836467730 859103232 24181 4294967295 134512640 134569956 3221224384 3221214788 1131330307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24181 13086 16 0 209726 0 vsize: 838968 [startup+80.0538 s] Raw data (loadavg): 1.13 1.04 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 7456 42 0 0 25 0 11 0 836467730 859103232 24181 4294967295 134512640 134569956 3221224384 3221214768 1131205288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24181 13086 16 0 209726 0 vsize: 838968 [startup+90.0541 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 8427 43 0 0 25 0 11 0 836467730 859103232 24224 4294967295 134512640 134569956 3221224384 3221214792 1131368968 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 24224 13086 16 0 209726 0 vsize: 838968 [startup+100.055 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 9397 43 0 0 25 0 11 0 836467730 859103232 24280 4294967295 134512640 134569956 3221224384 3221214424 1078032890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24280 13086 16 0 209726 0 vsize: 838968 [startup+110.055 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 10354 43 0 0 25 0 11 0 836467730 859103232 24408 4294967295 134512640 134569956 3221224384 3221214572 1130920368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24408 13086 16 0 209726 0 vsize: 838968 [startup+120.056 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 11308 43 0 0 25 0 11 0 836467730 859103232 24516 4294967295 134512640 134569956 3221224384 3221214688 1131318614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24516 13086 16 0 209726 0 vsize: 838968 [startup+130.056 s] Raw data (loadavg): 1.05 1.03 1.01 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 12261 44 0 0 25 0 11 0 836467730 859103232 24589 4294967295 134512640 134569956 3221224384 3221214672 1131412827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24589 13086 16 0 209726 0 vsize: 838968 [startup+140.06 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 13227 44 0 0 25 0 11 0 836467730 859103232 24675 4294967295 134512640 134569956 3221224384 3221214768 1131205242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24675 13086 16 0 209726 0 vsize: 838968 [startup+150.06 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 14181 44 0 0 25 0 11 0 836467730 859103232 24773 4294967295 134512640 134569956 3221224384 3221214368 1131217693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24773 13086 16 0 209726 0 vsize: 838968 [startup+160.06 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 15134 44 0 0 25 0 11 0 836467730 859103232 24863 4294967295 134512640 134569956 3221224384 3221214688 1131309852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24863 13086 16 0 209726 0 vsize: 838968 [startup+170.061 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 16098 45 0 0 25 0 11 0 836467730 859103232 24931 4294967295 134512640 134569956 3221224384 3221214440 1078032595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 24931 13086 16 0 209726 0 vsize: 838968 [startup+180.06 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 17049 45 0 0 25 0 11 0 836467730 859103232 25054 4294967295 134512640 134569956 3221224384 3221214768 1131205149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25054 13086 16 0 209726 0 vsize: 838968 [startup+190.062 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 18001 45 0 0 24 0 11 0 836467730 859103232 25165 4294967295 134512640 134569956 3221224384 3221214544 1131310244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25165 13086 16 0 209726 0 vsize: 838968 [startup+200.063 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 18964 45 0 0 25 0 11 0 836467730 859103232 25251 4294967295 134512640 134569956 3221224384 3221214688 1131318595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25251 13086 16 0 209726 0 vsize: 838968 [startup+210.062 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 19926 45 0 0 25 0 11 0 836467730 859103232 25331 4294967295 134512640 134569956 3221224384 3221214616 1131456320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 25331 13086 16 0 209726 0 vsize: 838968 [startup+220.064 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 20877 46 0 0 25 0 11 0 836467730 859103232 25427 4294967295 134512640 134569956 3221224384 3221214776 1131359689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25427 13086 16 0 209726 0 vsize: 838968 [startup+230.064 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 21839 46 0 0 25 0 11 0 836467730 859103232 25515 4294967295 134512640 134569956 3221224384 3221214632 1131390889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25515 13086 16 0 209726 0 vsize: 838968 [startup+240.065 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 22791 46 0 0 25 0 11 0 836467730 859103232 25605 4294967295 134512640 134569956 3221224384 3221214544 1131309820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25605 13086 16 0 209726 0 vsize: 838968 [startup+250.066 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 23741 46 0 0 25 0 11 0 836467730 859103232 25699 4294967295 134512640 134569956 3221224384 3221214768 1131205102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25699 13086 16 0 209726 0 vsize: 838968 [startup+260.067 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 24704 47 0 0 25 0 11 0 836467730 859103232 25786 4294967295 134512640 134569956 3221224384 3221214544 1131309913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25786 13086 16 0 209726 0 vsize: 838968 [startup+270.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 25654 47 0 0 25 0 11 0 836467730 859103232 25862 4294967295 134512640 134569956 3221224384 3221214688 1131310050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25862 13086 16 0 209726 0 vsize: 838968 [startup+280.068 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 26604 47 0 0 25 0 11 0 836467730 859103232 25970 4294967295 134512640 134569956 3221224384 3221214768 1131205288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 25970 13086 16 0 209726 0 vsize: 838968 [startup+290.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 27566 47 0 0 25 0 11 0 836467730 859103232 26064 4294967295 134512640 134569956 3221224384 3221214648 1131587201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 26064 13086 16 0 209726 0 vsize: 838968 [startup+300.069 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 28515 48 0 0 25 0 11 0 836467730 859103232 26164 4294967295 134512640 134569956 3221224384 3221214688 1131318580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 26164 13086 16 0 209726 0 vsize: 838968 [startup+310.07 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) S 30427 24172 24171 0 -1 0 18056 0 1 0 29470 48 0 0 25 0 11 0 836467730 859103232 26235 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26235 13086 16 0 209726 0 vsize: 838968 [startup+320.071 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 30428 48 0 0 25 0 11 0 836467730 859103232 26362 4294967295 134512640 134569956 3221224384 3221214544 1131309979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26362 13086 16 0 209726 0 vsize: 838968 [startup+330.071 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 31378 48 0 0 25 0 11 0 836467730 859103232 26460 4294967295 134512640 134569956 3221224384 3221214504 1079667825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26460 13086 16 0 209726 0 vsize: 838968 [startup+340.073 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 32341 49 0 0 25 0 11 0 836467730 859103232 26529 4294967295 134512640 134569956 3221224384 3221214600 1131400706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26529 13086 16 0 209726 0 vsize: 838968 [startup+350.073 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 33291 49 0 0 25 0 11 0 836467730 859103232 26626 4294967295 134512640 134569956 3221224384 3221214656 1131318446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26626 13086 16 0 209726 0 vsize: 838968 [startup+360.073 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 34253 49 0 0 25 0 11 0 836467730 859103232 26717 4294967295 134512640 134569956 3221224384 3221214640 1131372453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 26717 13086 16 0 209726 0 vsize: 838968 [startup+370.073 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 35214 49 0 0 25 0 11 0 836467730 859103232 26822 4294967295 134512640 134569956 3221224384 3221214648 1131206332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26822 13086 16 0 209726 0 vsize: 838968 [startup+380.073 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 36164 50 0 0 25 0 11 0 836467730 859103232 26926 4294967295 134512640 134569956 3221224384 3221214544 1131309906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 26926 13086 16 0 209726 0 vsize: 838968 [startup+390.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 37126 50 0 0 25 0 11 0 836467730 859103232 26997 4294967295 134512640 134569956 3221224384 3221214768 1131205223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 26997 13086 16 0 209726 0 vsize: 838968 [startup+400.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 38076 50 0 0 25 0 11 0 836467730 859103232 27116 4294967295 134512640 134569956 3221224384 3221214632 1131534544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27116 13086 16 0 209726 0 vsize: 838968 [startup+410.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 39038 50 0 0 25 0 11 0 836467730 859103232 27196 4294967295 134512640 134569956 3221224384 3221214768 1131205061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27196 13086 16 0 209726 0 vsize: 838968 [startup+420.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 40000 51 0 0 25 0 11 0 836467730 859103232 27270 4294967295 134512640 134569956 3221224384 3221214776 1131359689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 27270 13086 16 0 209726 0 vsize: 838968 [startup+430.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 40951 51 0 0 25 0 11 0 836467730 859103232 27376 4294967295 134512640 134569956 3221224384 3221214736 1131372439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27376 13086 16 0 209726 0 vsize: 838968 [startup+440.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 41914 51 0 0 25 0 11 0 836467730 859103232 27446 4294967295 134512640 134569956 3221224384 3221214740 1130885240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27446 13086 16 0 209726 0 vsize: 838968 [startup+450.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) S 30427 24172 24171 0 -1 0 18056 0 1 0 42864 51 0 0 25 0 11 0 836467730 859103232 27528 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27528 13086 16 0 209726 0 vsize: 838968 [startup+460.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 43824 51 0 0 25 0 11 0 836467730 859103232 27658 4294967295 134512640 134569956 3221224384 3221214760 1131424600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27658 13086 16 0 209726 0 vsize: 838968 [startup+470.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 44786 51 0 0 25 0 11 0 836467730 859103232 27740 4294967295 134512640 134569956 3221224384 3221214544 1131309903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 27740 13086 16 0 209726 0 vsize: 838968 [startup+480.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 45737 52 0 0 25 0 11 0 836467730 859103232 27831 4294967295 134512640 134569956 3221224384 3221214544 1131309566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27831 13086 16 0 209726 0 vsize: 838968 [startup+490.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 46686 52 0 0 25 0 11 0 836467730 859103232 27920 4294967295 134512640 134569956 3221224384 3221214544 1131309804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27920 13086 16 0 209726 0 vsize: 838968 [startup+500.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 47649 52 0 0 25 0 11 0 836467730 859103232 27988 4294967295 134512640 134569956 3221224384 3221214768 1131205191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 27988 13086 16 0 209726 0 vsize: 838968 [startup+510.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 48598 52 0 0 25 0 11 0 836467730 859103232 28121 4294967295 134512640 134569956 3221224384 3221214764 1131203612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28121 13086 16 0 209726 0 vsize: 838968 [startup+520.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 49561 53 0 0 25 0 11 0 836467730 859103232 28195 4294967295 134512640 134569956 3221224384 3221214832 1131459627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28195 13086 16 0 209726 0 vsize: 838968 [startup+530.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 50512 53 0 0 25 0 11 0 836467730 859103232 28286 4294967295 134512640 134569956 3221224384 3221214544 1131309979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28286 13086 16 0 209726 0 vsize: 838968 [startup+540.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 51474 54 0 0 25 0 11 0 836467730 859103232 28353 4294967295 134512640 134569956 3221224384 3221214544 1131309566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28353 13086 16 0 209726 0 vsize: 838968 [startup+550.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 52422 54 0 0 25 0 11 0 836467730 859103232 28454 4294967295 134512640 134569956 3221224384 3221214736 1131372453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28454 13086 16 0 209726 0 vsize: 838968 [startup+560.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 53372 55 0 0 25 0 11 0 836467730 859103232 28544 4294967295 134512640 134569956 3221224384 3221214764 1131203612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28544 13086 16 0 209726 0 vsize: 838968 [startup+570.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) S 30427 24172 24171 0 -1 0 18056 0 1 0 54334 55 0 0 25 0 11 0 836467730 859103232 28620 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28620 13086 16 0 209726 0 vsize: 838968 [startup+580.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 55286 55 0 0 25 0 11 0 836467730 859103232 28718 4294967295 134512640 134569956 3221224384 3221214768 1131205276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28718 13086 16 0 209726 0 vsize: 838968 [startup+590.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 56237 55 0 0 25 0 11 0 836467730 859103232 28840 4294967295 134512640 134569956 3221224384 3221214776 1131359689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28840 13086 16 0 209726 0 vsize: 838968 [startup+600.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 57188 55 0 0 24 0 11 0 836467730 859103232 28939 4294967295 134512640 134569956 3221224384 3221214544 1131310239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 28939 13086 16 0 209726 0 vsize: 838968 [startup+610.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 58151 56 0 0 25 0 11 0 836467730 859103232 29002 4294967295 134512640 134569956 3221224384 3221214768 1131205189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29002 13086 16 0 209726 0 vsize: 838968 [startup+620.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 59104 56 0 0 25 0 11 0 836467730 859103232 29097 4294967295 134512640 134569956 3221224384 3221214640 1131372505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29097 13086 16 0 209726 0 vsize: 838968 [startup+630.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 60056 57 0 0 25 0 11 0 836467730 859103232 29196 4294967295 134512640 134569956 3221224384 3221214640 1131411434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29196 13086 16 0 209726 0 vsize: 838968 [startup+640.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 61020 57 0 0 25 0 11 0 836467730 859103232 29271 4294967295 134512640 134569956 3221224384 3221214792 1131369328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29271 13086 16 0 209726 0 vsize: 838968 [startup+650.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 61971 57 0 0 25 0 11 0 836467730 859103232 29356 4294967295 134512640 134569956 3221224384 3221214792 1131368867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29356 13086 16 0 209726 0 vsize: 838968 [startup+660.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 62922 57 0 0 25 0 11 0 836467730 859103232 29448 4294967295 134512640 134569956 3221224384 3221214688 1131310206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29448 13086 16 0 209726 0 vsize: 838968 [startup+670.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 63884 57 0 0 25 0 11 0 836467730 859103232 29510 4294967295 134512640 134569956 3221224384 3221214544 1131310025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29510 13086 16 0 209726 0 vsize: 838968 [startup+680.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30438 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 64833 58 0 0 25 0 11 0 836467730 859103232 29596 4294967295 134512640 134569956 3221224384 3221214768 1131205145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29596 13086 16 0 209726 0 vsize: 838968 [startup+690.096 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 65776 62 0 0 25 0 11 0 836467730 859103232 29694 4294967295 134512640 134569956 3221224384 3221214656 1131206297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29694 13086 16 0 209726 0 vsize: 838968 [startup+700.096 s] Raw data (loadavg): 1.12 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 66738 62 0 0 25 0 11 0 836467730 859103232 29768 4294967295 134512640 134569956 3221224384 3221214668 1131330304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29768 13086 16 0 209726 0 vsize: 838968 [startup+710.096 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 67685 63 0 0 25 0 11 0 836467730 859103232 29915 4294967295 134512640 134569956 3221224384 3221214604 1130885186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29915 13086 16 0 209726 0 vsize: 838968 [startup+720.097 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 68647 63 0 0 25 0 11 0 836467730 859103232 29972 4294967295 134512640 134569956 3221224384 3221214740 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 29972 13086 16 0 209726 0 vsize: 838968 [startup+730.097 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 69596 63 0 0 25 0 11 0 836467730 859103232 30079 4294967295 134512640 134569956 3221224384 3221214768 1131205102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30079 13086 16 0 209726 0 vsize: 838968 [startup+740.098 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 30491 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 70546 63 0 0 25 0 11 0 836467730 859103232 30194 4294967295 134512640 134569956 3221224384 3221214740 1130885147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30194 13086 16 0 209726 0 vsize: 838968 [startup+750.099 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 71508 63 0 0 25 0 11 0 836467730 859103232 30260 4294967295 134512640 134569956 3221224384 3221214740 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30260 13086 16 0 209726 0 vsize: 838968 [startup+760.099 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 72456 63 0 0 25 0 11 0 836467730 859103232 30367 4294967295 134512640 134569956 3221224384 3221214680 1131233891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30367 13086 16 0 209726 0 vsize: 838968 [startup+770.1 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 73417 63 0 0 25 0 11 0 836467730 859103232 30438 4294967295 134512640 134569956 3221224384 3221214568 1131297741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30438 13086 16 0 209726 0 vsize: 838968 [startup+780.101 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 74366 63 0 0 25 0 11 0 836467730 859103232 30540 4294967295 134512640 134569956 3221224384 3221214600 1131400706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30540 13086 16 0 209726 0 vsize: 838968 [startup+790.102 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 75315 63 0 0 25 0 11 0 836467730 859103232 30632 4294967295 134512640 134569956 3221224384 3221214736 1131372490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30632 13086 16 0 209726 0 vsize: 838968 [startup+800.102 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 76276 63 0 0 25 0 11 0 836467730 859103232 30737 4294967295 134512640 134569956 3221224384 3221214384 1131233843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30737 13086 16 0 209726 0 vsize: 838968 [startup+810.101 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 77224 63 0 0 25 0 11 0 836467730 859103232 30816 4294967295 134512640 134569956 3221224384 3221214392 1076461259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30816 13086 16 0 209726 0 vsize: 838968 [startup+820.102 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 78185 63 0 0 25 0 11 0 836467730 859103232 30907 4294967295 134512640 134569956 3221224384 3221214632 1131390243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 30907 13086 16 0 209726 0 vsize: 838968 [startup+830.102 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 79134 63 0 0 25 0 11 0 836467730 859103232 31008 4294967295 134512640 134569956 3221224384 3221214792 1131369184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31008 13086 16 0 209726 0 vsize: 838968 [startup+840.103 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 80083 63 0 0 25 0 11 0 836467730 859103232 31083 4294967295 134512640 134569956 3221224384 3221214656 1131318446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31083 13086 16 0 209726 0 vsize: 838968 [startup+850.104 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 81047 63 0 0 25 0 11 0 836467730 859103232 31153 4294967295 134512640 134569956 3221224384 3221214736 1131372453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31153 13086 16 0 209726 0 vsize: 838968 [startup+860.104 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 81998 63 0 0 25 0 11 0 836467730 859103232 31249 4294967295 134512640 134569956 3221224384 3221214792 1131369060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31249 13086 16 0 209726 0 vsize: 838968 [startup+870.107 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) S 30427 24172 24171 0 -1 0 18056 0 1 0 82959 63 0 0 25 0 11 0 836467730 859103232 31325 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31325 13086 16 0 209726 0 vsize: 838968 [startup+880.108 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 83911 63 0 0 25 0 11 0 836467730 859103232 31433 4294967295 134512640 134569956 3221224384 3221214640 1131206297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31433 13086 16 0 209726 0 vsize: 838968 [startup+890.109 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 84861 63 0 0 25 0 11 0 836467730 859103232 31535 4294967295 134512640 134569956 3221224384 3221214768 1131205232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31535 13086 16 0 209726 0 vsize: 838968 [startup+900.109 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 85825 63 0 0 25 0 11 0 836467730 859103232 31622 4294967295 134512640 134569956 3221224384 3221214788 1131359657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31622 13086 16 0 209726 0 vsize: 838968 [startup+910.109 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 86774 63 0 0 25 0 11 0 836467730 859103232 31720 4294967295 134512640 134569956 3221224384 3221214600 1131310177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31720 13086 16 0 209726 0 vsize: 838968 [startup+920.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 87724 63 0 0 25 0 11 0 836467730 859103232 31807 4294967295 134512640 134569956 3221224384 3221214544 1131310105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31807 13086 16 0 209726 0 vsize: 838968 [startup+930.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 88687 63 0 0 25 0 11 0 836467730 859103232 31861 4294967295 134512640 134569956 3221224384 3221214792 1131369328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 31861 13086 16 0 209726 0 vsize: 838968 [startup+940.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 89635 63 0 0 25 0 11 0 836467730 859103232 32006 4294967295 134512640 134569956 3221224384 3221214788 1131310713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32006 13086 16 0 209726 0 vsize: 838968 [startup+950.111 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 90584 64 0 0 25 0 11 0 836467730 859103232 32109 4294967295 134512640 134569956 3221224384 3221214644 1131310713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32109 13086 16 0 209726 0 vsize: 838968 [startup+960.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 91545 64 0 0 25 0 11 0 836467730 859103232 32158 4294967295 134512640 134569956 3221224384 3221214768 1131205248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 32158 13086 16 0 209726 0 vsize: 838968 [startup+970.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 92493 64 0 0 25 0 11 0 836467730 859103232 32258 4294967295 134512640 134569956 3221224384 3221214792 1131369312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32258 13086 16 0 209726 0 vsize: 838968 [startup+980.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30493 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 93441 64 0 0 25 0 11 0 836467730 859103232 32383 4294967295 134512640 134569956 3221224384 3221214764 1131384589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32383 13086 16 0 209726 0 vsize: 838968 [startup+990.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 94403 64 0 0 25 0 11 0 836467730 859103232 32454 4294967295 134512640 134569956 3221224384 3221214760 1131426558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32454 13086 16 0 209726 0 vsize: 838968 [startup+1000.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 95351 64 0 0 25 0 11 0 836467730 859103232 32550 4294967295 134512640 134569956 3221224384 3221214688 1131318773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32550 13086 16 0 209726 0 vsize: 838968 [startup+1010.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 96299 64 0 0 25 0 11 0 836467730 859103232 32640 4294967295 134512640 134569956 3221224384 3221214648 1131581330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32640 13086 16 0 209726 0 vsize: 838968 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 97261 64 0 0 25 0 11 0 836467730 859103232 32714 4294967295 134512640 134569956 3221224384 3221214144 1079276335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32714 13086 16 0 209726 0 vsize: 838968 [startup+1030.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 98209 64 0 0 25 0 11 0 836467730 859103232 32814 4294967295 134512640 134569956 3221224384 3221214788 1131205266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32814 13086 16 0 209726 0 vsize: 838968 [startup+1040.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 99171 64 0 0 25 0 11 0 836467730 859103232 32874 4294967295 134512640 134569956 3221224384 3221214848 1131356348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32874 13086 16 0 209726 0 vsize: 838968 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 100120 64 0 0 25 0 11 0 836467730 859103232 32971 4294967295 134512640 134569956 3221224384 3221214600 1131400756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32971 13086 16 0 209726 0 vsize: 838968 [startup+1060.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 101081 64 0 0 25 0 11 0 836467730 859103232 33047 4294967295 134512640 134569956 3221224384 3221214672 1131412695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33047 13086 16 0 209726 0 vsize: 838968 [startup+1070.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 102031 64 0 0 25 0 11 0 836467730 859103232 33157 4294967295 134512640 134569956 3221224384 3221214648 1131580937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33157 13086 16 0 209726 0 vsize: 838968 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 102993 64 0 0 25 0 11 0 836467730 859103232 33232 4294967295 134512640 134569956 3221224384 3221214788 1131366953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33232 13086 16 0 209726 0 vsize: 838968 [startup+1090.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 103942 64 0 0 25 0 11 0 836467730 859103232 33320 4294967295 134512640 134569956 3221224384 3221214764 1131203600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33320 13086 16 0 209726 0 vsize: 838968 [startup+1100.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 104904 64 0 0 25 0 11 0 836467730 859103232 33405 4294967295 134512640 134569956 3221224384 3221214544 1131309949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33405 13086 16 0 209726 0 vsize: 838968 [startup+1110.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 105866 64 0 0 25 0 11 0 836467730 859103232 33479 4294967295 134512640 134569956 3221224384 3221214736 1131372511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33479 13086 16 0 209726 0 vsize: 838968 [startup+1120.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 106816 64 0 0 25 0 11 0 836467730 859103232 33564 4294967295 134512640 134569956 3221224384 3221214544 1131309612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33564 13086 16 0 209726 0 vsize: 838968 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) S 30427 24172 24171 0 -1 0 18056 0 1 0 107764 64 0 0 25 0 11 0 836467730 859103232 33691 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33691 13086 16 0 209726 0 vsize: 838968 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 108721 64 0 0 25 0 11 0 836467730 859103232 33899 4294967295 134512640 134569956 3221224384 3221214640 1131372453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33899 13086 16 0 209726 0 vsize: 838968 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 109681 64 0 0 25 0 11 0 836467730 859103232 33994 4294967295 134512640 134569956 3221224384 3221214704 1131238077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33994 13086 16 0 209726 0 vsize: 838968 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 110629 64 0 0 25 0 11 0 836467730 859103232 34094 4294967295 134512640 134569956 3221224384 3221214688 1131318365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34094 13086 16 0 209726 0 vsize: 838968 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 111590 64 0 0 25 0 11 0 836467730 859103232 34174 4294967295 134512640 134569956 3221224384 3221214760 1131426477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34174 13086 16 0 209726 0 vsize: 838968 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 112550 64 0 0 25 0 11 0 836467730 859103232 34279 4294967295 134512640 134569956 3221224384 3221214776 1131359689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34279 13086 16 0 209726 0 vsize: 838968 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 113497 64 0 0 25 0 11 0 836467730 859103232 34391 4294967295 134512640 134569956 3221224384 3221214740 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34391 13086 16 0 209726 0 vsize: 838968 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 114458 64 0 0 25 0 11 0 836467730 859103232 34498 4294967295 134512640 134569956 3221224384 3221214768 1131205185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34498 13086 16 0 209726 0 vsize: 838968 [startup+1210.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 115419 64 0 0 25 0 11 0 836467730 859103232 34569 4294967295 134512640 134569956 3221224384 3221214736 1131372567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34569 13086 16 0 209726 0 vsize: 838968 [startup+1220.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 116366 64 0 0 25 0 11 0 836467730 859103232 34699 4294967295 134512640 134569956 3221224384 3221214544 1131309635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34699 13086 16 0 209726 0 vsize: 838968 [startup+1230.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 117326 64 0 0 25 0 11 0 836467730 859103232 34787 4294967295 134512640 134569956 3221224384 3221214740 1130885222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34787 13086 16 0 209726 0 vsize: 838968 [startup+1240.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 118287 65 0 0 25 0 11 0 836467730 859103232 34849 4294967295 134512640 134569956 3221224384 3221214700 1131205272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34849 13086 16 0 209726 0 vsize: 838968 [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 119235 65 0 0 25 0 11 0 836467730 859103232 34947 4294967295 134512640 134569956 3221224384 3221214648 1131581002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34947 13086 16 0 209726 0 vsize: 838968 [startup+1260.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30495 Raw data (stat): 30428 (java) R 30427 24172 24171 0 -1 0 18056 0 1 0 120194 65 0 0 25 0 11 0 836467730 859103232 35012 4294967295 134512640 134569956 3221224384 3221214648 1131581257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 35012 13086 16 0 209726 0 vsize: 838968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.25 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 30497 Raw data (stat): 30428 (java) Z 30427 24172 24171 0 -1 1036 18056 24688 1 0 120199 71 6940 60 25 0 1 0 836467730 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): 1260.25 CPU time (s): 1272.72 CPU user time (s): 1271.4 CPU system time (s): 1.3208 CPU usage (%): 100.99 Max. virtual memory (Kb): 839332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####