Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb |
MD5SUM | 07f65f29ee2937de43752221c6dbdf88 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 516561567744 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 3615347139525 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.349946 |
Number of variables | 7646 |
Total number of constraints | 362 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 362 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-25 12:24:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21281 boxname=wulflinc19 idbench=1269 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 07f65f29ee2937de43752221c6dbdf88 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-stair.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-stair.opb IDLAUNCH: 21281 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 436584 kB Buffers: 34288 kB Cached: 536768 kB SwapCached: 416 kB Active: 52048 kB Inactive: 521300 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 436332 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5676 kB Slab: 19076 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:45:02 (client local time) WITH STATUS 143 IN 1218.2 SECONDS stats: 21281 7 1218.2 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/wulflinc19/normalized-mps-v2-13-7-stair.opb c reading problem ... done. Time 22.637 ms. c #vars 7646 c #constraints 571 c starts : 5 c conflicts : 1092 c decisions : 10717 c propagations : 130433 c inspects : 7257787 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1092 c root simplifications : 1094 s UNKNOWN c Total CPU time (ms) : 1219.151 #### 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.95 0.98 2/54 23733 Raw data (stat): 23733 (runsolver) R 23732 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838850517 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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): 1.16 1.00 1.00 2/63 23742 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18031 0 1 0 818 37 0 0 25 0 10 0 838850517 854552576 20260 4294967295 134512640 134569956 3221224368 3221213868 1076462545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 20260 13086 16 0 208615 0 vsize: 834524 [startup+20.0019 s] Raw data (loadavg): 1.13 1.00 1.00 2/63 23742 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18031 0 1 0 1677 37 0 0 25 0 10 0 838850517 854552576 21482 4294967295 134512640 134569956 3221224368 3221214312 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208631 21482 13086 16 0 208615 0 vsize: 834524 [startup+30.0022 s] Raw data (loadavg): 1.27 1.04 1.01 3/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18105 0 1 0 2524 38 0 0 25 0 11 0 838850517 862060544 23663 4294967295 134512640 134569956 3221224368 3221214552 1131304695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210464 23663 13086 16 0 210448 0 vsize: 841856 [startup+40.0021 s] Raw data (loadavg): 1.30 1.05 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18106 0 1 0 3420 38 0 0 25 0 11 0 838850517 860536832 23295 4294967295 134512640 134569956 3221224368 3221214576 1131306467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 23295 13086 16 0 210076 0 vsize: 840368 [startup+50.0033 s] Raw data (loadavg): 1.25 1.05 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 4328 39 0 0 25 0 11 0 838850517 860536832 23296 4294967295 134512640 134569956 3221224368 3221214720 1131322657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 23296 13086 16 0 210076 0 vsize: 840368 [startup+60.0037 s] Raw data (loadavg): 1.21 1.05 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 5244 39 0 0 25 0 11 0 838850517 860536832 23770 4294967295 134512640 134569956 3221224368 3221214672 1131432153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 23770 13086 16 0 210076 0 vsize: 840368 [startup+70.0045 s] Raw data (loadavg): 1.18 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 6220 39 0 0 25 0 11 0 838850517 860536832 24159 4294967295 134512640 134569956 3221224368 3221214576 1131304622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24159 13086 16 0 210076 0 vsize: 840368 [startup+80.0058 s] Raw data (loadavg): 1.15 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 7209 39 0 0 25 0 11 0 838850517 860536832 24197 4294967295 134512640 134569956 3221224368 3221214576 1131304404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24197 13086 16 0 210076 0 vsize: 840368 [startup+90.0051 s] Raw data (loadavg): 1.13 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 8198 39 0 0 25 0 11 0 838850517 860536832 24228 4294967295 134512640 134569956 3221224368 3221214576 1131304471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24228 13086 16 0 210076 0 vsize: 840368 [startup+100.005 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 9188 39 0 0 25 0 11 0 838850517 860536832 24251 4294967295 134512640 134569956 3221224368 3221214672 1131432412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24251 13086 16 0 210076 0 vsize: 840368 [startup+110.006 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 10178 39 0 0 25 0 11 0 838850517 860536832 24292 4294967295 134512640 134569956 3221224368 3221214672 1131439386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24292 13086 16 0 210076 0 vsize: 840368 [startup+120.008 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 11169 39 0 0 25 0 11 0 838850517 860536832 24313 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24313 13086 16 0 210076 0 vsize: 840368 [startup+130.007 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 12161 39 0 0 25 0 11 0 838850517 860536832 24330 4294967295 134512640 134569956 3221224368 3221214856 1131490775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24330 13086 16 0 210076 0 vsize: 840368 [startup+140.008 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 13153 39 0 0 25 0 11 0 838850517 860536832 24346 4294967295 134512640 134569956 3221224368 3221214664 1131206639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24346 13086 16 0 210076 0 vsize: 840368 [startup+150.008 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 14140 39 0 0 25 0 11 0 838850517 860536832 24368 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24368 13086 16 0 210076 0 vsize: 840368 [startup+160.009 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 15132 39 0 0 25 0 11 0 838850517 860536832 24385 4294967295 134512640 134569956 3221224368 3221214672 1131439386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24385 13086 16 0 210076 0 vsize: 840368 [startup+170.01 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 16123 40 0 0 25 0 11 0 838850517 860536832 24398 4294967295 134512640 134569956 3221224368 3221214312 1131570431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24398 13086 16 0 210076 0 vsize: 840368 [startup+180.009 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 17113 40 0 0 25 0 11 0 838850517 860536832 24410 4294967295 134512640 134569956 3221224368 3221214808 1131533720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24410 13086 16 0 210076 0 vsize: 840368 [startup+190.009 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 18103 40 0 0 24 0 11 0 838850517 860536832 24423 4294967295 134512640 134569956 3221224368 3221214576 1131304471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24423 13086 16 0 210076 0 vsize: 840368 [startup+200.01 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 19094 40 0 0 25 0 11 0 838850517 860536832 24452 4294967295 134512640 134569956 3221224368 3221214672 1131434340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24452 13086 16 0 210076 0 vsize: 840368 [startup+210.01 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 20087 40 0 0 25 0 11 0 838850517 860536832 24480 4294967295 134512640 134569956 3221224368 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24480 13086 16 0 210076 0 vsize: 840368 [startup+220.011 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 21079 40 0 0 25 0 11 0 838850517 860536832 24491 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24491 13086 16 0 210076 0 vsize: 840368 [startup+230.01 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 22071 40 0 0 25 0 11 0 838850517 860536832 24501 4294967295 134512640 134569956 3221224368 3221214576 1131304560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24501 13086 16 0 210076 0 vsize: 840368 [startup+240.01 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 23064 40 0 0 25 0 11 0 838850517 860536832 24511 4294967295 134512640 134569956 3221224368 3221214576 1131304662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24511 13086 16 0 210076 0 vsize: 840368 [startup+250.01 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 24056 40 0 0 25 0 11 0 838850517 860536832 24521 4294967295 134512640 134569956 3221224368 3221214720 1131322720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24521 13086 16 0 210076 0 vsize: 840368 [startup+260.011 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 25048 40 0 0 25 0 11 0 838850517 860536832 24531 4294967295 134512640 134569956 3221224368 3221214576 1131305281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24531 13086 16 0 210076 0 vsize: 840368 [startup+270.012 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 26040 40 0 0 25 0 11 0 838850517 860536832 24541 4294967295 134512640 134569956 3221224368 3221214664 1131206649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24541 13086 16 0 210076 0 vsize: 840368 [startup+280.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 27032 41 0 0 25 0 11 0 838850517 860536832 24550 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24550 13086 16 0 210076 0 vsize: 840368 [startup+290.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 28024 41 0 0 25 0 11 0 838850517 860536832 24560 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24560 13086 16 0 210076 0 vsize: 840368 [startup+300.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 29016 41 0 0 25 0 11 0 838850517 860536832 24568 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24568 13086 16 0 210076 0 vsize: 840368 [startup+310.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 30009 41 0 0 25 0 11 0 838850517 860536832 24576 4294967295 134512640 134569956 3221224368 3221214672 1131432206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24576 13086 16 0 210076 0 vsize: 840368 [startup+320.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 31000 41 0 0 25 0 11 0 838850517 860536832 24585 4294967295 134512640 134569956 3221224368 3221214576 1131306284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24585 13086 16 0 210076 0 vsize: 840368 [startup+330.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 31991 42 0 0 25 0 11 0 838850517 860536832 24593 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24593 13086 16 0 210076 0 vsize: 840368 [startup+340.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 32982 42 0 0 25 0 11 0 838850517 860536832 24602 4294967295 134512640 134569956 3221224368 3221214576 1131304397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24602 13086 16 0 210076 0 vsize: 840368 [startup+350.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 33975 42 0 0 25 0 11 0 838850517 860536832 24609 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24609 13086 16 0 210076 0 vsize: 840368 [startup+360.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 34967 42 0 0 25 0 11 0 838850517 860536832 24618 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24618 13086 16 0 210076 0 vsize: 840368 [startup+370.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 35958 43 0 0 25 0 11 0 838850517 860536832 24626 4294967295 134512640 134569956 3221224368 3221214672 1131438604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24626 13086 16 0 210076 0 vsize: 840368 [startup+380.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 36950 43 0 0 25 0 11 0 838850517 860536832 24633 4294967295 134512640 134569956 3221224368 3221214576 1131207405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24633 13086 16 0 210076 0 vsize: 840368 [startup+390.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 37940 43 0 0 25 0 11 0 838850517 860536832 24641 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24641 13086 16 0 210076 0 vsize: 840368 [startup+400.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 38932 43 0 0 25 0 11 0 838850517 860536832 24648 4294967295 134512640 134569956 3221224368 3221214576 1131304705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24648 13086 16 0 210076 0 vsize: 840368 [startup+410.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 39924 43 0 0 25 0 11 0 838850517 860536832 24655 4294967295 134512640 134569956 3221224368 3221214672 1131434470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24655 13086 16 0 210076 0 vsize: 840368 [startup+420.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 40915 43 0 0 25 0 11 0 838850517 860536832 24663 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24663 13086 16 0 210076 0 vsize: 840368 [startup+430.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 41907 44 0 0 25 0 11 0 838850517 860536832 24669 4294967295 134512640 134569956 3221224368 3221214576 1131306423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24669 13086 16 0 210076 0 vsize: 840368 [startup+440.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 42897 44 0 0 25 0 11 0 838850517 860536832 24677 4294967295 134512640 134569956 3221224368 3221214576 1131306407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24677 13086 16 0 210076 0 vsize: 840368 [startup+450.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 43887 44 0 0 25 0 11 0 838850517 860536832 24684 4294967295 134512640 134569956 3221224368 3221214576 1131305853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24684 13086 16 0 210076 0 vsize: 840368 [startup+460.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 44876 44 0 0 25 0 11 0 838850517 860536832 24691 4294967295 134512640 134569956 3221224368 3221214672 1131435406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24691 13086 16 0 210076 0 vsize: 840368 [startup+470.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) S 23732 10795 10794 0 -1 0 18108 0 1 0 45865 44 0 0 24 0 11 0 838850517 860536832 24699 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24699 13086 16 0 210076 0 vsize: 840368 [startup+480.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 46855 45 0 0 25 0 11 0 838850517 860536832 24715 4294967295 134512640 134569956 3221224368 3221214672 1131433358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24715 13086 16 0 210076 0 vsize: 840368 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 47845 45 0 0 25 0 11 0 838850517 860536832 24720 4294967295 134512640 134569956 3221224368 3221214576 1131207415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24720 13086 16 0 210076 0 vsize: 840368 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 48836 45 0 0 25 0 11 0 838850517 860536832 24724 4294967295 134512640 134569956 3221224368 3221214672 1131432077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24724 13086 16 0 210076 0 vsize: 840368 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 49826 45 0 0 25 0 11 0 838850517 860536832 24727 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24727 13086 16 0 210076 0 vsize: 840368 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 50816 45 0 0 25 0 11 0 838850517 860536832 24732 4294967295 134512640 134569956 3221224368 3221214576 1131306438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24732 13086 16 0 210076 0 vsize: 840368 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 51803 45 0 0 25 0 11 0 838850517 860536832 24735 4294967295 134512640 134569956 3221224368 3221214672 1131438332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24735 13086 16 0 210076 0 vsize: 840368 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 52789 45 0 0 25 0 11 0 838850517 860536832 24738 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24738 13086 16 0 210076 0 vsize: 840368 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 53774 45 0 0 25 0 11 0 838850517 860536832 24756 4294967295 134512640 134569956 3221224368 3221214576 1131305392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24756 13086 16 0 210076 0 vsize: 840368 [startup+560.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 54762 45 0 0 25 0 11 0 838850517 860536832 24806 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24806 13086 16 0 210076 0 vsize: 840368 [startup+570.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 55752 45 0 0 25 0 11 0 838850517 860536832 24817 4294967295 134512640 134569956 3221224368 3221214576 1131303098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24817 13086 16 0 210076 0 vsize: 840368 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 56743 45 0 0 25 0 11 0 838850517 860536832 24821 4294967295 134512640 134569956 3221224368 3221214576 1131305319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24821 13086 16 0 210076 0 vsize: 840368 [startup+590.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 57733 45 0 0 25 0 11 0 838850517 860536832 24825 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24825 13086 16 0 210076 0 vsize: 840368 [startup+600.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 58722 45 0 0 25 0 11 0 838850517 860536832 24828 4294967295 134512640 134569956 3221224368 3221214576 1131304759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24828 13086 16 0 210076 0 vsize: 840368 [startup+610.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 59711 45 0 0 25 0 11 0 838850517 860536832 24832 4294967295 134512640 134569956 3221224368 3221214576 1131304787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24832 13086 16 0 210076 0 vsize: 840368 [startup+620.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 60700 45 0 0 25 0 11 0 838850517 860536832 24835 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24835 13086 16 0 210076 0 vsize: 840368 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 61690 45 0 0 24 0 11 0 838850517 860536832 24839 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24839 13086 16 0 210076 0 vsize: 840368 [startup+640.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 62679 45 0 0 25 0 11 0 838850517 860536832 24846 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24846 13086 16 0 210076 0 vsize: 840368 [startup+650.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 63669 45 0 0 25 0 11 0 838850517 860536832 24853 4294967295 134512640 134569956 3221224368 3221214576 1131304695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24853 13086 16 0 210076 0 vsize: 840368 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 64658 45 0 0 25 0 11 0 838850517 860536832 24856 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24856 13086 16 0 210076 0 vsize: 840368 [startup+670.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 65648 46 0 0 25 0 11 0 838850517 860536832 24860 4294967295 134512640 134569956 3221224368 3221214672 1131432077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24860 13086 16 0 210076 0 vsize: 840368 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 66637 46 0 0 25 0 11 0 838850517 860536832 24863 4294967295 134512640 134569956 3221224368 3221214664 1131206606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24863 13086 16 0 210076 0 vsize: 840368 [startup+690.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 67625 46 0 0 25 0 11 0 838850517 860536832 24866 4294967295 134512640 134569956 3221224368 3221214576 1131304457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24866 13086 16 0 210076 0 vsize: 840368 [startup+700.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 68613 46 0 0 24 0 11 0 838850517 860536832 24870 4294967295 134512640 134569956 3221224368 3221214664 1131206639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24870 13086 16 0 210076 0 vsize: 840368 [startup+710.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 69602 47 0 0 25 0 11 0 838850517 860536832 24873 4294967295 134512640 134569956 3221224368 3221214672 1131433848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24873 13086 16 0 210076 0 vsize: 840368 [startup+720.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 70590 47 0 0 25 0 11 0 838850517 860536832 24876 4294967295 134512640 134569956 3221224368 3221214664 1131206631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24876 13086 16 0 210076 0 vsize: 840368 [startup+730.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 71578 47 0 0 25 0 11 0 838850517 860536832 24879 4294967295 134512640 134569956 3221224368 3221214720 1131322756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24879 13086 16 0 210076 0 vsize: 840368 [startup+740.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 72566 48 0 0 25 0 11 0 838850517 860536832 24883 4294967295 134512640 134569956 3221224368 3221214576 1131304595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24883 13086 16 0 210076 0 vsize: 840368 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 73554 48 0 0 25 0 11 0 838850517 860536832 24887 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 24887 13086 16 0 210076 0 vsize: 840368 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 74543 48 0 0 25 0 11 0 838850517 860536832 24890 4294967295 134512640 134569956 3221224368 3221214576 1131304465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24890 13086 16 0 210076 0 vsize: 840368 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 75530 49 0 0 25 0 11 0 838850517 860536832 24894 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24894 13086 16 0 210076 0 vsize: 840368 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 76519 49 0 0 25 0 11 0 838850517 860536832 24897 4294967295 134512640 134569956 3221224368 3221214664 1131206623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24897 13086 16 0 210076 0 vsize: 840368 [startup+790.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 77507 50 0 0 25 0 11 0 838850517 860536832 24900 4294967295 134512640 134569956 3221224368 3221214672 1131434263 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24900 13086 16 0 210076 0 vsize: 840368 [startup+800.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 78495 50 0 0 25 0 11 0 838850517 860536832 24903 4294967295 134512640 134569956 3221224368 3221214576 1131306477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24903 13086 16 0 210076 0 vsize: 840368 [startup+810.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 79483 50 0 0 25 0 11 0 838850517 860536832 24907 4294967295 134512640 134569956 3221224368 3221214632 1131252971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24907 13086 16 0 210076 0 vsize: 840368 [startup+820.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 80471 50 0 0 25 0 11 0 838850517 860536832 24910 4294967295 134512640 134569956 3221224368 3221214672 1131434157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24910 13086 16 0 210076 0 vsize: 840368 [startup+830.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) S 23732 10795 10794 0 -1 0 18108 0 1 0 81458 50 0 0 25 0 11 0 838850517 860536832 24913 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24913 13086 16 0 210076 0 vsize: 840368 [startup+840.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 82446 51 0 0 25 0 11 0 838850517 860536832 24918 4294967295 134512640 134569956 3221224368 3221214672 1131434185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24918 13086 16 0 210076 0 vsize: 840368 [startup+850.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 83434 51 0 0 25 0 11 0 838850517 860536832 24921 4294967295 134512640 134569956 3221224368 3221214576 1131305447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24921 13086 16 0 210076 0 vsize: 840368 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 84423 51 0 0 25 0 11 0 838850517 860536832 24924 4294967295 134512640 134569956 3221224368 3221214664 1131206613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24924 13086 16 0 210076 0 vsize: 840368 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 85411 52 0 0 25 0 11 0 838850517 860536832 24927 4294967295 134512640 134569956 3221224368 3221214576 1131304412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24927 13086 16 0 210076 0 vsize: 840368 [startup+880.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 86399 52 0 0 25 0 11 0 838850517 860536832 24930 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24930 13086 16 0 210076 0 vsize: 840368 [startup+890.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 87387 52 0 0 25 0 11 0 838850517 860536832 24933 4294967295 134512640 134569956 3221224368 3221214672 1131434340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24933 13086 16 0 210076 0 vsize: 840368 [startup+900.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 88374 53 0 0 24 0 11 0 838850517 860536832 24937 4294967295 134512640 134569956 3221224368 3221214576 1131304529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24937 13086 16 0 210076 0 vsize: 840368 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 89363 53 0 0 25 0 11 0 838850517 860536832 24939 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24939 13086 16 0 210076 0 vsize: 840368 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 90351 53 0 0 25 0 11 0 838850517 860536832 24943 4294967295 134512640 134569956 3221224368 3221214672 1131438591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24943 13086 16 0 210076 0 vsize: 840368 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 91339 54 0 0 25 0 11 0 838850517 860536832 24946 4294967295 134512640 134569956 3221224368 3221214672 1131432197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24946 13086 16 0 210076 0 vsize: 840368 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 92327 54 0 0 25 0 11 0 838850517 860536832 24949 4294967295 134512640 134569956 3221224368 3221214668 1131305480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 24949 13086 16 0 210076 0 vsize: 840368 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 93315 54 0 0 25 0 11 0 838850517 860536832 25108 4294967295 134512640 134569956 3221224368 3221214576 1131304695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25108 13086 16 0 210076 0 vsize: 840368 [startup+960.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 94302 55 0 0 24 0 11 0 838850517 860536832 25071 4294967295 134512640 134569956 3221224368 3221214576 1131303098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25071 13086 16 0 210076 0 vsize: 840368 [startup+970.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 95290 55 0 0 25 0 11 0 838850517 860536832 25074 4294967295 134512640 134569956 3221224368 3221214672 1131432465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25074 13086 16 0 210076 0 vsize: 840368 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 96278 56 0 0 25 0 11 0 838850517 860536832 25077 4294967295 134512640 134569956 3221224368 3221214576 1131304741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25077 13086 16 0 210076 0 vsize: 840368 [startup+990.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 97266 56 0 0 25 0 11 0 838850517 860536832 25080 4294967295 134512640 134569956 3221224368 3221214576 1131303088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25080 13086 16 0 210076 0 vsize: 840368 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 98253 57 0 0 25 0 11 0 838850517 860536832 25083 4294967295 134512640 134569956 3221224368 3221214672 1131440526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25083 13086 16 0 210076 0 vsize: 840368 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 99241 57 0 0 25 0 11 0 838850517 860536832 25086 4294967295 134512640 134569956 3221224368 3221214672 1131434493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25086 13086 16 0 210076 0 vsize: 840368 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 100228 58 0 0 25 0 11 0 838850517 860536832 25089 4294967295 134512640 134569956 3221224368 3221214576 1131304753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25089 13086 16 0 210076 0 vsize: 840368 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 101216 58 0 0 25 0 11 0 838850517 860536832 25091 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25091 13086 16 0 210076 0 vsize: 840368 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 102203 59 0 0 25 0 11 0 838850517 860536832 25095 4294967295 134512640 134569956 3221224368 3221214668 1131206572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25095 13086 16 0 210076 0 vsize: 840368 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 103190 59 0 0 25 0 11 0 838850517 860536832 25098 4294967295 134512640 134569956 3221224368 3221214216 1131546872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25098 13086 16 0 210076 0 vsize: 840368 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 104178 59 0 0 25 0 11 0 838850517 860536832 25100 4294967295 134512640 134569956 3221224368 3221214668 1131206572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210092 25100 13086 16 0 210076 0 vsize: 840368 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 105166 59 0 0 25 0 11 0 838850517 860536832 25104 4294967295 134512640 134569956 3221224368 3221214576 1131304729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25104 13086 16 0 210076 0 vsize: 840368 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 106154 59 0 0 25 0 11 0 838850517 860536832 25106 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25106 13086 16 0 210076 0 vsize: 840368 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 107142 59 0 0 25 0 11 0 838850517 860536832 25109 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25109 13086 16 0 210076 0 vsize: 840368 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 108130 59 0 0 25 0 11 0 838850517 860536832 25112 4294967295 134512640 134569956 3221224368 3221214672 1131432358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25112 13086 16 0 210076 0 vsize: 840368 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 109118 59 0 0 25 0 11 0 838850517 860536832 25115 4294967295 134512640 134569956 3221224368 3221214720 1131321947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25115 13086 16 0 210076 0 vsize: 840368 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 110106 60 0 0 25 0 11 0 838850517 860536832 25118 4294967295 134512640 134569956 3221224368 3221214576 1131304415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25118 13086 16 0 210076 0 vsize: 840368 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 111094 60 0 0 25 0 11 0 838850517 860536832 25121 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25121 13086 16 0 210076 0 vsize: 840368 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 112082 60 0 0 25 0 11 0 838850517 860536832 25124 4294967295 134512640 134569956 3221224368 3221214576 1131304705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25124 13086 16 0 210076 0 vsize: 840368 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 113070 60 0 0 25 0 11 0 838850517 860536832 25126 4294967295 134512640 134569956 3221224368 3221214576 1131304397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25126 13086 16 0 210076 0 vsize: 840368 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 114058 60 0 0 25 0 11 0 838850517 860536832 25129 4294967295 134512640 134569956 3221224368 3221214672 1131433345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25129 13086 16 0 210076 0 vsize: 840368 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 115045 60 0 0 25 0 11 0 838850517 860536832 25132 4294967295 134512640 134569956 3221224368 3221214576 1131304465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25132 13086 16 0 210076 0 vsize: 840368 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 116033 60 0 0 25 0 11 0 838850517 860536832 25134 4294967295 134512640 134569956 3221224368 3221214576 1131304753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25134 13086 16 0 210076 0 vsize: 840368 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 117021 60 0 0 25 0 11 0 838850517 860536832 25137 4294967295 134512640 134569956 3221224368 3221214576 1131305319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25137 13086 16 0 210076 0 vsize: 840368 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 118009 60 0 0 25 0 11 0 838850517 860536832 25140 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25140 13086 16 0 210076 0 vsize: 840368 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 118997 60 0 0 25 0 11 0 838850517 860536832 25143 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25143 13086 16 0 210076 0 vsize: 840368 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23743 Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 119985 60 0 0 25 0 11 0 838850517 860536832 25145 4294967295 134512640 134569956 3221224368 3221214576 1131304741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210092 25145 13086 16 0 210076 0 vsize: 840368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 23745 Raw data (stat): 23733 (java) Z 23732 10795 10794 0 -1 1036 18108 5087 1 0 119986 60 1745 26 25 0 1 0 838850517 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): 1220.14 CPU time (s): 1218.2 CPU user time (s): 1217.32 CPU system time (s): 0.875866 CPU usage (%): 99.8407 Max. virtual memory (Kb): 841856 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####