Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb |
MD5SUM | f909afc4ad4c57b225953e69f0f7b926 |
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 | 16500 |
Biggest coefficient in the objective function | 278154827530240000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 7024858555092325200 |
Number of bits of the sum of numbers in the objective function | 63 |
Biggest number in a constraint | 278154827530240000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 7024858555092325200 |
Number of bits of the biggest sum of numbers | 63 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.207967 |
Number of variables | 23380 |
Total number of constraints | 490 |
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 | 490 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 12:18:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21263 boxname=wulflinc2 idbench=1251 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: f909afc4ad4c57b225953e69f0f7b926 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-scrs8.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-scrs8.opb IDLAUNCH: 21263 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 496280 kB Buffers: 30944 kB Cached: 486928 kB SwapCached: 696 kB Active: 59592 kB Inactive: 460688 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 496028 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5620 kB Slab: 12384 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:38:57 (client local time) WITH STATUS 143 IN 1248.32 SECONDS stats: 21263 7 1248.32 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/wulflinc2/normalized-mps-v2-13-7-scrs8.opb c reading problem ... done. Time 160.417 ms. c #vars 23380 c #constraints 867 c starts : 7 c conflicts : 2592 c decisions : 11197 c propagations : 55037 c inspects : 6326556 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2592 c root simplifications : 1002 s UNKNOWN c Total CPU time (ms) : 1239.065 #### 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.99 1.00 1.00 2/54 13282 Raw data (stat): 13282 (runsolver) R 13281 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780601164 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 866 40 0 0 25 0 10 0 780601164 853397504 19418 4294967295 134512640 134569956 3221224368 3221214484 1076461328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208349 19418 13086 16 0 208333 0 vsize: 833396 [startup+20.0016 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) S 13281 31399 31398 0 -1 0 18010 0 1 0 1761 40 0 0 25 0 10 0 780601164 853274624 19838 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208319 19838 13086 16 0 208303 0 vsize: 833276 [startup+30.0042 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 2650 40 0 0 25 0 10 0 780601164 853274624 20348 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208319 20348 13086 16 0 208303 0 vsize: 833276 [startup+40.004 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 3564 41 0 0 25 0 10 0 780601164 854323200 20890 4294967295 134512640 134569956 3221224368 3221214864 1130896449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208575 20890 13086 16 0 208559 0 vsize: 834300 [startup+50.0047 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 4484 41 0 0 23 0 10 0 780601164 854323200 21061 4294967295 134512640 134569956 3221224368 3221214768 1131239942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208575 21061 13086 16 0 208559 0 vsize: 834300 [startup+60.0044 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 5397 42 0 0 25 0 10 0 780601164 854323200 21198 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208575 21198 13086 16 0 208559 0 vsize: 834300 [startup+70.0051 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18010 0 1 0 6328 42 0 0 25 0 10 0 780601164 853471232 21294 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208367 21294 13086 16 0 208351 0 vsize: 833468 [startup+80.0057 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18018 0 1 0 7261 43 0 0 21 0 10 0 780601164 853471232 21444 4294967295 134512640 134569956 3221224368 3221214412 1130919799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208367 21444 13086 16 0 208351 0 vsize: 833468 [startup+90.0057 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 8133 43 0 0 25 0 10 0 780601164 855371776 21946 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208831 21946 13086 16 0 208815 0 vsize: 835324 [startup+100.006 s] Raw data (loadavg): 1.15 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 9017 43 0 0 25 0 10 0 780601164 855371776 22036 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208831 22036 13086 16 0 208815 0 vsize: 835324 [startup+110.007 s] Raw data (loadavg): 1.13 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 9926 43 0 0 25 0 10 0 780601164 855371776 22368 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208831 22368 13086 16 0 208815 0 vsize: 835324 [startup+120.008 s] Raw data (loadavg): 1.11 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 10839 44 0 0 25 0 10 0 780601164 855371776 22498 4294967295 134512640 134569956 3221224368 3221214752 1131133020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208831 22498 13086 16 0 208815 0 vsize: 835324 [startup+130.007 s] Raw data (loadavg): 1.09 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 11752 45 0 0 25 0 10 0 780601164 855371776 22658 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208831 22658 13086 16 0 208815 0 vsize: 835324 [startup+140.007 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18022 0 1 0 12665 45 0 0 25 0 10 0 780601164 855371776 22811 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208831 22811 13086 16 0 208815 0 vsize: 835324 [startup+150.007 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18024 0 1 0 13556 46 0 0 24 0 10 0 780601164 855371776 22949 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208831 22949 13086 16 0 208815 0 vsize: 835324 [startup+160.007 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 13291 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18024 0 1 0 14424 46 0 0 25 0 10 0 780601164 855371776 23235 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208831 23235 13086 16 0 208815 0 vsize: 835324 [startup+170.008 s] Raw data (loadavg): 1.12 1.04 1.01 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18063 0 1 0 15287 47 0 0 25 0 11 0 780601164 855900160 25763 4294967295 134512640 134569956 3221224368 3221214688 1131367499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25763 13086 16 0 208944 0 vsize: 835840 [startup+180.01 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18063 0 1 0 16272 47 0 0 25 0 11 0 780601164 855900160 25765 4294967295 134512640 134569956 3221224368 3221214584 1131335470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25765 13086 16 0 208944 0 vsize: 835840 [startup+190.009 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 17248 48 0 0 25 0 11 0 780601164 855900160 25771 4294967295 134512640 134569956 3221224368 3221214688 1131415056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25771 13086 16 0 208944 0 vsize: 835840 [startup+200.009 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 18221 48 0 0 25 0 11 0 780601164 855900160 25774 4294967295 134512640 134569956 3221224368 3221214584 1131335750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25774 13086 16 0 208944 0 vsize: 835840 [startup+210.01 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 19198 48 0 0 25 0 11 0 780601164 855900160 25905 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25905 13086 16 0 208944 0 vsize: 835840 [startup+220.011 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 20180 48 0 0 25 0 11 0 780601164 855900160 25982 4294967295 134512640 134569956 3221224368 3221214584 1131336489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 25982 13086 16 0 208944 0 vsize: 835840 [startup+230.01 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 21163 48 0 0 25 0 11 0 780601164 855900160 26036 4294967295 134512640 134569956 3221224368 3221214520 1131403686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26036 13086 16 0 208944 0 vsize: 835840 [startup+240.01 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 22146 48 0 0 25 0 11 0 780601164 855900160 26083 4294967295 134512640 134569956 3221224368 3221214688 1131367564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26083 13086 16 0 208944 0 vsize: 835840 [startup+250.014 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) S 13281 31399 31398 0 -1 0 18064 0 1 0 23130 48 0 0 25 0 11 0 780601164 855900160 26125 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26125 13086 16 0 208944 0 vsize: 835840 [startup+260.013 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 24111 49 0 0 25 0 11 0 780601164 855900160 26183 4294967295 134512640 134569956 3221224368 3221214688 1131367492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26183 13086 16 0 208944 0 vsize: 835840 [startup+270.014 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 25099 49 0 0 25 0 11 0 780601164 855900160 26219 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26219 13086 16 0 208944 0 vsize: 835840 [startup+280.015 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 26087 49 0 0 25 0 11 0 780601164 855900160 26248 4294967295 134512640 134569956 3221224368 3221214688 1131368685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26248 13086 16 0 208944 0 vsize: 835840 [startup+290.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 27075 49 0 0 25 0 11 0 780601164 855900160 26277 4294967295 134512640 134569956 3221224368 3221214584 1131335618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26277 13086 16 0 208944 0 vsize: 835840 [startup+300.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 28061 49 0 0 25 0 11 0 780601164 855900160 26299 4294967295 134512640 134569956 3221224368 3221214688 1131368578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26299 13086 16 0 208944 0 vsize: 835840 [startup+310.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) S 13281 31399 31398 0 -1 0 18064 0 1 0 29045 49 0 0 25 0 11 0 780601164 855900160 26327 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26328 13086 16 0 208944 0 vsize: 835840 [startup+320.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 30029 50 0 0 25 0 11 0 780601164 855900160 26359 4294967295 134512640 134569956 3221224368 3221214688 1131367279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26359 13086 16 0 208944 0 vsize: 835840 [startup+330.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 31011 50 0 0 25 0 11 0 780601164 855900160 26393 4294967295 134512640 134569956 3221224368 3221214552 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26393 13086 16 0 208944 0 vsize: 835840 [startup+340.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 31992 50 0 0 25 0 11 0 780601164 855900160 26431 4294967295 134512640 134569956 3221224368 3221214896 1131201920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26431 13086 16 0 208944 0 vsize: 835840 [startup+350.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 32972 50 0 0 25 0 11 0 780601164 855900160 26474 4294967295 134512640 134569956 3221224368 3221214376 1131540009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26474 13086 16 0 208944 0 vsize: 835840 [startup+360.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 33954 50 0 0 25 0 11 0 780601164 855900160 26506 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26506 13086 16 0 208944 0 vsize: 835840 [startup+370.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 34933 50 0 0 25 0 11 0 780601164 855900160 26555 4294967295 134512640 134569956 3221224368 3221214808 1131342467 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26555 13086 16 0 208944 0 vsize: 835840 [startup+380.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 35912 50 0 0 25 0 11 0 780601164 855900160 26614 4294967295 134512640 134569956 3221224368 3221214856 1131360356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26614 13086 16 0 208944 0 vsize: 835840 [startup+390.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 36894 50 0 0 25 0 11 0 780601164 855900160 26652 4294967295 134512640 134569956 3221224368 3221214688 1131370816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208960 26652 13086 16 0 208944 0 vsize: 835840 [startup+400.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 37874 50 0 0 25 0 11 0 780601164 855900160 26700 4294967295 134512640 134569956 3221224368 3221214544 1131539754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26700 13086 16 0 208944 0 vsize: 835840 [startup+410.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 38855 50 0 0 25 0 11 0 780601164 855900160 26744 4294967295 134512640 134569956 3221224368 3221214704 1131296170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26744 13086 16 0 208944 0 vsize: 835840 [startup+420.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 39833 50 0 0 25 0 11 0 780601164 855900160 26787 4294967295 134512640 134569956 3221224368 3221214584 1131335844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26787 13086 16 0 208944 0 vsize: 835840 [startup+430.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 40814 51 0 0 25 0 11 0 780601164 855900160 26830 4294967295 134512640 134569956 3221224368 3221214584 1131335618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208960 26830 13086 16 0 208944 0 vsize: 835840 [startup+440.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 41792 51 0 0 25 0 11 0 780601164 855900160 26874 4294967295 134512640 134569956 3221224368 3221214804 1131329568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26874 13086 16 0 208944 0 vsize: 835840 [startup+450.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 42771 51 0 0 25 0 11 0 780601164 855900160 26923 4294967295 134512640 134569956 3221224368 3221214584 1131335576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26923 13086 16 0 208944 0 vsize: 835840 [startup+460.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 43749 51 0 0 24 0 11 0 780601164 855900160 26977 4294967295 134512640 134569956 3221224368 3221214584 1131336526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 26977 13086 16 0 208944 0 vsize: 835840 [startup+470.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 44732 51 0 0 25 0 11 0 780601164 855900160 27032 4294967295 134512640 134569956 3221224368 3221214584 1131335130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208960 27032 13086 16 0 208944 0 vsize: 835840 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 45716 51 0 0 25 0 11 0 780601164 857092096 27299 4294967295 134512640 134569956 3221224368 3221214688 1131367564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209251 27299 13086 16 0 209235 0 vsize: 837004 [startup+490.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 46701 51 0 0 25 0 11 0 780601164 856035328 27120 4294967295 134512640 134569956 3221224368 3221214584 1131335148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27120 13086 16 0 208977 0 vsize: 835972 [startup+500.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 47685 52 0 0 25 0 11 0 780601164 856035328 27154 4294967295 134512640 134569956 3221224368 3221214584 1131336526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27154 13086 16 0 208977 0 vsize: 835972 [startup+510.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 48671 52 0 0 25 0 11 0 780601164 856035328 27177 4294967295 134512640 134569956 3221224368 3221214584 1131335321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27177 13086 16 0 208977 0 vsize: 835972 [startup+520.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 49657 52 0 0 25 0 11 0 780601164 856035328 27200 4294967295 134512640 134569956 3221224368 3221214584 1131335706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27200 13086 16 0 208977 0 vsize: 835972 [startup+530.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 50642 52 0 0 25 0 11 0 780601164 856035328 27225 4294967295 134512640 134569956 3221224368 3221214584 1131335267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27225 13086 16 0 208977 0 vsize: 835972 [startup+540.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 51628 52 0 0 25 0 11 0 780601164 856035328 27249 4294967295 134512640 134569956 3221224368 3221214688 1131367161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27249 13086 16 0 208977 0 vsize: 835972 [startup+550.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 52613 52 0 0 24 0 11 0 780601164 856035328 27272 4294967295 134512640 134569956 3221224368 3221214584 1131335109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27272 13086 16 0 208977 0 vsize: 835972 [startup+560.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 53599 52 0 0 25 0 11 0 780601164 856035328 27294 4294967295 134512640 134569956 3221224368 3221214496 1131232729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27294 13086 16 0 208977 0 vsize: 835972 [startup+570.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 54586 52 0 0 25 0 11 0 780601164 856035328 27316 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27316 13086 16 0 208977 0 vsize: 835972 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 55570 53 0 0 25 0 11 0 780601164 856035328 27342 4294967295 134512640 134569956 3221224368 3221214584 1131335813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27342 13086 16 0 208977 0 vsize: 835972 [startup+590.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 56556 53 0 0 25 0 11 0 780601164 856035328 27364 4294967295 134512640 134569956 3221224368 3221214584 1131335419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27364 13086 16 0 208977 0 vsize: 835972 [startup+600.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 57540 53 0 0 24 0 11 0 780601164 856035328 27389 4294967295 134512640 134569956 3221224368 3221214584 1131335509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27389 13086 16 0 208977 0 vsize: 835972 [startup+610.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 58527 53 0 0 25 0 11 0 780601164 856035328 27408 4294967295 134512640 134569956 3221224368 3221214320 1131539904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27408 13086 16 0 208977 0 vsize: 835972 [startup+620.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 59513 53 0 0 25 0 11 0 780601164 856035328 27430 4294967295 134512640 134569956 3221224368 3221214584 1131336544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27430 13086 16 0 208977 0 vsize: 835972 [startup+630.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 60498 53 0 0 25 0 11 0 780601164 856035328 27454 4294967295 134512640 134569956 3221224368 3221214584 1131335130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27454 13086 16 0 208977 0 vsize: 835972 [startup+640.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 61484 53 0 0 25 0 11 0 780601164 856035328 27471 4294967295 134512640 134569956 3221224368 3221214688 1131370017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27471 13086 16 0 208977 0 vsize: 835972 [startup+650.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 62470 53 0 0 25 0 11 0 780601164 856035328 27490 4294967295 134512640 134569956 3221224368 3221214784 1131329650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27490 13086 16 0 208977 0 vsize: 835972 [startup+660.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 63454 53 0 0 25 0 11 0 780601164 856035328 27508 4294967295 134512640 134569956 3221224368 3221213984 1131539936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27508 13086 16 0 208977 0 vsize: 835972 [startup+670.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 64440 53 0 0 25 0 11 0 780601164 856035328 27531 4294967295 134512640 134569956 3221224368 3221214584 1131335130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27531 13086 16 0 208977 0 vsize: 835972 [startup+680.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 65423 53 0 0 25 0 11 0 780601164 856035328 27549 4294967295 134512640 134569956 3221224368 3221214584 1131335622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27549 13086 16 0 208977 0 vsize: 835972 [startup+690.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 66407 53 0 0 25 0 11 0 780601164 856035328 27571 4294967295 134512640 134569956 3221224368 3221214688 1131367499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27571 13086 16 0 208977 0 vsize: 835972 [startup+700.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 67393 53 0 0 25 0 11 0 780601164 856035328 27586 4294967295 134512640 134569956 3221224368 3221214584 1131335187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27586 13086 16 0 208977 0 vsize: 835972 [startup+710.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 68378 53 0 0 25 0 11 0 780601164 856035328 27608 4294967295 134512640 134569956 3221224368 3221213932 1131544320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27608 13086 16 0 208977 0 vsize: 835972 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 69366 53 0 0 24 0 11 0 780601164 856035328 27630 4294967295 134512640 134569956 3221224368 3221214584 1131335507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27630 13086 16 0 208977 0 vsize: 835972 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 70355 53 0 0 25 0 11 0 780601164 856035328 27644 4294967295 134512640 134569956 3221224368 3221214688 1131367564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27644 13086 16 0 208977 0 vsize: 835972 [startup+740.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 71344 54 0 0 24 0 11 0 780601164 856035328 27657 4294967295 134512640 134569956 3221224368 3221214536 1131331581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27657 13086 16 0 208977 0 vsize: 835972 [startup+750.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 72335 54 0 0 25 0 11 0 780601164 856035328 27680 4294967295 134512640 134569956 3221224368 3221214216 1131541276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27680 13086 16 0 208977 0 vsize: 835972 [startup+760.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 73326 54 0 0 25 0 11 0 780601164 856035328 27688 4294967295 134512640 134569956 3221224368 3221214584 1131335490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27688 13086 16 0 208977 0 vsize: 835972 [startup+770.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 74318 54 0 0 25 0 11 0 780601164 856035328 27696 4294967295 134512640 134569956 3221224368 3221214152 1131544343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27696 13086 16 0 208977 0 vsize: 835972 [startup+780.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 75309 54 0 0 25 0 11 0 780601164 856035328 27704 4294967295 134512640 134569956 3221224368 3221214688 1131367564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27704 13086 16 0 208977 0 vsize: 835972 [startup+790.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 76301 54 0 0 25 0 11 0 780601164 856035328 27711 4294967295 134512640 134569956 3221224368 3221214584 1131335732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27711 13086 16 0 208977 0 vsize: 835972 [startup+800.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 77292 54 0 0 25 0 11 0 780601164 856035328 27718 4294967295 134512640 134569956 3221224368 3221214584 1131335750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27718 13086 16 0 208977 0 vsize: 835972 [startup+810.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 78282 55 0 0 25 0 11 0 780601164 856035328 27726 4294967295 134512640 134569956 3221224368 3221214584 1131335706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27726 13086 16 0 208977 0 vsize: 835972 [startup+820.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 79274 55 0 0 25 0 11 0 780601164 856035328 27732 4294967295 134512640 134569956 3221224368 3221214584 1131335419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27732 13086 16 0 208977 0 vsize: 835972 [startup+830.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 80265 55 0 0 25 0 11 0 780601164 856035328 27740 4294967295 134512640 134569956 3221224368 3221214584 1131336538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27740 13086 16 0 208977 0 vsize: 835972 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 81255 55 0 0 25 0 11 0 780601164 856035328 27747 4294967295 134512640 134569956 3221224368 3221214104 1131541329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27747 13086 16 0 208977 0 vsize: 835972 [startup+850.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 82245 55 0 0 24 0 11 0 780601164 856035328 27755 4294967295 134512640 134569956 3221224368 3221214584 1131335642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27755 13086 16 0 208977 0 vsize: 835972 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 83237 55 0 0 25 0 11 0 780601164 856035328 27761 4294967295 134512640 134569956 3221224368 3221214584 1131336526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27761 13086 16 0 208977 0 vsize: 835972 [startup+870.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 84227 56 0 0 25 0 11 0 780601164 856035328 27769 4294967295 134512640 134569956 3221224368 3221214808 1131342501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27769 13086 16 0 208977 0 vsize: 835972 [startup+880.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 85218 56 0 0 25 0 11 0 780601164 856035328 27776 4294967295 134512640 134569956 3221224368 3221214496 1131232710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27776 13086 16 0 208977 0 vsize: 835972 [startup+890.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 86209 56 0 0 25 0 11 0 780601164 856035328 27782 4294967295 134512640 134569956 3221224368 3221214688 1131367499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27782 13086 16 0 208977 0 vsize: 835972 [startup+900.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 87200 56 0 0 25 0 11 0 780601164 856035328 27789 4294967295 134512640 134569956 3221224368 3221214584 1131335943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27789 13086 16 0 208977 0 vsize: 835972 [startup+910.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 88190 56 0 0 25 0 11 0 780601164 856035328 27796 4294967295 134512640 134569956 3221224368 3221214184 1085632310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 27796 13086 16 0 208977 0 vsize: 835972 [startup+920.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 89180 56 0 0 25 0 11 0 780601164 856035328 27803 4294967295 134512640 134569956 3221224368 3221214584 1131335470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27803 13086 16 0 208977 0 vsize: 835972 [startup+930.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 90169 56 0 0 25 0 11 0 780601164 856035328 27809 4294967295 134512640 134569956 3221224368 3221214784 1131329615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27809 13086 16 0 208977 0 vsize: 835972 [startup+940.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 91158 57 0 0 25 0 11 0 780601164 856035328 27815 4294967295 134512640 134569956 3221224368 3221214584 1131335436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27815 13086 16 0 208977 0 vsize: 835972 [startup+950.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 92144 57 0 0 25 0 11 0 780601164 856035328 27822 4294967295 134512640 134569956 3221224368 3221214584 1131335507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27822 13086 16 0 208977 0 vsize: 835972 [startup+960.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 93130 57 0 0 25 0 11 0 780601164 856035328 27829 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27829 13086 16 0 208977 0 vsize: 835972 [startup+970.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 94115 57 0 0 25 0 11 0 780601164 856035328 27837 4294967295 134512640 134569956 3221224368 3221214584 1131335817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27837 13086 16 0 208977 0 vsize: 835972 [startup+980.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 95101 58 0 0 25 0 11 0 780601164 856035328 27879 4294967295 134512640 134569956 3221224368 3221214584 1131335542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27879 13086 16 0 208977 0 vsize: 835972 [startup+990.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 96088 58 0 0 24 0 11 0 780601164 856035328 27893 4294967295 134512640 134569956 3221224368 3221214584 1131335943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27893 13086 16 0 208977 0 vsize: 835972 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 97076 59 0 0 24 0 11 0 780601164 856035328 27907 4294967295 134512640 134569956 3221224368 3221214584 1131336506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27907 13086 16 0 208977 0 vsize: 835972 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) S 13281 31399 31398 0 -1 0 18064 0 1 0 98066 59 0 0 25 0 11 0 780601164 856035328 27915 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27915 13086 16 0 208977 0 vsize: 835972 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 99056 59 0 0 25 0 11 0 780601164 856035328 27921 4294967295 134512640 134569956 3221224368 3221214584 1131335742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27921 13086 16 0 208977 0 vsize: 835972 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 100044 60 0 0 25 0 11 0 780601164 856035328 27927 4294967295 134512640 134569956 3221224368 3221214688 1131369775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27927 13086 16 0 208977 0 vsize: 835972 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 101031 60 0 0 24 0 11 0 780601164 856035328 27933 4294967295 134512640 134569956 3221224368 3221214704 1131296170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27933 13086 16 0 208977 0 vsize: 835972 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 102020 61 0 0 24 0 11 0 780601164 856035328 27939 4294967295 134512640 134569956 3221224368 3221214268 1131541272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27939 13086 16 0 208977 0 vsize: 835972 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 103008 61 0 0 25 0 11 0 780601164 856035328 27944 4294967295 134512640 134569956 3221224368 3221214496 1131232696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27944 13086 16 0 208977 0 vsize: 835972 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 103996 61 0 0 24 0 11 0 780601164 856035328 27950 4294967295 134512640 134569956 3221224368 3221214656 1131296285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27950 13086 16 0 208977 0 vsize: 835972 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 104984 62 0 0 25 0 11 0 780601164 856035328 27957 4294967295 134512640 134569956 3221224368 3221214688 1131368582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27957 13086 16 0 208977 0 vsize: 835972 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 105972 62 0 0 25 0 11 0 780601164 856035328 27963 4294967295 134512640 134569956 3221224368 3221214808 1131342578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27963 13086 16 0 208977 0 vsize: 835972 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 106960 62 0 0 25 0 11 0 780601164 856035328 27969 4294967295 134512640 134569956 3221224368 3221214688 1131368714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27969 13086 16 0 208977 0 vsize: 835972 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 107949 63 0 0 25 0 11 0 780601164 856035328 27980 4294967295 134512640 134569956 3221224368 3221214584 1131336945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27980 13086 16 0 208977 0 vsize: 835972 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 108937 63 0 0 25 0 11 0 780601164 856035328 27985 4294967295 134512640 134569956 3221224368 3221214704 1131296655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27985 13086 16 0 208977 0 vsize: 835972 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 109925 63 0 0 25 0 11 0 780601164 856035328 27990 4294967295 134512640 134569956 3221224368 3221214584 1131335706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27990 13086 16 0 208977 0 vsize: 835972 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 110913 63 0 0 25 0 11 0 780601164 856035328 27996 4294967295 134512640 134569956 3221224368 3221214584 1131335497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 27996 13086 16 0 208977 0 vsize: 835972 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 111901 64 0 0 25 0 11 0 780601164 856035328 28001 4294967295 134512640 134569956 3221224368 3221214048 1131539888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28001 13086 16 0 208977 0 vsize: 835972 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 112888 64 0 0 25 0 11 0 780601164 856035328 28006 4294967295 134512640 134569956 3221224368 3221214584 1131335497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28006 13086 16 0 208977 0 vsize: 835972 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 113876 64 0 0 25 0 11 0 780601164 856035328 28011 4294967295 134512640 134569956 3221224368 3221214760 1131268744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 28011 13086 16 0 208977 0 vsize: 835972 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 114863 65 0 0 24 0 11 0 780601164 856035328 28018 4294967295 134512640 134569956 3221224368 3221213968 1085679735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28018 13086 16 0 208977 0 vsize: 835972 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 115850 65 0 0 25 0 11 0 780601164 856035328 28023 4294967295 134512640 134569956 3221224368 3221214344 1085679261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28023 13086 16 0 208977 0 vsize: 835972 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 116838 66 0 0 25 0 11 0 780601164 856035328 28028 4294967295 134512640 134569956 3221224368 3221214584 1131335559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28028 13086 16 0 208977 0 vsize: 835972 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 117826 66 0 0 25 0 11 0 780601164 856035328 28033 4294967295 134512640 134569956 3221224368 3221214704 1131296756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28033 13086 16 0 208977 0 vsize: 835972 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 118813 66 0 0 25 0 11 0 780601164 856035328 28038 4294967295 134512640 134569956 3221224368 3221214108 1131541328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28038 13086 16 0 208977 0 vsize: 835972 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 119800 67 0 0 25 0 11 0 780601164 856035328 28045 4294967295 134512640 134569956 3221224368 3221214584 1131335509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208993 28045 13086 16 0 208977 0 vsize: 835972 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13292 Raw data (stat): 13282 (java) R 13281 31399 31398 0 -1 0 18064 0 1 0 120787 67 0 0 25 0 11 0 780601164 856035328 28050 4294967295 134512640 134569956 3221224368 3221214688 1131368578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208993 28050 13086 16 0 208977 0 vsize: 835972 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13294 Raw data (stat): 13282 (java) Z 13281 31399 31398 0 -1 1036 18064 13137 1 0 120793 72 3916 49 25 0 1 0 780601164 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.15 CPU time (s): 1248.32 CPU user time (s): 1247.1 CPU system time (s): 1.22381 CPU usage (%): 100.659 Max. virtual memory (Kb): 837004 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####