Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb |
MD5SUM | 4c80436c6cab58e82888f1a9aa37d4f5 |
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 | 29700 |
Biggest coefficient in the objective function | 197378980184064000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | -3892337408572559116 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 197378980184064000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | -3892337408572559116 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.420935 |
Number of variables | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 07:56:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20859 boxname=wulflinc11 idbench=847 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4c80436c6cab58e82888f1a9aa37d4f5 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-modszk1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-modszk1.opb IDLAUNCH: 20859 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 856688 kB Buffers: 26956 kB Cached: 129556 kB SwapCached: 772 kB Active: 40764 kB Inactive: 117836 kB HighTotal: 131008 kB HighFree: 1596 kB LowTotal: 903652 kB LowFree: 855092 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13832 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:17:27 (client local time) WITH STATUS 143 IN 1292.06 SECONDS stats: 20859 7 1292.06 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/wulflinc11/normalized-mps-v2-20-10-modszk1.opb c reading problem ... done. Time 664.192 ms. c #vars 48602 c #constraints 1367 c starts : 7 c conflicts : 2154 c decisions : 2734 c propagations : 11335 c inspects : 1934534 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2154 c root simplifications : 7 s UNKNOWN c Total CPU time (ms) : 1279.181 #### 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.91 0.95 0.98 2/54 5250 Raw data (stat): 5250 (runsolver) R 5249 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779020863 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+9.99965 s] Raw data (loadavg): 0.93 0.95 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 874 40 0 0 25 0 10 0 779020863 853753856 19367 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208436 19367 13086 16 0 208420 0 vsize: 833744 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 1771 40 0 0 21 0 10 0 779020863 853704704 19869 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 19869 13086 16 0 208408 0 vsize: 833696 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 2660 41 0 0 22 0 10 0 779020863 853704704 20384 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 20384 13086 16 0 208408 0 vsize: 833696 [startup+40.0024 s] Raw data (loadavg): 0.95 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 3574 41 0 0 25 0 10 0 779020863 853905408 20732 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208473 20732 13086 16 0 208457 0 vsize: 833892 [startup+50.0028 s] Raw data (loadavg): 0.96 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 4493 42 0 0 25 0 10 0 779020863 853905408 20901 4294967295 134512640 134569956 3221224368 3221214768 1131230983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208473 20901 13086 16 0 208457 0 vsize: 833892 [startup+60.0026 s] Raw data (loadavg): 0.97 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 5412 42 0 0 25 0 10 0 779020863 853905408 21030 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208473 21030 13086 16 0 208457 0 vsize: 833892 [startup+70.0039 s] Raw data (loadavg): 0.97 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 6338 43 0 0 25 0 10 0 779020863 853704704 21233 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21233 13086 16 0 208408 0 vsize: 833696 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) S 5249 25830 25829 0 -1 0 18009 0 1 0 7276 43 0 0 25 0 10 0 779020863 853704704 21335 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21335 13086 16 0 208408 0 vsize: 833696 [startup+90.005 s] Raw data (loadavg): 0.98 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 8216 44 0 0 24 0 10 0 779020863 853704704 21430 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21430 13086 16 0 208408 0 vsize: 833696 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 9156 44 0 0 24 0 10 0 779020863 853704704 21520 4294967295 134512640 134569956 3221224368 3221214240 1076462545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21520 13086 16 0 208408 0 vsize: 833696 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 10099 44 0 0 25 0 10 0 779020863 853704704 21600 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21600 13086 16 0 208408 0 vsize: 833696 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 11040 45 0 0 25 0 10 0 779020863 853704704 21679 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21679 13086 16 0 208408 0 vsize: 833696 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 11980 45 0 0 24 0 10 0 779020863 853704704 21754 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21754 13086 16 0 208408 0 vsize: 833696 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 12925 45 0 0 25 0 10 0 779020863 853704704 21821 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21821 13086 16 0 208408 0 vsize: 833696 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 13865 46 0 0 25 0 10 0 779020863 853704704 21889 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21889 13086 16 0 208408 0 vsize: 833696 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 14810 46 0 0 25 0 10 0 779020863 853704704 21951 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 21951 13086 16 0 208408 0 vsize: 833696 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 15748 47 0 0 25 0 10 0 779020863 853704704 22014 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22014 13086 16 0 208408 0 vsize: 833696 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 16664 47 0 0 22 0 10 0 779020863 853704704 22072 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22072 13086 16 0 208408 0 vsize: 833696 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 17584 48 0 0 25 0 10 0 779020863 853704704 22384 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22384 13086 16 0 208408 0 vsize: 833696 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 18521 48 0 0 25 0 10 0 779020863 853704704 22442 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22442 13086 16 0 208408 0 vsize: 833696 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 19462 49 0 0 25 0 10 0 779020863 853704704 22494 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22494 13086 16 0 208408 0 vsize: 833696 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 20399 49 0 0 25 0 10 0 779020863 853704704 22548 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22548 13086 16 0 208408 0 vsize: 833696 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/63 5259 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 21339 50 0 0 25 0 10 0 779020863 853704704 22599 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22599 13086 16 0 208408 0 vsize: 833696 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/65 5263 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18009 0 1 0 22270 55 0 0 25 0 10 0 779020863 853704704 22651 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208424 22651 13086 16 0 208408 0 vsize: 833696 [startup+250.016 s] Raw data (loadavg): 1.07 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18018 0 1 0 23200 56 0 0 24 0 10 0 779020863 853704704 22713 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208424 22713 13086 16 0 208408 0 vsize: 833696 [startup+260.016 s] Raw data (loadavg): 1.06 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 24119 56 0 0 25 0 10 0 779020863 855625728 23170 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208893 23170 13086 16 0 208877 0 vsize: 835572 [startup+270.017 s] Raw data (loadavg): 1.05 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 25036 56 0 0 25 0 10 0 779020863 855142400 23266 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208775 23266 13086 16 0 208759 0 vsize: 835100 [startup+280.021 s] Raw data (loadavg): 1.04 0.99 0.99 3/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 25962 56 0 0 25 0 10 0 779020863 855142400 23373 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208775 23373 13086 16 0 208759 0 vsize: 835100 [startup+290.031 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 26890 56 0 0 25 0 10 0 779020863 853839872 23173 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23173 13086 16 0 208441 0 vsize: 833828 [startup+300.032 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 27823 56 0 0 25 0 10 0 779020863 853839872 23230 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23230 13086 16 0 208441 0 vsize: 833828 [startup+310.032 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 5312 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 28753 57 0 0 24 0 10 0 779020863 853839872 23281 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23281 13086 16 0 208441 0 vsize: 833828 [startup+320.034 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 29688 57 0 0 25 0 10 0 779020863 853839872 23340 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23340 13086 16 0 208441 0 vsize: 833828 [startup+330.034 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 30621 57 0 0 25 0 10 0 779020863 853839872 23387 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23387 13086 16 0 208441 0 vsize: 833828 [startup+340.035 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 31555 57 0 0 25 0 10 0 779020863 853839872 23447 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23447 13086 16 0 208441 0 vsize: 833828 [startup+350.037 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 32488 57 0 0 25 0 10 0 779020863 853839872 23497 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23497 13086 16 0 208441 0 vsize: 833828 [startup+360.037 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 33417 57 0 0 24 0 10 0 779020863 853839872 23545 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23545 13086 16 0 208441 0 vsize: 833828 [startup+370.038 s] Raw data (loadavg): 1.09 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 34349 57 0 0 25 0 10 0 779020863 853839872 23596 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23596 13086 16 0 208441 0 vsize: 833828 [startup+380.038 s] Raw data (loadavg): 1.07 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 35278 57 0 0 25 0 10 0 779020863 853839872 23638 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23638 13086 16 0 208441 0 vsize: 833828 [startup+390.04 s] Raw data (loadavg): 1.06 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 36207 58 0 0 18 0 10 0 779020863 853839872 23689 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23689 13086 16 0 208441 0 vsize: 833828 [startup+400.041 s] Raw data (loadavg): 1.05 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 37137 58 0 0 25 0 10 0 779020863 853839872 23757 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23757 13086 16 0 208441 0 vsize: 833828 [startup+410.042 s] Raw data (loadavg): 1.04 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 38067 58 0 0 25 0 10 0 779020863 853839872 23809 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23809 13086 16 0 208441 0 vsize: 833828 [startup+420.042 s] Raw data (loadavg): 1.04 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 38993 58 0 0 25 0 10 0 779020863 853839872 23854 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23854 13086 16 0 208441 0 vsize: 833828 [startup+430.042 s] Raw data (loadavg): 1.03 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 39918 58 0 0 25 0 10 0 779020863 853839872 23914 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23914 13086 16 0 208441 0 vsize: 833828 [startup+440.044 s] Raw data (loadavg): 1.02 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 40847 58 0 0 25 0 10 0 779020863 853839872 23977 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 23977 13086 16 0 208441 0 vsize: 833828 [startup+450.045 s] Raw data (loadavg): 1.02 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18020 0 1 0 41776 58 0 0 25 0 10 0 779020863 853839872 24030 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 24030 13086 16 0 208441 0 vsize: 833828 [startup+460.045 s] Raw data (loadavg): 1.02 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 42705 58 0 0 25 0 10 0 779020863 853839872 24070 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 24070 13086 16 0 208441 0 vsize: 833828 [startup+470.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) S 5249 25830 25829 0 -1 0 18021 0 1 0 43630 59 0 0 25 0 10 0 779020863 853839872 24121 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24121 13086 16 0 208441 0 vsize: 833828 [startup+480.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 44552 59 0 0 25 0 10 0 779020863 853839872 24165 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24165 13086 16 0 208441 0 vsize: 833828 [startup+490.047 s] Raw data (loadavg): 1.01 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 45462 59 0 0 25 0 10 0 779020863 853839872 24199 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24199 13086 16 0 208441 0 vsize: 833828 [startup+500.048 s] Raw data (loadavg): 1.01 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 46378 60 0 0 25 0 10 0 779020863 853839872 24335 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24335 13086 16 0 208441 0 vsize: 833828 [startup+510.048 s] Raw data (loadavg): 1.01 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 47292 60 0 0 25 0 10 0 779020863 853839872 24395 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24395 13086 16 0 208441 0 vsize: 833828 [startup+520.049 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 48196 61 0 0 25 0 10 0 779020863 853839872 24456 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24456 13086 16 0 208441 0 vsize: 833828 [startup+530.049 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 49091 62 0 0 25 0 10 0 779020863 853839872 24626 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24626 13086 16 0 208441 0 vsize: 833828 [startup+540.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 49997 62 0 0 25 0 10 0 779020863 853839872 24766 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24766 13086 16 0 208441 0 vsize: 833828 [startup+550.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 50907 63 0 0 21 0 10 0 779020863 853839872 24802 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24802 13086 16 0 208441 0 vsize: 833828 [startup+560.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 51796 64 0 0 18 0 10 0 779020863 853839872 24979 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 24979 13086 16 0 208441 0 vsize: 833828 [startup+570.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 52693 64 0 0 18 0 10 0 779020863 853839872 25153 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 25153 13086 16 0 208441 0 vsize: 833828 [startup+580.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 53577 64 0 0 17 0 10 0 779020863 853839872 25536 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208457 25536 13086 16 0 208441 0 vsize: 833828 [startup+590.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 54458 65 0 0 24 0 10 0 779020863 853839872 25850 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 25850 13086 16 0 208441 0 vsize: 833828 [startup+600.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 55347 65 0 0 25 0 10 0 779020863 853839872 26015 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26015 13086 16 0 208441 0 vsize: 833828 [startup+610.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5314 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 56236 65 0 0 25 0 10 0 779020863 853839872 26216 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26216 13086 16 0 208441 0 vsize: 833828 [startup+620.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5316 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 57134 65 0 0 22 0 10 0 779020863 853839872 26362 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26362 13086 16 0 208441 0 vsize: 833828 [startup+630.062 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5316 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 58030 65 0 0 19 0 10 0 779020863 853839872 26538 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26538 13086 16 0 208441 0 vsize: 833828 [startup+640.064 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5316 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 58932 66 0 0 20 0 10 0 779020863 853839872 26613 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26613 13086 16 0 208441 0 vsize: 833828 [startup+650.065 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5316 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 59818 66 0 0 18 0 10 0 779020863 853839872 26774 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 26774 13086 16 0 208441 0 vsize: 833828 [startup+660.066 s] Raw data (loadavg): 1.00 1.00 0.99 2/63 5316 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18021 0 1 0 60703 66 0 0 17 0 10 0 779020863 853839872 27197 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208457 27197 13086 16 0 208441 0 vsize: 833828 [startup+670.066 s] Raw data (loadavg): 1.00 1.00 0.99 4/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18091 0 1 0 61511 66 0 0 25 0 11 0 779020863 865333248 30129 4294967295 134512640 134569956 3221224368 3221214212 1130912398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211263 30129 13086 16 0 211247 0 vsize: 845052 [startup+680.067 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18093 0 1 0 62441 66 0 0 25 0 11 0 779020863 864444416 30836 4294967295 134512640 134569956 3221224368 3221214728 1131371777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 30836 13086 16 0 211030 0 vsize: 844184 [startup+690.067 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 63398 66 0 0 25 0 11 0 779020863 864444416 30838 4294967295 134512640 134569956 3221224368 3221214640 1131351644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 30838 13086 16 0 211030 0 vsize: 844184 [startup+700.068 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 64347 66 0 0 25 0 11 0 779020863 864444416 30838 4294967295 134512640 134569956 3221224368 3221214640 1131352943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 30838 13086 16 0 211030 0 vsize: 844184 [startup+710.068 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 65282 66 0 0 25 0 11 0 779020863 864444416 30890 4294967295 134512640 134569956 3221224368 3221214640 1131352965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 30890 13086 16 0 211030 0 vsize: 844184 [startup+720.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 66215 67 0 0 25 0 11 0 779020863 864444416 31320 4294967295 134512640 134569956 3221224368 3221214600 1131384846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 31320 13086 16 0 211030 0 vsize: 844184 [startup+730.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 67166 67 0 0 25 0 11 0 779020863 864444416 31488 4294967295 134512640 134569956 3221224368 3221214792 1131375444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 31488 13086 16 0 211030 0 vsize: 844184 [startup+740.069 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 68121 67 0 0 25 0 11 0 779020863 864444416 31670 4294967295 134512640 134569956 3221224368 3221214640 1131352450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 31670 13086 16 0 211030 0 vsize: 844184 [startup+750.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 69078 67 0 0 25 0 11 0 779020863 864444416 31801 4294967295 134512640 134569956 3221224368 3221214744 1131252352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 31801 13086 16 0 211030 0 vsize: 844184 [startup+760.071 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 70035 67 0 0 25 0 11 0 779020863 864444416 31906 4294967295 134512640 134569956 3221224368 3221214792 1131374852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 31906 13086 16 0 211030 0 vsize: 844184 [startup+770.071 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 70979 67 0 0 25 0 11 0 779020863 864444416 32045 4294967295 134512640 134569956 3221224368 3221214640 1131351546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32045 13086 16 0 211030 0 vsize: 844184 [startup+780.072 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 71936 68 0 0 25 0 11 0 779020863 864444416 32183 4294967295 134512640 134569956 3221224368 3221214640 1131351660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32183 13086 16 0 211030 0 vsize: 844184 [startup+790.072 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 72895 68 0 0 25 0 11 0 779020863 864444416 32338 4294967295 134512640 134569956 3221224368 3221214744 1131252369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32338 13086 16 0 211030 0 vsize: 844184 [startup+800.072 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 73861 68 0 0 25 0 11 0 779020863 864444416 32480 4294967295 134512640 134569956 3221224368 3221214480 1131224538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32480 13086 16 0 211030 0 vsize: 844184 [startup+810.073 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 74831 69 0 0 25 0 11 0 779020863 864444416 32544 4294967295 134512640 134569956 3221224368 3221214640 1131351607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32544 13086 16 0 211030 0 vsize: 844184 [startup+820.074 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 75797 69 0 0 25 0 11 0 779020863 864444416 32622 4294967295 134512640 134569956 3221224368 3221214744 1131252369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 32622 13086 16 0 211030 0 vsize: 844184 [startup+830.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 76765 70 0 0 25 0 11 0 779020863 864444416 32703 4294967295 134512640 134569956 3221224368 3221214728 1131371655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32703 13086 16 0 211030 0 vsize: 844184 [startup+840.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 77729 71 0 0 24 0 11 0 779020863 864444416 32787 4294967295 134512640 134569956 3221224368 3221214640 1131351636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32787 13086 16 0 211030 0 vsize: 844184 [startup+850.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 78696 71 0 0 25 0 11 0 779020863 864444416 32869 4294967295 134512640 134569956 3221224368 3221214640 1131224508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32869 13086 16 0 211030 0 vsize: 844184 [startup+860.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 79662 71 0 0 25 0 11 0 779020863 864444416 32943 4294967295 134512640 134569956 3221224368 3221214640 1131352271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 32943 13086 16 0 211030 0 vsize: 844184 [startup+870.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 80628 72 0 0 25 0 11 0 779020863 864444416 33034 4294967295 134512640 134569956 3221224368 3221214024 1085679337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33034 13086 16 0 211030 0 vsize: 844184 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 81596 72 0 0 25 0 11 0 779020863 864444416 33117 4294967295 134512640 134569956 3221224368 3221214728 1131371965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33117 13086 16 0 211030 0 vsize: 844184 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 82553 73 0 0 24 0 11 0 779020863 864444416 33213 4294967295 134512640 134569956 3221224368 3221214640 1131352367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33213 13086 16 0 211030 0 vsize: 844184 [startup+900.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 83518 74 0 0 25 0 11 0 779020863 864444416 33292 4294967295 134512640 134569956 3221224368 3221214640 1131351885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33292 13086 16 0 211030 0 vsize: 844184 [startup+910.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 84485 75 0 0 25 0 11 0 779020863 864444416 33378 4294967295 134512640 134569956 3221224368 3221214496 1131395462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33378 13086 16 0 211030 0 vsize: 844184 [startup+920.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18094 0 1 0 85462 76 0 0 25 0 11 0 779020863 864444416 33531 4294967295 134512640 134569956 3221224368 3221214768 1131389677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33531 13086 16 0 211030 0 vsize: 844184 [startup+930.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 86442 77 0 0 25 0 11 0 779020863 864444416 33575 4294967295 134512640 134569956 3221224368 3221214728 1131371505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33575 13086 16 0 211030 0 vsize: 844184 [startup+940.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 87420 77 0 0 24 0 11 0 779020863 864444416 33611 4294967295 134512640 134569956 3221224368 3221214728 1131371639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33611 13086 16 0 211030 0 vsize: 844184 [startup+950.082 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 88399 78 0 0 25 0 11 0 779020863 864444416 33648 4294967295 134512640 134569956 3221224368 3221214728 1131371490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33648 13086 16 0 211030 0 vsize: 844184 [startup+960.083 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 89376 78 0 0 24 0 11 0 779020863 864444416 33691 4294967295 134512640 134569956 3221224368 3221214640 1131351660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33691 13086 16 0 211030 0 vsize: 844184 [startup+970.084 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 90355 78 0 0 25 0 11 0 779020863 864444416 33734 4294967295 134512640 134569956 3221224368 3221214728 1131371930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33734 13086 16 0 211030 0 vsize: 844184 [startup+980.085 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 91333 79 0 0 25 0 11 0 779020863 864444416 33785 4294967295 134512640 134569956 3221224368 3221214640 1131351675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33785 13086 16 0 211030 0 vsize: 844184 [startup+990.085 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 92313 79 0 0 25 0 11 0 779020863 864444416 33824 4294967295 134512640 134569956 3221224368 3221214744 1131252352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33824 13086 16 0 211030 0 vsize: 844184 [startup+1000.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 93290 79 0 0 25 0 11 0 779020863 864444416 33863 4294967295 134512640 134569956 3221224368 3221214728 1131371930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33863 13086 16 0 211030 0 vsize: 844184 [startup+1010.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 94268 80 0 0 25 0 11 0 779020863 864444416 33899 4294967295 134512640 134569956 3221224368 3221214728 1131371844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33899 13086 16 0 211030 0 vsize: 844184 [startup+1020.09 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 95244 81 0 0 25 0 11 0 779020863 864444416 33947 4294967295 134512640 134569956 3221224368 3221214744 1131252352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33947 13086 16 0 211030 0 vsize: 844184 [startup+1030.09 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 96222 81 0 0 25 0 11 0 779020863 864444416 33992 4294967295 134512640 134569956 3221224368 3221214528 1131348328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 33992 13086 16 0 211030 0 vsize: 844184 [startup+1040.09 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 97198 82 0 0 24 0 11 0 779020863 864444416 34040 4294967295 134512640 134569956 3221224368 3221214640 1131351636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34040 13086 16 0 211030 0 vsize: 844184 [startup+1050.09 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 98177 82 0 0 25 0 11 0 779020863 864444416 34080 4294967295 134512640 134569956 3221224368 3221214744 1131252352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34080 13086 16 0 211030 0 vsize: 844184 [startup+1060.09 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 99154 83 0 0 25 0 11 0 779020863 864444416 34125 4294967295 134512640 134569956 3221224368 3221214792 1131374593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34125 13086 16 0 211030 0 vsize: 844184 [startup+1070.09 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 100133 83 0 0 25 0 11 0 779020863 864444416 34167 4294967295 134512640 134569956 3221224368 3221214640 1131352316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34167 13086 16 0 211030 0 vsize: 844184 [startup+1080.09 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 101110 83 0 0 24 0 11 0 779020863 864444416 34208 4294967295 134512640 134569956 3221224368 3221214728 1131371836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34208 13086 16 0 211030 0 vsize: 844184 [startup+1090.09 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 102089 84 0 0 25 0 11 0 779020863 864444416 34248 4294967295 134512640 134569956 3221224368 3221213888 1131603025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34248 13086 16 0 211030 0 vsize: 844184 [startup+1100.09 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) S 5249 25830 25829 0 -1 0 18095 0 1 0 103067 84 0 0 25 0 11 0 779020863 864444416 34286 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34286 13086 16 0 211030 0 vsize: 844184 [startup+1110.09 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 104046 85 0 0 25 0 11 0 779020863 864444416 34331 4294967295 134512640 134569956 3221224368 3221214640 1131352551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34331 13086 16 0 211030 0 vsize: 844184 [startup+1120.1 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 105026 86 0 0 25 0 11 0 779020863 864444416 34372 4294967295 134512640 134569956 3221224368 3221214728 1131371930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34372 13086 16 0 211030 0 vsize: 844184 [startup+1130.1 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 106002 86 0 0 25 0 11 0 779020863 864444416 34415 4294967295 134512640 134569956 3221224368 3221214640 1131351607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34415 13086 16 0 211030 0 vsize: 844184 [startup+1140.1 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 106980 87 0 0 25 0 11 0 779020863 864444416 34451 4294967295 134512640 134569956 3221224368 3221214632 1131551172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34451 13086 16 0 211030 0 vsize: 844184 [startup+1150.1 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 107957 87 0 0 25 0 11 0 779020863 864444416 34493 4294967295 134512640 134569956 3221224368 3221214792 1131375444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34493 13086 16 0 211030 0 vsize: 844184 [startup+1160.1 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 108937 88 0 0 25 0 11 0 779020863 864444416 34536 4294967295 134512640 134569956 3221224368 3221213996 1131603024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34536 13086 16 0 211030 0 vsize: 844184 [startup+1170.1 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 109913 89 0 0 24 0 11 0 779020863 864444416 34582 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34582 13086 16 0 211030 0 vsize: 844184 [startup+1180.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 110893 89 0 0 25 0 11 0 779020863 864444416 34619 4294967295 134512640 134569956 3221224368 3221214640 1131351660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34619 13086 16 0 211030 0 vsize: 844184 [startup+1190.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 111872 89 0 0 25 0 11 0 779020863 864444416 34659 4294967295 134512640 134569956 3221224368 3221214744 1131252349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211046 34659 13086 16 0 211030 0 vsize: 844184 [startup+1200.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 112849 90 0 0 25 0 11 0 779020863 864444416 34702 4294967295 134512640 134569956 3221224368 3221214728 1131371635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34702 13086 16 0 211030 0 vsize: 844184 [startup+1210.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 113828 90 0 0 25 0 11 0 779020863 864444416 34743 4294967295 134512640 134569956 3221224368 3221214160 1131604404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34743 13086 16 0 211030 0 vsize: 844184 [startup+1220.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 114802 91 0 0 24 0 11 0 779020863 864444416 34785 4294967295 134512640 134569956 3221224368 3221214792 1131375433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34785 13086 16 0 211030 0 vsize: 844184 [startup+1230.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 115773 92 0 0 25 0 11 0 779020863 864444416 34832 4294967295 134512640 134569956 3221224368 3221214764 1131429676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34832 13086 16 0 211030 0 vsize: 844184 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 116748 92 0 0 24 0 11 0 779020863 864444416 34875 4294967295 134512640 134569956 3221224368 3221214792 1131374597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34875 13086 16 0 211030 0 vsize: 844184 [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 117725 93 0 0 25 0 11 0 779020863 864444416 34952 4294967295 134512640 134569956 3221224368 3221214640 1131351660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34952 13086 16 0 211030 0 vsize: 844184 [startup+1260.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 118703 93 0 0 25 0 11 0 779020863 864444416 34961 4294967295 134512640 134569956 3221224368 3221214156 1131602968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34961 13086 16 0 211030 0 vsize: 844184 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 119679 94 0 0 25 0 11 0 779020863 864444416 34982 4294967295 134512640 134569956 3221224368 3221214640 1131352456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 34982 13086 16 0 211030 0 vsize: 844184 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5317 Raw data (stat): 5250 (java) R 5249 25830 25829 0 -1 0 18095 0 1 0 120656 94 0 0 25 0 11 0 779020863 864444416 35026 4294967295 134512640 134569956 3221224368 3221214640 1131351827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211046 35026 13086 16 0 211030 0 vsize: 844184 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 5319 Raw data (stat): 5250 (java) Z 5249 25830 25829 0 -1 1036 18095 24025 1 0 120662 101 8365 77 25 0 1 0 779020863 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): 1280.22 CPU time (s): 1292.06 CPU user time (s): 1290.27 CPU system time (s): 1.78373 CPU usage (%): 100.924 Max. virtual memory (Kb): 845052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####