Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb |
MD5SUM | cfa1bf2f1dd2df0f424e37a2971f8ba1 |
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 | 65500 |
Biggest coefficient in the objective function | 16110321664000 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 32674140101032650 |
Number of bits of the sum of numbers in the objective function | 55 |
Biggest number in a constraint | 16110321664000 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 32674140101032650 |
Number of bits of the biggest sum of numbers | 55 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.588909 |
Number of variables | 65880 |
Total number of constraints | 927 |
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 | 927 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 7460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 11:51:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21216 boxname=wulflinc23 idbench=1204 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: cfa1bf2f1dd2df0f424e37a2971f8ba1 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-czprob.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-czprob.opb IDLAUNCH: 21216 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 636592 kB Buffers: 33864 kB Cached: 342216 kB SwapCached: 640 kB Active: 91460 kB Inactive: 287088 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 636340 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5628 kB Slab: 13860 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:13:47 (client local time) WITH STATUS 143 IN 1316.68 SECONDS stats: 21216 7 1316.68 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/wulflinc23/normalized-mps-v2-13-7-czprob.opb c reading problem ... done. Time 1235.899 ms. c #vars 65880 c #constraints 1777 c starts : 1 c conflicts : 1 c decisions : 22726 c propagations : 62339 c inspects : 17879 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1309.117 #### 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): 1.07 1.02 1.00 2/54 16013 Raw data (stat): 16013 (runsolver) R 16012 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838663456 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.0007 s] Raw data (loadavg): 1.14 1.03 1.01 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 877 36 0 0 25 0 10 0 838663456 854331392 19517 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208577 19517 13086 16 0 208561 0 vsize: 834308 [startup+20.0014 s] Raw data (loadavg): 1.11 1.03 1.01 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 1773 36 0 0 25 0 10 0 838663456 854331392 20043 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208577 20043 13086 16 0 208561 0 vsize: 834308 [startup+30.001 s] Raw data (loadavg): 1.10 1.03 1.01 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 2664 37 0 0 25 0 10 0 838663456 854331392 20546 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208577 20546 13086 16 0 208561 0 vsize: 834308 [startup+40.0022 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 3575 37 0 0 25 0 10 0 838663456 854949888 20993 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208728 20993 13086 16 0 208712 0 vsize: 834912 [startup+50.0023 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 4499 37 0 0 25 0 10 0 838663456 854949888 21165 4294967295 134512640 134569956 3221224368 3221214768 1131239294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208728 21165 13086 16 0 208712 0 vsize: 834912 [startup+60.0059 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 16022 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 5414 37 0 0 25 0 10 0 838663456 854949888 21307 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208728 21307 13086 16 0 208712 0 vsize: 834912 [startup+70.0066 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 6344 37 0 0 25 0 10 0 838663456 854679552 21574 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 21574 13086 16 0 208646 0 vsize: 834648 [startup+80.0074 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 7280 38 0 0 24 0 10 0 838663456 854679552 21684 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 21684 13086 16 0 208646 0 vsize: 834648 [startup+90.0081 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 8222 38 0 0 25 0 10 0 838663456 854679552 21779 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 21779 13086 16 0 208646 0 vsize: 834648 [startup+100.008 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 9165 38 0 0 25 0 10 0 838663456 854679552 21866 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 21866 13086 16 0 208646 0 vsize: 834648 [startup+110.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 10108 38 0 0 25 0 10 0 838663456 854679552 21949 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 21949 13086 16 0 208646 0 vsize: 834648 [startup+120.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 11049 38 0 0 25 0 10 0 838663456 854679552 22031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22031 13086 16 0 208646 0 vsize: 834648 [startup+130.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 11992 39 0 0 22 0 10 0 838663456 854679552 22103 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22103 13086 16 0 208646 0 vsize: 834648 [startup+140.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 12936 39 0 0 25 0 10 0 838663456 854679552 22173 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22173 13086 16 0 208646 0 vsize: 834648 [startup+150.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 13877 39 0 0 25 0 10 0 838663456 854679552 22243 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22243 13086 16 0 208646 0 vsize: 834648 [startup+160.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 14822 39 0 0 25 0 10 0 838663456 854679552 22307 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22307 13086 16 0 208646 0 vsize: 834648 [startup+170.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 15766 39 0 0 25 0 10 0 838663456 854679552 22369 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22369 13086 16 0 208646 0 vsize: 834648 [startup+180.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 16689 40 0 0 25 0 10 0 838663456 854679552 22429 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22429 13086 16 0 208646 0 vsize: 834648 [startup+190.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 17607 40 0 0 25 0 10 0 838663456 854679552 22487 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22487 13086 16 0 208646 0 vsize: 834648 [startup+200.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 18542 40 0 0 25 0 10 0 838663456 854679552 22799 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22799 13086 16 0 208646 0 vsize: 834648 [startup+210.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 19480 40 0 0 25 0 10 0 838663456 854679552 22857 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22857 13086 16 0 208646 0 vsize: 834648 [startup+220.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 20421 40 0 0 25 0 10 0 838663456 854679552 22910 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22910 13086 16 0 208646 0 vsize: 834648 [startup+230.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 21362 40 0 0 25 0 10 0 838663456 854679552 22962 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 22962 13086 16 0 208646 0 vsize: 834648 [startup+240.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 22299 40 0 0 24 0 10 0 838663456 854679552 23015 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23015 13086 16 0 208646 0 vsize: 834648 [startup+250.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 23239 40 0 0 25 0 10 0 838663456 854679552 23064 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23064 13086 16 0 208646 0 vsize: 834648 [startup+260.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 24178 41 0 0 25 0 10 0 838663456 854679552 23112 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23112 13086 16 0 208646 0 vsize: 834648 [startup+270.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 25118 41 0 0 25 0 10 0 838663456 854679552 23159 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23159 13086 16 0 208646 0 vsize: 834648 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 26052 41 0 0 24 0 10 0 838663456 854679552 23208 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23208 13086 16 0 208646 0 vsize: 834648 [startup+290.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 26991 41 0 0 25 0 10 0 838663456 854679552 23253 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23253 13086 16 0 208646 0 vsize: 834648 [startup+300.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 27929 41 0 0 25 0 10 0 838663456 854679552 23297 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23297 13086 16 0 208646 0 vsize: 834648 [startup+310.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 28866 42 0 0 25 0 10 0 838663456 854679552 23341 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 23341 13086 16 0 208646 0 vsize: 834648 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 29799 42 0 0 24 0 10 0 838663456 854679552 23386 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23386 13086 16 0 208646 0 vsize: 834648 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 30734 42 0 0 25 0 10 0 838663456 854679552 23429 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23429 13086 16 0 208646 0 vsize: 834648 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 31669 42 0 0 21 0 10 0 838663456 854679552 23470 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23470 13086 16 0 208646 0 vsize: 834648 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 32603 43 0 0 25 0 10 0 838663456 854679552 23511 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23511 13086 16 0 208646 0 vsize: 834648 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 33537 43 0 0 25 0 10 0 838663456 854679552 23551 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23551 13086 16 0 208646 0 vsize: 834648 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 34467 43 0 0 24 0 10 0 838663456 854679552 23593 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23593 13086 16 0 208646 0 vsize: 834648 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 35401 43 0 0 25 0 10 0 838663456 854679552 23632 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23632 13086 16 0 208646 0 vsize: 834648 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 36333 44 0 0 25 0 10 0 838663456 854679552 23670 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23670 13086 16 0 208646 0 vsize: 834648 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 37265 44 0 0 25 0 10 0 838663456 854679552 23708 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23708 13086 16 0 208646 0 vsize: 834648 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 38196 45 0 0 25 0 10 0 838663456 854679552 23745 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23745 13086 16 0 208646 0 vsize: 834648 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 39126 46 0 0 25 0 10 0 838663456 854679552 23782 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23782 13086 16 0 208646 0 vsize: 834648 [startup+430.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 40057 46 0 0 25 0 10 0 838663456 854679552 23818 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23818 13086 16 0 208646 0 vsize: 834648 [startup+440.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 40988 46 0 0 25 0 10 0 838663456 854679552 23854 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23854 13086 16 0 208646 0 vsize: 834648 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 41914 47 0 0 24 0 10 0 838663456 854679552 23892 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23892 13086 16 0 208646 0 vsize: 834648 [startup+460.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 42844 48 0 0 24 0 10 0 838663456 854679552 23928 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23928 13086 16 0 208646 0 vsize: 834648 [startup+470.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 43774 48 0 0 25 0 10 0 838663456 854679552 23962 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23962 13086 16 0 208646 0 vsize: 834648 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16022 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 44705 48 0 0 25 0 10 0 838663456 854679552 23997 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 23997 13086 16 0 208646 0 vsize: 834648 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 16023 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 45630 52 0 0 24 0 10 0 838663456 854679552 24031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24031 13086 16 0 208646 0 vsize: 834648 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 46556 53 0 0 24 0 10 0 838663456 854679552 24064 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24064 13086 16 0 208646 0 vsize: 834648 [startup+510.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 47484 53 0 0 24 0 10 0 838663456 854679552 24097 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24097 13086 16 0 208646 0 vsize: 834648 [startup+520.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 48412 54 0 0 24 0 10 0 838663456 854679552 24130 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24130 13086 16 0 208646 0 vsize: 834648 [startup+530.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 49340 54 0 0 25 0 10 0 838663456 854679552 24162 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24162 13086 16 0 208646 0 vsize: 834648 [startup+540.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 50267 54 0 0 25 0 10 0 838663456 854679552 24195 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24195 13086 16 0 208646 0 vsize: 834648 [startup+550.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16075 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 51195 54 0 0 24 0 10 0 838663456 854679552 24226 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24226 13086 16 0 208646 0 vsize: 834648 [startup+560.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 52121 54 0 0 24 0 10 0 838663456 854679552 24258 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24258 13086 16 0 208646 0 vsize: 834648 [startup+570.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 53047 54 0 0 24 0 10 0 838663456 854679552 24289 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24289 13086 16 0 208646 0 vsize: 834648 [startup+580.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 53973 55 0 0 24 0 10 0 838663456 854679552 24320 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208662 24320 13086 16 0 208646 0 vsize: 834648 [startup+590.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 54900 55 0 0 25 0 10 0 838663456 854679552 24350 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24350 13086 16 0 208646 0 vsize: 834648 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 55828 56 0 0 25 0 10 0 838663456 854679552 24380 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24380 13086 16 0 208646 0 vsize: 834648 [startup+610.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 56753 56 0 0 25 0 10 0 838663456 854679552 24409 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24409 13086 16 0 208646 0 vsize: 834648 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 57677 56 0 0 25 0 10 0 838663456 854679552 24440 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24440 13086 16 0 208646 0 vsize: 834648 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 58601 56 0 0 25 0 10 0 838663456 854679552 24470 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24470 13086 16 0 208646 0 vsize: 834648 [startup+640.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 59526 57 0 0 25 0 10 0 838663456 854679552 24500 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24500 13086 16 0 208646 0 vsize: 834648 [startup+650.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 60450 57 0 0 25 0 10 0 838663456 854679552 24529 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24529 13086 16 0 208646 0 vsize: 834648 [startup+660.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 61373 57 0 0 25 0 10 0 838663456 854679552 24558 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24558 13086 16 0 208646 0 vsize: 834648 [startup+670.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 62296 58 0 0 25 0 10 0 838663456 854679552 24587 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 24587 13086 16 0 208646 0 vsize: 834648 [startup+680.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 63213 58 0 0 25 0 10 0 838663456 854679552 25461 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25461 13086 16 0 208646 0 vsize: 834648 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 64136 58 0 0 24 0 10 0 838663456 854679552 25461 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25461 13086 16 0 208646 0 vsize: 834648 [startup+700.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 65055 59 0 0 25 0 10 0 838663456 854679552 25473 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25473 13086 16 0 208646 0 vsize: 834648 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 65968 59 0 0 25 0 10 0 838663456 854679552 25501 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25501 13086 16 0 208646 0 vsize: 834648 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 66881 59 0 0 25 0 10 0 838663456 854679552 25529 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25529 13086 16 0 208646 0 vsize: 834648 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 67793 60 0 0 25 0 10 0 838663456 854679552 25555 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25555 13086 16 0 208646 0 vsize: 834648 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 68710 60 0 0 25 0 10 0 838663456 854679552 25582 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25582 13086 16 0 208646 0 vsize: 834648 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 69621 61 0 0 25 0 10 0 838663456 854679552 25609 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25609 13086 16 0 208646 0 vsize: 834648 [startup+760.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 70533 61 0 0 25 0 10 0 838663456 854679552 25636 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25636 13086 16 0 208646 0 vsize: 834648 [startup+770.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 71448 62 0 0 25 0 10 0 838663456 854679552 25661 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25661 13086 16 0 208646 0 vsize: 834648 [startup+780.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 72359 62 0 0 25 0 10 0 838663456 854679552 25688 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25688 13086 16 0 208646 0 vsize: 834648 [startup+790.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 73269 63 0 0 25 0 10 0 838663456 854679552 25714 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25714 13086 16 0 208646 0 vsize: 834648 [startup+800.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 74182 63 0 0 25 0 10 0 838663456 854679552 25739 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25739 13086 16 0 208646 0 vsize: 834648 [startup+810.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 75094 63 0 0 25 0 10 0 838663456 854679552 25766 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25766 13086 16 0 208646 0 vsize: 834648 [startup+820.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16077 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 76003 64 0 0 25 0 10 0 838663456 854679552 25792 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25792 13086 16 0 208646 0 vsize: 834648 [startup+830.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 76912 64 0 0 24 0 10 0 838663456 854679552 25818 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25818 13086 16 0 208646 0 vsize: 834648 [startup+840.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 77826 65 0 0 25 0 10 0 838663456 854679552 25842 4294967295 134512640 134569956 3221224368 3221214152 1076460984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25842 13086 16 0 208646 0 vsize: 834648 [startup+850.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 78735 65 0 0 25 0 10 0 838663456 854679552 25867 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25867 13086 16 0 208646 0 vsize: 834648 [startup+860.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 79646 66 0 0 25 0 10 0 838663456 854679552 25891 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25891 13086 16 0 208646 0 vsize: 834648 [startup+870.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 80557 66 0 0 25 0 10 0 838663456 854679552 25916 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25916 13086 16 0 208646 0 vsize: 834648 [startup+880.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 81465 67 0 0 25 0 10 0 838663456 854679552 25941 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25941 13086 16 0 208646 0 vsize: 834648 [startup+890.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 82377 67 0 0 25 0 10 0 838663456 854679552 25965 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25965 13086 16 0 208646 0 vsize: 834648 [startup+900.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 83286 67 0 0 25 0 10 0 838663456 854679552 25989 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 25989 13086 16 0 208646 0 vsize: 834648 [startup+910.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 84193 67 0 0 24 0 10 0 838663456 854679552 26014 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26014 13086 16 0 208646 0 vsize: 834648 [startup+920.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 85105 68 0 0 25 0 10 0 838663456 854679552 26037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26037 13086 16 0 208646 0 vsize: 834648 [startup+930.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 86010 68 0 0 25 0 10 0 838663456 854679552 26061 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26061 13086 16 0 208646 0 vsize: 834648 [startup+940.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 86923 68 0 0 25 0 10 0 838663456 854679552 26084 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26084 13086 16 0 208646 0 vsize: 834648 [startup+950.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 87828 69 0 0 25 0 10 0 838663456 854679552 26108 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26108 13086 16 0 208646 0 vsize: 834648 [startup+960.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 88735 69 0 0 25 0 10 0 838663456 854679552 26131 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26131 13086 16 0 208646 0 vsize: 834648 [startup+970.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 89644 70 0 0 25 0 10 0 838663456 854679552 26155 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26155 13086 16 0 208646 0 vsize: 834648 [startup+980.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 90547 70 0 0 24 0 10 0 838663456 854679552 26178 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26178 13086 16 0 208646 0 vsize: 834648 [startup+990.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 91456 71 0 0 25 0 10 0 838663456 854679552 26201 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26201 13086 16 0 208646 0 vsize: 834648 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 92359 72 0 0 25 0 10 0 838663456 854679552 26224 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26224 13086 16 0 208646 0 vsize: 834648 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 93269 72 0 0 25 0 10 0 838663456 854679552 26246 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26246 13086 16 0 208646 0 vsize: 834648 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 94172 73 0 0 25 0 10 0 838663456 854679552 26270 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26270 13086 16 0 208646 0 vsize: 834648 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 95082 73 0 0 25 0 10 0 838663456 854679552 26292 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26292 13086 16 0 208646 0 vsize: 834648 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 95985 74 0 0 25 0 10 0 838663456 854679552 26315 4294967295 134512640 134569956 3221224368 3221214752 1131239644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26315 13086 16 0 208646 0 vsize: 834648 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 96893 74 0 0 25 0 10 0 838663456 854679552 26336 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26336 13086 16 0 208646 0 vsize: 834648 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 97796 75 0 0 25 0 10 0 838663456 854679552 26359 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26359 13086 16 0 208646 0 vsize: 834648 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 98704 75 0 0 25 0 10 0 838663456 854679552 26380 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26380 13086 16 0 208646 0 vsize: 834648 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 99607 76 0 0 25 0 10 0 838663456 854679552 26403 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26403 13086 16 0 208646 0 vsize: 834648 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 100513 76 0 0 25 0 10 0 838663456 854679552 26424 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26424 13086 16 0 208646 0 vsize: 834648 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 101413 77 0 0 25 0 10 0 838663456 854679552 26447 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26447 13086 16 0 208646 0 vsize: 834648 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 102320 77 0 0 25 0 10 0 838663456 854679552 26472 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26472 13086 16 0 208646 0 vsize: 834648 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 103222 77 0 0 25 0 10 0 838663456 854679552 26498 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26498 13086 16 0 208646 0 vsize: 834648 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 104129 78 0 0 25 0 10 0 838663456 854679552 26521 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26521 13086 16 0 208646 0 vsize: 834648 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 105028 79 0 0 24 0 10 0 838663456 854679552 26548 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26548 13086 16 0 208646 0 vsize: 834648 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 105933 79 0 0 25 0 10 0 838663456 854679552 26572 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26572 13086 16 0 208646 0 vsize: 834648 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 106838 79 0 0 25 0 10 0 838663456 854679552 26594 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26594 13086 16 0 208646 0 vsize: 834648 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 107738 79 0 0 25 0 10 0 838663456 854679552 26616 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26616 13086 16 0 208646 0 vsize: 834648 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 108643 80 0 0 25 0 10 0 838663456 854679552 26643 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26643 13086 16 0 208646 0 vsize: 834648 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 109541 81 0 0 25 0 10 0 838663456 854679552 26669 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26669 13086 16 0 208646 0 vsize: 834648 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 110446 81 0 0 25 0 10 0 838663456 854679552 26689 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26689 13086 16 0 208646 0 vsize: 834648 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 16079 Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 111346 81 0 0 25 0 10 0 838663456 854679552 26715 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 26715 13086 16 0 208646 0 vsize: 834648 [startup+1220.09 s] Raw data (loadavg): 1.08 1.02 1.01 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18027 0 1 0 112169 83 0 0 25 0 10 0 838663456 854679552 28813 4294967295 134512640 134569956 3221224368 3221214248 1131316100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 28813 13086 16 0 208646 0 vsize: 834648 [startup+1230.09 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 16079 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18027 0 1 0 113047 84 0 0 25 0 10 0 838663456 854679552 30242 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208662 30242 13086 16 0 208646 0 vsize: 834648 [startup+1240.09 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18054 0 1 0 113903 86 0 0 25 0 11 0 838663456 857305088 34686 4294967295 134512640 134569956 3221224368 3221214504 1131322220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209303 34686 13086 16 0 209287 0 vsize: 837212 [startup+1250.09 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 114895 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214560 1131437530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209303 34708 13086 16 0 209287 0 vsize: 837212 [startup+1260.09 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 115886 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131322169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209303 34708 13086 16 0 209287 0 vsize: 837212 [startup+1270.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 116868 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131323438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209303 34708 13086 16 0 209287 0 vsize: 837212 [startup+1280.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 117849 86 0 0 24 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131322064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209303 34708 13086 16 0 209287 0 vsize: 837212 [startup+1290.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 118831 87 0 0 25 0 11 0 838663456 856256512 34618 4294967295 134512640 134569956 3221224368 3221214656 1131403996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209047 34618 13086 16 0 209031 0 vsize: 836188 [startup+1300.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 119823 87 0 0 25 0 11 0 838663456 856256512 34618 4294967295 134512640 134569956 3221224368 3221214424 1131229044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209047 34618 13086 16 0 209031 0 vsize: 836188 [startup+1310.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 16080 Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 120814 87 0 0 25 0 11 0 838663456 856256512 34620 4294967295 134512640 134569956 3221224368 3221214424 1131228614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209047 34620 13086 16 0 209031 0 vsize: 836188 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.18 s] Raw data (loadavg): 1.01 1.01 1.00 1/54 16082 Raw data (stat): 16013 (java) Z 16012 5562 5561 0 -1 1036 18064 19078 1 0 120816 94 10689 68 25 0 1 0 838663456 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): 1310.18 CPU time (s): 1316.68 CPU user time (s): 1315.06 CPU system time (s): 1.62275 CPU usage (%): 100.496 Max. virtual memory (Kb): 837212 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####