Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 512275544dbdaee426418ff6e8981436 |
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 | 27836 |
Biggest coefficient in the objective function | 698469056512 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 44081965661371 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 698469056512 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 44081965661371 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.238963 |
Number of variables | 27888 |
Total number of constraints | 874 |
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 | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-25 07:45:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20848 boxname=wulflinc3 idbench=836 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 512275544dbdaee426418ff6e8981436 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-gfrd-pnc.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-gfrd-pnc.opb IDLAUNCH: 20848 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 840440 kB Buffers: 27724 kB Cached: 146492 kB SwapCached: 0 kB Active: 60532 kB Inactive: 116300 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 840160 kB SwapTotal: 2097136 kB SwapFree: 2096800 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6576 kB Slab: 11736 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:05:59 (client local time) WITH STATUS 143 IN 1260.47 SECONDS stats: 20848 7 1260.47 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/wulflinc3/normalized-mps-v2-20-10-gfrd-pnc.opb c reading problem ... done. Time 219.787 ms. c #vars 27888 c #constraints 1406 c starts : 7 c conflicts : 2193 c decisions : 16395 c propagations : 55200 c inspects : 2866532 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2193 c root simplifications : 10 s UNKNOWN c Total CPU time (ms) : 1249.16 #### 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.85 0.97 0.99 2/54 31424 Raw data (stat): 31424 (runsolver) R 31423 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778951542 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.001 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) S 31423 20224 20223 0 -1 0 18014 0 1 0 870 43 0 0 25 0 10 0 778951542 853430272 19279 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208357 19279 13086 16 0 208341 0 vsize: 833428 [startup+20.0024 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 1769 43 0 0 22 0 10 0 778951542 855318528 20210 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208818 20210 13086 16 0 208802 0 vsize: 835272 [startup+30.0027 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 2660 44 0 0 23 0 10 0 778951542 853397504 20301 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208349 20301 13086 16 0 208333 0 vsize: 833396 [startup+40.0033 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 3576 44 0 0 25 0 10 0 778951542 853905408 20719 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208473 20719 13086 16 0 208457 0 vsize: 833892 [startup+50.0039 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 4497 44 0 0 25 0 10 0 778951542 853905408 20886 4294967295 134512640 134569956 3221224368 3221214768 1131249095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208473 20886 13086 16 0 208457 0 vsize: 833892 [startup+60.0042 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 5412 45 0 0 24 0 10 0 778951542 853905408 21021 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208473 21021 13086 16 0 208457 0 vsize: 833892 [startup+70.005 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 6344 45 0 0 25 0 10 0 778951542 853635072 21200 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21200 13086 16 0 208391 0 vsize: 833628 [startup+80.0049 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 7286 45 0 0 25 0 10 0 778951542 853635072 21298 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21298 13086 16 0 208391 0 vsize: 833628 [startup+90.0048 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 8226 46 0 0 25 0 10 0 778951542 853635072 21394 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21394 13086 16 0 208391 0 vsize: 833628 [startup+100.005 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 9167 46 0 0 24 0 10 0 778951542 853635072 21482 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21482 13086 16 0 208391 0 vsize: 833628 [startup+110.006 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 10111 47 0 0 25 0 10 0 778951542 853635072 21561 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21561 13086 16 0 208391 0 vsize: 833628 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 11053 47 0 0 25 0 10 0 778951542 853635072 21639 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21639 13086 16 0 208391 0 vsize: 833628 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 11998 48 0 0 25 0 10 0 778951542 853635072 21708 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21708 13086 16 0 208391 0 vsize: 833628 [startup+140.014 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 12941 48 0 0 25 0 10 0 778951542 853635072 21779 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21779 13086 16 0 208391 0 vsize: 833628 [startup+150.015 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 13883 49 0 0 24 0 10 0 778951542 853635072 21846 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21846 13086 16 0 208391 0 vsize: 833628 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 14828 49 0 0 25 0 10 0 778951542 853635072 21907 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21907 13086 16 0 208391 0 vsize: 833628 [startup+170.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 15767 50 0 0 25 0 10 0 778951542 853635072 21969 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 21969 13086 16 0 208391 0 vsize: 833628 [startup+180.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 16685 50 0 0 25 0 10 0 778951542 853635072 22026 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 22026 13086 16 0 208391 0 vsize: 833628 [startup+190.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 17606 50 0 0 25 0 10 0 778951542 853635072 22338 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 22338 13086 16 0 208391 0 vsize: 833628 [startup+200.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 18545 51 0 0 25 0 10 0 778951542 853635072 22394 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 22394 13086 16 0 208391 0 vsize: 833628 [startup+210.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18015 0 1 0 19487 51 0 0 25 0 10 0 778951542 853635072 22444 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208407 22444 13086 16 0 208391 0 vsize: 833628 [startup+220.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 31433 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18026 0 1 0 20334 53 0 0 25 0 10 0 778951542 856838144 23981 4294967295 134512640 134569956 3221224368 3221214304 1131298225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209189 23981 13086 16 0 209173 0 vsize: 836756 [startup+230.025 s] Raw data (loadavg): 1.07 0.99 0.99 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18068 0 1 0 21222 54 0 0 17 0 11 0 778951542 856743936 26882 4294967295 134512640 134569956 3221224368 3221214560 1131448408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209166 26882 13086 16 0 209150 0 vsize: 836664 [startup+240.028 s] Raw data (loadavg): 1.14 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18069 0 1 0 22143 56 0 0 25 0 11 0 778951542 860397568 27840 4294967295 134512640 134569956 3221224368 3221214496 1131306054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210058 27840 13086 16 0 210042 0 vsize: 840232 [startup+250.028 s] Raw data (loadavg): 1.12 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 23117 56 0 0 25 0 11 0 778951542 858841088 27347 4294967295 134512640 134569956 3221224368 3221214744 1131393708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27347 13086 16 0 209662 0 vsize: 838712 [startup+260.029 s] Raw data (loadavg): 1.10 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 24078 56 0 0 25 0 11 0 778951542 858841088 27347 4294967295 134512640 134569956 3221224368 3221214416 1131305982 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27347 13086 16 0 209662 0 vsize: 838712 [startup+270.03 s] Raw data (loadavg): 1.08 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 25037 56 0 0 25 0 11 0 778951542 858841088 27347 4294967295 134512640 134569956 3221224368 3221214376 1131272960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27347 13086 16 0 209662 0 vsize: 838712 [startup+280.03 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 25970 56 0 0 25 0 11 0 778951542 858841088 27572 4294967295 134512640 134569956 3221224368 3221214744 1131393463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27572 13086 16 0 209662 0 vsize: 838712 [startup+290.031 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 26895 56 0 0 25 0 11 0 778951542 858841088 27740 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27740 13086 16 0 209662 0 vsize: 838712 [startup+300.032 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 27815 56 0 0 24 0 11 0 778951542 858841088 27922 4294967295 134512640 134569956 3221224368 3221214744 1131392837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 27922 13086 16 0 209662 0 vsize: 838712 [startup+310.032 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18070 0 1 0 28749 56 0 0 25 0 11 0 778951542 858841088 28290 4294967295 134512640 134569956 3221224368 3221214672 1131327077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 28290 13086 16 0 209662 0 vsize: 838712 [startup+320.033 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 29697 56 0 0 24 0 11 0 778951542 858841088 28573 4294967295 134512640 134569956 3221224368 3221214576 1131285547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 28573 13086 16 0 209662 0 vsize: 838712 [startup+330.033 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 30660 56 0 0 25 0 11 0 778951542 858841088 28775 4294967295 134512640 134569956 3221224368 3221214576 1131285750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 28775 13086 16 0 209662 0 vsize: 838712 [startup+340.034 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 31627 56 0 0 25 0 11 0 778951542 858841088 28855 4294967295 134512640 134569956 3221224368 3221214672 1131327077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 28855 13086 16 0 209662 0 vsize: 838712 [startup+350.034 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 32592 57 0 0 25 0 11 0 778951542 858841088 28950 4294967295 134512640 134569956 3221224368 3221214576 1131286589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 28950 13086 16 0 209662 0 vsize: 838712 [startup+360.036 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 33552 57 0 0 24 0 11 0 778951542 858841088 29050 4294967295 134512640 134569956 3221224368 3221214744 1131393159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 29050 13086 16 0 209662 0 vsize: 838712 [startup+370.036 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 34517 57 0 0 25 0 11 0 778951542 858841088 29140 4294967295 134512640 134569956 3221224368 3221214696 1131245201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29140 13086 16 0 209662 0 vsize: 838712 [startup+380.036 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 35485 58 0 0 25 0 11 0 778951542 858841088 29247 4294967295 134512640 134569956 3221224368 3221214672 1131327314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29247 13086 16 0 209662 0 vsize: 838712 [startup+390.037 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 36453 58 0 0 25 0 11 0 778951542 858841088 29395 4294967295 134512640 134569956 3221224368 3221214672 1131327397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29395 13086 16 0 209662 0 vsize: 838712 [startup+400.038 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 37428 59 0 0 25 0 11 0 778951542 858841088 29447 4294967295 134512640 134569956 3221224368 3221214696 1131245205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29447 13086 16 0 209662 0 vsize: 838712 [startup+410.039 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) S 31423 20224 20223 0 -1 0 18071 0 1 0 38402 59 0 0 25 0 11 0 778951542 858841088 29514 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29514 13086 16 0 209662 0 vsize: 838712 [startup+420.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) S 31423 20224 20223 0 -1 0 18071 0 1 0 39372 59 0 0 25 0 11 0 778951542 858841088 29584 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29584 13086 16 0 209662 0 vsize: 838712 [startup+430.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 40347 60 0 0 25 0 11 0 778951542 858841088 29645 4294967295 134512640 134569956 3221224368 3221214672 1131327165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29645 13086 16 0 209662 0 vsize: 838712 [startup+440.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 41320 60 0 0 25 0 11 0 778951542 858841088 29708 4294967295 134512640 134569956 3221224368 3221214696 1131245288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29708 13086 16 0 209662 0 vsize: 838712 [startup+450.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 42293 60 0 0 25 0 11 0 778951542 858841088 29777 4294967295 134512640 134569956 3221224368 3221214744 1131393102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29777 13086 16 0 209662 0 vsize: 838712 [startup+460.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 43267 61 0 0 25 0 11 0 778951542 858841088 29845 4294967295 134512640 134569956 3221224368 3221214576 1131285744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29845 13086 16 0 209662 0 vsize: 838712 [startup+470.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 44240 61 0 0 25 0 11 0 778951542 858841088 29909 4294967295 134512640 134569956 3221224368 3221214496 1131306137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29909 13086 16 0 209662 0 vsize: 838712 [startup+480.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 45212 62 0 0 25 0 11 0 778951542 858841088 29975 4294967295 134512640 134569956 3221224368 3221214488 1131214128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 29975 13086 16 0 209662 0 vsize: 838712 [startup+490.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 46180 62 0 0 25 0 11 0 778951542 858841088 30036 4294967295 134512640 134569956 3221224368 3221214576 1131285818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30036 13086 16 0 209662 0 vsize: 838712 [startup+500.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 47150 63 0 0 25 0 11 0 778951542 858841088 30118 4294967295 134512640 134569956 3221224368 3221214696 1131245184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30118 13086 16 0 209662 0 vsize: 838712 [startup+510.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 48122 63 0 0 25 0 11 0 778951542 858841088 30199 4294967295 134512640 134569956 3221224368 3221214696 1131245316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30199 13086 16 0 209662 0 vsize: 838712 [startup+520.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 49102 64 0 0 25 0 11 0 778951542 858841088 30308 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30308 13086 16 0 209662 0 vsize: 838712 [startup+530.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 50086 64 0 0 25 0 11 0 778951542 858841088 30337 4294967295 134512640 134569956 3221224368 3221214576 1131286069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30337 13086 16 0 209662 0 vsize: 838712 [startup+540.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 51068 64 0 0 25 0 11 0 778951542 858841088 30372 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30372 13086 16 0 209662 0 vsize: 838712 [startup+550.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 52052 64 0 0 25 0 11 0 778951542 858841088 30412 4294967295 134512640 134569956 3221224368 3221214576 1131285802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30412 13086 16 0 209662 0 vsize: 838712 [startup+560.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 53034 64 0 0 25 0 11 0 778951542 858841088 30451 4294967295 134512640 134569956 3221224368 3221214672 1131327409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30451 13086 16 0 209662 0 vsize: 838712 [startup+570.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 54017 65 0 0 25 0 11 0 778951542 858841088 30493 4294967295 134512640 134569956 3221224368 3221214672 1131327361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30493 13086 16 0 209662 0 vsize: 838712 [startup+580.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 55001 65 0 0 25 0 11 0 778951542 858841088 30534 4294967295 134512640 134569956 3221224368 3221214576 1131286315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30534 13086 16 0 209662 0 vsize: 838712 [startup+590.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 55984 65 0 0 25 0 11 0 778951542 858841088 30578 4294967295 134512640 134569956 3221224368 3221214576 1131286122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30578 13086 16 0 209662 0 vsize: 838712 [startup+600.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 56968 66 0 0 25 0 11 0 778951542 858841088 30620 4294967295 134512640 134569956 3221224368 3221214576 1131286355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30620 13086 16 0 209662 0 vsize: 838712 [startup+610.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 57950 67 0 0 25 0 11 0 778951542 858841088 30659 4294967295 134512640 134569956 3221224368 3221214672 1131327369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 30659 13086 16 0 209662 0 vsize: 838712 [startup+620.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 58934 67 0 0 25 0 11 0 778951542 858841088 30694 4294967295 134512640 134569956 3221224368 3221214576 1131286508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30694 13086 16 0 209662 0 vsize: 838712 [startup+630.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 59915 68 0 0 25 0 11 0 778951542 858841088 30732 4294967295 134512640 134569956 3221224368 3221214672 1131327028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30732 13086 16 0 209662 0 vsize: 838712 [startup+640.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 60899 68 0 0 25 0 11 0 778951542 858841088 30770 4294967295 134512640 134569956 3221224368 3221214672 1131327378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30770 13086 16 0 209662 0 vsize: 838712 [startup+650.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) S 31423 20224 20223 0 -1 0 18071 0 1 0 61882 68 0 0 25 0 11 0 778951542 858841088 30808 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30808 13086 16 0 209662 0 vsize: 838712 [startup+660.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 62863 69 0 0 25 0 11 0 778951542 858841088 30846 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30846 13086 16 0 209662 0 vsize: 838712 [startup+670.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 63847 69 0 0 25 0 11 0 778951542 858841088 30884 4294967295 134512640 134569956 3221224368 3221214576 1131286003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30884 13086 16 0 209662 0 vsize: 838712 [startup+680.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 64830 70 0 0 25 0 11 0 778951542 858841088 30920 4294967295 134512640 134569956 3221224368 3221214672 1131327014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30920 13086 16 0 209662 0 vsize: 838712 [startup+690.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 65814 70 0 0 25 0 11 0 778951542 858841088 30962 4294967295 134512640 134569956 3221224368 3221214744 1131392663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30962 13086 16 0 209662 0 vsize: 838712 [startup+700.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 66797 70 0 0 25 0 11 0 778951542 858841088 30991 4294967295 134512640 134569956 3221224368 3221214672 1131327073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 30991 13086 16 0 209662 0 vsize: 838712 [startup+710.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 67781 71 0 0 25 0 11 0 778951542 858841088 31029 4294967295 134512640 134569956 3221224368 3221214576 1131285814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31029 13086 16 0 209662 0 vsize: 838712 [startup+720.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 68765 71 0 0 25 0 11 0 778951542 858841088 31060 4294967295 134512640 134569956 3221224368 3221214576 1131286217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31060 13086 16 0 209662 0 vsize: 838712 [startup+730.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 69751 71 0 0 25 0 11 0 778951542 858841088 31090 4294967295 134512640 134569956 3221224368 3221214672 1131327179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31090 13086 16 0 209662 0 vsize: 838712 [startup+740.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 70735 72 0 0 25 0 11 0 778951542 858841088 31122 4294967295 134512640 134569956 3221224368 3221214576 1131285623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31122 13086 16 0 209662 0 vsize: 838712 [startup+750.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 71719 72 0 0 25 0 11 0 778951542 858841088 31156 4294967295 134512640 134569956 3221224368 3221214672 1131327476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31156 13086 16 0 209662 0 vsize: 838712 [startup+760.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 72702 72 0 0 25 0 11 0 778951542 858841088 31184 4294967295 134512640 134569956 3221224368 3221214672 1131327394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31184 13086 16 0 209662 0 vsize: 838712 [startup+770.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 73682 73 0 0 25 0 11 0 778951542 858841088 31216 4294967295 134512640 134569956 3221224368 3221214576 1131286041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31216 13086 16 0 209662 0 vsize: 838712 [startup+780.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 74663 73 0 0 25 0 11 0 778951542 858841088 31267 4294967295 134512640 134569956 3221224368 3221214696 1131245205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31267 13086 16 0 209662 0 vsize: 838712 [startup+790.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 75645 74 0 0 25 0 11 0 778951542 858841088 31313 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31313 13086 16 0 209662 0 vsize: 838712 [startup+800.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 76630 74 0 0 25 0 11 0 778951542 858841088 31351 4294967295 134512640 134569956 3221224368 3221214672 1131327438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31351 13086 16 0 209662 0 vsize: 838712 [startup+810.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 77614 75 0 0 25 0 11 0 778951542 858841088 31382 4294967295 134512640 134569956 3221224368 3221214576 1131286325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31382 13086 16 0 209662 0 vsize: 838712 [startup+820.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 78599 75 0 0 25 0 11 0 778951542 858841088 31413 4294967295 134512640 134569956 3221224368 3221214696 1131245184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31413 13086 16 0 209662 0 vsize: 838712 [startup+830.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 79584 75 0 0 25 0 11 0 778951542 858841088 31445 4294967295 134512640 134569956 3221224368 3221214740 1131332878 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31445 13086 16 0 209662 0 vsize: 838712 [startup+840.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 80568 75 0 0 25 0 11 0 778951542 858841088 31483 4294967295 134512640 134569956 3221224368 3221214352 1131549154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31483 13086 16 0 209662 0 vsize: 838712 [startup+850.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 81553 76 0 0 25 0 11 0 778951542 858841088 31511 4294967295 134512640 134569956 3221224368 3221214672 1131327138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31511 13086 16 0 209662 0 vsize: 838712 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 82537 76 0 0 25 0 11 0 778951542 858841088 31546 4294967295 134512640 134569956 3221224368 3221214740 1131212928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31546 13086 16 0 209662 0 vsize: 838712 [startup+870.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 83523 77 0 0 25 0 11 0 778951542 858841088 31579 4294967295 134512640 134569956 3221224368 3221214744 1131393003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31579 13086 16 0 209662 0 vsize: 838712 [startup+880.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 84506 77 0 0 25 0 11 0 778951542 858841088 31613 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31613 13086 16 0 209662 0 vsize: 838712 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31434 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 85491 77 0 0 25 0 11 0 778951542 858841088 31641 4294967295 134512640 134569956 3221224368 3221214696 1131245205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31641 13086 16 0 209662 0 vsize: 838712 [startup+900.07 s] Raw data (loadavg): 1.00 1.00 1.00 3/67 31472 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 86471 78 0 0 25 0 11 0 778951542 858841088 31676 4294967295 134512640 134569956 3221224368 3221214672 1131327005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209678 31676 13086 16 0 209662 0 vsize: 838712 [startup+910.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 87455 79 0 0 25 0 11 0 778951542 858841088 31709 4294967295 134512640 134569956 3221224368 3221214576 1131285646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31709 13086 16 0 209662 0 vsize: 838712 [startup+920.071 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 88439 79 0 0 25 0 11 0 778951542 858841088 31739 4294967295 134512640 134569956 3221224368 3221214696 1131245384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31739 13086 16 0 209662 0 vsize: 838712 [startup+930.071 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 89423 79 0 0 25 0 11 0 778951542 858841088 31774 4294967295 134512640 134569956 3221224368 3221214576 1131285823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31774 13086 16 0 209662 0 vsize: 838712 [startup+940.073 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 90407 80 0 0 25 0 11 0 778951542 858841088 31804 4294967295 134512640 134569956 3221224368 3221214744 1131392837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31804 13086 16 0 209662 0 vsize: 838712 [startup+950.073 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 91390 80 0 0 24 0 11 0 778951542 858841088 31837 4294967295 134512640 134569956 3221224368 3221214520 1131305976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31837 13086 16 0 209662 0 vsize: 838712 [startup+960.074 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 31487 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 92375 80 0 0 25 0 11 0 778951542 858841088 31869 4294967295 134512640 134569956 3221224368 3221214120 1131617969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31869 13086 16 0 209662 0 vsize: 838712 [startup+970.074 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 93358 81 0 0 25 0 11 0 778951542 858841088 31904 4294967295 134512640 134569956 3221224368 3221214576 1131285802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31904 13086 16 0 209662 0 vsize: 838712 [startup+980.073 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 94341 81 0 0 25 0 11 0 778951542 858841088 31937 4294967295 134512640 134569956 3221224368 3221214616 1131439159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31937 13086 16 0 209662 0 vsize: 838712 [startup+990.074 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 95326 81 0 0 25 0 11 0 778951542 858841088 31968 4294967295 134512640 134569956 3221224368 3221214672 1131327438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 31968 13086 16 0 209662 0 vsize: 838712 [startup+1000.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 96309 81 0 0 24 0 11 0 778951542 858841088 32004 4294967295 134512640 134569956 3221224368 3221214576 1131285750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32004 13086 16 0 209662 0 vsize: 838712 [startup+1010.08 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 97293 82 0 0 25 0 11 0 778951542 858841088 32035 4294967295 134512640 134569956 3221224368 3221214576 1131287192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32035 13086 16 0 209662 0 vsize: 838712 [startup+1020.08 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 98278 82 0 0 25 0 11 0 778951542 858841088 32063 4294967295 134512640 134569956 3221224368 3221214576 1131286186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32063 13086 16 0 209662 0 vsize: 838712 [startup+1030.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 99261 82 0 0 25 0 11 0 778951542 858841088 32092 4294967295 134512640 134569956 3221224368 3221214672 1131327014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32092 13086 16 0 209662 0 vsize: 838712 [startup+1040.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 100242 82 0 0 25 0 11 0 778951542 858841088 32125 4294967295 134512640 134569956 3221224368 3221214560 1131327479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32125 13086 16 0 209662 0 vsize: 838712 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 101217 82 0 0 25 0 11 0 778951542 858841088 32158 4294967295 134512640 134569956 3221224368 3221214576 1131287157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32158 13086 16 0 209662 0 vsize: 838712 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 102190 83 0 0 25 0 11 0 778951542 858841088 32201 4294967295 134512640 134569956 3221224368 3221214576 1131286003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32201 13086 16 0 209662 0 vsize: 838712 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 103164 83 0 0 25 0 11 0 778951542 858841088 32225 4294967295 134512640 134569956 3221224368 3221214696 1131245407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32225 13086 16 0 209662 0 vsize: 838712 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 104139 83 0 0 25 0 11 0 778951542 858841088 32338 4294967295 134512640 134569956 3221224368 3221214576 1131285700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32338 13086 16 0 209662 0 vsize: 838712 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 105122 84 0 0 25 0 11 0 778951542 858841088 32350 4294967295 134512640 134569956 3221224368 3221214672 1131327077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32350 13086 16 0 209662 0 vsize: 838712 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 106106 84 0 0 25 0 11 0 778951542 858841088 32367 4294967295 134512640 134569956 3221224368 3221214576 1131285841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32367 13086 16 0 209662 0 vsize: 838712 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 107091 84 0 0 25 0 11 0 778951542 858841088 32388 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32388 13086 16 0 209662 0 vsize: 838712 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 108076 85 0 0 25 0 11 0 778951542 858841088 32401 4294967295 134512640 134569956 3221224368 3221214576 1131286170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32401 13086 16 0 209662 0 vsize: 838712 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 109063 85 0 0 25 0 11 0 778951542 858841088 32408 4294967295 134512640 134569956 3221224368 3221214672 1131327397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32408 13086 16 0 209662 0 vsize: 838712 [startup+1140.08 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 110048 85 0 0 25 0 11 0 778951542 858841088 32416 4294967295 134512640 134569956 3221224368 3221214576 1131286540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32416 13086 16 0 209662 0 vsize: 838712 [startup+1150.08 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 111033 85 0 0 25 0 11 0 778951542 858841088 32425 4294967295 134512640 134569956 3221224368 3221214576 1131285970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32425 13086 16 0 209662 0 vsize: 838712 [startup+1160.08 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 112018 85 0 0 25 0 11 0 778951542 858841088 32433 4294967295 134512640 134569956 3221224368 3221214672 1131327073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32433 13086 16 0 209662 0 vsize: 838712 [startup+1170.08 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 113003 86 0 0 25 0 11 0 778951542 858841088 32440 4294967295 134512640 134569956 3221224368 3221214576 1131285723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32440 13086 16 0 209662 0 vsize: 838712 [startup+1180.08 s] Raw data (loadavg): 1.03 1.01 1.00 3/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 113988 86 0 0 24 0 11 0 778951542 858841088 32453 4294967295 134512640 134569956 3221224368 3221214576 1131285551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32453 13086 16 0 209662 0 vsize: 838712 [startup+1190.08 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 114974 87 0 0 25 0 11 0 778951542 858841088 32463 4294967295 134512640 134569956 3221224368 3221214576 1131286427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32463 13086 16 0 209662 0 vsize: 838712 [startup+1200.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 115959 87 0 0 25 0 11 0 778951542 858841088 32470 4294967295 134512640 134569956 3221224368 3221214744 1131392663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32470 13086 16 0 209662 0 vsize: 838712 [startup+1210.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 116944 88 0 0 25 0 11 0 778951542 858841088 32479 4294967295 134512640 134569956 3221224368 3221214672 1131327111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32479 13086 16 0 209662 0 vsize: 838712 [startup+1220.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 31489 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 117927 88 0 0 25 0 11 0 778951542 858841088 32488 4294967295 134512640 134569956 3221224368 3221214576 1131286097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32488 13086 16 0 209662 0 vsize: 838712 [startup+1230.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 31491 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 118910 89 0 0 25 0 11 0 778951542 858841088 32500 4294967295 134512640 134569956 3221224368 3221214696 1131245320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32500 13086 16 0 209662 0 vsize: 838712 [startup+1240.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 31491 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 119891 89 0 0 25 0 11 0 778951542 858841088 32511 4294967295 134512640 134569956 3221224368 3221214576 1131285585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32511 13086 16 0 209662 0 vsize: 838712 [startup+1250.09 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 31491 Raw data (stat): 31424 (java) R 31423 20224 20223 0 -1 0 18071 0 1 0 120871 90 0 0 25 0 11 0 778951542 858841088 32532 4294967295 134512640 134569956 3221224368 3221214576 1131285665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209678 32532 13086 16 0 209662 0 vsize: 838712 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.19 s] Raw data (loadavg): 1.01 1.00 1.00 1/54 31493 Raw data (stat): 31424 (java) Z 31423 20224 20223 0 -1 1036 18071 20098 1 0 120874 96 5015 60 25 0 1 0 778951542 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): 1250.19 CPU time (s): 1260.47 CPU user time (s): 1258.9 CPU system time (s): 1.57576 CPU usage (%): 100.823 Max. virtual memory (Kb): 840232 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####