Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb |
MD5SUM | 0b425344c538e99a27247a487d2e5952 |
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 | 43740 |
Biggest coefficient in the objective function | 1977295568896000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 276588440762806557 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1977295568896000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 276588440762806557 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.375942 |
Number of variables | 43740 |
Total number of constraints | 352 |
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 | 352 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-04-22 03:25:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11423 boxname=wulflinc7 idbench=879 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 0b425344c538e99a27247a487d2e5952 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb IDLAUNCH: 11423 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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.050 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: 170864 kB Buffers: 26348 kB Cached: 814688 kB SwapCached: 328 kB Active: 125808 kB Inactive: 717812 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 170612 kB SwapTotal: 2097136 kB SwapFree: 2096520 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6460 kB Slab: 14512 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 03:46:34 (client local time) WITH STATUS 143 IN 1257.98 SECONDS stats: 11423 7 1257.98 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb c reading problem c [nbvar=43740] c [nbconstr=352] c time 530.02 c #vars 43740 c #clauses 607 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### 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.81 0.83 0.86 2/54 27164 Raw data (stat): 27164 (runsolver) R 27163 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492249940 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.84 0.84 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 887 40 0 0 25 0 10 0 492249940 853368832 19175 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208342 19175 13073 16 0 208326 0 vsize: 833368 [startup+20.0013 s] Raw data (loadavg): 0.87 0.84 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 1781 41 0 0 21 0 10 0 492249940 853590016 19666 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 19666 13073 16 0 208380 0 vsize: 833584 [startup+30.0009 s] Raw data (loadavg): 0.89 0.85 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 2681 41 0 0 25 0 10 0 492249940 853590016 20106 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20106 13073 16 0 208380 0 vsize: 833584 [startup+40.0016 s] Raw data (loadavg): 0.90 0.85 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 3611 42 0 0 25 0 10 0 492249940 853590016 20337 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20337 13073 16 0 208380 0 vsize: 833584 [startup+50.0026 s] Raw data (loadavg): 0.92 0.86 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 4540 43 0 0 25 0 10 0 492249940 853590016 20460 4294967295 134512640 134569956 3221224400 3221214824 1131220031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20460 13073 16 0 208380 0 vsize: 833584 [startup+60.0028 s] Raw data (loadavg): 0.93 0.86 0.86 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 5469 43 0 0 25 0 10 0 492249940 854638592 20790 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208652 20790 13073 16 0 208636 0 vsize: 834608 [startup+70.0024 s] Raw data (loadavg): 0.94 0.87 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 6411 43 0 0 25 0 10 0 492249940 854605824 20942 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 20942 13073 16 0 208628 0 vsize: 834576 [startup+80.002 s] Raw data (loadavg): 0.95 0.87 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 7357 44 0 0 25 0 10 0 492249940 854605824 21023 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21023 13073 16 0 208628 0 vsize: 834576 [startup+90.0021 s] Raw data (loadavg): 0.96 0.87 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 8307 44 0 0 25 0 10 0 492249940 854605824 21094 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21094 13073 16 0 208628 0 vsize: 834576 [startup+100.002 s] Raw data (loadavg): 0.96 0.88 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 9253 45 0 0 25 0 10 0 492249940 854605824 21163 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21163 13073 16 0 208628 0 vsize: 834576 [startup+110.003 s] Raw data (loadavg): 0.97 0.88 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 10200 45 0 0 24 0 10 0 492249940 854605824 21229 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21229 13073 16 0 208628 0 vsize: 834576 [startup+120.004 s] Raw data (loadavg): 0.97 0.89 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 11151 45 0 0 25 0 10 0 492249940 854605824 21287 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21287 13073 16 0 208628 0 vsize: 834576 [startup+130.003 s] Raw data (loadavg): 0.98 0.89 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 12097 46 0 0 25 0 10 0 492249940 854605824 21345 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21345 13073 16 0 208628 0 vsize: 834576 [startup+140.003 s] Raw data (loadavg): 0.98 0.89 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 13044 47 0 0 25 0 10 0 492249940 854605824 21401 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21401 13073 16 0 208628 0 vsize: 834576 [startup+150.004 s] Raw data (loadavg): 0.98 0.89 0.87 2/63 27173 Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 13992 48 0 0 25 0 10 0 492249940 854605824 21453 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21453 13073 16 0 208628 0 vsize: 834576 [startup+160.004 s] Raw data (loadavg): 0.98 0.90 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 14939 48 0 0 25 0 10 0 492249940 854605824 21505 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21505 13073 16 0 208628 0 vsize: 834576 [startup+170.004 s] Raw data (loadavg): 0.99 0.90 0.87 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 15869 49 0 0 24 0 10 0 492249940 854605824 21554 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21554 13073 16 0 208628 0 vsize: 834576 [startup+180.004 s] Raw data (loadavg): 0.99 0.90 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 16796 49 0 0 25 0 10 0 492249940 854605824 21600 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21600 13073 16 0 208628 0 vsize: 834576 [startup+190.004 s] Raw data (loadavg): 0.99 0.91 0.88 2/63 27173 Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 17735 50 0 0 25 0 10 0 492249940 854605824 21900 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21900 13073 16 0 208628 0 vsize: 834576 [startup+200.004 s] Raw data (loadavg): 0.99 0.91 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 18678 51 0 0 25 0 10 0 492249940 854605824 21946 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21946 13073 16 0 208628 0 vsize: 834576 [startup+210.005 s] Raw data (loadavg): 0.99 0.91 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 19620 51 0 0 25 0 10 0 492249940 854605824 21990 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 21990 13073 16 0 208628 0 vsize: 834576 [startup+220.005 s] Raw data (loadavg): 0.99 0.91 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 20565 52 0 0 25 0 10 0 492249940 854605824 22031 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22031 13073 16 0 208628 0 vsize: 834576 [startup+230.005 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 21506 52 0 0 25 0 10 0 492249940 854605824 22073 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22073 13073 16 0 208628 0 vsize: 834576 [startup+240.006 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 22447 53 0 0 24 0 10 0 492249940 854605824 22114 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22114 13073 16 0 208628 0 vsize: 834576 [startup+250.006 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 23390 53 0 0 25 0 10 0 492249940 854605824 22151 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22151 13073 16 0 208628 0 vsize: 834576 [startup+260.006 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 24330 54 0 0 25 0 10 0 492249940 854605824 22190 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22190 13073 16 0 208628 0 vsize: 834576 [startup+270.007 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 25272 54 0 0 25 0 10 0 492249940 854605824 22226 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22226 13073 16 0 208628 0 vsize: 834576 [startup+280.006 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 26211 54 0 0 24 0 10 0 492249940 854605824 22264 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22264 13073 16 0 208628 0 vsize: 834576 [startup+290.007 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 27153 55 0 0 25 0 10 0 492249940 854605824 22299 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22299 13073 16 0 208628 0 vsize: 834576 [startup+300.007 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 28091 55 0 0 25 0 10 0 492249940 854605824 22335 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22335 13073 16 0 208628 0 vsize: 834576 [startup+310.008 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 29032 56 0 0 25 0 10 0 492249940 854605824 22368 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22368 13073 16 0 208628 0 vsize: 834576 [startup+320.008 s] Raw data (loadavg): 0.99 0.93 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 29969 56 0 0 24 0 10 0 492249940 854605824 22403 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22403 13073 16 0 208628 0 vsize: 834576 [startup+330.008 s] Raw data (loadavg): 0.99 0.94 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 30909 56 0 0 25 0 10 0 492249940 854605824 22435 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22435 13073 16 0 208628 0 vsize: 834576 [startup+340.008 s] Raw data (loadavg): 0.99 0.94 0.89 2/63 27173 Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 31846 57 0 0 25 0 10 0 492249940 854605824 22469 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22469 13073 16 0 208628 0 vsize: 834576 [startup+350.009 s] Raw data (loadavg): 0.99 0.94 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 32784 57 0 0 25 0 10 0 492249940 854605824 22502 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22502 13073 16 0 208628 0 vsize: 834576 [startup+360.01 s] Raw data (loadavg): 0.99 0.94 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 33723 58 0 0 25 0 10 0 492249940 854605824 22532 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22532 13073 16 0 208628 0 vsize: 834576 [startup+370.01 s] Raw data (loadavg): 0.99 0.94 0.89 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 34657 59 0 0 25 0 10 0 492249940 854605824 22565 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22565 13073 16 0 208628 0 vsize: 834576 [startup+380.01 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 35595 59 0 0 25 0 10 0 492249940 854605824 22595 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22595 13073 16 0 208628 0 vsize: 834576 [startup+390.011 s] Raw data (loadavg): 0.99 0.94 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 36529 60 0 0 25 0 10 0 492249940 854605824 22626 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22626 13073 16 0 208628 0 vsize: 834576 [startup+400.011 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 37466 60 0 0 25 0 10 0 492249940 854605824 22655 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22655 13073 16 0 208628 0 vsize: 834576 [startup+410.012 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 38402 61 0 0 25 0 10 0 492249940 854605824 22684 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22684 13073 16 0 208628 0 vsize: 834576 [startup+420.013 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 39335 61 0 0 25 0 10 0 492249940 854605824 22714 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22714 13073 16 0 208628 0 vsize: 834576 [startup+430.012 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 40270 61 0 0 25 0 10 0 492249940 854605824 22742 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22742 13073 16 0 208628 0 vsize: 834576 [startup+440.013 s] Raw data (loadavg): 0.99 0.95 0.90 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 41206 62 0 0 25 0 10 0 492249940 854605824 22770 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22770 13073 16 0 208628 0 vsize: 834576 [startup+450.013 s] Raw data (loadavg): 1.07 0.97 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 42136 62 0 0 25 0 10 0 492249940 854605824 22799 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22799 13073 16 0 208628 0 vsize: 834576 [startup+460.014 s] Raw data (loadavg): 1.06 0.97 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 43070 63 0 0 25 0 10 0 492249940 854605824 22826 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22826 13073 16 0 208628 0 vsize: 834576 [startup+470.014 s] Raw data (loadavg): 1.05 0.97 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 44004 64 0 0 25 0 10 0 492249940 854605824 22853 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22853 13073 16 0 208628 0 vsize: 834576 [startup+480.015 s] Raw data (loadavg): 1.04 0.97 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 44933 64 0 0 25 0 10 0 492249940 854605824 22881 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22881 13073 16 0 208628 0 vsize: 834576 [startup+490.015 s] Raw data (loadavg): 1.03 0.97 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 45865 65 0 0 25 0 10 0 492249940 854605824 22908 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22908 13073 16 0 208628 0 vsize: 834576 [startup+500.015 s] Raw data (loadavg): 1.10 0.99 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 46798 66 0 0 25 0 10 0 492249940 854605824 22933 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208644 22933 13073 16 0 208628 0 vsize: 834576 [startup+510.016 s] Raw data (loadavg): 1.08 0.99 0.91 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 47725 66 0 0 24 0 10 0 492249940 854605824 22961 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208644 22961 13073 16 0 208628 0 vsize: 834576 [startup+520.026 s] Raw data (loadavg): 1.07 0.99 0.91 3/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17978 0 1 0 48656 67 0 0 25 0 10 0 492249940 854605824 23010 4294967295 134512640 134569956 3221224400 3221214260 1130883299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208644 23010 13073 16 0 208628 0 vsize: 834576 [startup+530.026 s] Raw data (loadavg): 1.29 1.04 0.93 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17991 0 1 0 49446 70 0 0 25 0 10 0 492249940 869183488 28441 4294967295 134512640 134569956 3221224400 3221214736 1131173213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212203 28441 13073 16 0 212187 0 vsize: 848812 [startup+540.027 s] Raw data (loadavg): 1.24 1.03 0.93 2/63 27173 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18012 0 1 0 50359 70 0 0 25 0 10 0 492249940 868483072 33801 4294967295 134512640 134569956 3221224400 3221214832 1131513160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212032 33801 13073 16 0 212016 0 vsize: 848128 [startup+550.027 s] Raw data (loadavg): 1.20 1.03 0.93 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18057 0 1 0 51249 71 0 0 25 0 11 0 492249940 862228480 32279 4294967295 134512640 134569956 3221224400 3221214688 1131333097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32279 13073 16 0 210489 0 vsize: 842020 [startup+560.027 s] Raw data (loadavg): 1.17 1.03 0.93 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18058 0 1 0 52240 71 0 0 25 0 11 0 492249940 862228480 32284 4294967295 134512640 134569956 3221224400 3221214600 1131636732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32284 13073 16 0 210489 0 vsize: 842020 [startup+570.027 s] Raw data (loadavg): 1.15 1.03 0.93 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18058 0 1 0 53230 71 0 0 25 0 11 0 492249940 862228480 32288 4294967295 134512640 134569956 3221224400 3221214736 1131642886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32288 13073 16 0 210489 0 vsize: 842020 [startup+580.028 s] Raw data (loadavg): 1.12 1.03 0.93 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 54212 71 0 0 25 0 11 0 492249940 862228480 32299 4294967295 134512640 134569956 3221224400 3221214600 1131636704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32299 13073 16 0 210489 0 vsize: 842020 [startup+590.028 s] Raw data (loadavg): 1.34 1.08 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 55206 71 0 0 25 0 11 0 492249940 862228480 32437 4294967295 134512640 134569956 3221224400 3221214672 1131666854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32437 13073 16 0 210489 0 vsize: 842020 [startup+600.027 s] Raw data (loadavg): 1.29 1.07 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 56202 72 0 0 25 0 11 0 492249940 862228480 32429 4294967295 134512640 134569956 3221224400 3221214584 1131636720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32429 13073 16 0 210489 0 vsize: 842020 [startup+610.028 s] Raw data (loadavg): 1.24 1.07 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 57197 72 0 0 25 0 11 0 492249940 862228480 32329 4294967295 134512640 134569956 3221224400 3221214584 1131636720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32329 13073 16 0 210489 0 vsize: 842020 [startup+620.027 s] Raw data (loadavg): 1.20 1.07 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 58195 72 0 0 25 0 11 0 492249940 862228480 32329 4294967295 134512640 134569956 3221224400 3221214596 1131683059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32329 13073 16 0 210489 0 vsize: 842020 [startup+630.027 s] Raw data (loadavg): 1.17 1.06 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 59187 73 0 0 25 0 11 0 492249940 862228480 32330 4294967295 134512640 134569956 3221224400 3221214688 1131746704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32330 13073 16 0 210489 0 vsize: 842020 [startup+640.027 s] Raw data (loadavg): 1.14 1.06 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 60184 73 0 0 25 0 11 0 492249940 862228480 32330 4294967295 134512640 134569956 3221224400 3221214688 1131746711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32330 13073 16 0 210489 0 vsize: 842020 [startup+650.029 s] Raw data (loadavg): 1.12 1.06 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 61181 73 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214688 1131746704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32331 13073 16 0 210489 0 vsize: 842020 [startup+660.029 s] Raw data (loadavg): 1.10 1.06 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 62175 73 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214504 1131726858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32331 13073 16 0 210489 0 vsize: 842020 [startup+670.029 s] Raw data (loadavg): 1.09 1.05 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 63169 74 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214664 1131405420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32331 13073 16 0 210489 0 vsize: 842020 [startup+680.029 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 64161 74 0 0 25 0 11 0 492249940 862228480 32369 4294967295 134512640 134569956 3221224400 3221214432 1080217030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32369 13073 16 0 210489 0 vsize: 842020 [startup+690.03 s] Raw data (loadavg): 1.06 1.05 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 65153 74 0 0 25 0 11 0 492249940 862228480 32372 4294967295 134512640 134569956 3221224400 3221214884 1131137523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32372 13073 16 0 210489 0 vsize: 842020 [startup+700.029 s] Raw data (loadavg): 1.05 1.05 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 66148 74 0 0 25 0 11 0 492249940 862228480 32373 4294967295 134512640 134569956 3221224400 3221214608 1131619432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32373 13073 16 0 210489 0 vsize: 842020 [startup+710.03 s] Raw data (loadavg): 1.04 1.05 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 67143 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214592 1131341054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32375 13073 16 0 210489 0 vsize: 842020 [startup+720.031 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 68137 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214460 1080217184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32375 13073 16 0 210489 0 vsize: 842020 [startup+730.03 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 69132 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214496 1080216949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32375 13073 16 0 210489 0 vsize: 842020 [startup+740.031 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 70126 75 0 0 25 0 11 0 492249940 862228480 32384 4294967295 134512640 134569956 3221224400 3221214688 1131746827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32384 13073 16 0 210489 0 vsize: 842020 [startup+750.031 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 71120 75 0 0 25 0 11 0 492249940 862228480 32389 4294967295 134512640 134569956 3221224400 3221214632 1131685657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32389 13073 16 0 210489 0 vsize: 842020 [startup+760.031 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 72114 76 0 0 25 0 11 0 492249940 862228480 32404 4294967295 134512640 134569956 3221224400 3221214732 1131580147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32404 13073 16 0 210489 0 vsize: 842020 [startup+770.032 s] Raw data (loadavg): 1.01 1.04 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 73108 76 0 0 25 0 11 0 492249940 862228480 32418 4294967295 134512640 134569956 3221224400 3221214504 1131726956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32418 13073 16 0 210489 0 vsize: 842020 [startup+780.032 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 74103 76 0 0 25 0 11 0 492249940 862228480 32428 4294967295 134512640 134569956 3221224400 3221214524 1079721525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32428 13073 16 0 210489 0 vsize: 842020 [startup+790.032 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 75097 76 0 0 25 0 11 0 492249940 862228480 32481 4294967295 134512640 134569956 3221224400 3221214440 1131715334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32481 13073 16 0 210489 0 vsize: 842020 [startup+800.033 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 76092 76 0 0 25 0 11 0 492249940 862228480 32530 4294967295 134512640 134569956 3221224400 3221214560 1079721468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32530 13073 16 0 210489 0 vsize: 842020 [startup+810.034 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 77088 76 0 0 25 0 11 0 492249940 862228480 32555 4294967295 134512640 134569956 3221224400 3221214608 1131619409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32555 13073 16 0 210489 0 vsize: 842020 [startup+820.034 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 78086 77 0 0 25 0 11 0 492249940 862228480 32565 4294967295 134512640 134569956 3221224400 3221214584 1131685047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32565 13073 16 0 210489 0 vsize: 842020 [startup+830.034 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 79081 77 0 0 25 0 11 0 492249940 862228480 32586 4294967295 134512640 134569956 3221224400 3221214604 1131683059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32586 13073 16 0 210489 0 vsize: 842020 [startup+840.034 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 80077 77 0 0 25 0 11 0 492249940 862228480 32598 4294967295 134512640 134569956 3221224400 3221214680 1131667098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32598 13073 16 0 210489 0 vsize: 842020 [startup+850.035 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 81073 77 0 0 25 0 11 0 492249940 862228480 32610 4294967295 134512640 134569956 3221224400 3221214608 1131619175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32610 13073 16 0 210489 0 vsize: 842020 [startup+860.035 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 82066 78 0 0 25 0 11 0 492249940 862228480 32625 4294967295 134512640 134569956 3221224400 3221214728 1131643882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 32625 13073 16 0 210489 0 vsize: 842020 [startup+870.037 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 83061 78 0 0 25 0 11 0 492249940 862228480 32648 4294967295 134512640 134569956 3221224400 3221214608 1131619428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32648 13073 16 0 210489 0 vsize: 842020 [startup+880.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 84057 78 0 0 25 0 11 0 492249940 862228480 32655 4294967295 134512640 134569956 3221224400 3221214680 1131666841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32655 13073 16 0 210489 0 vsize: 842020 [startup+890.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 85052 78 0 0 25 0 11 0 492249940 862228480 32669 4294967295 134512640 134569956 3221224400 3221214608 1131618870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32669 13073 16 0 210489 0 vsize: 842020 [startup+900.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 86045 78 0 0 25 0 11 0 492249940 862228480 32685 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32685 13073 16 0 210489 0 vsize: 842020 [startup+910.037 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 87040 79 0 0 25 0 11 0 492249940 862228480 32697 4294967295 134512640 134569956 3221224400 3221214528 1131715043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32697 13073 16 0 210489 0 vsize: 842020 [startup+920.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 88035 79 0 0 25 0 11 0 492249940 862228480 32707 4294967295 134512640 134569956 3221224400 3221214552 1131693951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32707 13073 16 0 210489 0 vsize: 842020 [startup+930.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 89030 80 0 0 25 0 11 0 492249940 862228480 32714 4294967295 134512640 134569956 3221224400 3221214528 1131715185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32714 13073 16 0 210489 0 vsize: 842020 [startup+940.036 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 90025 80 0 0 25 0 11 0 492249940 862228480 32720 4294967295 134512640 134569956 3221224400 3221214552 1131693915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32720 13073 16 0 210489 0 vsize: 842020 [startup+950.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 91021 81 0 0 25 0 11 0 492249940 862228480 32727 4294967295 134512640 134569956 3221224400 3221214528 1131714655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32727 13073 16 0 210489 0 vsize: 842020 [startup+960.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 92018 81 0 0 25 0 11 0 492249940 862228480 32731 4294967295 134512640 134569956 3221224400 3221214576 1131689365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32731 13073 16 0 210489 0 vsize: 842020 [startup+970.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 93014 82 0 0 25 0 11 0 492249940 862228480 32753 4294967295 134512640 134569956 3221224400 3221214608 1131619226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32753 13073 16 0 210489 0 vsize: 842020 [startup+980.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 94008 82 0 0 25 0 11 0 492249940 862228480 32820 4294967295 134512640 134569956 3221224400 3221214504 1131726836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32820 13073 16 0 210489 0 vsize: 842020 [startup+990.037 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 95004 82 0 0 25 0 11 0 492249940 862228480 32839 4294967295 134512640 134569956 3221224400 3221214432 1080216989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32839 13073 16 0 210489 0 vsize: 842020 [startup+1000.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 96000 82 0 0 25 0 11 0 492249940 862228480 32856 4294967295 134512640 134569956 3221224400 3221214608 1131619416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32856 13073 16 0 210489 0 vsize: 842020 [startup+1010.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 96997 82 0 0 25 0 11 0 492249940 862228480 32874 4294967295 134512640 134569956 3221224400 3221214432 1080217061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32874 13073 16 0 210489 0 vsize: 842020 [startup+1020.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 97994 83 0 0 25 0 11 0 492249940 862228480 32893 4294967295 134512640 134569956 3221224400 3221214680 1131333022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32893 13073 16 0 210489 0 vsize: 842020 [startup+1030.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 98990 83 0 0 25 0 11 0 492249940 862228480 32900 4294967295 134512640 134569956 3221224400 3221214528 1131714565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32900 13073 16 0 210489 0 vsize: 842020 [startup+1040.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 99986 83 0 0 25 0 11 0 492249940 862228480 32913 4294967295 134512640 134569956 3221224400 3221214528 1131714573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32913 13073 16 0 210489 0 vsize: 842020 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 100981 84 0 0 25 0 11 0 492249940 862228480 32937 4294967295 134512640 134569956 3221224400 3221214848 1131541301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32937 13073 16 0 210489 0 vsize: 842020 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 101978 84 0 0 25 0 11 0 492249940 862228480 32950 4294967295 134512640 134569956 3221224400 3221214604 1131699596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32950 13073 16 0 210489 0 vsize: 842020 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 102975 84 0 0 25 0 11 0 492249940 862228480 32967 4294967295 134512640 134569956 3221224400 3221214560 1131738138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32967 13073 16 0 210489 0 vsize: 842020 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 103972 84 0 0 25 0 11 0 492249940 862228480 32979 4294967295 134512640 134569956 3221224400 3221214608 1131618764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32979 13073 16 0 210489 0 vsize: 842020 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 104969 85 0 0 25 0 11 0 492249940 862228480 32991 4294967295 134512640 134569956 3221224400 3221214608 1131619253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 32991 13073 16 0 210489 0 vsize: 842020 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 105965 85 0 0 25 0 11 0 492249940 862228480 33000 4294967295 134512640 134569956 3221224400 3221214504 1131727078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33000 13073 16 0 210489 0 vsize: 842020 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 106963 85 0 0 25 0 11 0 492249940 862228480 33003 4294967295 134512640 134569956 3221224400 3221214552 1131693929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33003 13073 16 0 210489 0 vsize: 842020 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 107960 85 0 0 25 0 11 0 492249940 862228480 33012 4294967295 134512640 134569956 3221224400 3221214576 1131689351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33012 13073 16 0 210489 0 vsize: 842020 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 108957 85 0 0 25 0 11 0 492249940 862228480 33021 4294967295 134512640 134569956 3221224400 3221214608 1131619557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33021 13073 16 0 210489 0 vsize: 842020 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 109954 85 0 0 25 0 11 0 492249940 862228480 33029 4294967295 134512640 134569956 3221224400 3221214608 1131619389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33029 13073 16 0 210489 0 vsize: 842020 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 110951 85 0 0 25 0 11 0 492249940 862228480 33041 4294967295 134512640 134569956 3221224400 3221214876 1080204260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33041 13073 16 0 210489 0 vsize: 842020 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 111949 85 0 0 25 0 11 0 492249940 862228480 33051 4294967295 134512640 134569956 3221224400 3221214452 1080217332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33051 13073 16 0 210489 0 vsize: 842020 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 112946 86 0 0 25 0 11 0 492249940 862228480 33056 4294967295 134512640 134569956 3221224400 3221214528 1131714686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33056 13073 16 0 210489 0 vsize: 842020 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 113941 86 0 0 25 0 11 0 492249940 862228480 33071 4294967295 134512640 134569956 3221224400 3221214608 1131619150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33071 13073 16 0 210489 0 vsize: 842020 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 114937 87 0 0 25 0 11 0 492249940 862228480 33077 4294967295 134512640 134569956 3221224400 3221214528 1131714882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 33077 13073 16 0 210489 0 vsize: 842020 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 115934 87 0 0 25 0 11 0 492249940 862228480 33095 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33095 13073 16 0 210489 0 vsize: 842020 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 116931 87 0 0 25 0 11 0 492249940 862228480 33100 4294967295 134512640 134569956 3221224400 3221214692 1080204314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33100 13073 16 0 210489 0 vsize: 842020 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 117928 87 0 0 25 0 11 0 492249940 862228480 33106 4294967295 134512640 134569956 3221224400 3221214680 1131666849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210505 33106 13073 16 0 210489 0 vsize: 842020 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 118925 88 0 0 25 0 11 0 492249940 862228480 33114 4294967295 134512640 134569956 3221224400 3221214400 1080217246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 33114 13073 16 0 210489 0 vsize: 842020 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 27174 Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 119921 88 0 0 25 0 11 0 492249940 862228480 33119 4294967295 134512640 134569956 3221224400 3221214728 1131642008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210505 33119 13073 16 0 210489 0 vsize: 842020 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.31 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 27176 Raw data (stat): 27164 (java) Z 27163 22932 22931 0 -1 1036 18059 24323 1 0 119927 88 5717 64 24 0 1 0 492249940 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.31 CPU time (s): 1257.98 CPU user time (s): 1256.45 CPU system time (s): 1.52577 CPU usage (%): 101.425 Max. virtual memory (Kb): 848812 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####