Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb |
MD5SUM | 9724b70be00612c57ff3bed741e4e1b9 |
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 | 460 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 137363325 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 52428800000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 319170501375 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.357944 |
Number of variables | 9140 |
Total number of constraints | 330 |
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 | 330 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 1140 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 12:17:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21259 boxname=wulflinc4 idbench=1247 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 9724b70be00612c57ff3bed741e4e1b9 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scfxm1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scfxm1.opb IDLAUNCH: 21259 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 655024 kB Buffers: 34572 kB Cached: 324344 kB SwapCached: 600 kB Active: 73896 kB Inactive: 287400 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 654772 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5780 kB Slab: 12592 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:37:24 (client local time) WITH STATUS 143 IN 1229.22 SECONDS stats: 21259 7 1229.22 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scfxm1.opb c reading problem ... done. Time 30.624 ms. c #vars 9140 c #constraints 512 c starts : 5 c conflicts : 1315 c decisions : 8495 c propagations : 49181 c inspects : 5152908 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1315 c root simplifications : 748 s UNKNOWN c Total CPU time (ms) : 1219.133 #### 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.95 0.99 0.99 2/54 1395 Raw data (stat): 1395 (runsolver) R 1394 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780582321 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.0003 s] Raw data (loadavg): 0.96 0.99 0.99 2/63 1404 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18027 0 1 0 789 39 0 0 25 0 10 0 780582321 857640960 20777 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209385 20777 13086 16 0 209369 0 vsize: 837540 [startup+20.0011 s] Raw data (loadavg): 0.96 0.99 0.99 2/63 1404 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18028 0 1 0 1644 40 0 0 24 0 10 0 780582321 857640960 21597 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209385 21597 13086 16 0 209369 0 vsize: 837540 [startup+30.0025 s] Raw data (loadavg): 0.97 0.99 0.99 2/63 1404 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18028 0 1 0 2514 40 0 0 25 0 10 0 780582321 857640960 21856 4294967295 134512640 134569956 3221224368 3221214696 1131289089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209385 21856 13086 16 0 209369 0 vsize: 837540 [startup+40.0038 s] Raw data (loadavg): 0.97 0.99 0.99 3/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18067 0 1 0 3396 41 0 0 25 0 11 0 780582321 858808320 22467 4294967295 134512640 134569956 3221224368 3221214608 1131385221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209670 22467 13086 16 0 209654 0 vsize: 838680 [startup+50.0037 s] Raw data (loadavg): 1.05 1.00 1.00 3/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 4276 41 0 0 25 0 11 0 780582321 864137216 23948 4294967295 134512640 134569956 3221224368 3221214568 1131314779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210971 23948 13086 16 0 210955 0 vsize: 843884 [startup+60.0052 s] Raw data (loadavg): 1.20 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 5188 42 0 0 25 0 11 0 780582321 863002624 23946 4294967295 134512640 134569956 3221224368 3221214568 1131315321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210694 23946 13086 16 0 210678 0 vsize: 842776 [startup+70.0062 s] Raw data (loadavg): 1.16 1.03 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 6141 42 0 0 25 0 11 0 780582321 863002624 24494 4294967295 134512640 134569956 3221224368 3221214520 1131209769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24494 13086 16 0 210678 0 vsize: 842776 [startup+80.0074 s] Raw data (loadavg): 1.14 1.03 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 7118 43 0 0 25 0 11 0 780582321 863002624 24558 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24558 13086 16 0 210678 0 vsize: 842776 [startup+90.0077 s] Raw data (loadavg): 1.36 1.08 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 8099 43 0 0 25 0 11 0 780582321 863002624 24604 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24604 13086 16 0 210678 0 vsize: 842776 [startup+100.009 s] Raw data (loadavg): 1.38 1.09 1.03 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 9081 44 0 0 25 0 11 0 780582321 863002624 24647 4294967295 134512640 134569956 3221224368 3221214568 1131314896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24647 13086 16 0 210678 0 vsize: 842776 [startup+110.009 s] Raw data (loadavg): 1.32 1.09 1.03 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 10062 44 0 0 25 0 11 0 780582321 863002624 24708 4294967295 134512640 134569956 3221224368 3221214568 1131315295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24708 13086 16 0 210678 0 vsize: 842776 [startup+120.01 s] Raw data (loadavg): 1.27 1.08 1.03 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 11045 44 0 0 25 0 11 0 780582321 863002624 24755 4294967295 134512640 134569956 3221224368 3221214568 1131314757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24755 13086 16 0 210678 0 vsize: 842776 [startup+130.012 s] Raw data (loadavg): 1.23 1.08 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 12024 44 0 0 25 0 11 0 780582321 863002624 24801 4294967295 134512640 134569956 3221224368 3221214616 1131261338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24801 13086 16 0 210678 0 vsize: 842776 [startup+140.012 s] Raw data (loadavg): 1.19 1.08 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 13006 45 0 0 25 0 11 0 780582321 863002624 24842 4294967295 134512640 134569956 3221224368 3221214568 1131316222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24842 13086 16 0 210678 0 vsize: 842776 [startup+150.013 s] Raw data (loadavg): 1.16 1.08 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 13989 45 0 0 25 0 11 0 780582321 863002624 24893 4294967295 134512640 134569956 3221224368 3221214664 1131336463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24893 13086 16 0 210678 0 vsize: 842776 [startup+160.014 s] Raw data (loadavg): 1.14 1.07 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 14974 45 0 0 25 0 11 0 780582321 863002624 24937 4294967295 134512640 134569956 3221224368 3221214664 1131337453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24937 13086 16 0 210678 0 vsize: 842776 [startup+170.014 s] Raw data (loadavg): 1.11 1.07 1.02 2/64 1405 Raw data (stat): 1395 (java) S 1394 21152 21151 0 -1 0 18070 0 1 0 15958 45 0 0 25 0 11 0 780582321 863002624 24970 4294967295 134512640 134569956 3221224368 3221213208 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 24970 13086 16 0 210678 0 vsize: 842776 [startup+180.016 s] Raw data (loadavg): 1.10 1.07 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 16944 46 0 0 25 0 11 0 780582321 863002624 25003 4294967295 134512640 134569956 3221224368 3221214568 1131315339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25003 13086 16 0 210678 0 vsize: 842776 [startup+190.017 s] Raw data (loadavg): 1.08 1.06 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 17928 46 0 0 25 0 11 0 780582321 863002624 25035 4294967295 134512640 134569956 3221224368 3221214680 1131314765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25035 13086 16 0 210678 0 vsize: 842776 [startup+200.017 s] Raw data (loadavg): 1.07 1.06 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 18913 47 0 0 25 0 11 0 780582321 863002624 25064 4294967295 134512640 134569956 3221224368 3221214568 1131314750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25064 13086 16 0 210678 0 vsize: 842776 [startup+210.018 s] Raw data (loadavg): 1.06 1.06 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 19899 47 0 0 25 0 11 0 780582321 863002624 25094 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25094 13086 16 0 210678 0 vsize: 842776 [startup+220.019 s] Raw data (loadavg): 1.05 1.06 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 20883 47 0 0 25 0 11 0 780582321 863002624 25118 4294967295 134512640 134569956 3221224368 3221214568 1131314772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25118 13086 16 0 210678 0 vsize: 842776 [startup+230.019 s] Raw data (loadavg): 1.04 1.05 1.02 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 21867 47 0 0 24 0 11 0 780582321 863002624 25144 4294967295 134512640 134569956 3221224368 3221214564 1131209772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25144 13086 16 0 210678 0 vsize: 842776 [startup+240.02 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 22852 48 0 0 25 0 11 0 780582321 863002624 25179 4294967295 134512640 134569956 3221224368 3221214760 1131427584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25179 13086 16 0 210678 0 vsize: 842776 [startup+250.02 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 23836 48 0 0 25 0 11 0 780582321 863002624 25217 4294967295 134512640 134569956 3221224368 3221214616 1131177809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25217 13086 16 0 210678 0 vsize: 842776 [startup+260.021 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 24820 49 0 0 25 0 11 0 780582321 863002624 25246 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25246 13086 16 0 210678 0 vsize: 842776 [startup+270.021 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 25804 49 0 0 25 0 11 0 780582321 863002624 25270 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25270 13086 16 0 210678 0 vsize: 842776 [startup+280.022 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 26789 49 0 0 24 0 11 0 780582321 863002624 25308 4294967295 134512640 134569956 3221224368 3221214520 1131208794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25308 13086 16 0 210678 0 vsize: 842776 [startup+290.023 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 27775 50 0 0 25 0 11 0 780582321 863002624 25336 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25336 13086 16 0 210678 0 vsize: 842776 [startup+300.023 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 28761 50 0 0 25 0 11 0 780582321 863002624 25362 4294967295 134512640 134569956 3221224368 3221214616 1131177892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25362 13086 16 0 210678 0 vsize: 842776 [startup+310.024 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 29746 50 0 0 25 0 11 0 780582321 863002624 25383 4294967295 134512640 134569956 3221224368 3221214568 1131315362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25383 13086 16 0 210678 0 vsize: 842776 [startup+320.024 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 30732 50 0 0 25 0 11 0 780582321 863002624 25407 4294967295 134512640 134569956 3221224368 3221214568 1131314884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25407 13086 16 0 210678 0 vsize: 842776 [startup+330.025 s] Raw data (loadavg): 1.00 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 31718 50 0 0 25 0 11 0 780582321 863002624 25425 4294967295 134512640 134569956 3221224368 3221214568 1131315321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25425 13086 16 0 210678 0 vsize: 842776 [startup+340.025 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 32703 51 0 0 25 0 11 0 780582321 863002624 25447 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25447 13086 16 0 210678 0 vsize: 842776 [startup+350.025 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 33689 51 0 0 25 0 11 0 780582321 863002624 25472 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25472 13086 16 0 210678 0 vsize: 842776 [startup+360.026 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 34676 51 0 0 25 0 11 0 780582321 863002624 25499 4294967295 134512640 134569956 3221224368 3221214664 1131336115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25499 13086 16 0 210678 0 vsize: 842776 [startup+370.027 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 35665 52 0 0 25 0 11 0 780582321 863002624 25511 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25511 13086 16 0 210678 0 vsize: 842776 [startup+380.027 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 36655 52 0 0 25 0 11 0 780582321 863002624 25524 4294967295 134512640 134569956 3221224368 3221214072 1085679261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25524 13086 16 0 210678 0 vsize: 842776 [startup+390.028 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 37648 53 0 0 25 0 11 0 780582321 863002624 25537 4294967295 134512640 134569956 3221224368 3221214568 1131315119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25537 13086 16 0 210678 0 vsize: 842776 [startup+400.029 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 38638 53 0 0 25 0 11 0 780582321 863002624 25542 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25542 13086 16 0 210678 0 vsize: 842776 [startup+410.029 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 39628 54 0 0 25 0 11 0 780582321 863002624 25546 4294967295 134512640 134569956 3221224368 3221214268 1131515152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25546 13086 16 0 210678 0 vsize: 842776 [startup+420.029 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 40619 54 0 0 25 0 11 0 780582321 863002624 25568 4294967295 134512640 134569956 3221224368 3221214568 1131315132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25568 13086 16 0 210678 0 vsize: 842776 [startup+430.031 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 41611 55 0 0 25 0 11 0 780582321 863002624 25596 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25596 13086 16 0 210678 0 vsize: 842776 [startup+440.031 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 42603 55 0 0 25 0 11 0 780582321 863002624 25612 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25612 13086 16 0 210678 0 vsize: 842776 [startup+450.031 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 43595 55 0 0 25 0 11 0 780582321 863002624 25625 4294967295 134512640 134569956 3221224368 3221214720 1131355620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25625 13086 16 0 210678 0 vsize: 842776 [startup+460.032 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 44586 56 0 0 25 0 11 0 780582321 863002624 25647 4294967295 134512640 134569956 3221224368 3221214568 1131316438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25647 13086 16 0 210678 0 vsize: 842776 [startup+470.032 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 45579 56 0 0 25 0 11 0 780582321 863002624 25667 4294967295 134512640 134569956 3221224368 3221214568 1131315108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25667 13086 16 0 210678 0 vsize: 842776 [startup+480.033 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 46572 57 0 0 25 0 11 0 780582321 863002624 25678 4294967295 134512640 134569956 3221224368 3221214568 1131315090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25678 13086 16 0 210678 0 vsize: 842776 [startup+490.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 47565 57 0 0 25 0 11 0 780582321 863002624 25688 4294967295 134512640 134569956 3221224368 3221214660 1131314668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25688 13086 16 0 210678 0 vsize: 842776 [startup+500.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 48558 58 0 0 25 0 11 0 780582321 863002624 25697 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25697 13086 16 0 210678 0 vsize: 842776 [startup+510.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 49551 58 0 0 25 0 11 0 780582321 863002624 25706 4294967295 134512640 134569956 3221224368 3221214664 1131341285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25706 13086 16 0 210678 0 vsize: 842776 [startup+520.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 50544 59 0 0 25 0 11 0 780582321 863002624 25716 4294967295 134512640 134569956 3221224368 3221214568 1131315327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25716 13086 16 0 210678 0 vsize: 842776 [startup+530.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 51536 59 0 0 25 0 11 0 780582321 863002624 25725 4294967295 134512640 134569956 3221224368 3221214568 1131314797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25725 13086 16 0 210678 0 vsize: 842776 [startup+540.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 52529 60 0 0 25 0 11 0 780582321 863002624 25733 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25733 13086 16 0 210678 0 vsize: 842776 [startup+550.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 53520 60 0 0 25 0 11 0 780582321 863002624 25740 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25740 13086 16 0 210678 0 vsize: 842776 [startup+560.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 54510 61 0 0 25 0 11 0 780582321 863002624 25749 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25749 13086 16 0 210678 0 vsize: 842776 [startup+570.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 55501 61 0 0 25 0 11 0 780582321 863002624 25776 4294967295 134512640 134569956 3221224368 3221214608 1131385249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25776 13086 16 0 210678 0 vsize: 842776 [startup+580.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 56494 61 0 0 25 0 11 0 780582321 863002624 25797 4294967295 134512640 134569956 3221224368 3221214356 1131516352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25797 13086 16 0 210678 0 vsize: 842776 [startup+590.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 57486 61 0 0 25 0 11 0 780582321 863002624 25804 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25804 13086 16 0 210678 0 vsize: 842776 [startup+600.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 58479 62 0 0 25 0 11 0 780582321 863002624 25812 4294967295 134512640 134569956 3221224368 3221214664 1131340316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25812 13086 16 0 210678 0 vsize: 842776 [startup+610.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 59472 62 0 0 25 0 11 0 780582321 863002624 25818 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25818 13086 16 0 210678 0 vsize: 842776 [startup+620.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 60464 62 0 0 25 0 11 0 780582321 863002624 25825 4294967295 134512640 134569956 3221224368 3221214568 1131315494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25825 13086 16 0 210678 0 vsize: 842776 [startup+630.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 61456 63 0 0 25 0 11 0 780582321 863002624 25831 4294967295 134512640 134569956 3221224368 3221214568 1131316127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25831 13086 16 0 210678 0 vsize: 842776 [startup+640.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 62449 63 0 0 25 0 11 0 780582321 863002624 25837 4294967295 134512640 134569956 3221224368 3221214664 1131337493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25837 13086 16 0 210678 0 vsize: 842776 [startup+650.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 63441 64 0 0 25 0 11 0 780582321 863002624 25844 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25844 13086 16 0 210678 0 vsize: 842776 [startup+660.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 64434 64 0 0 25 0 11 0 780582321 863002624 25849 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25849 13086 16 0 210678 0 vsize: 842776 [startup+670.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 65427 64 0 0 25 0 11 0 780582321 863002624 25856 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25856 13086 16 0 210678 0 vsize: 842776 [startup+680.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 66419 65 0 0 25 0 11 0 780582321 863002624 25862 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25862 13086 16 0 210678 0 vsize: 842776 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 67411 65 0 0 25 0 11 0 780582321 863002624 25868 4294967295 134512640 134569956 3221224368 3221214052 1131515211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25868 13086 16 0 210678 0 vsize: 842776 [startup+700.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 68404 65 0 0 25 0 11 0 780582321 863002624 25873 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25873 13086 16 0 210678 0 vsize: 842776 [startup+710.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 69396 66 0 0 25 0 11 0 780582321 863002624 25879 4294967295 134512640 134569956 3221224368 3221214568 1131315502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25879 13086 16 0 210678 0 vsize: 842776 [startup+720.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 70388 66 0 0 25 0 11 0 780582321 863002624 25884 4294967295 134512640 134569956 3221224368 3221214568 1131315057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25884 13086 16 0 210678 0 vsize: 842776 [startup+730.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 71380 66 0 0 25 0 11 0 780582321 863002624 25889 4294967295 134512640 134569956 3221224368 3221214568 1131315463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25889 13086 16 0 210678 0 vsize: 842776 [startup+740.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 72373 66 0 0 25 0 11 0 780582321 863002624 25894 4294967295 134512640 134569956 3221224368 3221214368 1131532558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25894 13086 16 0 210678 0 vsize: 842776 [startup+750.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 73364 67 0 0 25 0 11 0 780582321 863002624 25901 4294967295 134512640 134569956 3221224368 3221214660 1131314668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25901 13086 16 0 210678 0 vsize: 842776 [startup+760.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 74357 67 0 0 25 0 11 0 780582321 863002624 25906 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25906 13086 16 0 210678 0 vsize: 842776 [startup+770.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 75349 68 0 0 25 0 11 0 780582321 863002624 25911 4294967295 134512640 134569956 3221224368 3221214568 1131315295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25911 13086 16 0 210678 0 vsize: 842776 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 76340 69 0 0 25 0 11 0 780582321 863002624 25916 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25916 13086 16 0 210678 0 vsize: 842776 [startup+790.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 77332 69 0 0 25 0 11 0 780582321 863002624 25920 4294967295 134512640 134569956 3221224368 3221214568 1131315051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25920 13086 16 0 210678 0 vsize: 842776 [startup+800.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 78324 69 0 0 25 0 11 0 780582321 863002624 25925 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25925 13086 16 0 210678 0 vsize: 842776 [startup+810.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 79317 69 0 0 25 0 11 0 780582321 863002624 25930 4294967295 134512640 134569956 3221224368 3221214568 1131316222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25930 13086 16 0 210678 0 vsize: 842776 [startup+820.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 80308 70 0 0 25 0 11 0 780582321 863002624 25935 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25935 13086 16 0 210678 0 vsize: 842776 [startup+830.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 81300 70 0 0 25 0 11 0 780582321 863002624 25939 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25939 13086 16 0 210678 0 vsize: 842776 [startup+840.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 82292 71 0 0 25 0 11 0 780582321 863002624 25945 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25945 13086 16 0 210678 0 vsize: 842776 [startup+850.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 83284 71 0 0 25 0 11 0 780582321 863002624 25950 4294967295 134512640 134569956 3221224368 3221214568 1131314904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25950 13086 16 0 210678 0 vsize: 842776 [startup+860.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 84276 71 0 0 25 0 11 0 780582321 863002624 25954 4294967295 134512640 134569956 3221224368 3221214568 1131314765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25954 13086 16 0 210678 0 vsize: 842776 [startup+870.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 85268 71 0 0 25 0 11 0 780582321 863002624 25958 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25958 13086 16 0 210678 0 vsize: 842776 [startup+880.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 86259 72 0 0 25 0 11 0 780582321 863002624 25963 4294967295 134512640 134569956 3221224368 3221214568 1131316123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25963 13086 16 0 210678 0 vsize: 842776 [startup+890.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 87251 72 0 0 25 0 11 0 780582321 863002624 25967 4294967295 134512640 134569956 3221224368 3221214568 1131315303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25967 13086 16 0 210678 0 vsize: 842776 [startup+900.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 88242 72 0 0 25 0 11 0 780582321 863002624 25972 4294967295 134512640 134569956 3221224368 3221214664 1131338543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25972 13086 16 0 210678 0 vsize: 842776 [startup+910.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 89230 73 0 0 25 0 11 0 780582321 863002624 25977 4294967295 134512640 134569956 3221224368 3221214520 1131208794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25977 13086 16 0 210678 0 vsize: 842776 [startup+920.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 90217 73 0 0 25 0 11 0 780582321 863002624 25982 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 25982 13086 16 0 210678 0 vsize: 842776 [startup+930.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 91204 74 0 0 25 0 11 0 780582321 863002624 26026 4294967295 134512640 134569956 3221224368 3221214568 1131314779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26026 13086 16 0 210678 0 vsize: 842776 [startup+940.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 92194 74 0 0 25 0 11 0 780582321 863002624 26048 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26048 13086 16 0 210678 0 vsize: 842776 [startup+950.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 93184 74 0 0 25 0 11 0 780582321 863002624 26062 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26062 13086 16 0 210678 0 vsize: 842776 [startup+960.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 94176 75 0 0 25 0 11 0 780582321 863002624 26066 4294967295 134512640 134569956 3221224368 3221214664 1131337317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26066 13086 16 0 210678 0 vsize: 842776 [startup+970.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 95166 75 0 0 25 0 11 0 780582321 863002624 26070 4294967295 134512640 134569956 3221224368 3221214568 1131314801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26070 13086 16 0 210678 0 vsize: 842776 [startup+980.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 96158 75 0 0 25 0 11 0 780582321 863002624 26074 4294967295 134512640 134569956 3221224368 3221214568 1131316133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26074 13086 16 0 210678 0 vsize: 842776 [startup+990.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 97148 76 0 0 25 0 11 0 780582321 863002624 26078 4294967295 134512640 134569956 3221224368 3221214568 1131315100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26078 13086 16 0 210678 0 vsize: 842776 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 98139 76 0 0 25 0 11 0 780582321 863002624 26083 4294967295 134512640 134569956 3221224368 3221214664 1131337688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26083 13086 16 0 210678 0 vsize: 842776 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 99130 77 0 0 25 0 11 0 780582321 863002624 26087 4294967295 134512640 134569956 3221224368 3221214568 1131315463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26087 13086 16 0 210678 0 vsize: 842776 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 100121 77 0 0 25 0 11 0 780582321 863002624 26091 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26091 13086 16 0 210678 0 vsize: 842776 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 101112 77 0 0 25 0 11 0 780582321 863002624 26095 4294967295 134512640 134569956 3221224368 3221214664 1131340456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26095 13086 16 0 210678 0 vsize: 842776 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 102103 78 0 0 25 0 11 0 780582321 863002624 26099 4294967295 134512640 134569956 3221224368 3221214568 1131315007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26099 13086 16 0 210678 0 vsize: 842776 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 103094 78 0 0 25 0 11 0 780582321 863002624 26102 4294967295 134512640 134569956 3221224368 3221214664 1131340362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26102 13086 16 0 210678 0 vsize: 842776 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 104084 78 0 0 25 0 11 0 780582321 863002624 26106 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26106 13086 16 0 210678 0 vsize: 842776 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 105074 79 0 0 25 0 11 0 780582321 863002624 26110 4294967295 134512640 134569956 3221224368 3221214568 1131314867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26110 13086 16 0 210678 0 vsize: 842776 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 106065 79 0 0 25 0 11 0 780582321 863002624 26113 4294967295 134512640 134569956 3221224368 3221214568 1131315377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26113 13086 16 0 210678 0 vsize: 842776 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 107056 80 0 0 25 0 11 0 780582321 863002624 26117 4294967295 134512640 134569956 3221224368 3221214568 1131315362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26117 13086 16 0 210678 0 vsize: 842776 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 108047 80 0 0 25 0 11 0 780582321 863002624 26121 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26121 13086 16 0 210678 0 vsize: 842776 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 109037 80 0 0 25 0 11 0 780582321 863002624 26125 4294967295 134512640 134569956 3221224368 3221214664 1131337652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26125 13086 16 0 210678 0 vsize: 842776 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 110028 81 0 0 25 0 11 0 780582321 863002624 26129 4294967295 134512640 134569956 3221224368 3221214568 1131314701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26129 13086 16 0 210678 0 vsize: 842776 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 111018 81 0 0 25 0 11 0 780582321 863002624 26133 4294967295 134512640 134569956 3221224368 3221214568 1131316145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26133 13086 16 0 210678 0 vsize: 842776 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 112008 82 0 0 25 0 11 0 780582321 863002624 26136 4294967295 134512640 134569956 3221224368 3221214568 1131315313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26136 13086 16 0 210678 0 vsize: 842776 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 112999 82 0 0 25 0 11 0 780582321 863002624 26140 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26140 13086 16 0 210678 0 vsize: 842776 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 113989 83 0 0 25 0 11 0 780582321 863002624 26143 4294967295 134512640 134569956 3221224368 3221214760 1131427605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26143 13086 16 0 210678 0 vsize: 842776 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 114979 83 0 0 25 0 11 0 780582321 863002624 26146 4294967295 134512640 134569956 3221224368 3221214568 1131314787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26146 13086 16 0 210678 0 vsize: 842776 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 115969 84 0 0 25 0 11 0 780582321 863002624 26150 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26150 13086 16 0 210678 0 vsize: 842776 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 116960 84 0 0 25 0 11 0 780582321 863002624 26153 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26153 13086 16 0 210678 0 vsize: 842776 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 117949 85 0 0 25 0 11 0 780582321 863002624 26157 4294967295 134512640 134569956 3221224368 3221214568 1131315040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26157 13086 16 0 210678 0 vsize: 842776 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 118940 85 0 0 25 0 11 0 780582321 863002624 26160 4294967295 134512640 134569956 3221224368 3221214664 1131336356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26160 13086 16 0 210678 0 vsize: 842776 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1405 Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 119930 86 0 0 25 0 11 0 780582321 863002624 26164 4294967295 134512640 134569956 3221224368 3221214568 1131315239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210694 26164 13086 16 0 210678 0 vsize: 842776 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.19 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 1407 Raw data (stat): 1395 (java) Z 1394 21152 21151 0 -1 1036 18071 11487 1 0 119935 90 2855 39 25 0 1 0 780582321 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.19 CPU time (s): 1229.22 CPU user time (s): 1227.91 CPU system time (s): 1.3058 CPU usage (%): 100.74 Max. virtual memory (Kb): 843884 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####